Espai paracompacte
En matemàtiques, i més específicament en el camp de la topologia, la paracompacitat és una propietat que pot posseir un espai topològic. Aquesta propietat és una generalització de la compacitat, ja que està definida per la possibilitat de "refinar" qualsevol recobriment obert. Molts espais d'ús habitual en matemàtiques són paracompactes, per exemple els espais mètrics. La importància de la paracompacitat rau en el fet que permet construir un nombre suficient de particions de la unitat, de manera que permet enganxar objectes locals per a obtenir-ne un de global.
La paracompacitat fou introduïda per Jean Dieudonné l'any 1944[1] en un article on, entre altres coses, provà que tot espai paracompacte és normal. Poc després, l'any 1948, Arthur Harold Stone provà que tot espai metritzable és paracompacte.[2]
Definició
modificaUn espai topològic X és paracompacte si és separat i satisfà la propietat següent: tot recobriment obert de X té un refinament obert localment finit.[3]
Expressat amb més detalls, sigui un recobriment obert de X. Això significa que els conjunts Ui de la família són oberts, i que recobreixen X: . Un altre recobriment es diu refinament de quan per a cada existeix un índex i tal que . Finalment, una família de parts de X es diu localment finita quan tot punt de X té un veïnat que talla només un nombre finit dels .
Com a conseqüència immediata de la definició, tot espai compacte és paracompacte. També ho és tot espai discret.
Alguns autors, especialment en l'àmbit de la topologia general, no imposen la condició de separació de Hausdorff en la definició d'espai paracompacte (de la mateixa manera que no la imposen en la definició d'espai compacte). En tal cas, per a la demostració d'alguns resultats importants, cal afegir explícitament la hipòtesi de separació.
Propietats
modificaAlgunes operacions topològiques amb espais paracompactes donen espais paracompacte, mentre que d'altres no. Per exemple:
- Tot subespai tancat d'un espai paracompacte és paracompacte.[3]
- En canvi, un subespai qualsevol d'un espai paracompacte no té per què ser paracompacte; per exemple, un subconjunt obert d'un espai compacte pot no ser paracompacte.
- El producte d'un espai paracompacte i un espai compacte és paracompacte.[4]
- En canvi, el producte de dos espais paracompactes pot no ser paracompacte.
- La suma (unió disjunta) d'una família arbitrària d'espais paracompactes és paracompacte.[4]
Les relacions més importants entre els espais paracompactes i altres espais topològics són:
- Tot espai paracompacte és normal.[5]
- Tot espai metritzable és paracompacte.[6]
- Sigui X un espai localment compacte. Perquè sigui paracompacte és necessari i suficient que sigui la suma d'una família d'espais σ-compactes.
Exemples
modificaEls teoremes citats en l'apartat anterior forneixen una gran quantitat d'exemples d'espais paracompactes, ja que per exemple qualsevol subespai d'un espai euclidià és òbviament un espai mètric, i per tant paracompacte.
En topologia algebraica i topologia diferencial interessa treballar amb varietats topològiques. Una varietat topològica és un espai localment compacte, i un espai localment compacte amb base numerable d'oberts és σ-compacte. Per aquest motiu una varietat topològica és paracompacta sii cada component connex té base numerable d'oberts.
Les varietats topològiques no paracompactes són d'interès limitat, i la seva construcció força complicada. Els exemples més importants són la recta llarga i la superfície de Prüfer.[7] També hi ha exemples de varietats separables no paracompactes, com ara la superfície de Calabi–Rosenlicht.
Aplicacions
modificaLa importància dels espais paracompactes és deguda al teorema d'existència de particions de la unitat; aquestes permeten enganxar objectes locals per a obtenir-ne un de global.
- Teorema[5] Sigui X un espai paracompacte. Per a tot recobriment obert de X existeix una partició de la unitat subordinada al recobriment.
Recordem que una partició de la unitat és una família de funcions contínues, tals que els seus suports formen un conjunt localment finit, i que . La partició es diu subordinada al recobriment quan el suport de cada és contingut dins .
Recíprocament, si un espai separat admet particions de la unitat subordinades a qualsevol recobriment obert llavors és paracompacte.
En el cas de varietats diferenciables, el mateix procediment permet construir particions diferenciables de la unitat. Una de les aplicacions més importants de l'existència d'aquestes és la següent:
- Teorema[8] Una varietat diferenciable (real, de dimensió finita) és paracompacta sii admet una mètrica riemanniana.
De manera semblant, mitjançant l'ús de particions de la unitat en una varietat paracompacta orientable es pot definir la integral d'una forma diferencial de grau màxim.
Referències
modificaBibliografia
modifica- Abraham, R.; Marsden, J.E.; Ratiu, T. Manifolds, tensor analysis, and applications (2nd ed.) (en anglès). Nova York: Springer, 1988. ISBN 0-387-96790-7.
- Bourbaki, N. Topologie générale, chapitres 1 à 4 (en francès). París: Hermann, 1971.
- Bourbaki, N. Topologie générale, chapitres 5 à 10 (en francès). París: Diffusion CCLS, 1974. ISBN 2-903684_006-3.
- Dieudonné, Jean «Une généralisation des espaces compacts». J. Math. Pures. Appl., 23, 1944. ISSN: 0021-7824.
- Spivak, Michael. A comprehensive introduction to differential geometry, vol. I (3rd ed.) (en anglès). Houston: Publish or Perish, 1999.
- Stone, A.H. «Paracompactness and product spaces». Bull. Amer. Math. Soc., 54, 1948, pàg. 977–982. ISSN: 0002-9904.