En el concepto de compacidad para subconjuntos de un espacio topológico, uno puede usar abiertos de dicho subconjunto (abiertos relativos) o abiertos del espacio ambiente. Concretamente.
Si $(X,\tau)$ es un espacio topológico y $A\subset X$, entonces se dice (¡definición!) que $A$ es compacto si el espacio $(A,\tau_A)$ es compacto. Por tanto, al hacer ejercicios para estudiar si un subconjunto es compacto, si se quiere hacerlos usando la definición, hay que coger recubrimientos por abiertos relativos de A.
Sin embargo hay una caracterización de subconjuntos compactos usando abiertos de $(X,\tau)$. Así $A$ es compacto si y sólo si, para cualquier recubrimiento de $A$ por abiertos de $X$ (¡elementos de $\tau$!), entonces existe un subrecubrimiento finito.
En el ejemplo de hoy ha aparecido ambas cosas. El ejercicio decía que en un espacio topológico, la unión de dos subconjuntos compactos $A$ y $B$ también es compacto. Hay dos formas de probarlo:
1. Por definición. Para ello hay que tomar un recubrimiento por abiertos relativos de $A\cup B$. Ese mismo recubrimiento es un recubrimiento de $A$, ya que $A\subset A\cup B$. Como $A$ es compacto, usando la caracterización de compacidad y la transitividad de las topologías relativas, se tiene que un subrecubrimiento finito de $A$. Lo mismo se hace con $B$, y la unión de esos dos recubrimientos (que tiene que ser finito), es el recubrimiento finito buscado para $A\cup B$ (hay que seguir trabajando un poquito más aquí).
2. Por la caracterización de compacidad. Tomamos un recubrimiento de $A\cup B$ por abiertos de $X$. Ya que $A\subset A\cup B$, entonces ese mismo recubrimiento es uno de $A$ por abiertos de $X$. Por tanto, por la caracterización, existe uno finito. Lo mismo se hace para $B$, y la unión de ambos recubrimientos finitos es un recubrimiento finito de $A\cup B$ por abiertos de $X$ (ahora no hay que trabajar más).
Parece lo mismo, pero no lo es: un pequeño matiz...
Si $(X,\tau)$ es un espacio topológico y $A\subset X$, entonces se dice (¡definición!) que $A$ es compacto si el espacio $(A,\tau_A)$ es compacto. Por tanto, al hacer ejercicios para estudiar si un subconjunto es compacto, si se quiere hacerlos usando la definición, hay que coger recubrimientos por abiertos relativos de A.
Sin embargo hay una caracterización de subconjuntos compactos usando abiertos de $(X,\tau)$. Así $A$ es compacto si y sólo si, para cualquier recubrimiento de $A$ por abiertos de $X$ (¡elementos de $\tau$!), entonces existe un subrecubrimiento finito.
En el ejemplo de hoy ha aparecido ambas cosas. El ejercicio decía que en un espacio topológico, la unión de dos subconjuntos compactos $A$ y $B$ también es compacto. Hay dos formas de probarlo:
1. Por definición. Para ello hay que tomar un recubrimiento por abiertos relativos de $A\cup B$. Ese mismo recubrimiento es un recubrimiento de $A$, ya que $A\subset A\cup B$. Como $A$ es compacto, usando la caracterización de compacidad y la transitividad de las topologías relativas, se tiene que un subrecubrimiento finito de $A$. Lo mismo se hace con $B$, y la unión de esos dos recubrimientos (que tiene que ser finito), es el recubrimiento finito buscado para $A\cup B$ (hay que seguir trabajando un poquito más aquí).
2. Por la caracterización de compacidad. Tomamos un recubrimiento de $A\cup B$ por abiertos de $X$. Ya que $A\subset A\cup B$, entonces ese mismo recubrimiento es uno de $A$ por abiertos de $X$. Por tanto, por la caracterización, existe uno finito. Lo mismo se hace para $B$, y la unión de ambos recubrimientos finitos es un recubrimiento finito de $A\cup B$ por abiertos de $X$ (ahora no hay que trabajar más).
Parece lo mismo, pero no lo es: un pequeño matiz...
¿hay algún comentario?
ResponderEliminar