# Lema del tubo

En matemáticas, particularmente en topología, el lema del tubo, también llamado teorema de Wallace, es una herramienta útil para demostrar que el producto finito de espacios compactos es compacto.

## Declaración

El lema utiliza la siguiente terminología:
* Si $X$ e $Y$ son espacios topológicos y $X\times Y$ es el espacio del producto, dotado con una topología producto, una sección en $X\times Y$ es un conjunto de la forma $\{x\}\times Y$ para $x\in X$.
* Un tubo en $X\times Y$ es un subconjunto de la forma $U\times Y$, donde $U$ es un subconjunto abierto de $X$. Contiene todos los sectores $\{x\}\times Y$ para $x\in U$.
* Lema del tubo
* Sean $X$ e $Y$ espacios topológicos con $Y$ compacto, y considérese el espacio producto $X\times Y.$ Si $N$ es un conjunto abierto que contiene un segmento en $X\times Y,$ entonces existe un tubo en $X\times Y$ que contiene este segmento y está contenido en $N.$
Usando el concepto de aplicaciones cerradas, esto se puede reformular de manera concisa de la siguiente manera: si $X$ es cualquier espacio topológico e $Y$ es un espacio compacto, entonces la aplicación de proyección $X\times Y\to X$ está cerrada.
* Lema del tubo generalizado 1
* Sean $X$ e $Y$ espacios topológicos y considérese el espacio producto $X\times Y.$ Sea $A$ un subconjunto compacto de $X$ y $B$ un subconjunto compacto de $Y.$ Si $N$ es un conjunto abierto que contiene a $A\times B,$ entonces existe $U$ abierto en $X$ y $V$ abierto en $Y$ tales que $A\times B\subseteq U\times V\subseteq N.$
* Lema del tubo generalizado 2
* Sean $X_{i},i\in I$ espacios topológicos y considérese el espacio producto $\prod _{i\in I}X_{i}.$ Para cada $i\in I$, sea $A_{i}$ un subconjunto compacto de $X_{i}.$ Si $N$ es un conjunto abierto que contiene $\prod _{i\in I}A_{i},$ entonces existe $U_{i}$ abierto en $X_{i}$ con $U_{i}=X_{i}$ para todos menos una cantidad finita de $i\in I$, tal que $\prod _{i\in I}A_{i}\subseteq \prod _{i\in I}U_{i}\subseteq N.$

## Ejemplos y propiedades

1. Considérese $\mathbb {R} \times \mathbb {R}$ en la topología del producto, es decir, en el plano euclídeo, y el conjunto abierto $N=\{(x,y)\in \mathbb {R} \times \mathbb {R} ~:~|xy|<1\}.$ El conjunto abierto $N$ contiene $\{0\}\times \mathbb {R} ,$ pero no contiene tubos, por lo que en este caso el lema del tubo falla. De hecho, si $W\times \mathbb {R}$ es un tubo que contiene a $\{0\}\times \mathbb {R}$ y está contenido en $N,$ $W$ debe ser un subconjunto de $\left(-1/x,1/x\right)$ para todo $x>0$, lo que significa que $W=\{0\}$ contradice el hecho de que $W$ está abierto en $\mathbb {R}$ (porque $W\times \mathbb {R}$ es un tubo). Esto demuestra que el supuesto de compacidad es esencial.
2. El lema del tubo se puede utilizar de la siguiente manera para demostrar que si $X$ e $Y$ son espacios compactos, entonces $X\times Y$ es compacto:
Sea $\{G_{a}\}$ un recubrimiento abierto de $X\times Y$. Para cada $x\in X$, recúbrase el segmento $\{x\}\times Y$ con un número finito de elementos de $\{G_{a}\}$ (esto es posible, ya que $\{x\}\times Y$ es compacto, siendo homeomorfo a $Y$). Denominar a la unión de este número finito de elementos $N_{x}.$ Por el lema del tubo, hay un conjunto abierto de la forma $W_{x}\times Y$ que contiene a $\{x\}\times Y$ y está contenido en $N_{x}.$ La colección de todos los $W_{x}$ para $x\in X$ es un recubrimiento abierto de $X$, y por lo tanto, tiene un subrecubrimiento finito $\{W_{x_{1}},\dots ,W_{x_{n}}\}$. En consecuencia, la colección finita $\{W_{x_{1}}\times Y,\dots ,W_{x_{n}}\times Y\}$ recubre a $X\times Y$. Utilizando el hecho de que cada $W_{x_{i}}\times Y$ está contenido en $N_{x_{i}}$ y cada $N_{x_{i}}$ es la unión finita de elementos de $\{G_{a}\}$, se obtiene una subcolección finita de $\{G_{a}\}$ que recubre a $X\times Y$.
3. Por la parte 2 y por inducción, se puede demostrar que el producto finito de espacios compactos es compacto.
4. El lema del tubo no se puede utilizar para probar el teorema de Tíjonov, que generaliza lo anterior a productos infinitos.

## Demostración

El lema del tubo se deriva del lema del tubo generalizado tomando $A=\{x\}$ y $B=Y.$ Por tanto, basta con demostrar el lema del tubo generalizado. Según la definición de la topología del producto, para cada $(a,b)\in A\times B$ existen conjuntos abiertos $U_{a,b}\subseteq X$ y $V_{a,b}\subseteq Y$ tales que $(a,b)\in U_{a,b}\times V_{a,b}\subseteq N.$ Para cualquier $a\in A,$, $\left\{V_{a,b}~:~b\in B\right\}$ es un recubrimiento abierto del conjunto compacto $B$, por lo que este recubrimiento tiene un subrecubrimiento finito; es decir, existe un conjunto finito $B_{0}(a)\subseteq B$ tal que $V_{a}:=\bigcup _{b\in B_{0}(a)}V_{a,b}$ contiene a $B,$ donde se observa que $V_{a}$ está abierto en $Y.$ Para cada $a\in A,$, considérese que $U_{a}:=\bigcap _{b\in B_{0}(a)}U_{a,b},$, que es un conjunto abierto en $X$, ya que $B_{0}(a)$ es finito. Además, la construcción de $U_{a}$ y $V_{a}$ implica que $\{a\}\times B\subseteq U_{a}\times V_{a}\subseteq N.$ Básicamente, ahora se repite el argumento para eliminar la dependencia de $a.$ Sea $A_{0}\subseteq A$ un subconjunto finito tal que $U:=\bigcup _{a\in A_{0}}U_{a}$ contenga a $A$ y al conjunto $V:=\bigcap _{a\in A_{0}}V_{a}.$ Del razonamiento anterior se desprende que $A\times B\subseteq U\times V\subseteq N$, $U\subseteq X$ y $V\subseteq Y$ están abiertos, lo que completa la prueba.