Spazio paracompatto
In topologia, una branca della matematica, uno spazio paracompatto è una leggera generalizzazione del concetto di spazio compatto, cioè di uno spazio i cui punti sono "vicini" tra loro.
Indice
1 Definizione
2 Esempi
3 Proprietà
4 Bibliografia
5 Voci correlate
6 Collegamenti esterni
Definizione |
Uno spazio topologico è paracompatto se ogni ricoprimento aperto F{displaystyle {mathcal {F}}} di X{displaystyle X}
ammette un raffinamento localmente finito, cioè se esiste un ricoprimento aperto G{displaystyle {mathcal {G}}}
di X{displaystyle X}
tale che:
- ogni G∈G{displaystyle Gin {mathcal {G}}}
è contenuto in un elemento di F{displaystyle {mathcal {F}}}
;
- ogni x∈X{displaystyle xin X}
ammette un intorno Ux{displaystyle U_{x}}
che interseca solo un numero finito di elementi di G{displaystyle {mathcal {G}}}
.
In alcuni casi viene aggiunta anche la richiesta che X{displaystyle X} sia uno spazio di Hausdorff.
Esempi |
- Ogni spazio compatto è paracompatto: infatti un sottoricoprimento è anche un raffinamento, e ogni sottoricoprimento finito è anche localmente finito.
- Gli aperti e i chiusi di Rn{displaystyle mathbb {R} ^{n}}
sono paracompatti.
- Ogni varietà topologica è paracompatta.
- Più in generale, ogni spazio metrizzabile è paracompatto (teorema di Stone).
- L'insieme dei numeri reali con la topologia del limite inferiore (la retta di Sorgenfrey) è paracompatto.
- Ogni spazio di Lindelöf regolare è paracompatto.
Proprietà |
- Ogni spazio paracompatto di Hausdorff è normale (teorema di Dieudonné).
- Ogni sottospazio chiuso di un paracompatto è paracompatto.
- Il prodotto topologico di uno spazio paracompatto e di uno spazio compatto è paracompatto, ma non lo è necessariamente il prodotto di due paracompatti: un famoso controesempio è dato dal prodotto della retta di Sorgenfrey con sé stessa (il piano di Sorgenfrey).
- L'essere uno spazio paracompatto è una condizione necessaria per l'esistenza delle partizioni dell'unità.
Bibliografia |
- (EN) Ryszard Engelking, General topology, Berlino, Heldermann, 1989, ISBN 3-88538-006-4.
- Edoardo Sernesi, Geometria 2, Torino, Bollati Boringhieri, 1994, ISBN 978-88-339-5548-3.
- (EN) Ernest Arthur Michael, Paracompact Spaces, in Klaas Pieter Hart, Jun-iti Nagata e Jerry E. Vaughan (a cura di), Encyclopedia of General Topology, Elsevier, 2003, ISBN 978-0-444-50355-8.
Voci correlate |
- Partizione dell'unità
- Spazio compatto
Collegamenti esterni |
- (EN) A.V. Arkhangel'skii, Paracompact space, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.
.mw-parser-output .navbox{border:1px solid #aaa;clear:both;margin:auto;padding:2px;width:100%}.mw-parser-output .navbox th{padding-left:1em;padding-right:1em;text-align:center}.mw-parser-output .navbox>tbody>tr:first-child>th{background:#ccf;font-size:90%;width:100%}.mw-parser-output .navbox_navbar{float:left;margin:0;padding:0 10px 0 0;text-align:left;width:6em}.mw-parser-output .navbox_title{font-size:110%}.mw-parser-output .navbox_abovebelow{background:#ddf;font-size:90%;font-weight:normal}.mw-parser-output .navbox_group{background:#ddf;font-size:90%;padding:0 10px;white-space:nowrap}.mw-parser-output .navbox_list{font-size:90%;width:100%}.mw-parser-output .navbox_odd{background:#fdfdfd}.mw-parser-output .navbox_even{background:#f7f7f7}.mw-parser-output .navbox_center{text-align:center}.mw-parser-output .navbox .navbox_image{padding-left:7px;vertical-align:middle;width:0}.mw-parser-output .navbox+.navbox{margin-top:-1px}.mw-parser-output .navbox .mw-collapsible-toggle{font-weight:normal;text-align:right;width:7em}.mw-parser-output .subnavbox{margin:-3px;width:100%}.mw-parser-output .subnavbox_group{background:#ddf;padding:0 10px}
.mw-parser-output .CdA{border:1px solid #aaa;width:100%;margin:auto;font-size:90%;padding:2px}.mw-parser-output .CdA th{background-color:#ddddff;font-weight:bold;width:20%}
| Controllo di autorità | GND (DE) 4694611-1 |
|---|