=== Conexo ===
Segue de ser produto de conexos. <wrap help>[[topologia:produtoadeconexos|Demo]].</wrap>

\\
=== Localmente conexo ===
Segue de ser localmente conexo por caminhos.

\\
=== Conexo por caminhos ===
Segue de ser produto de conexos por caminhos. <wrap help>[[topologia:prodconexocaminhos|Demo]].</wrap>

Também segue de ser conexo e localmente conexo por caminhos. <wrap help>[[topologia:cldemo1|Demo]].</wrap>

\\
=== Localmente conexo por caminhos ===
Seja $(x_i)_{i\in\mathbb{N}}\in[0,1]^{\mathbb{N}}$. Sabemos que $[0,1]$ é conexo por caminhos e que existe $\mathcal{B}_i$ [[topologia:bases|base local]] para $x_i$ conexa por caminhos.

Considere os abertos da forma $A=\prod_{i\in\mathbb{N}}V_i$ com $V_i\in\mathcal{B}_i$ se $i\in F$ e $V_i=[0,1]$ caso contrário, para cada $F\subset\mathbb{N}$ finito.

Cada $A$ é conexo por caminhos por ser [[topologia:prodconexocaminhos|produto de conexos por caminhos]]. Basta tomar o conjunto desses $A$ como base local para $(x_i)_{i\in\mathbb{N}}$ conexa por caminhos, e segue o resultado.