Ver el código de «Espacio compacto»

[[File:Compact.svg|thumb|upright=1.6| De acuerdo al criterio de compacticidad para el espacio Euclidiano como es enunciado por el [[Teorema de Heine-Borel|teorema de Heine–Borel]], el intervalo {{math|''A'' {{=}} (−∞, −2]}} no es compacto porque no es acotado. El intervalo {{math|''C'' {{=}} (2, 4)}} no es compacto porque no es cerrado. El intervalo {{math|''B'' {{=}} [0, 1]}} es compacto porque es cerrado y acotado.]]
En la rama de [[topología]] de las [[matemáticas]], un '''espacio compacto''' es un [[espacio topológico|espacio]] que tiene propiedades similares a un [[conjunto finito]], en cuanto a que las [[sucesión matemática|sucesiones]] contenidas en un conjunto finito siempre contienen una [[subsucesión]] convergente. La noción de '''compacidad''' es una versión más general de esta propiedad.

Un '''conjunto compacto''' es un [[subconjunto]] de un espacio [[Topología|topológico]], que como subespacio topológico (con la topología inducida) es en sí mismo un espacio topológico compacto.

La compacticidad es una propiedad que busca generalizar el concepto de un subconjunto cerrado y acotado en el [[espacio Euclidiano]].<ref>{{cite encyclopedia |title=Compactness |department=mathematics |encyclopedia=[[Encyclopaedia Britannica]] |idioma=en |url=https://www.britannica.com/science/compactness |access-date=2019-11-25 |via=britannica.com}}</ref> La idea es que un espacio compacto no posee "pinchazos" o "ausencia de puntos finales", o sea, incluye todos los [[límite (matemáticas)|''valores límites'']] de los puntos. Por ejemplo, el [[intervalo (matemáticas)|intervalo]] abierto (0,1) no es compacto porque excluye los valores límites 0 y 1, mientras que el intervalo cerrado [0,1] es compacto. De manera similar, el espacio de los [[número racional|números racionales]] <math>\mathbb{Q}</math> no es compacto, porque posee un número infinito de "pinchazos o agujeros" correspondientes a los [[número irracional|números irracionale]]s, y el espacio de los [[números reales]] <math>\mathbb{R}</math> tampoco es compacto, porque excluye a los dos valores límites <math>+\infty</math> y <math>-\infty</math>. Sin embargo, la [[números reales extendidos|línea de números reales ''extendida'']] ''sería'' compacta, ya que contiene ambos infinitos. Existen numerosas maneras de expresar de manera precisa esta noción heurística. Estas maneras por lo general coinciden en un  [[espacio métrico]], pero pueden no ser equivalentes en otros espacios topológicos.

Una de estas generalizaciones establece que el espacio topológico es [[sequentially compact|''secuencialmente'' compacto]] si toda sucesión infinita de puntos muestreados del espacio posee una sub sucesión que converge a un punto en el espacio.<ref>{{cite book |last=Engelking |first=Ryszard |year=1977 |title=General Topology |publisher=PWN |place=Warsaw, PL |pages=266 |oclc= |url= }}</ref>

El [[teorema de Bolzano-Weierstrass]] establece que un subconjunto del espacio euclidiano es compacto en este sentido secuencial si y sólo si es cerrado y acotado.

Por lo tanto, si uno elige un número infinito de puntos en el [[intervalo unitario]] {{math|[0, 1]}}, algunos de esos puntos se acercarán arbitrariamente a algún número real en ese espacio.
Por ejemplo, algunos de los números en la secuencia {{nobr| {{sfrac|1|2}}, {{sfrac|4|5}}, {{sfrac|1|3}}, {{sfrac|5|6}}, {{sfrac|1|4}}, {{sfrac|6|7}}, ...}} se acumulan hasta 0 (mientras que otros se acumulan hasta 1).
Dado que ni 0 ni 1 son miembros del intervalo unitario abierto {{math|(0, 1)}}, esos mismos conjuntos de puntos no se acumularían en ningún punto del mismo, por lo que el intervalo unitario abierto no es compacto. Aunque los subconjuntos (subespacios) del espacio euclidiano pueden ser compactos, el espacio completo en sí mismo no es compacto, ya que no está acotado. Por ejemplo, considerando <math>\mathbb{R}^1</math> (la recta numérica real), la secuencia de puntos {{nobr| 0,  1,  2,  3, ...}} no tiene subsecuencia que converja a ningún número real.

== Evolución histórica ==
En el {{siglo|XIX||s}} se comprendieron varias propiedades matemáticas dispares que más tarde se verían como consecuencias de la compacidad.  Por un lado, [[Bernard Bolzano]] ([[#CITEREFBolzano1817|1817]]) ya sabía que toda sucesión acotada de puntos (en la recta o en el plano, por ejemplo) tiene una subsucesión que al final debe [[Perihelio|acercarse]] arbitrariamente a algún otro punto, llamado [[Punto límite de una sucesión|punto límite]]. 
La prueba de Bolzano se basaba en el [[método de bisección]]: la sucesión se colocaba en un intervalo que luego se dividía en dos partes iguales, y se seleccionaba una parte que contuviera infinitos términos de la sucesión. 
El proceso podía repetirse dividiendo el intervalo resultante en partes cada vez más pequeñas, hasta que se cerraba en el punto límite deseado. 
El significado completo del [[teorema de Bolzano-Weierstrass|teorema de Bolzano]], y su método de demostración, no surgirían hasta casi 50 años más tarde, cuando fue redescubierto por [[Karl Weierstrass]].<ref>{{harvnb|Kline|1990|pp=952-953}};{{harvnb|Boyer|Merzbach|1991|p=561}}</ref>

En la década de 1880, se hizo evidente que resultados similares al teorema de Bolzano-Weierstrass podrían formularse para [[espacios de funciones]] en lugar de sólo números o puntos geométricos. 
La idea de considerar las funciones como puntos en sí de un espacio generalizado se remonta a las investigaciones de [[Giulio Ascoli]] y [[Cesare Arzelà]].<ref>{{harvnb|Kline|1990|loc=Capítulo 46, §2}}</ref> 
La culminación de sus investigaciones, el [[teorema de Arzelà-Ascoli]], fue una generalización del teorema de Bolzano-Weierstrass a familias de [[funciones continuas]], cuya conclusión precisa fue que, era posible extraer una [[convergencia uniforme|uniformemente convergente]] secuencia de funciones a partir de una familia adecuada de funciones. 
El límite uniforme de esta sucesión desempeñaba entonces precisamente el mismo papel que el "punto límite" de Bolzano. 
Hacia principios del {{siglo|XX||s}}, comenzaron a acumularse resultados similares a los de Arzelà y Ascoli en el área de las [[ecuaciones integrales]], investigadas por [[David Hilbert]] y [[Erhard Schmidt]]. 
Para una cierta clase de [[funciones de Green]] procedentes de soluciones de ecuaciones integrales, Schmidt había demostrado que se cumplía una propiedad análoga al teorema de Arzelà-Ascoli en el sentido de [[convergencia media]] - o convergencia en lo que más tarde se denominaría un [[espacio de Hilbert]]. 
Esto condujo finalmente a la noción de [[operador compacto]] como una rama de la noción general de espacio compacto. 
Fue [[Maurice René Fréchet|Maurice Fréchet]] quien, en [[#CITEREFFréchet1906|1906]], destiló la esencia de la propiedad de Bolzano-Weierstrass y acuñó el término ''compacidad'' para referirse a este fenómeno general (ya utilizó el término en su artículo de 1904<ref>Frechet, M. 1904. Generalisation d'un theorem de Weierstrass. Analyse Mathematique.</ref> que condujo a la famosa tesis de 1906).

Sin embargo, a finales del {{siglo|XIX||s}} también había surgido lentamente una noción diferente de compacidad a partir del estudio del [[continuo lineal|continuum]], que se consideraba fundamental para la formulación rigurosa del análisis. 
En 1870, [[Eduard Heine]] demostró que una [[función continua]] definida en un intervalo cerrado y acotado era de hecho [[uniformemente continua]]. En el curso de la demostración, hizo uso de un lema según el cual de cualquier cobertura contable del intervalo por intervalos abiertos más pequeños, era posible seleccionar un número finito de éstos que también lo cubrieran. 
La importancia de este lema fue reconocida por [[Émile Borel]] ([[#CITEREFBorel1895|1895]]), y fue generalizado a colecciones arbitrarias de intervalos por [[Pierre Cousin (matemático)|Pierre Cousin]] (1895) y [[Henri Lebesgue]] ([[#CITEREFLebesgue1904|1904]]). El [[teorema de Heine-Borel]], como se conoce ahora el resultado, es otra propiedad especial que poseen los conjuntos cerrados y acotados de números reales.

Esta propiedad era significativa porque permitía pasar de [[propiedad local|información local]] sobre un conjunto (como la continuidad de una función) a información global sobre el conjunto (como la continuidad uniforme de una función). 
Este sentimiento fue expresado por {{harvtxt|Lebesgue|1904}}, que también lo explotó en el desarrollo de la [[integral de Lebesgue|integral que ahora lleva su nombre]]. 
Finalmente, la escuela rusa de [[topología de conjuntos puntuales]], bajo la dirección de [[Pavel Alexandrov]] y [[Pavel Urysohn]], formuló la compacidad de Heine-Borel de forma que pudiera aplicarse a la noción moderna de [[espacio topológico]].{{harvtxt|Alexandrov|Urysohn|1929}} demostró que la versión anterior de la compacidad debida a Fréchet, ahora llamada [[compacidad secuencial]] (relativa), bajo condiciones apropiadas se derivaba de la versión de la compacidad formulada en términos de la existencia de subcubiertas finitas. 

Fue esta noción de compacidad la que se convirtió en la dominante, porque no sólo era una propiedad más sólida, sino que podía formularse en un entorno más general con un mínimo de maquinaria técnica adicional, ya que se basaba únicamente en la estructura de los conjuntos abiertos de un espacio.

== Definición ==
La definición moderna de compacidad requiere primero especificar la noción de [[recubrimiento abierto]]:
{{definición|1=Un '''recubrimiento abierto''' de un subconjunto ''A'' ⊆ ''X'' de un [[espacio topológico]], es una [[familia de conjuntos]] [[conjunto abierto|abiertos]] {''O<sub>i''</sub>}<sub>''i'' ∈ ''I''</sub> de ''X'', tales que su [[unión de conjuntos|unión]] "cubre" a ''A'' :
{{ecuación|1=<math>\bigcup_{i\in I}O_i\supseteq A</math>}}
}}
Dado un recubrimiento ''C'' de un conjunto ''A'', un '''subrecubrimiento''' ''D'' es una subfamilia de ''C'', ''D'' ⊆ ''C'' que sigue siendo un recubrimiento de ''A'' —es decir, una subcolección de conjuntos de ''C'' que aún cubre a ''A''—.

La definición de compacidad es entonces:
{{definición|1=Un [[espacio topológico]] ''X'' se dice '''compacto''' si, para todo recubrimiento abierto de ''X'', existe un subrecubrimiento [[finito]] del mismo.}}

===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 (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 recubrimiento 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'') }<sub>''n'' > 1</sub> es un recubrimiento 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áximo—. 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:
{{teorema|1=Las siguientes afirmaciones sobre un [[espacio topológico]] ''X'' son equivalentes entre sí:
# ''X'' es compacto.
# Si {''F<sub>i''</sub>}<sub>''i'' ∈ ''I''</sub> es una familia de subconjuntos [[conjunto cerrado|cerrados]] en ''X'' con la [[propiedad de la intersección finita]], entonces ∩<sub>''I''</sub>''F<sub>i</sub> ≠ ∅.
# Toda [[Red (matemática)|red]] en ''X'' admite una subred convergente.
# La función al punto <math>X\to\ast</math> es [[aplicación propia|propia]].
}}

=== Compacidad en espacios métricos ===

Un subconjunto ''A'' de un [[espacio métrico]] y, en particular, del [[espacio euclídeo]] <math>\mathbb{R}^n</math> 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 ''A'' admite una subsucesión convergente''.

== Ejemplos ==

* El ejemplo de bandera y sencillo de subconjunto compacto de la recta euclídea es un [[intervalo cerrado]] [a,b] de la misma (Teorema de ''Heine-Borel'').<ref>Ayala-Domínguez-Quintero: Elementos de topología general ISBN 84-7829-006-0</ref>
* Más generalmente, también lo es cualquier conjunto cerrado y acotado del [[espacio euclídeo]]. Cualquier círculo en el plano euclídeo, por ejemplo particular.
* Todo espacio X cofinito es compacto.<ref>Ayala-Domínguez-Quintero: Ibídem, pág. 231</ref>
* Un ejemplo de espacio no compacto es la [[recta real]], pues no es acotada y contiene sucesiones que tienden a infinito. Además ninguna subfamilia finita del recubrimiento de abiertos {(-n, n): ''n'' es n. natural} recubre la recta real.
* Tampoco es compacto el conjunto de los [[números racionales]]. En efecto, una sucesión de racionales que converge a un irracional (al ser vista como sucesión en los reales) no tiene ninguna subsucesión convergente a un racional.

== Teoremas asociados a la compacidad ==

=== Teorema de Heine-Borel ===
{{AP|Teorema de Heine-Borel}}

Por el [[teorema de Heine-Borel]], un espacio métrico es compacto si y sólo si es [[espacio completo|completo]] y totalmente acotado. Para subconjuntos del espacio euclídeo, basta con que este sea [[Sistema cerrado|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á precompacta; por lo mismo, es mucho más difícil verificar compacidad.

*También llamado teorema de Heine-Borel-Lebesgue-Bolzano-Weierstraß o incluso teorema de Borel-Lebesgue.

=== Teorema de la compactificación de Alexándrov ===
{{Artículo principal|Compactificación de Alexándrov}}
El objetivo de la [[compactificación de Alexándrov]] es tomar un espacio topológico arbitrario y añadirle un solo punto, llamado [[punto del infinito]], que haga que el espacio resultante sea compacto [[Espacio de Hausdorff|Hausdorff]] al considerarlo con una cierta topología que [[Topología inducida|induce]] la topología original al espacio de partida cuando se elimina el infinito.

Este proceso no es siempre posible: hace falta que el espacio de partida sea ya Hausdorff pero también [[localmente compacto]]. El teorema afirma que estas condiciones, aparte de necesarias, son ya suficientes para poder compactificar un espacio con un solo punto.

=== Teorema de Tíjonov ===
{{Artículo principal|Teorema de Tíjonov}}
Este teorema relaciona la compacidad de espacios topológicos con la de su [[Topología producto|producto]]. Está claro que si un producto de espacios es compacto, al ser las proyecciones a cada componente [[Función continua|continuas]], y conservarse la compacidad por este tipo de transformaciones, cada espacio del que es producto también lo es.

El teorema de Tíjonov afirma que el recíproco también es cierto: el producto de espacios compactos es compacto. El caso del producto finito de compactos es más sencillo, como ya se podía intuir al pensar que, heurísticamente, un espacio compacto es aquel que se comporta como uno finito. Si un conjunto finito de espacios se comportan como si fueran finitos, su producto parece que también debería comportarse como si fuera finito.

El caso más complicado es que el producto infinito de espacios compactos vuelve a ser compacto. Para la demostración hace falta usar el [[axioma de elección]] y, de hecho, se sabe que ambos enunciados (el teorema de Tíjonov y el axioma de elección) son equivalentes.

=== Teorema de Arzelá-Ascoli ===
{{AP|Teorema de Arzelá-Ascoli}}

== Véase también ==
* [[Compacidad local|Localmente compacto]]
* [[Soporte compacto]]

* [[Número ordinal (teoría de conjuntos)]]
* [[Número cardinal]]

: [[Conjunto finito]]
: [[Conjunto infinito]]
:: [[Conjunto numerable]]
::: '''Espacio compacto'''
:: [[Conjunto no numerable]]
::: [[Hipótesis del continuo]]

== Referencias ==
{{listaref}}
==Bibliografía==
* {{obra citada|apellidos=Ivorra|nombre=Carlos|título=Análisis|url=http://www.uv.es/ivorra/Libros/Analisis.pdf|fechaacceso=21 de mayo de 2011|fechaarchivo=5 de septiembre de 2011|urlarchivo=https://web.archive.org/web/20110905041900/http://www.uv.es/ivorra/Libros/Analisis.pdf|deadurl=yes}}.
* {{cita libro|apellidos=Munkres|nombre=James|título=Topología|isbn=9788420531809|editorial=Pearson Educación|año=2001}}
*{{cite journal |last1=Alexandrov |first1=Pavel |author-link1=Pavel Alexandrov |last2=Urysohn |first2=Pavel |author-link2=Pavel Urysohn |year=1929 |title=Mémoire sur les espaces topologiques compacts |journal=Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam, Proceedings of the Section of Mathematical Sciences |volume=14}} 
*{{cite book |last1=Arkhangel'skii |first1=A.V. |last2=Fedorchuk |first2=V.V. |year=1990 |contribution=The basic concepts and constructions of general topology |editor1=Arkhangel'skii, A.V. |editor2=Pontrjagin, L.S. |title=General Topology I |publisher=Springer |isbn=978-0-387-18178-3 |series=Encyclopedia of the Mathematical Sciences |volume=17}}.
*{{springer |id=C/c023530 |title=Compact space |first=A.V. |last=Arkhangel'skii}}.
*{{cite book |first=Bernard |last=Bolzano |author-link=Bernard Bolzano |year=1817 |title=Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetzes Resultat gewähren, wenigstens eine reele Wurzel der Gleichung liege |url=https://books.google.com/books?id=EoW4AAAAIAAJ&q=%22Rein%20analytischer%20Beweis%20des%20Lehrsatzes%22&pg=PA2-IA3 |publisher=Wilhelm Engelmann}} (''Purely analytic proof of the theorem that between any two values which give results of opposite sign, there lies at least one real root of the equation'').
*{{cite journal |last=Borel |first=Émile |author-link=Émile Borel |year=1895 |title=Sur quelques points de la théorie des fonctions |journal=[[Annales Scientifiques de l'École Normale Supérieure]] |series= 3 |volume=12 |pages=9–55 |jfm=26.0429.03 |doi=10.24033/asens.406  }}
*{{cite book |last1=Bourbaki |first1=Nicolas |title=Topologie générale. Chapitres 1 à 4 |date=2007 |publisher=Springer |location=Berlin |doi=10.1007/978-3-540-33982-3 |isbn=978-3-540-33982-3 |url=https://link.springer.com/book/10.1007/978-3-540-33982-3}}
*{{cite book | last=Boyer | first=Carl B. | author-link=Carl Benjamin Boyer | year=1959 | title=The history of the calculus and its conceptual development | publisher=Dover Publications | location=New York | mr=0124178}}
* {{cite book |last1=Boyer |first1=Carl Benjamin |author-link1=Carl Benjamin Boyer |last2=Merzbach|first2=Uta C|author2-link=Uta Merzbach |year=1991 |title=A History of Mathematics |edition=2nd |publisher=John Wiley & Sons |isbn=978-0-471-54397-8|url=https://archive.org/details/historyofmathema00boye}}
* {{cite journal |first=Cesare |last=Arzelà |author-link=Cesare Arzelà |year=1895 |title=Sulle funzioni di linee |journal=Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat. |volume=5 |issue=5 |pages=55–74}}
* {{cite journal |last=Arzelà |first=Cesare |author-link=Cesare Arzelà |year=1882–1883 |title=Un'osservazione intorno alle serie di funzioni |journal=Rend. Dell' Accad. R. Delle Sci. dell'Istituto di Bologna |pages=142–159}}
* {{cite journal |last=Ascoli |first=G. |author-link=Giulio Ascoli |year=1883–1884 |title=Le curve limiti di una varietà data di curve |journal=Atti della R. Accad. Dei Lincei Memorie della Cl. Sci. Fis. Mat. Nat. |volume=18 |issue=3 |pages=521–586}}
*{{cite journal |last=Fréchet | first=Maurice |author-link=Maurice Fréchet |year=1906 |title=Sur quelques points du calcul fonctionnel |journal=[[Rendiconti del Circolo Matematico di Palermo]] |volume=22 |issue=1 |pages=1–72 |doi=10.1007/BF03018603 |hdl=10338.dmlcz/100655 |s2cid=123251660 |url=https://zenodo.org/record/1428464 }}
*{{cite book | last1=Gillman|first1=Leonard |last2=Jerison |first2=Meyer |year=1976 |title=Rings of continuous functions |publisher=Springer-Verlag}}
*{{cite book | last=Kelley |first=John |year=1955 |title=General topology |publisher=Springer-Verlag |series=Graduate Texts in Mathematics |volume=27}}
*{{cite book | last1=Kline | first1=Morris | author1-link=Morris Kline  |year=1990 | title=Mathematical thought from ancient to modern times | publisher=Oxford University Press | edition=3rd | isbn=978-0-19-506136-9 | url-access=registration | url=https://archive.org/details/mathematicalthou00klin }} 
*{{cite book |first=Henri |last=Lebesgue |year=1904 |title=Leçons sur l'intégration et la recherche des fonctions primitives |publisher=Gauthier-Villars |url=https://books.google.com/books?id=VfUKAAAAYAAJ&q=%22Lebesgue%22%20%22Le%C3%A7ons%20sur%20l'int%C3%A9gration%20et%20la%20recherche%20des%20fonctions%20...%22&pg=PA1}} 
*{{cite book | last1=Robinson | first1=Abraham | author1-link=Abraham Robinson | year=1996 | title=Non-standard analysis | url=https://archive.org/details/nonstandardanaly0000robi_h7u8 | publisher=Princeton University Press | isbn=978-0-691-04490-3 |mr=0205854}} 
* {{cite journal |first1=C.T. |last1= Scarborough |first2= A.H. |last2= Stone |year=1966 |title= Products of nearly compact spaces |journal= Transactions of the American Mathematical Society |volume= 124 |issue=1 |pages= 131–147 |doi=10.2307/1994440 |jstor=1994440 |url=https://www.ams.org/tran/1966-124-01/S0002-9947-1966-0203679-7/S0002-9947-1966-0203679-7.pdf |archive-url=https://web.archive.org/web/20170816203049/http://www.ams.org/tran/1966-124-01/S0002-9947-1966-0203679-7/S0002-9947-1966-0203679-7.pdf |archive-date=2017-08-16  }}.
* {{cite book | last1=Steen | first1=Lynn Arthur  | last2=Seebach | first2=J. Arthur Jr.  | year=1995 | title=Counterexamples in Topology  | url=https://archive.org/details/counterexamplesi0000stee_e8x7 | publisher=Springer-Verlag | location=Berlin, New York | edition=Dover Publications reprint of 1978 | isbn=978-0-486-68735-3 | mr=507446  }}
* {{cite book |last=Willard |first=Stephen |year=1970 |title=General Topology |publisher=Dover publications |isbn=0-486-43479-6}}
<!-- == Enlaces externos == -->
{{wikilibros|Espacios Métricos}} incluyendo espacios compactos.

{{Control de autoridades}}
[[Categoría:Espacios topológicos]]