Spațiu paracompact

De la Wikipedia, enciclopedia liberă.
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

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

Elemente conexe

linkuri externe

Controlul autorității GND ( DE ) 4694611-1
Matematica Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică