The direct product of finely many topological groups is again a topological group.
Proof
This follows by the characteristic property of product spaces
.
Examples Link to heading
- \((\mathbb{R}^n,+)\)
- torus \(\mathbb{T}^n\)
The direct product of finely many topological groups is again a topological group.