Spațiu paracompact
Salt la navigare Salt la căutare
În topologie , o ramură a matematicii , un spațiu paracompact este o ușoară generalizare a conceptului de spațiu compact , adică un spațiu ale cărui puncte sunt „apropiate” unele de altele.
Definiție
Un spațiu topologic este paracompact dacă fiecare capac este deschis din admite un rafinament local finit, adică dacă există un capac deschis din astfel încât:
- fiecare este cuprins într-un element de ;
- fiecare admite un cartier care intersectează doar un număr finit de elemente ale .
În unele cazuri, cererea care este, de asemenea, adăugată este un spațiu Hausdorff .
Exemple
- Fiecare spațiu compact este paracompact: de fapt, un sub acoperire este, de asemenea, un rafinament, iar fiecare sub acoperire finit este, de asemenea, local finit.
- Deschis și închis de sunt paracompacte.
- Fiecare varietate topologică este paracompactă.
- Mai general, fiecare spațiu metrizabil este paracompact (teorema lui Stone ).
- Mulțimea numerelor reale cu topologia limită inferioară ( linia Sorgenfrey ) este paracompactă.
- Fiecare spațiu obișnuit Lindelöf este paracompact.
Proprietate
- Fiecare spațiu Hausdorff paracompact este normal (teorema Dieudonné ).
- Fiecare subspatiu inchis al unui paracompact este paracompact.
- Produsul topologic al unui spațiu paracompact și al unui spațiu compact este paracompact, dar nu este neapărat produsul a două paracompacte: un celebru contraexemplu este dat de produsul liniei Sorgenfrey cu sine ( planul Sorgenfrey ).
- A fi un spațiu paracompact este o condiție necesară pentru existența partițiilor unitare .
Bibliografie
- ( EN ) Ryszard Engelking, Topologie generală , Berlin, Heldermann, 1989, ISBN 3-88538-006-4 .
- Edoardo Sernesi, Geometry 2 , Turin, Bollati Boringhieri , 1994, ISBN 978-88-339-5548-3 .
- ( EN ) Ernest Arthur Michael, Paracompact Spaces , în Klaas Pieter Hart, Jun-iti Nagata și Jerry E. Vaughan (eds), Enciclopedia topologiei generale , Elsevier, 2003, ISBN 978-0-444-50355-8 .
Elemente conexe
linkuri externe
- ( EN ) AV Arkhangel'skii, Paracompact space , în Enciclopedia Matematicii , Springer și European Mathematical Society, 2002.
Controlul autorității | GND ( DE ) 4694611-1 |
---|