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}}}{mathcal {F}} di X{displaystyle X}X ammette un raffinamento localmente finito, cioè se esiste un ricoprimento aperto G{displaystyle {mathcal {G}}}{mathcal  {G}} di X{displaystyle X}X tale che:



  • ogni G∈G{displaystyle Gin {mathcal {G}}}{displaystyle Gin {mathcal {G}}} è contenuto in un elemento di F{displaystyle {mathcal {F}}}{mathcal {F}};

  • ogni x∈X{displaystyle xin X}xin X ammette un intorno Ux{displaystyle U_{x}}U_x che interseca solo un numero finito di elementi di G{displaystyle {mathcal {G}}}{mathcal  {G}}.


In alcuni casi viene aggiunta anche la richiesta che X{displaystyle X}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}}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


MatematicaPortale Matematica: accedi alle voci di Wikipedia che trattano di matematica



Popular posts from this blog

Ottavio Pratesi

Tricia Helfer

15 giugno