Chiusura (topologia)

In matematica, la chiusura di un insieme $S$ consiste dei punti di aderenza di $S$, ripartiti in punti di accumulazione e punti isolati; intuitivamente, la chiusura è composta dai punti "vicini" a $S$. Un punto che si trova nella chiusura di $S$ è un punto di chiusura di $S$. La nozione di chiusura è in un certo senso duale alla nozione di parte interna.

Definizioni

Punto di chiusura

Per$S$ sottoinsieme di uno spazio euclideo, $x$ è un punto di chiusura di $S$ se ogni sfera aperta centrata su $x$ contiene almeno un punto di $S$ (questo punto può essere $x$ stesso).

Questa definizione si generalizza a ogni sottoinsieme $S$ di uno spazio metrico $X$. Espressa per intero, dato $X$ spazio metrico con metrica $d$, $x$ è un punto di chiusura di $S$ se per ogni $r>0,$ esiste un $y$ in $S$ tale che la distanza $d(x,y)<r$ (ancora, possiamo avere $x=y$). Un altro modo per esprimere questo è dire che $x$ è un punto di chiusura di $S$ se la distanza $d(x,S):=\inf\{d(x,s):s\in S\}=0.$

Questa definizione si generalizza agli spazi topologici sostituendo "sfera aperta" con "intorno". Sia $S$ un sottoinsieme di uno spazio topologico $X$. Allora $x$ è un punto di chiusura di $S$ se ogni intorno di $x$ contiene un punto di $S$. Si noti che questa definizione non dipende dal fatto che gli intorni siano aperti oppure no.

Punto di accumulazione

La definizione di punto di chiusura è strettamente legata alla definizione di punto di accumulazione. La differenza fra le due definizioni è sottile ma importante: nella definizione di punto di accumulazione, ogni intorno del punto $x$ in questione deve contenere almeno un punto dell'insieme $S$ diverso da $x$ stesso.

Quindi ogni punto di accumulazione è un punto di chiusura, ma non tutti i punti di chiusura sono punti di accumulazione. Un punto di chiusura che non è un punto di accumulazione è un punto isolato. In altre parole, un punto $x$ è un punto isolato di $S$ se è un elemento di $S$ e se esiste un intorno di $x$ che non contiene alcun altro punto di $S$ diverso da $x$ stesso.

Per un dato insieme $S$ e un punto $x$, $x$ è un punto di chiusura di $S$ se e solo se $x$ è un elemento di $S$ o $x$ è un punto di accumulazione di $S$.

Chiusura di un insieme

La chiusura di un insieme $S$ è l'insieme di tutti i punti di chiusura di $S$. La chiusura di $S$ è indicata con ${\overline {S}}$, $\mathrm {cl} (S)$, $\mathrm {Cl} (S)$, o $S^{-}$. La chiusura di un insieme ha le proprietà seguenti.

• $\mathrm {cl} (S)$ è un insieme chiuso e contiene $S$.
• $\mathrm {cl} (S)$ è l'intersezione di tutti gli insiemi chiusi che contengono $S$.
• $\mathrm {cl} (S)$ è il più piccolo insieme chiuso contenente $S$.
• Un insieme $S$ è chiuso se e solo se $S=\mathrm {cl} (S).$
• Se $S$ è un sottoinsieme di $T$, allora $cl(S)$ è un sottoinsieme di $\mathrm {cl} (T).$
• Se $A$ è un insieme chiuso, allora $A$ contiene $S$ se e solo se $A$ contiene $\mathrm {cl} (S).$

Talvolta la seconda o la terza proprietà sono prese come definizione della chiusura topologica.

In uno spazio numerabile di primo tipo (come uno spazio metrico), $\mathrm {cl} (S)$ è l'insieme di tutti i limiti di tutte le sequenze convergenti di punti in $S$. Per uno spazio topologico generico, questa affermazione rimane vera se si sostituisce "sequenza" con "rete".

Si osservi che queste proprietà sono soddisfatte anche se "chiusura", "intersezione", "contiene/contenente", "più piccolo" e "chiuso" sono sostituite con "interno", "unione", "contenuto in", "più grande", e "aperto". Per maggiori informazioni in materia, si veda operatore di chiusura più avanti.

Esempi

