Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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-
pológico es localmente compacto si todo punto tiene un entorno compacto.
Si además 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
sucesión de naturales {nk } es estrictamente creciente, se sigue que m < nk
para algún k. Entonces xk0 ∈/ Am para todo k 0 > k.
4
A0 es una subfamilia totalmente ordenada, entonces la unión de los elementos
de A0 es también -separado. Por el Lema de Zorn, se concluye que para todo
> 0 existe un subconjunto -separado maximal. Esto vale en cualquier
espacio métrico.
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 métrico totalmente acotado es también
totalmente acotado.
3. Compacidad en C(X).
Sea X un espacio métrico 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 máximo. Se define una norma en C(X) poniendo ||f || = máx |f |.
Induce la distancia d∞ .
6
El resultado ahora es ver cómo se caracterizan los subconjuntos com-
pactos de C(X) con la distancia del supremo. Una condición es que el sub-
conjunto sea cerrado. No alcanza con agregar que sea acotado, ver ejercicio
9.
7
lı́mite de la sucesión fnk . En primer lugar, se probará que f es uniforme-
mente continua, y por lo tanto se extiende de manera única a una función
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 tendrá:
|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.