Domknięcie

Z Wikipedii

Spis treści

1 Definicja
- 1.1 Uwagi
2 Własności
- 2.1 Dalsze własności
3 Przykłady
4 Literatura
5 Zobacz też
6 Przypisy

Domknięcie, operacja domknięcia - w topologii, operacja przyporządkowująca podzbiorowi przestrzeni topologicznej najmniejszy (w sensie inkluzji) zbiór domknięty zawierający ten podzbiór.

[edytuj] Definicja

Niech $(X,τ)$ będzie przestrzenią topologiczną. Domknięciem zbioru $A \subseteq X$ nazywamy najmniejszy w sensie inkluzji zbiór domknięty, oznaczany $\overline A$ lub $\operatorname{cl}\;A$ ^[1], zawierający $A$ . Innymi słowy:

$\operatorname{cl}\;A = \bigcap \{F \subseteq X\colon A \subseteq F \and X \setminus F \in \tau\}$ .

[edytuj] Uwagi

Operacja domknięcia (określona na zbiorze potęgowym przestrzeni topologicznej) jest dobrze określona, gdyż rodzina wszystkich zbiorów domkniętych zawierających dany podzbiór przestrzeni jest niepusta, ponieważ należy do niej cała przestrzeń.
W dowolnym zbiorze $X$ można określić topologię, wyróżniając przy pomocy tzw. operacji Kuratowskiego rodzinę zbiorów domkniętych.
Jeśli X jest przestrzenią topologiczną oraz , to następujące warunki są równoważne:
1. $x \in \operatorname{cl}\;A$ ,
2. dla każdej bazy otoczeń $\mathcal B(x)$ punktu $x$ i każdego $U \in \mathcal B(x)$ mamy $U \cap A \ne \varnothing$ ,
3. dla pewnej bazy otoczeń $\mathcal B(x)$ punktu $x$ i każdego $U \in \mathcal B(x)$ mamy $U \cap A \ne \varnothing$ .
Jeśli $(X, d)$ jest przestrzenią metryczną oraz $A \subseteq X$ , to

$\operatorname{cl}\;A = \{x \in X\colon d(x, A) = 0\}$ , gdzie przez

d (x, A)

rozumie się odległość punktu od zbioru.

Jeżeli $X$ jest przestrzenią spełniającą pierwszy aksjomat przeliczalności (np. przestrzenią metryczną) oraz $A \subseteq X$ , to

$x \in \operatorname{cl}\;A \iff x$ jest granicą ciągu o wyrazach ze zbioru

A

. Formalnie:

$x \in \operatorname{cl}\;A \iff \exists_{(x_n)_{n \in \mathbb N} \in A^\mathbb N}~x = \lim_{n \to \infty}~x_n$ .

Z poprzedniego warunku mamy: w przestrzeni metrycznej domknięcie zbioru jest zbiorem wszystkich granic ciągów należących do danego zbioru. Okazuje się, że można sformułować podobny warunek dla dowolnej przestrzeni topologicznej $X$ :

Jeśli $A\subseteq X$ , to $x \in \operatorname{cl}\;A \iff x$ jest granicą ciągu uogólnionego o wyrazach ze zbioru

A

[edytuj] Własności

Niech $X$ będzie przestrzenią topologiczną oraz $A, B\subseteq X$ .

$\operatorname{cl}\;\varnothing = \varnothing$
$A \subseteq \operatorname{cl}\;A$ ,
$\operatorname{cl}(A \cup B) = \operatorname{cl}\;A \cup \operatorname{cl}\;B$
$\operatorname{cl}(\operatorname{cl}\;A) = \operatorname{cl}\;A$ (idempotentność).

[edytuj] Dalsze własności

$\operatorname{cl}\;X = X$ ,
$A$ jest domknięty $\iff A = \operatorname{cl}\;A$ ,
$A \subset B \implies \operatorname{cl}\;A \subset \operatorname{cl} B$ (monotoniczność),
; ta własność uogólnia się do przeliczalnej liczby zbiorów:
- Ogólniej, jeśli $(A_i)_{i\in I}$ jest przeliczalną rodziną podzbiorów $X$ , to

$\operatorname{cl}\;\bigcap_{i \in I}~A_i \subseteq \bigcap_{i \in I}~\operatorname{cl}\;A_i$ .

Jeśli $(A_i)_{i\in I}$ jest rodziną lokalnie skończoną podzbiorów zbioru $X$ , to

$\operatorname{cl}\;\bigcup_{i \in I}~A_i = \bigcup_{i \in I}~\operatorname{cl}\;A_i$ .

Domknięcie zbioru jest sumą mnogościową tego zbioru oraz jego brzegu.
Jeśli $Y$ jest podprzestrzenią topologiczną $X$ , zawierającą $A$ , to domknięcie $A$ w przestrzeni $Y$ jest równe części wspólnej $Y$ i domknięcia $A$ w przestrzeni $X$ : $\operatorname{cl}_Y(A) = Y\cap \operatorname{cl}_X(A)$ .

[edytuj] Przykłady

W topologii antydyskretnej (czyli takiej, w której jedynymi zbiorami otwartymi są $\varnothing$ i $X$ ), domknięciem dowolnego zbioru niepustego jest cała przestrzeń, innymi słowy, każdy niepusty podzbiór tej przestrzeni jest gęsty.
W topologii euklidesowej, na prostej rzeczywistej domknięciem
- przedziału otwartego $(0,1)$ jest przedział domknięty $[0,1]$ .
- zbioru liczb wymiernych jest $\mathbb R$ .
W przestrzeniach metrycznych, domknięcie danego zbioru stanowią wszystkie granice ciągów elementów tego zbioru.

[edytuj] Literatura

Ryszard Engelking: Topologia Ogólna. Warszawa: PWN, 1976.

[edytuj] Zobacz też

Przypisy

↑ od ang. closure

Kategoria: Topologia

We provide Linux to the World

Domknięcie

Z Wikipedii

Spis treści

[edytuj] Definicja

[edytuj] Uwagi

[edytuj] Własności

[edytuj] Dalsze własności

[edytuj] Przykłady

[edytuj] Literatura

[edytuj] Zobacz też

Przypisy

Views

nawigacja

zmiany

dla edytorów

Szukaj

W innych językach