A subgroup of topological group is again a topological group.
Proof
This is a consequence of the characteristic property of subspace topologies
.
Examples Link to heading
- \(\mathbb{S}^1 \subseteq \mathbb{C}\) with multiplication
- \((\mathbb{R}^{>0},\cdot )\)
- \(\O(n)\)