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$.

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.

Ejemplos y propiedades

1. Considérese $ℝ\times ℝ$ en la topología del producto, es decir, en el plano euclídeo, y el conjunto abierto $N=\{(x,y)\in ℝ\times ℝ:|xy|<1\}.$ El conjunto abierto $N$ contiene $\{0\}\times ℝ,$ pero no contiene tubos, por lo que en este caso el lema del tubo falla. De hecho, si $W\times ℝ$ es un tubo que contiene a $\{0\}\times ℝ$ y está contenido en $N,$ $W$ debe ser un subconjunto de $(-1/x,1/x)$ para todo $x>0$, lo que significa que $W=\{0\}$ contradice el hecho de que $W$ está abierto en $ℝ$ (porque $W\times ℝ$ 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,$, $\{V_{a,b}:b\in B\}$ 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.

Véase también

• Subbase
• Entorno tubular
• Teorema de Tíjonov

Bibliografía

• Plantilla:Cite book
• Plantilla:Cite book (Ver Capítulo 8, Lema 8.9)