Noțiunea de spațiu compact este utilizată în topologie și se referă la o proprietate a spațiilor topologice.

IstoricModificare

Termenul compact a fost introdus de Fréchet în 1906, fiind necesar la studiul spațiilor metrice. Astfel, proprietățile acestor spații au putut fi generalizate și pentru spații topologice în general.

Un alt motiv pentru utilizarea acestei noțiuni îl constituie faptul că proprietățile spațiilor compacte se aseamănă cu cele ale mulțimilor finite.

DefinițieModificare

Pe mulțimea  Modificare

Pentru orice submulțime a spațiului euclidian  , următoarele definiții sunt echivalente:

  • Orice acoperire deschisă admite o subacoperire finită. Aceasta este definiția cel mai des utilizată.
  • Orice șir conține un subșir convergent a cărui limită aparține mulțimii.
  • Orice submulțime infinită are un punct de acumulare care aparține mulțimii.
  • Mulțimea este închisă și mărginită. Aceasta este condiția cel mai ușor de verificat, de exemplu pentru un interval închis sau pentru o n-bilă.

Cazul spațiilor topologiceModificare

Un spațiu topologic X se numește compact dacă toate acoperirile sale deschise

 , unde   sunt submulțimi deschise ale lui X,

admit o subacoperire finită:

  , cu  


ExempleModificare

Spații compacteModificare

  • Orice spațiu topologic finit, incluzând aici și mulțimea vidă.
  • Intervalul unitar închis  .
  • Orice n-bilă,  .
  • Orice n-sferă,  .
  • Mulțimea Cantor.

Spații care nu sunt compacteModificare

  • Intervalul semideschis  
  • Mulțimea numerelor reale  .
  • Mulțimea numerelor întregi  .
  • Mulțimea numerelor naturale  .
  • Mulțimea numerelor raționale  .
  • Mulțimea numerelor iraționale  .

Proprietăți și teoremeModificare

BibliografieModificare

Vezi șiModificare

Legături externeModificare