In matematica, la chiusura di un insieme 
consiste dei punti di aderenza di , ripartiti in punti di accumulazione e punti isolati; intuitivamente, la chiusura è composta dai punti "vicini" a . Un punto che si trova nella chiusura di è un punto di chiusura di . La nozione di chiusura è in un certo senso duale alla nozione di parte interna.
Per sottoinsieme di uno spazio euclideo, 
è un punto di chiusura di se ogni sfera aperta centrata su contiene almeno un punto di (questo punto può essere stesso).
Questa definizione si generalizza a ogni sottoinsieme di uno spazio metrico 
. Espressa per intero, dato spazio metrico con metrica 
, è un punto di chiusura di se per ogni 
esiste un 
in tale che la distanza 
(ancora, possiamo avere 
). Un altro modo per esprimere questo è dire che è un punto di chiusura di se la distanza 
Questa definizione si generalizza agli spazi topologici sostituendo "sfera aperta" con "intorno". Sia un sottoinsieme di uno spazio topologico . Allora è un punto di chiusura di se ogni intorno di contiene un punto di .[1] Si noti che questa definizione non dipende dal fatto che gli intorni siano aperti oppure no.
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 in questione deve contenere almeno un punto dell'insieme diverso da 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 è un punto isolato di se è un elemento di e se esiste un intorno di che non contiene alcun altro punto di diverso da stesso.[2]
Per un dato insieme e un punto , è un punto di chiusura di se e solo se è un elemento di o è un punto di accumulazione di .
La chiusura di un insieme è l'insieme di tutti i punti di chiusura di .[3] La chiusura di è indicata con 
, 
, 
, o 
. La chiusura di un insieme ha le proprietà seguenti.[4]
Talvolta la seconda o la terza proprietà sono prese come definizione della chiusura topologica.[5]
In uno spazio numerabile di primo tipo (come uno spazio metrico), è l'insieme di tutti i limiti di tutte le sequenze convergenti di punti in . 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.
Sull'insieme dei numeri reali si possono porre altre topologie oltre a quella standard.
Questi esempi mostrano che la chiusura di un insieme dipende dalla topologia dello spazio sottostante. Gli ultimi due esempi sono casi particolari dei seguenti.
La chiusura di un insieme dipende anche dallo spazio nel quale stiamo prendendo la chiusura. Ad esempio, se è l'insieme dei numeri razionali, con l'usuale topologia di sottospazio indotta dallo spazio euclideo 
, e se 
allora è chiuso in 
, e la chiusura di in è ; tuttavia, la chiusura di nello spazio euclideo è l'insieme di tutti i numeri reali maggiori o uguali a 
.
L'operatore di chiusura 
è il duale dell'operatore di parte interna 
, nel senso che
e anche
dove indica lo spazio topologico contenente e il simbolo 
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.
L'insieme è chiuso se e solo se 
. In particolare, la chiusura dell'insieme vuoto è l'insieme vuoto, e la chiusura di stesso è . 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 
è un sottospazio di contenente , allora la chiusura di calcolata in è uguale all'intersezione di con la chiusura di calcolata in : 
. In particolare, è denso in se e solo se è un sottoinsieme di 
.
- 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.
