Spațiu compact

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

Istoric

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ție

Pe mulțimea $\mathbb {R} ^{n}$

Pentru orice submulțime a spațiului euclidian $\mathbb {R} ^{n}$, 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

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

$X=\bigcup _{i\in I}$, unde $U_{i}\,$ sunt submulțimi deschise ale lui X,

admit o subacoperire finită:

$X=U_{i_{1}}\cup U_{i_{2}}\cup \dots \cup U_{i_{n}}$ , cu $i_{1},i_{2},\dots ,i_{n}\in I$

Exemple

Spații compacte

• Orice spațiu topologic finit, incluzând aici și mulțimea vidă.
• Intervalul unitate închis $[0,1]\,$.
• Orice n-bilă, $n\in \mathbb {N}$.
• Orice n-sferă, $n\in \mathbb {N}$.
• Mulțimea Cantor.

Spații care nu sunt compacte

• Intervalul semideschis $[0,1)\,$
• Mulțimea numerelor reale $\mathbb {R}$.
• Mulțimea numerelor întregi $\mathbb {Z}$.
• Mulțimea numerelor naturale $\mathbb {N}$.
• Mulțimea numerelor raționale $\mathbb {Q}$.
• Mulțimea numerelor iraționale $\mathbb {I}$.

Vezi și

• Mulțime compactă