在数学中，拓扑群是群 G 和与之一起的 G 上的拓扑，使得这个群的二元运算和这个群的取逆函数是连续的。拓扑群允许依据连续群作用来研究连续对称的概念。

拓扑群 G 是拓扑空间和群使得群运算

和

是连续函数。这里的 G × G 被看作使用乘积拓扑得到拓扑空间。

尽管我们这里没有做其他要求，很多作者要求在 G 上的拓扑是豪斯多夫空间。下面会讨论其理由和一些等价条件。最后，这不是个严重的限制 — 很多拓扑群都可以用规范方式变成豪斯多夫空间。

使用范畴论的语言，拓扑群可以简明的定义为在拓扑空间范畴内的群对象，如同普通的群是集合范畴的群对象一样。

In mathematics, a topological group is a group, G, together with a topology on G such that the group's binary operation and the group's inverse function are continuous functions with respect to the topology. A topological group is a mathematical object with both an algebraic structure and a topological structure. Thus, one may perform algebraic operations, because of the group structure, and one may talk about continuous functions, because of the topology.