Spațiu compact

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

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.

Pe mulțimea

[modificare | modificare sursă]

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 topologice

[modificare | modificare sursă]

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


Spații compacte

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

Spații care nu sunt compacte

[modificare | modificare sursă]
  • 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 teoreme

[modificare | modificare sursă]

Legături externe

[modificare | modificare sursă]