« Espace paracompact » : différence entre les versions
m →Variantes : typographie + syntaxe wiki standardisée + nettoyage |
Ajouté une source concernant l'introduction et l'année d'introduction de la notion d'un espace paracompact. |
||
| Ligne 1 : | Ligne 1 : | ||
Un [[espace topologique]] est dit '''paracompact''' s'il est [[Espace séparé|séparé]] et si tout [[Recouvrement (mathématiques)|recouvrement]] [[Ouvert (topologie)|ouvert]] admet un [[Glossaire Topologique#R|raffinement]] (ouvert) [[Glossaire Topologique#L|localement fini]]<ref>{{Bourbaki-Topologie}}, édition de 2007, {{p.|I.69}}.</ref>. Cette définition a été introduite par le mathématicien français [[Jean Dieudonné]] |
Un [[espace topologique]] est dit '''paracompact''' s'il est [[Espace séparé|séparé]] et si tout [[Recouvrement (mathématiques)|recouvrement]] [[Ouvert (topologie)|ouvert]] admet un [[Glossaire Topologique#R|raffinement]] (ouvert) [[Glossaire Topologique#L|localement fini]]<ref>{{Bourbaki-Topologie}}, édition de 2007, {{p.|I.69}}.</ref>. Cette définition a été introduite par le mathématicien français [[Jean Dieudonné]] en 1944.<ref>{{Ouvrage |
||
| langue = Français |
|||
| prénom = Nicolas |
|||
| nom = Bourbaki |
|||
| titre = Éléments de mathématique: Topologie générale, Chapitres 5 à 10 |
|||
| éditeur = Springer |
|||
| année = 1974 |
|||
| pages totales = VII + 317 |
|||
| isbn = 978-3-540-34486-5 |
|||
| DOI = 10.1007/978-3-540-34486-5 |
|||
| lire en ligne = https://books.google.co.cr/books?id=V9LEtm53D0QC&pg=PA127 |
|||
}}</ref> On rappelle qu'un recouvrement (''X{{ind|i}}'') d'un espace topologique ''X ''est dit localement fini si tout point de ''X ''possède un voisinage disjoint de presque tous les ''X{{ind|i}}'', i.e. de tous sauf pour un ensemble fini d'indices ''i''. |
|||
Pour un espace topologique [[localement compact]] et [[Espace localement connexe|localement connexe]] (par exemple une [[variété topologique]] de dimension finie), la paracompacité signifie que chaque composante connexe est [[Glossaire topologique#Axiomes de recouvrement|σ-compacte]]. |
Pour un espace topologique [[localement compact]] et [[Espace localement connexe|localement connexe]] (par exemple une [[variété topologique]] de dimension finie), la paracompacité signifie que chaque composante connexe est [[Glossaire topologique#Axiomes de recouvrement|σ-compacte]]. |
||
Version du 23 juillet 2016 à 08:16
Un espace topologique est dit paracompact s'il est séparé et si tout recouvrement ouvert admet un raffinement (ouvert) localement fini[1]. Cette définition a été introduite par le mathématicien français Jean Dieudonné en 1944.[2] On rappelle qu'un recouvrement (Xi) d'un espace topologique X est dit localement fini si tout point de X possède un voisinage disjoint de presque tous les Xi, i.e. de tous sauf pour un ensemble fini d'indices i.
Pour un espace topologique localement compact et localement connexe (par exemple une variété topologique de dimension finie), la paracompacité signifie que chaque composante connexe est σ-compacte.
Propriétés
Tout sous-espace fermé d'un espace paracompact est paracompact.
Tout espace paracompact est collectivement normal[3]. La réciproque est fausse (cf. « Premier ordinal non dénombrable »).
Un espace T1 est paracompact si et seulement si à tout recouvrement ouvert est subordonnée une partition de l'unité. De plus, celle-ci peut alors être choisie localement finie[4].
Tout produit d'un paracompact par un compact (ou plus généralement : par un espace régulier σ-compact[4]) est paracompact, mais un produit de deux espaces paracompacts quelconques n'est pas toujours paracompact, ni même normal (voir Droite de Sorgenfrey et Plan de Sorgenfrey, ou Droite de Michael).
Exemples
Tout compact (ou plus généralement : tout espace de Lindelöf régulier[4] et a fortiori tout espace à base dénombrable régulier) est paracompact.
Tout CW-complexe est paracompact.
Le théorème de métrisabilité de Smirnov[5] affirme qu'un espace est métrisable si et seulement s'il est paracompact (donc séparé) et localement métrisable. En particulier, tout espace métrisable est paracompact (théorème de A. H. Stone[6],[7],[8] et toute variété topologique paracompacte (même sans base dénombrable) est métrisable.
Variantes
Un espace T1 est :
- métacompact (en) si tout recouvrement ouvert admet un raffinement ouvert (Xi) ponctuellement fini, c'est-à-dire tel que tout point n'appartienne qu'à un nombre fini des Xi ;
- orthocompact (en) si tout recouvrement ouvert admet un raffinement ouvert (Xi) tel que pour tout point x, l'intersection des Xi qui contiennent x soit ouvert ;
- « fully normal » si tout recouvrement ouvert admet un raffinement ouvert (Xi) étoilé (en), c'est-à-dire tel que pour tout point x, la réunion des Xi contenant x soit incluse dans l'un des ouverts du recouvrement initial.
On peut ajouter l'adverbe « dénombrablement » à chacun de ces trois adjectifs, pour limiter la condition aux recouvrements ouverts au plus dénombrables.
Tout espace paracompact (ce qui équivaut[6] à : séparé et « fully normal ») est métacompact et tout espace métacompact est orthocompact.
Notes et références
- N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions], édition de 2007, p. I.69.
- Nicolas Bourbaki, Éléments de mathématique: Topologie générale, Chapitres 5 à 10, Springer, , VII + 317 (ISBN 978-3-540-34486-5, DOI 10.1007/978-3-540-34486-5, lire en ligne)
- Bourbaki, op. cit., p. IX.107, ex. 26.
- (en) Ernest Michael (de), « A Note on Paracompact Spaces », Proc. Amer. Math. Soc., vol. 4, no 5, , p. 831-838 (lire en ligne).
- (en) Yu. M. Smirnov (de), « A necessary and sufficient condition for metrizability of a topological space », Doklady Akad. Nauk SSSR (N.S.), vol. 77, , p. 197-200.
- (en) A. H. Stone, « Paracompactness and product spaces », Bull. Amer. Math. Soc., vol. 54, no 10, , p. 977-982 (lire en ligne).
- (en) Mary Ellen Rudin, « A new proof that metric spaces are paracompact », Proc. Amer. Math. Soc., vol. 20, , p. 603 (lire en ligne).
- (en) Donald Ornstein, « A new proof of the paracompactness of metric spaces », Proc. Amer. Math. Soc., vol. 21, , p. 341-342 (lire en ligne).
