位相群

定義

群$G$に 位相 があり,

• $G\times G\ni a,b\mapsto ab$は連続
• $G\ni a\mapsto a^{-1}$は連続
  のとき$G$を位相群という

例

$G$: 群,離散位相いれると$G$は位相群 => 離散群