• In ogni spazio, la chiusura dell'insieme vuoto è l'insieme vuoto.
• In ogni spazio $X$, si ha $\mathrm {cl} (X)=X.$
• Se $X$ è lo spazio euclideo $\mathbb {R}$ dei numeri reali, allora $\mathrm {cl} ((0,1))=[0,1].$
• Se $X$ è lo spazio euclideo $\mathbb {R}$, allora la chiusura dell'insieme $\mathbb {Q}$ dei numeri razionali è l'intero spazio $\mathbb {R}$. Diciamo che $\mathbb {Q}$ è denso in $\mathbb {R} .$
• Se $X$ è il piano complesso $\mathbb {C} =\mathbb {R} ^{2},$ allora $\mathrm {cl} (\{z\in \mathbb {C} :|z|>1\})=\{z\in \mathbb {C} :|z|\geq 1\}.$
• Se $S$ è un sottoinsieme finito di uno spazio euclideo, allora $\mathrm {cl} (S)=S.$ (Per uno spazio topologico generico, questa proprietà è equivalente all'assioma T₁.)

Sull'insieme dei numeri reali si possono porre altre topologie oltre a quella standard.

• Se $X=\mathbb {R}$, dove $\mathbb {R}$ ha la topologia del limite inferiore, allora $\mathrm {cl} ((0,1))=[0,1].$
• Se si considera su $\mathbb {R}$ la topologia nella quale ogni insieme è aperto (chiuso), allora $\mathrm {cl} ((0,1))=(0,1).$
• Se si considera su $\mathbb {R}$ la topologia nella quale gli unici insiemi aperti (chiusi) sono l'insieme vuoto e $\mathbb {R}$ stesso, allora $\mathrm {cl} ((0,1))=\mathbb {R} .$

Questi esempi mostrano che la chiusura di un insieme dipende dalla topologia dello spazio sottostante. Gli ultimi due esempi sono casi particolari dei seguenti.

• In ogni spazio discreto, dal momento che ogni spazio è aperto (chiuso), ogni insieme è uguale alla sua chiusura.
• In ogni spazio banale $X$, dal momento che gli unici insiemi aperti (chiusi) sono l'insieme vuoto e $X$ stesso, abbiamo che la chiusura dell'insieme vuoto è l'insieme vuoto, e per ogni sottoinsieme non vuoto $A$ di $X$, $\mathrm {cl} (A)=X.$ In altre parole, ogni insieme non vuoto in uno spazio banale è denso.

La chiusura di un insieme dipende anche dallo spazio nel quale stiamo prendendo la chiusura. Ad esempio, se $X$ è l'insieme dei numeri razionali, con l'usuale topologia di sottospazio indotta dallo spazio euclideo $\mathbb {R}$, e se $S=\{q\in \mathbb {Q} :q^{2}>2\},$ allora $S$ è chiuso in $\mathbb {Q}$, e la chiusura di $S$ in $\mathbb {Q}$ è $S$; tuttavia, la chiusura di $S$ nello spazio euclideo $\mathbb {R}$ è l'insieme di tutti i numeri reali maggiori o uguali a ${\sqrt {2}}$.

Operatore di chiusura

L'operatore di chiusura $^{-}$ è il duale dell'operatore di parte interna $^{\circ }$, nel senso che

$S^{-}=X\setminus (X\setminus S)^{\circ }$

e anche

$S^{\circ }=X\setminus (X\setminus S)^{-},$

dove $X$ indica lo spazio topologico contenente $S$ e il simbolo $\setminus$ indica il complemento di un insieme.

Quindi, la teoria astratta degli operatori di chiusura e gli assiomi di chiusura di Kuratowski possono essere facilmente tradotti nel linguaggio degli operatori di interno, sostituendo gli insiemi con i loro complementi.

Risultati sulla chiusura

L'insieme $S$ è chiuso se e solo se $\mathrm {cl} (S)=S$. In particolare, la chiusura dell'insieme vuoto è l'insieme vuoto, e la chiusura di $X$ stesso è $X$. La chiusura di una intersezione di insiemi è sempre un sottoinsieme di (ma non deve essere uguale a) l'intersezione delle chiusure degli insiemi. Nel caso di una unione di un numero finito di insiemi, la chiusura dell'unione e l'unione delle chiusure sono uguali; l'unione di zero insiemi è l'insieme vuoto, e così questa affermazione contiene l'affermazione precedente sulla chiusura dell'insieme vuoto come caso particolare. La chiusura dell'unione di un numero infinito di insiemi non deve essere uguale all'unione delle chiusure, ma contiene sempre come sottoinsieme l'unione delle chiusure.

Se $A$ è un sottospazio di $X$ contenente $S$, allora la chiusura di $S$ calcolata in $A$ è uguale all'intersezione di $A$ con la chiusura di $S$ calcolata in $X$: $\mathrm {cl} _{A}(S)=A\cap \mathrm {cl} _{X}(S)$. In particolare, $S$ è denso in $A$ se e solo se $A$ è un sottoinsieme di $\mathrm {cl} _{X}(S)$.

Bibliografia

• Crump W. Baker, Introduction to Topology, Wm. C. Brown editore, 1991, ISBN 0-697-05972-3.
• Fred H. Croom, Principles of Topology, Saunders College Publishing, 1989, ISBN 0-03-012813-7.
• Michael C. Gemignani, Elementary Topology, 2ª ed., Dover, 1990 [1967], ISBN 0-486-66522-4.
• John G. Hocking e Gail Young, Topology, Dover, 1988 [1961], ISBN 0-486-65676-4.
• K. Kuratowski, Topology, I, Academic Press, 1966.
• William J. Pervin, Foundations of General Topology, Academic Press, 1965.
• Horst Schubert, Topology, Allyn and Bacon, 1968.

Voci correlate

• Insieme chiuso
• Insieme localmente chiuso

Collegamenti esterni

• (EN) Eric W. Weisstein, Chiusura, su MathWorld, Wolfram Research.