通群的理论。实数 R，以及加法操作和它的普通拓扑构成一个拓扑群。更一般的，欧几里得空间R连同加法和标准的拓扑构成拓扑群。更一般的，所有拓扑向量空间（譬如巴拿赫空间和希尔伯特空间）的加法群是拓扑群。上面的例子都是阿贝尔群的例子。非交换群的例子有各种李群（是拓扑群也是流形）。例如，一般线性群GL("n",R)由所有可逆"n"×"n"实系数矩阵组成，可以视为拓扑群，其拓扑定义为将GL("n",R)作为欧几里得空间R的子空间得到的子空间拓扑。所有李群是局部紧的。不是李群的拓扑群的一个例子是有理数Q其拓扑