Definition:Compact Topological Group
Jump to navigation
Jump to search
Definition
Let $\struct {G, \odot, \tau}$ be a topological group.
We say that $\struct {G, \odot, \tau}$ is a compact topological group if and only if $\struct {G, \tau}$ is compact and Hausdorff.
Sources
- 2013: Donald L. Cohn: Measure Theory (2nd ed.) ... (previous) ... (next): $9.1$: Topological Groups