Sección 16. La Topología del Subespacio.En muchas ocasiones de nuestro trabajo matemático necesitaremos restringir nuestro espacio de trabajo a conjuntos más pequeños del original, pero más todavía, nos hará falta mantener comunicados ambos conjuntos, el grande y el pequeño, y mantener cierto paralelismo en sus propiedades geométricas intrínsecas.
Este es el caso típico en la teoría de superficies suaves.
Si tenemos una superficie suave bidimensional sumergida en el espacio euclidiano tridimensional, vamos a querer "mirar con lupa" a la superficie, intersectándola con bolas abiertas tridimensionales, y así nos será más sencillo manejar los conceptos topológicos y geométricos de la superficie, cuya descripción puede ser bastante compleja, mientras que el espacio tridimensional de soporte tiene una estructura bien conocida y más amigable.Hay muchos otros intereses en el estudio de
topologías para conjuntos restringidos, pero quizá convenga ir descubriéndolos en los ejemplos y ejercicios.
\( \bullet \)
Definición. Sea \( X \) un
espacio topológico cuya
topología es \( \tau \).
Sea \( Y \) un subconjunto no vacío de \( X \), y sea \( \tau _Y \) la siguiente familia de subconjuntos de \( Y \):
\( \tau _Y=\{Y\cap U| U\in\tau \}. \)
Esto quiere decir que los elementos de \( \tau_Y \) se forman tomando los abiertos de \( \tau \) y luego intersectándolos con \( Y \).Se deja como ejercicio demostrar que \( \tau_Y \) es una topología en el conjunto restringido \( Y \).Se llama a \( \tau _Y \) la
topología de subespacio.
Con esa
topología se dice que \( Y \) es un
subespacio (topológico) de \( X \).
\( \bullet \)
Lema 1. Si \( \mathcal{B} \) es una
base para la
topología de \( X \), entonces la familia
\( \mathcal{B}_Y=\{B\cap Y| B\in\mathcal{B}\} \)
es una
base para la
topología subespacio sobre \( Y \).
Demostración. Es bastante sencilla, usando el
Lema 13.2, así que
la dejamos como ejercicio.
Ahora se puede armar una terrible mezcolanza de
abiertos en \( X \) y
abiertos en \( Y \).
Consideremos el espacio \( X=\mathbb{R} \) y el subespacio \( Y=[0,1] \), o sea, el
intervalo unitario cerrado en la
recta real.
Por ser \( Y \) un
abierto respecto de su propia
topología de subespacio, resulta que \( [0,1] \) es
abierto en \( Y \).
Sin embargo, sabemos, o podemos verificar, que el
intervalo \( [0,1] \) no es un conjunto
abierto en la
topología de \( X \).
Conjuntos como \( [0,a) \), con \( 0< a< 1 \) son
abiertos \( Y \), pero no lo son en \( X \).
Situaciones mucho más peculiares pueden presentarse, y en general hay que tener bien claro que la
topología de subespacio puede ser muy diferente de la
topología del
espacio original del que se partió. Tan solo están una relacionada con la otra, pero el manejo de estos conceptos debe hacerse con sumo cuidado.
Moraleja: Todo conjunto puede volverse
abierto respecto de la
topología de subespacio sobre sí mismo.
Si \( Y \) es un subespacio de \( X \) diremos que un conjunto \( U \) es abierto en \( Y \), o bien que es abierto relativo a \( Y \) siempre que \( U \) pertenezca a la topología del subespacio \( Y \). En particular esto implica que \( U\subset Y \).Este tipo de nomenclatura es suficiente para evitar confusiones innecesarias.
Sin embargo, hay situaciones especiales en las que un conjunto es
abierto en ambas
topologías:
\( \bullet \)
Lema 2. Sea \( Y \)
subespacio de \( X \). Si \( U \) es
abierto en \( Y \) e \( Y \) es
abierto en \( X \), entonces \( U \) es también
abierto en \( X \).
Demostración. Es muy sencilla, y la dejamos como
ejercicio.
Ahora veamos que la vida nos sonríe al trabajar con
topologías producto y
subespacios.
\( \bullet \)
Teorema 3. Si \( A \) es
subespacio de \( X \), y si \( B \) es
subespacio de \( Y \), entonces la
topología producto \( A\times B \) es la misma que la
topología que hereda como
subespacio de \( X\times Y \).
Demostración. Basta probar que las
bases de ambas
topologías sobre \( A\times B \) son iguales, y entonces más aún lo son sus
topologías.
Dejamos estas comprobaciones como ejercicio. Es fácil, pero hay que poner voluntad y escribirlo bien.
Cuando las cosas funcionan bien en matemáticas, uno se luce con un buen Teorema.
Cuando las cosas fallan, uno pone tantos contraejemplos como su imaginación le es capaz de proveer.
Los contraejemplos muestran la frontera entre lo posible y lo imposible, y por ende suelen tener tanta importancia como un Teorema.
Así que no subestimemos los contraejemplos, y mirémosles con sumo cariño.Las relaciones entre
topologías del orden y de
subespacio ya no son
armoniosas.
Así que tendremos que ilustrarlo con
ejemplos y contraejemplos que nos exciten las neuronas para darnos experiencia a este respecto.
\( \bullet \)
Ejemplo 1. Consideremos el conjunto \( Y=[0,1) \) con la
topología de subespacio respecto la
recta real \( \mathbb{R} \).
Una
base de esta
topología constará de todos los conjuntos de la forma \( (a,b)\cap Y \), siendo \( (a,b) \)
intervalo abierto en \( \mathbb{R} \). Tales conjuntos son de los siguientes tipos:
\( (a,b)\cap Y =\begin{cases}
(a,b), & \textsf{si\ } a,b\in Y\\
[0,b), & \textsf{si solamente\ } b\in Y\\
(a,1), & \textsf{si solamente\ } a\in Y\\
Y\textsf{\ ó\ }\emptyset , & \textsf{en otro caso.}
\end{cases} \)
Cada uno de estos conjuntos es
abierto en \( Y \).
Por otra parte, estos mismos conjuntos forman una
base para la
topología del orden en \( Y \).
Comprobarlo. En este Ejemplo, las topologías de subespacio y del orden son iguales.\( \bullet \)
Ejemplo 2. Sea \( Y \) el subconjunto \( Y=[0,1)\cup \{2\} \) de \( \mathbb{R} \).
En la
topología de subespacio sobre \( Y \), el conjunto de un solo punto \( \{2\} \) es
abierto porque se puede escribir como la intersección, por ejemplo, \( (3/2,5/2)\cap Y \).
Pero en la
topología del orden el conjunto \( \{2\} \) no es
abierto. Veamos por qué.
Todo elemento de la
base de la
topología del orden que contiene a \( b=2 \), tiene la forma \( \{x\in Y|a< x \leq 2\} \), con \( a\in Y, a< 2 \).
Todo conjunto de esta forma contiene siempre puntos de \( Y \) que son distintos de \( \{2\} \).
Comprobarlo.
Pregunta: ¿Por qué es suficiente razonar de este modo sobre la
base para asegurar que el conjunto analizado no es
abierto?
Observación: Si nos fijamos con atención, el espacio \( [0,1)\cup \{2\} \) tiene el mismo
tipo de orden que el conjunto \( [0,1] \). En general, en lo que concierne a
topologías del orden, esto significará que las
topologías de ambos conjuntos son
equivalentes en algún sentido, que haremos más explícito en
secciones posteriores.
Por ahora sólo rescatemos la "idea intuitiva" de equivalencia a este respecto.
Observemos por ejemplo que el
tipo de orden del intervalo \( (-1,1) \) es el mismo que el de la
recta real completa \( (-\infty ,+\infty ) \), e incluso que de cualquier intervalo de la forma \( (a,b) \) o \( (0,+\infty ) \) ó \( (-\infty ,0) \). Las
topologías de orden serán, pues "equivalentes".
El conjunto de
números naturales \( \{1,2,3,\cdots \} \) con la
topología del orden tiene el mismo "comportamiento" que el conjunto \( \{1-1/n|n=1,2,3,\cdots\} \), y en general habrá una "equivalencia" con respecto a cualquier conjunto que contenga una
sucesión estrictamente creciente de
números reales..
\( \bullet \)
Ejemplo 3. Sea \( I=[0,1] \). Consideremos sobre \( I\times I \) la
topología del orden de diccionario.
El
orden en \( I\times I \) es la
restricción del
orden de diccionario de \( \mathbb R\times \mathbb R \) a \( I\times I \).
Sin embargo, la
topología del orden de diccionario de \( I\times I \) no es la
topología de subespacio de \( I\times I \) respecto la
topología de orden de diccionario de \( \mathbb R\times \mathbb R \). Veamos por qué:
El conjunto \( \{1/2\}\times (1/2,1] \) es
abierto en \( I\times I \) en la
topología de subespacio (
¿por qué?),
pero no es
abierto en la
topología del orden de diccionario.
¿Por qué? (
Pista: observar qué le ocurre al
punto \( {\color{blue}(}1/2,1{\color{blue})} \)).
Ejercicio: Dibujar en el plano varios ejemplos de elementos de la
base de las
topologías subespacio y de
orden de diccionario para el conjunto \( I\times I \).
Al conjunto \( I\times I \) con la
topología del orden de diccionario se le llamará
cuadrado ordenado, y se la denotará como \( I^2_o \)
El comportamiento "bueno" o "malo" de los subconjuntos
ordenados depende principalmente de una cierta propiedad de
buena conexión de los conjuntos considerados. A esta propiedad
Munkres la llama
convexidad.
En geometría clásica, un conjunto es
convexo si el segmento que une un par de
puntos está contenido en el conjunto.
Aquí la idea es la misma, pero recordemos que un conjunto
ordenado puede tener un
tipo de orden bastante inusual (
puntos aislados, lagunas, etc., etc.)
O sea que la generalización del concepto geométrico es muy grande.\( \bullet \) Sea \( X \) un conjunto
ordenado (siempre
lineal y estrictamente). Decimos que un subconjunto \( Y \) de \( X \) es
convexo si para todo par de
puntos \( a, b\in Y \), con \( a< b \), se tiene que \( (a,b)\subset Y \).
Observar que todos los tipos de
intervalos y de
rayos son subconjuntos
convexos de \( X \).
Nótese también que puede haber conjuntos convexos que sean o no abiertos o cerrados, o incluso ninguno de ambos.Antes de continuar con el
Teorema que nos interesa, veamos algunos ejercicios.
Supongamos que \( X \) es un
conjunto ordenado (lineal y estrictamente),
que \( Y\subset X \) es un conjunto
convexo en \( X \),
y que \( a\in X \).
\( \bullet \)
Ejercicio. Demostrar que si \( a\in Y \), entonces
\( (a,+\infty )\cap Y=\{x\in Y|x> a\}. \)
\( \bullet \)
Ejercicio. Demostrar que si \( a\not\in Y \), entonces \( a \) es una
cota inferior del conjunto \( Y \), o bien es una
cota superior de \( Y \). Usando esto, demostrar que en el primer caso \( (a,+\infty )\cap Y=Y \), y en el segundo caso \( (a,+\infty )\cap Y=\emptyset \).
En resumidas cuentas, la intersección \( (a,+\infty )\cap Y \) da un
rayo en \( Y \), o bien todo \( Y \) o bien \( \emptyset \).
Lo mismo puede decirse de \( (-\infty ,a)\cap Y \).
El estudio de las propiedades de los rayos es casi obvio que "viene con la intención" de usarlos en demostraciones que incluyen el concepto de subbase.
Dado que las subbases son en general familias de conjuntos más sencillos de describir, las pruebas se hacen más cortas y simples con su ayuda.\( \bullet \)
Teorema 4. Sea \( X \) un conjunto
ordenado (lineal y estrictamente) con la
topología del orden; sea \( Y\subset X \)
convexo en \( X \). Entonces la
topología del orden de \( Y \) coincide con la
topología de subespacio de \( Y \) que hereda de \( X \).
Demostración. Como los conjuntos \( (-\infty ,a)\cap Y \) y \( (a,+\infty )\cap Y \) forman una
subbase para la
topología de subespacio de \( Y \) respecto \( X \), y como cada uno de ellos es
abierto en la
topología del orden se deduce que
la topología del orden contiene (incluye) a la topología subespacio.
¿Por qué? Ahora hay que demostrar la inclusión recíproca.Todo
rayo abierto en \( Y \) es igual a la intersección de \( Y \) con algún
rayo abierto en \( X \).
¿Por qué?.
Por lo tanto, resulta
abierto en la topología de subespacio sobre \( Y \).
Como estos
rayos abiertos son una
subbase para la
topología del orden sobre \( Y \),
esta
topología está contenida en la
topología subespacio.
Q.E.D.
Ejercicios Sección 16
- Ejercicio 16.1 Mostrar que si \( Y \) es un subespacio de \( X \), y si \( A \) es un subconjunto de \( Y \), entonces la topología de \( A \) heredada como un subespacio de \( Y \) es la misma que la topología que hereda como subespacio de \( X \).
- Ejercicio 16.2 Si \( \tau ,\tau' \), son dos topologías sobre \( X \), y si \( \tau ' \) es estrictamente más fina que \( \tau \).
¿Qué se puede decir acerca de las correspondientes topologías de subespacio sobre los subconjuntos \( Y \) de \( X \)?
- Ejercicio 16.3 Considere el conjunto \( Y=[-1,1] \) como un subespacio de \( \mathbb R \).
¿Cuáles de los siguientes conjuntos son abiertos en \( Y \)? ¿Cuales son abiertos en \( \mathbb R \)?
\( \begin{align*}
A &= \{x| \tfrac12 < |x|< 1\},\\
B &= \{x| \tfrac12 < |x| \leq 1\},\\
C &= \{x| \tfrac12 \leq |x|< 1\},\\
D &= \{x| \tfrac12 \leq |x| \leq 1\},\\
E &= \{x| 0 |x|< 1, 1/x\not\in \mathbb Z_+\}.
\end{align*} \)
- Ejercicio 16.4 Una función \( f:X\to Y \) se dice que es una función abierta o un mapeo abierto o una aplicación abierta, si para todo conjunto abierto \( U\subset X \), el conjunto \( f(U) \) es abierto en \( Y \).
Mostrar que \( \pi _1:X\times Y \) y \( \pi_2:X\times Y\to Y \) son funciones abiertas.
- Ejercicio 16.5 Denotemos con \( X, X' \) ciertos conjuntos que pertenecen a las topologías \( \tau ,\tau ' \), respectivamente.
Denotemos con \( Y,Y' \) ciertos conjuntos que pertenecen a las topologías \( \mathcal{U},\mathcal{U}' \), respectivamente.
Asumamos que estos conjuntos son no vacíos.
- (a) Mostrar que si \( \tau'\supset \tau \) y \( \mathcal{U}'\supset \mathcal{U} \), entonces la topología producto sobre \( X'\times Y' \) es más fina que la topología producto sobre \( X\times Y \).
- (b) ¿Es cierta la recíproca de la parte (a)? Justifique.
- Ejercicio 16.6 Muestre que la colección numerable
\( \{(a,b)\times (c,d)\;|\;a< b,\;c< d,\quad a,b,c,d \textsf{\ racionales}\} \)
es una base para \( \mathbb R^2 \).
- Ejercicio 16.7 Sea \( X \) un conjunto ordenado (lineal y estrictamente).
Si \( Y \) es un subconjunto propio de \( X \), que además es convexo en \( X \),
¿se sigue que \( Y \) es un intervalo o un rayo en \( X \)?
- Ejercicio 16.8 Si \( L \) es una línea recta en el plano, describa la topología que \( L \) hereda como un subespacio de \( \mathbb R_\ell \times \mathbb R \),
y luego como un subespacio de \( \mathbb R_\ell \times \mathbb R_\ell \).
En cada caso es una topología familiar.
- Ejercicio 16.9 Mostrar que la topología del orden de diccionario sobre el conjunto \( \mathbb R\times \mathbb R \) es la misma que la topología producto \( \mathbb R_d \times \mathbb R \), donde \( \mathbb R_d \) denota a \( \mathbb R \) con la topología discreta.
Compare esta topología con la topología estándar de \( \mathbb R^2 \).
- Ejercicio 16.10 Sea \( I=[0,1] \).
Compare la topología producto sobre \( I\times I \),
la topología del orden de diccionario sobre \( I\times I \),
y la topología que \( I\times I \) hereda como subespacio de \( \mathbb R\times \mathbb R \) en la topología del oden de diccionario.
(quizá más adelante agregue algunos comentarios sobre estos ejercicios...)
Buenaventura a todos
>> Clic aquí para Opiniones, preguntas y otros comentarios del curso: Topología (Munkres)