Diferencia entre revisiones de «Espacio compacto»
m PR:CW: Artículos con <big> |
|||
Línea 9: | Línea 9: | ||
{{ecuación|1=<math>\bigcup_{i\in I}O_i\supseteq A</math>}} |
{{ecuación|1=<math>\bigcup_{i\in I}O_i\supseteq A</math>}} |
||
}} |
}} |
||
Dado un cubrimiento ''C'' de un conjunto ''A'', un '''subcubrimiento''' ''D'' es una subfamilia de ''C'', ''D'' ⊆ ''C'' que sigue siendo un cubrimiento de ''A'' |
Dado un cubrimiento ''C'' de un conjunto ''A'', un '''subcubrimiento''' ''D'' es una subfamilia de ''C'', ''D'' ⊆ ''C'' que sigue siendo un cubrimiento de ''A'' —es decir, una subcolección de conjuntos de ''C'' que aún cubre a ''A''—. |
||
La definición de compacidad es entonces: |
La definición de compacidad es entonces: |
||
{{definición|1=Un [[espacio topológico]] ''X'' se dice '''compacto''' si, dado un cubrimiento abierto de ''X'' cualquiera, existe un subcubrimiento [[finito]] del mismo.}} |
{{definición|1=Un [[espacio topológico]] ''X'' se dice '''compacto''' si, dado un cubrimiento abierto de ''X'' cualquiera, existe un subcubrimiento [[finito]] del mismo.}} |
||
''' |
'''Ejemplos.''' |
||
*El conjunto ''K'' = {1, 1/2, 1/3, 1/4, ..., 0} ⊆ '''R''' con la topología heredada de la |
*El conjunto ''K'' = {1, 1/2, 1/3, 1/4, ..., 0} ⊆ '''R''' con la topología heredada de la estándar de '''R''' es compacto. Dado un [[entorno (topología)|entorno]] de 0, este incluye a todos los 1/''n'' salvo un número finito —puesto que la sucesión {1/''n''}<sub>''n'' ∈ '''N'''</sub> [[convergencia (matemáticas)|converge]] a 0—. Por tanto, dado un cubrimiento abierto de ''K'', tomando un abierto ''O'' que contenga a 0, y un abierto que contenga cada punto 1/''n'' no contenido en ''O'', esta subcolección finita cubre a ''K''. |
||
*El [[intervalo abierto]] (0, 1) ⊆ '''R''' no es compacto (con la topología usual heredada de '''R'''). |
*El [[intervalo abierto]] (0, 1) ⊆ '''R''' no es compacto (con la topología usual heredada de '''R'''). La familia { (0, 1 − 1/''n'') }<sub>''n'' > 1</sub> es un cubrimiento abierto del intervalo, pero dada cualquier subfamilia finita, existe un intervalo (0, 1 − 1/''k'') en ella que contiene a los demás —buscando aquel con ''k'' mínimo—. Como 1 − 1/''p'' no está en (0, 1 − 1/''k'') si ''p'' > ''k'', ninguna subfamilia finita cubre (0, 1). |
||
=== Caracterizaciones equivalentes === |
=== Caracterizaciones equivalentes === |
Revisión del 13:01 4 dic 2011
En topología, un espacio compacto es un espacio que tiene propiedades similares a un conjunto finito, en cuanto a que las sucesiones contenidas en un conjunto finito siempre contienen una subsucesión convergente. La propiedad de compacidad es una versión más fuerte de esta propiedad.
Definición
Definición general
La definición moderna de compacidad requiere primero especificar la noción de cubrimiento abierto:
|
Dado un cubrimiento C de un conjunto A, un subcubrimiento D es una subfamilia de C, D ⊆ C que sigue siendo un cubrimiento de A —es decir, una subcolección de conjuntos de C que aún cubre a A—.
La definición de compacidad es entonces:
|
Ejemplos.
- El conjunto K = {1, 1/2, 1/3, 1/4, ..., 0} ⊆ R con la topología heredada de la estándar de R es compacto. Dado un entorno de 0, este incluye a todos los 1/n salvo un número finito —puesto que la sucesión {1/n}n ∈ N converge a 0—. Por tanto, dado un cubrimiento abierto de K, tomando un abierto O que contenga a 0, y un abierto que contenga cada punto 1/n no contenido en O, esta subcolección finita cubre a K.
- El intervalo abierto (0, 1) ⊆ R no es compacto (con la topología usual heredada de R). La familia { (0, 1 − 1/n) }n > 1 es un cubrimiento abierto del intervalo, pero dada cualquier subfamilia finita, existe un intervalo (0, 1 − 1/k) en ella que contiene a los demás —buscando aquel con k mínimo—. Como 1 − 1/p no está en (0, 1 − 1/k) si p > k, ninguna subfamilia finita cubre (0, 1).
Caracterizaciones equivalentes
La compacidad de un espacio admite varias formulaciones alternativas:
|
Compacidad en espacios métricos
Un subconjunto A de un espacio métrico y, en particular, del espacio euclídeo , es compacto si cumple alguna de las cuatro condiciones de la definición general. No obstante, la tercera de ellas admite la siguiente reescritura en este contexto: toda sucesión en admite una subsucesión convergente.
Ejemplos
- El ejemplo paradigmático de espacio compacto es un intervalo cerrado de la recta.
- Más generalmente, también lo es cualquier conjunto cerrado y acotado del espacio euclídeo.
- Un ejemplo de espacio no compacto es la recta real, pues no es acotada y contiene sucesiones que tienden a infinito.
- Tampoco es compacto el conjunto de los números racionales, pues uno puede acercarse arbitrariamente a puntos que faltan.
Teoremas asociados a la compacidad
Teorema de Heine-Borel
Por el teorema de Heine-Borel, un espacio métrico es compacto si y sólo si es completo y totalmente acotado. Para subconjuntos del espacio euclídeo, basta con que éste sea cerrado y acotado, que es una caracterización útil.
Sin embargo, en dimensión infinita, esto no es verdad, y, de hecho, en este contexto la bola unitaria cerrada jamás será compacta; por lo mismo, es mucho más difícil verificar compacidad.
Teorema de Arzelá-Ascoli
Véase también
- Localmente compacto.
- Soporte compacto.
- Alejandro Jofré, Patricio Felmer, Paul Bosch, Matías Bulnes, Arturo Prat, Luis Rademacher, José Zamora, y Mauricio Vargas. "Cálculo en Varias Variables - Apunte Completo" (2011). Disponible en: http://works.bepress.com/mvargas/1
Referencias
- Ivorra, Carlos, Análisis, consultado el 21 de mayo de 2011..
- Munkres, James (2001). Topología. Pearson Educación. ISBN 9788420531809.