Un insieme aperto è un insieme che non contiene punti di frontiera “obbligati”: da ciascun suo punto ci si può muovere un poco in ogni direzione rimanendo ancora dentro l’insieme. In termini di intorni, ogni punto dell’insieme deve possedere un margine locale interamente contenuto nell’insieme. È uno dei concetti fondamentali dell’analisi matematica perché permette di formulare in modo locale limiti, continuità, differenziabilità, esistenza di soluzioni e condizioni di ottimalità.
Definizione in \mathbb{R}^n
Un sottoinsieme A\subseteq\mathbb{R}^n è aperto se per ogni punto x\in A esiste un raggio r\gt0 tale che la palla aperta centrata in x e di raggio r è contenuta in A:
Con la norma euclidea, la palla aperta è
In \mathbb{R}, gli intervalli aperti (a,b) sono esempi immediati. In \mathbb{R}^2, il disco senza circonferenza di bordo è aperto; il disco chiuso non lo è.
Intuizione geometrica
Il punto essenziale è che il raggio r può dipendere da x. Un punto vicino al bordo può avere un intorno molto piccolo, mentre un punto più interno può ammettere un intorno più grande. Non serve trovare un unico raggio valido per tutti i punti dell’insieme.
Per esempio, l’intervallo
è aperto in \mathbb{R}. Se x=0{,}01, basta scegliere un raggio minore di 0{,}01; se x=0{,}5, si può scegliere un raggio molto più grande. Gli estremi 0 e 1 non appartengono all’insieme, e proprio per questo non creano una violazione della definizione.
Proprietà principali
L’unione arbitraria di insiemi aperti è aperta:
L’intersezione finita di insiemi aperti è aperta:
L’intersezione infinita di aperti, invece, può non essere aperta. Un esempio classico è
che non è aperto in \mathbb{R}.
Relazione con chiusi e compatti
Un insieme è chiuso se contiene i propri punti di accumulazione, oppure equivalentemente se il suo complementare è aperto. Aperto e chiuso non sono contrari logici: un insieme può essere né aperto né chiuso, e in alcuni spazi può essere sia aperto sia chiuso.
Negli spazi euclidei, la distinzione tra aperto e chiuso è anche alla base del teorema di Heine-Borel, che caratterizza gli insiemi compatti come chiusi e limitati.
Uso operativo
Gli aperti sono il dominio naturale delle proprietà locali. Dire che una funzione è derivabile in un aperto significa che intorno a ogni punto del dominio è possibile perturbare le variabili senza uscire dal dominio. Questo è essenziale per gradienti, derivate direzionali, piani tangenti e teoremi di esistenza locale.
Un errore comune è guardare solo al disegno. Un insieme può sembrare “senza bordo” ma non essere aperto se contiene punti isolati o se la sua definizione include porzioni di frontiera. La verifica corretta passa sempre dalla condizione con le palle aperte.