Espai compacte
En topologia, un subconjunt d'un espai topològic es diu compacte si tot recobriment obert seu té un subrecobriment finit, és a dir, si per a tot tal que són tots oberts i , hi ha finit tal que . Noti's que, en particular, podria ser . En aquest cas es parla d'un espai compacte. Es verifica llavors que és compacte si i només si és un espai compacte per a la topologia traça.
Que un espai sigui compacte és una propietat que intenta generalitzar la noció d'un subconjunt de l'espai euclidià tancat i fitat[1] per mitjà de la idea que un espai no tingui "forats" i que no "faltin els punts finals", és a dir que l'espai no exclogui cap punt de "valor límit". Per exemple, l'interval "no tancat" (0,1) no seria compacte ja que exclou els valors límits de 0 i 1, que mentre que l'interval tancat [0,1] seria compacte. Similarment, l'espai de nombres racionals no és compacte ja que té un nombre infinit de "forats" que corresponen als nombres irracionals, i l'espai de nombres reals no és compacte ja que exclou els valors límits i . Tanmateix, la recta extensa de nombre reals seria compacte, ja que conté tots dos infinits. Hi ha moltes maneres de precisar en aquesta noció heurística. Els diferents plantejaments coincideixen en l'espai euclidià, però poden no ser equivalents en altres espais topològics.
Una d'aquestes generalitzacions és la que diu que un espai topològic és successionalment compacte si tota successió infinita de punts mostrejats en l'espai té una subsuccessió que convergeix en algun punt de l'espai.[2] El teorema de Bolzano-Weierstrass afirma que un subconjunt de l'espai euclidià és compacte en aquest sentit successional si i només si és tancat i fitat. Per tant, si es tria un nombre infinit de punts en l'interval unitat tancat, [0, 1], alguns dels seus punts s'aproparan arbitràriament a algun nombre real en aquest espai. Per exemple, alguns dels nombres en la seqüència 1/2, 4/5, 1/3, 5/6, 1/4, 6/7, ... s'acumulen en el 0 (mentre que d'altres ho fan a l'1). El mateix conjunt de punts no s'acumularien a cap punt de l'interval unitat obert (0, 1), així doncs l'interval unitat obert no és compacte. Tot i que subconjunts (subespais) de l'espai euclidià poden ser compactes, l'espai sencer en si no és compacte ja que no és fitat. Per exemple, considerant , la recta de nombres reals sencera, la successió de punts 0, 1, 2, 3, ..., no té cap subseqüència que convergeixi a cap nombre real.
La idea d'espai compacte va ser introduïda formalment per Maurice Fréchet l'any 1906 per generalitzar el teorema de Bolzano–Weierstrass d'espais de punts geomètrics a espais de funcions. El Teorema d'Arzelà–Ascoli i el teorema d'existència de Peano exemplifiquen aplicacions d'aquesta noció d'espai compacte a l'anàlisi real clàssica. Seguint la seva introducció inicial, diferents nocions equivalents d'espais compactes, inclosa la d'espai successionalment compacte i la d'espai compacte de punts límit van ser desenvolupades en espais mètrics generals.[3] En espais topològics generals, tanmateix, aquestes nocions d'espais compactes no són necessàriament equivalents. La noció més útil -i la definició estàndard del terme espai compacte- és descrita en termes de l'existència de famílies finites de conjunts oberts que recobreixen l'espai en el sentit que tot punt de l'espai pertany a algun conjunt contingut dins de la família. Aquesta noció més subtil, introduïda per Pàvel Aleksàndrov i Pàvel Urysohn l'any 1929, presenta els espais compactes com a generalitzacions de conjunts finits.
S'utilitza sovint el terme conjunt compacte com a sinònim d'espai compacte, però sol fer referència també a subespais compactes d'espais topològics.
Algunes propietats
modificaEs compleix que si és varietat afí, aleshores és connex per camins. Es compleix a més que tot subconjunt acotat d'un precompacto serà també paracompacte.
- Un subconjunt compacte d'un espai de Hausdorff X és tancat.
- En qualsevol espai vectorial topològic (EVT), un subconjunt compacte és complet. Tanmateix, tot EVT no-Hausdorff conté subconjunts compactes (i per tant complets) que són no tancats.
- Siguin A i B subconjunts compactes disjunts d'un espai de Hausdorff X, llavors existeixen conjunts oberts disjunts U i V en X tals que A ⊆ U i B ⊆ V.
- Una bijecció contínua entre un espai compacte i un espai de Hausdorff és un homeomorfisme.
- Un espai compacte Hausdorff és normal i regular.
- Si un subconjunt d'un espai mètric (X, d) és compacte, llacros és fitada per d.
Funcions i espai compactes
modificaCom que la imatge contínua d'un espai compacte és compacte, el teorema dels valors extrems aplica en tals espais: una funció contínua real en un espai compacte no buit és fitada per sobre i arriba al seu supremum.[4] (De forma lleugerament més general, això és veritat per una funció semicontínua per dalt.) Com a inverse de les afirmacions anteriors, la pre-imatge d'un espai compacte sota l'aplicació pròpia és compacta.
Exemples bàsics
modificaQualsevol espai finit és compacte; es pot obtenir un subrecobriment seleccionant, per cada punt, un conjunt obert que el contingui. Un exemple no trivial d'un espai compacte és l'interval unitat (tancat) [0,1] dels nombres reals. Si es tria un nombre infinit de punts diferents en l'interval unitat, llavors hi ha d'haver algun punt d'acumulació entre aquests punts en l'interval. Per exemple, els termes imparells de la seqüència 1, 1/2, 1/3, 3/4, 1/5, 5/6, 1/7, 7/8, ... van a parar arbitràriament a prop del 0, mentre que els termes parells tendeixen a 1. Aquest exemple de seqüència mostra la importànica d'incloure els punts de la frontera de l'interval, ja que els punts límit han de ser en l'espai mateix — un interval obert (o mig obert) dels nombres reals no és compacte. És també crucial que l'interval sigui fitat, ja que en l'interval [0,∞), es podria agafar la seqüència de punts 0, 1, 2, 3, ..., de la qual no hi ha cap subseqüència que arribi arbitràriament a prop de que cap nombre real donat.
En dues dimensions, els cercles tancats són compactes ja que per tot nombre infinit de punts mostrejats en el disc, alguns subconjunt d'aquests punts ha d'arribar arbitràriament a prop ja sigui a un punt del disc, o en un punt de la frontera. Tanmateix, un cercle obertr no és compacte, ja que una seqüència de punts pot tendir a la frontera — sense arribar arbitràriament a prop de cap punt de l'interior. De forma similar, les esferes són compactes, però una esfera que li falti un punt no ho és ja que una seqüència de punts pot seguir tendint al punt que falta, no arribant per tant arbitràriament a prop al punt de dins de l'espai. Les línies i els plans no són compactes, ja que es pot prendre un conjunt de punts equi-espaiats en qualsevol direcció sense que es tendeixi a cap punt.
Compacitat en espais mètrics
modificaSi és un espai mètric, llavors, per , les següents proposicions són totes equivalents:
- és compacte
- és seqüencialment compacte
- és complet i totalment tancat
A més, serà sempre tancat i acotat.
El teorema de Heine-Borel dona una caracterització útil en els espais vectorials normats de dimensió finita: és compacte si i només si és tancat i fitat. Tanmateix, en dimensió infinita, això no és veritat, i, de fet, en aquest context la bola unitària tancada mai serà compacta, pel mateix,[Cal aclariment] és molt més difícil verificar compacitat. Un resultat important en els espais de funcions contínues és el teorema de Arzelá-Ascoli.
Importància dels Conjunts Compactes
modificaEls conjunts compactes tenen gran importància en diversos resultats de l'anàlisi, sent un dels més importants el teorema de Weierstrass: tota funció real contínua definida en un espai compacte assoleix el seu màxim i el mínim.
Un altre resultat important és el teorema de Heine, que indica que tota funció contínua el domini sigui un conjunt compacte, serà uniformement contínua.
Notes
modifica- ↑ Sigui X = {a, b} i doti's X de la topologia {X, ∅, {a}}. Llavors {a} és un conjunt compacte però no és tancat.
- ↑ Sigui X el conjunt de enters no negatius. Dotem X amb la topologia de punt particular definint un subconjunt U ⊆ X com obert si i només si 0 ∈ U. Llavors S := {0} és compacte, l'adherència de S és tot X, però X no és compacte ja que la col·lecció de subconjunts oberts {{0, x} : x ∈ X} no té un subrecobriment finit.
Referències
modifica- ↑ «Compactness | mathematics» (en anglès). [Consulta: 25 novembre 2019].
- ↑ Engelking, Ryszard. General topology. Warsaw: PWN, 1977, p. 266.
- ↑ «Sequential compactness». Arxivat de l'original el 2022-08-13. [Consulta: 25 novembre 2019].
- ↑ Arkhangel'skii & Fedorchuk 1990, Corollary 5.2.1
Bibliografia
modifica- Alexandrov, Pavel; Urysohn, Pavel «Mémoire sur les espaces topologiques compacts». Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam, Proceedings of the Section of Mathematical Sciences, 14, 1929.
- Arkhangel'skii, A.V.; Fedorchuk, V.V.. General Topology I. 17. Springer, 1990. ISBN 978-0-387-18178-3. «The basic concepts and constructions of general topology».
- Arkhangel'skii, A.V.. Michiel Hazewinkel (ed.). Compact space. Encyclopedia of Mathematics (en anglès). Springer, 2001. ISBN 978-1-55608-010-4..
- Bolzano, Bernard. Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetzes Resultat gewähren, wenigstens eine reele Wurzel der Gleichung liege. Wilhelm Engelmann, 1817. (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).
- Borel, Émile «Sur quelques points de la théorie des fonctions». Annales Scientifiques de l'École Normale Supérieure, 12, 1895, pàg. 9–55. DOI: 10.24033/asens.406.
- Bourbaki, Nicolas. Topologie générale. Chapitres 1 à 4. Berlín: Springer, 2007. ISBN 978-3-540-33982-3.
- Boyer, Carl B. The history of the calculus and its conceptual development. Nova York: Dover Publications, 1959.
- Boyer, Carl Benjamin; Merzbac h, Uta C. A History of Mathematics. 2a edició. John Wiley & Sons, 1991. ISBN 978-0-471-54397-8.
- Arzelà, Cesare «Sulle funzioni di linee». Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat., 5, 5, 1895, pàg. 55–74.
- Arzelà, Cesare. Un'osservazione intorno alle serie di funzioni, 1882–1883, p. 142–159.
- Ascoli, G. «Le curve limiti di una varietà data di curve». Atti della R. Accad. Dei Lincei Memorie della Cl. Sci. Fis. Mat. Nat., 18, 3, 1883–1884, pàg. 521–586.
- Fréchet, Maurice «Sur quelques points du calcul fonctionnel». Rendiconti del Circolo Matematico di Palermo, 22, 1, 1906, pàg. 1–72. DOI: 10.1007/BF03018603.
- Gillman, Leonard; Jerison, Meyer. Rings of continuous functions. Springer-Verlag, 1976.
- Plantilla:Howes Modern Analysis and Topology 1995
- Kelley, John. General topology. 27. Springer-Verlag, 1955.
- Kline, Morris. Mathematical thought from ancient to modern times. 3rd. Oxford University Press, 1990. ISBN 978-0-19-506136-9.
- Lebesgue, Henri. Leçons sur l'intégration et la recherche des fonctions primitives. Gauthier-Villars, 1904.
- Robinson, Abraham. Non-standard analysis. Princeton University Press, 1996. ISBN 978-0-691-04490-3.
- Scarborough, C.T.; Stone, A.H. «Products of nearly compact spaces». Transactions of the American Mathematical Society. Transactions of the American Mathematical Society, 124, 1, 1966, pàg. 131-147. DOI: 10.2307/1994440. JSTOR: 1994440..
- Steen, Lynn Arthur; Seebach, J. Arthur Jr.. Counterexamples in Topology. Dover Publications reprint of 1978. Berlin, New York: Springer-Verlag, 1995. ISBN 978-0-486-68735-3.
- Willard, Stephen. General Topology. Dover publications, 1970. ISBN 0-486-43479-6.