$[0,1]^{\mathbb{N}}$ com topologia produto
Vamos tratar do espaço topológico $([0,1]^{\mathbb{N}},\tau)$, em que $\tau$ é a topologia produto, ou de Tychonoff.
Axiomas de separação
- Satisfaz $T_{0}$ (Kolmogorov).
- Satisfaz $T_{1}$ (Fréchet).
- Satisfaz $T_{2}$ (Hausdorff).
- Satisfaz $T_{3}$ e é regular.
- Satisfaz $T_{3\frac{1}{2}}$ e é completamente regular (Tychonoff).
- Satisfaz $T_{4}$ e é normal.
Demo.