La chiusura di un insieme
La chiusura di un insieme in uno spazio topologico è l'intersezione di tutti gli insiemi chiusi che contengono . Per indicarlo si usa il simbolo
La chiusura di un insieme A è il più piccolo insieme chiuso che contiene completamente A.
Non esiste un altro insieme chiuso che contenga A che sia più piccolo della chiusura di A.
Nota. Questa conclusione segue direttamente dalla definizione di chiusura di A, che è l'intersezione di tutti gli insiemi chiusi contenenti A. In altre parole, la chiusura rappresenta l'insieme più piccolo chiuso che racchiude A perché è costituito dalla parte comune a tutti gli insiemi chiusi che includono A.
Formalmente, la chiusura dell'insieme A posso scriverla in questo modo:
Dove rappresenta la chiusura di , e il simbolo indica l'intersezione di tutti gli insiemi chiusi che contengono .
La chiusura di include l'insieme stesso insieme a tutti i suoi punti di accumulazione in .
Nota. È importante ricordare che la chiusura di un insieme è influenzata dalla topologia dello spazio in cui è contenuto, piuttosto che dalle caratteristiche intrinseche di stesso. Di conseguenza, la chiusura di può variare a seconda della topologia specifica di .
Un esempio pratico
Considero l'insieme nell'insieme dei numeri reali con la topologia standard.
Si tratta dell'intervallo aperto che comprende tutti i numeri reali tra 0 e 1 esclusi gli estremi.
In questo caso l'interno di è .
Questo insieme include sia l'intervallo aperto originale sia i suoi punti di accumulazione a entrambe le estremità, cioè i punti 0 e 1.
Nota. Nella topologia standard su , gli insiemi chiusi sono definiti come quelli che contengono tutti i loro punti di accumulazione. Un punto di accumulazione (o punto limite) di un insieme è un punto tale che ogni suo intorno contiene almeno un punto dell'insieme diverso da sé stesso. Ad esempio, l'intersezione tra gli intervalli chiusi [0,2] e [-1,1] è l'intervallo chiuso [0,1]. Non esiste un intervallo chiuso più piccolo in grado di contenere (0,1).
Esempio 2
In questo esempio studio l'insieme in con la topologia standard.
L'insieme comprende tutti i numeri reali da 0 incluso fino a 1 escluso. Pertanto, è un intervallo chiuso a sinistra e aperto a destra.
Anche in questo caso la chiusura dell'insieme è .
Questo accade perché l'estremo 0 è già incluso nell'insieme A mentre B è un punto di accumulazione esterno.
Quindi, la chiusura di A comprende l'estremo destro aperto dell'intervallo, rendendo [0,1] l'insieme chiuso più piccolo che contiene A.
Nota. Questo si allinea con la definizione di chiusura in topologia, che include tutti i punti di accumulazione di un insieme. Ad esempio, l'intersezione tra [0,2] e [-1,1] è [0,1].
Esempio 3
Ora provo ad analizzare lo stesso insieme quando è uno spazio nella topologia discreta.
Nella topologia discreta, ogni sottoinsieme di uno spazio topologico è considerato aperto e, contemporaneamente, chiuso.
- Insieme aperto
In uno spazio topologico con topologia discreta, ogni singolo sottoinsieme di è considerato un insieme aperto. Poiché anche è un sottoinsieme di X, deduco che l'insieme A è un insieme aperto. - Insieme chiuso
D'altra parte ogni sottoinsieme di è anche considerato un insieme chiuso, perché il suo complemento è un insieme aperto. Ad esempio, il complemento è un insieme aperto perché è un sottoinsieme di X, ossia . Quindi, l'insieme A è chiuso perché il suo complemento X/A è aperto.
Questo significa che ogni insieme è sia aperto che chiuso, un concetto noto come insieme clopen (ossia, insieme sia chiuso che aperto).
Quindi, la chiusura di un insieme è semplicemente stesso, perché non c'è bisogno di aggiungere alcun punto per "chiudere" l'insieme.
L'insieme chiuso più piccolo che contiene è stesso.
Nota. Questo risultato dimostra come la scelta della topologia può influenzare la chiusura degli insiemi. Come già detto, le proprietà di un insieme chiuso non sono intriseche all'insieme bensì dipendono dalla struttura topologica all'interno della quale è definito l'insieme .
Esempio 4
Consideriamo uno spazio topologico composto dai punti , dotato di una topologia discreta.
Nella topologia discreta, tutti i sottoinsiemi di sono aperti:
- e sono aperti per definizione.
- Ogni singolo punto , , è un insieme aperto
- Ogni possibile combinazione degli insiemi aperti come , , è un insieme aperto.
Inoltre, nella topologia discreta ogni sottoinsieme di è considerato chiuso, dato che il complemento di ogni sottoinsieme in una topologia discreta è anch'esso un insieme aperto.
In altre parole, nella topologia discreta ogni insieme è sia aperto che chiuso.
Considero l'insieme all'interno dello spazio topologico .
- L'insieme A è aperto perché è un sottoinsieme di X e nella topologia discreta ogni sottoinsieme è aperto.
- L'insieme A è anche chiuso, perché iò suo complemento è un insieme aperto.
La chiusura di , , è definita come l'intersezione di tutti gli insiemi chiusi che includono .
Poiché ogni insieme è chiuso nella topologia discreta, l'insieme non necessita di altri elementi per formare la sua chiusura.
Quindi la chiusura di è stesso:
In questa topologia, ogni insieme è sia aperto che chiuso, ovvero è clopen. Pertanto, non è necessario "chiuderlo" ulteriormente, in quanto è già chiuso.
Nota. Per una rapida verifica, prendo gli insiemi chiusi che contengono sono e . L'intersezione di questi insiemi aperti è , che è esattamente . In conclusione, vale .
Il teorema della chiusura di un insieme
Dato un sottoinsieme dello spazio topologico e un elemento , l'elemento appartiene alla chiusura del sottoinsieme se e solo se ogni insieme aperto tale che ha una intersezione non vuota con
Detto in altre parole, l'elemento y∈X per trovarsi nella chiusura dell'insieme S, deve appartenere anche a un insieme aperto U che interseca S.
Questo teorema fornisce un criterio utile per determinare se un punto appartiene alla chiusura di un insieme S in uno spazio topologico X.
Dimostrazione
- Condizione necessaria: Se è nella chiusura di , allora per definizione ogni insieme aperto contenente deve intersecare . Questo è perché la chiusura di un insieme include tutti i suoi punti inclusi i punti limite, e un punto limite è tale per cui ogni intorno aperto che lo contiene deve intersecare l'insieme di origine.
- Condizione sufficiente: Se ogni insieme aperto che contiene interseca , allora soddisfa la definizione di punto limite di oppure è un punto di . Quindi, in entrambi i casi, il punto deve appartenere alla chiusura di . Questo avviene perché può essere raggiunto arbitrariamente vicino da punti in , implicando che è un punto limite di o è direttamente in .
Nota. Questo teorema è molto citato nella topologia degli insiemi perché collega il concetto di insieme aperto con la proprietà di chiusura degli insiemi, essenziale per studiare la continuità, la convergenza delle sequenze e altre proprietà topologiche. Inoltre, è ampiamente utilizzato nella prova di vari altri teoremi.
Esempio
Prendo come esempio l'insieme nella topologia standard su . In questo caso l'insieme A è un semplice intervallo aperto sui numeri reali.
Provo a usare il teorema della chiusura per determinare se un punto appartiene a a ovvero alla chiusura dell'insieme A
Ad esempio, considero il punto in .
Per il teorema appartiene a se e solo se ogni insieme aperto che contiene interseca .
- Esamino gli insiemi aperti che contengono : Ogni volta che prendo un insieme aperto che contiene il punto , come , , , ecc., osservo che questi intervalli includono sempre dei punti che appartengono anche all'intervallo . Ad esempio, ecc. sono tutti numeri che sono maggiori di 0 e minori di 2.
- Conferma che ogni interseca : Poiché ogni insieme aperto intorno a interseca , in base al teorema posso concludere che appartiene a .
Il punto è quindi nella chiusura di perché ogni insieme aperto che lo contiene interseca , soddisfacendo la condizione del teorema.
In effetti la chiusura dell'insieme è l'intervallo chiuso che include al suo interno anche il punto .
Proprietà delle chiusure negli spazi topologici
Alcune proprietà associate alla chiusura di un insieme all'interno di uno spazio topologico e relazioni, talvolta non immediatamente intuitive, tra le operazioni come l'interno e la chiusura.
- Interno del complemento e complemento della chiusura
L'interno del complemento di un insieme è uguale al complemento della chiusura di . Questa relazione può essere espressa matematicamente come: - Chiusura del complemento e complemento dell'interno
La chiusura del complemento di un insieme è uguale al complemento dell'interno di . Questa relazione si esprime con la formula:
Osservazioni
Alcune osservazioni e note a margine
- Se C è un insieme chiuso in X e A ⊆ C, allora Cl(A) ⊆ C
Se è un insieme chiuso nello spazio topologico e l'insieme è contenuto in , allora la chiusura di , denotata come , è un sottoinsieme di . Questo accade perché la chiusura di è il più piccolo insieme chiuso che contiene , e poiché è già chiuso e contiene , deve necessariamente contenere anche . Pertanto, non può estendersi al di fuori di . - Se A ⊆ B allora Cl(A) ⊆ Cl(B)
Se un insieme è un sottoinsieme di un altro insieme , allora la chiusura di (l'insieme composto da e tutti i suoi punti di accumulazione) sarà sempre un sottoinsieme della chiusura di . Questo deriva dal fatto che i punti di accumulazione di sono anche punti di accumulazione di , poiché contiene . Pertanto, la chiusura, essendo l'intersezione di tutti gli insiemi chiusi che contengono l'insieme originale, deve seguire questa regola di inclusione. - L'insieme A è chiuso se e solo se A = Cl(A)
Proprietà della monotonia. Un insieme in uno spazio topologico è definito come chiuso se coincide con la sua chiusura, cioè . La chiusura di , , include tutti i punti di più i suoi punti di accumulazione. Pertanto, se contiene tutti i suoi punti di accumulazione, allora è chiuso. - La chiusura di un insieme è uguale all'unione dell'insieme e dei suoi punti di accumulazione
Dato un insieme A e l'insieme dei suoi punti di accumulazione A', la chiusura dell'insieme A è uguale all'unione degli insiemi A e A'. - Idempotenza
Una volta chiuso un insieme, la chiusura ulteriore non aggiunge nuovi punti. - Invarianza rispetto all'insieme
L'insieme originale è sempre contenuto nella sua chiusura.
E così via.