Lema do Tubo
Considere o espaço produto X \times Y, onde Y é compacto. Se N for um subconjunto aberto de X \times Y contendo o subconjunto x_0 \times Y, então existe uma vizinhança U de x_0 tal que U \times Y \subseteq N.
Considere o espaço produto X \times Y, onde Y é compacto. Se N for um subconjunto aberto de X \times Y contendo o subconjunto x_0 \times Y, então existe uma vizinhança U de x_0 tal que U \times Y \subseteq N.