1
dar un enunciado as: Sea Y un subespacio de un espacio compacto Haus-
dorff. Entonces Y es compacto sii Y es cerrado. Probar con un ejemplo que
un subespacio de un compacto puede ser compacto pero no cerrado (espacio
indiscreto).
2
Ejercicio 5. Probar que en un espacio compacto y Hausdorff todo punto
tiene una base de entornos compactos. Compacidad local: Un espacio to-
pologico es localmente compacto si todo punto tiene un entorno compacto.
Si ademas es Hausdorff, probar que todo punto tiene una base de entornos
compactos. Probar que Hausdorff localmente compacto implica regular.
3
En efecto, sea z X. Entonces existe Am abierto tal que z Am . Como la
sucesion de naturales {nk } es estrictamente creciente, se sigue que m < nk
para algun k. Entonces xk0 / Am para todo k 0 > k.
4
A0 es una subfamilia totalmente ordenada, entonces la union de los elementos
de A0 es tambien -separado. Por el Lema de Zorn, se concluye que para todo
> 0 existe un subconjunto -separado maximal. Esto vale en cualquier
espacio metrico.
Observar entonces que si M es secuencialmente compacto, entonces para
cualquier > 0 existe un subconjunto de M que es -separado maximal y es
finito.
5
totalmente acotado si para todo r > 0 hay un subconjunto finito y r-denso.
Por ejemplo, un subconjunto de Rn es totalmente acotado sii es acota-
do. Un subconjunto de un espacio metrico totalmente acotado es tambien
totalmente acotado.
3. Compacidad en C(X).
Sea X un espacio metrico compacto. Se define C(X) como el conjunto
de todas las funciones continuas de X en C. Cada f en C(X) es acotada y
|f | tiene maximo. Se define una norma en C(X) poniendo ||f || = max |f |.
Induce la distancia d .
6
El resultado ahora es ver como se caracterizan los subconjuntos com-
pactos de C(X) con la distancia del supremo. Una condicion es que el sub-
conjunto sea cerrado. No alcanza con agregar que sea acotado, ver ejercicio
9.
7
lmite de la sucesion fnk . En primer lugar, se probara que f es uniforme-
mente continua, y por lo tanto se extiende de manera unica a una funcion
continua definida en todo X. Sea entonces > 0; se toma el > 0 que da la
equicontinuidad de la familia A. Si d(yn , ym ) < , elija un nk tal que al mis-
mo tiempo valgan |f (yn ) fnk (yn )| < y |f (ym ) fnk (ym )| < . Entonces
se tendra:
|f (yn )f (ym )| |f (yn )fnk (yn )|+|fnk (yn )fnk (ym )|+|f (ym )fnk (ym )| < 3.
|f (x) fnk (x)| |f (x) f (y)| + |f (y) fnk (y)| + |fnk (y) fnk (x)| < 3.