Topologia — Insiemi aperti, continuità e concetti chiave

La topologia è il ramo della matematica che studia gli spazi usando gli insiemi aperti e la continuità invece della distanza esatta. Se stai imparando le basi della topologia, il modo più rapido per iniziare è questo: scegli quali sottoinsiemi sono aperti, poi definisci la continuità a partire da quella scelta.

Per questo la topologia può confrontare gli spazi in base al comportamento locale, invece che a lunghezze, angoli o coordinate.

Che cos'è uno spazio topologico

Sia $X$ un insieme. Una topologia su $X$ è una collezione $\mathcal{T}$ di sottoinsiemi di $X$, chiamati insiemi aperti, tale che:

1. $\varnothing$ e $X$ appartengono a $\mathcal{T}$.
2. Qualsiasi unione di insiemi in $\mathcal{T}$ appartiene ancora a $\mathcal{T}$.
3. Qualsiasi intersezione finita di insiemi in $\mathcal{T}$ appartiene ancora a $\mathcal{T}$.

La coppia $(X,\mathcal{T})$ si chiama spazio topologico.

Questa definizione è volutamente astratta. Una volta che sai quali insiemi sono aperti, puoi definire continuità, intorni e insiemi chiusi senza mai scrivere una formula di distanza.

Perché gli insiemi aperti sono importanti

Gli insiemi aperti ti dicono che cosa significa per un punto avere spazio attorno a sé. Nella topologia usuale su $\mathbb{R}$, un intervallo aperto come $(1,3)$ è aperto perché ogni punto al suo interno ha attorno a sé un intervallo più piccolo che resta comunque contenuto in $(1,3)$.

Questa idea locale è il cuore della topologia. Un insieme è aperto quando ciascuno dei suoi punti si trova dentro l'insieme con un certo margine locale di libertà.

Per questo l'essere aperto dipende dalla topologia scelta. Lo stesso sottoinsieme può essere aperto in una topologia e non esserlo in un'altra.

Come gli insiemi aperti definiscono altre idee di base

Intorni

Un intorno di un punto è qualsiasi insieme che contiene un insieme aperto attorno a quel punto. È il modo in cui la topologia descrive la vicinanza locale senza usare la distanza.

Insiemi chiusi

Un insieme è chiuso se il suo complementare è aperto. In spazi familiari come la retta reale, gli insiemi chiusi spesso contengono il loro bordo, ma questa non è la definizione.

Continuità

Se $X$ e $Y$ sono spazi topologici, una funzione $f:X \to Y$ è continua se per ogni insieme aperto $U \subseteq Y$, la controimmagine $f^{-1}(U)$ è aperta in $X$.

$$f \text{ è continua se } f^{-1}(U) \text{ è aperto per ogni aperto } U \subseteq Y$$

Questo coincide con la consueta idea del calcolo su $\mathbb{R}$, ma funziona anche in spazi in cui la distanza non è la struttura principale.

Omeomorfismo

Un omeomorfismo è una funzione biiettiva che è continua e ha inversa continua. Se due spazi sono omeomorfi, la topologia li considera della stessa forma nel senso topologico.

Questa affermazione dipende dalla continuità in entrambe le direzioni. Una biiezione da sola non basta.

Esempio svolto: perché $f(x)=x^2$ è continua nella topologia usuale

Considera $f:\mathbb{R} \to \mathbb{R}$ definita da

$$f(x)=x^2$$

usando la topologia usuale su $\mathbb{R}$.

Prendi l'insieme aperto $(1,4)$ nel codominio. La sua controimmagine è

$$f^{-1}((1,4))=\{x \in \mathbb{R} : 1 < x^2 < 4\}$$

che si semplifica in

$$(-2,-1)\cup(1,2).$$

Questo insieme è aperto nella topologia usuale su $\mathbb{R}$ perché è unione di intervalli aperti. Questo esempio mostra la direzione giusta da controllare: la continuità riguarda le controimmagini degli aperti, non il fatto che $f$ mandi insiemi aperti in insiemi aperti.

Su $\mathbb{R}$, questa condizione risulta equivalente alla consueta definizione di continuità basata sui limiti.

Errori comuni nelle basi della topologia

Pensare che "aperto" significhi la stessa cosa ovunque

Non è così. L'essere aperto è definito rispetto a una topologia scelta.

Confondere immagine e controimmagine

La continuità riguarda il fatto che le controimmagini degli aperti siano aperte. Le immagini degli aperti non devono essere necessariamente aperte, a meno di aggiungere condizioni extra sulla funzione.

Trattare la topologia come geometria metrica con parole nuove

Molti spazi topologici derivano da metriche, ma la topologia in sé è più generale. Conserva solo la struttura necessaria per parlare di comportamento locale e continuità.

Supporre che ogni biiezione sia un'equivalenza topologica

Per essere un omeomorfismo, un'applicazione deve essere biiettiva, continua e avere inversa continua.

Dove si usa la topologia

La topologia fornisce il linguaggio alla base di continuità, compattezza, connessione e convergenza nell'analisi moderna. Compare anche in geometria, sistemi dinamici, equazioni differenziali e analisi dei dati che studia la forma a livello grossolano.

Per un principiante, l'uso pratico è più semplice: la topologia spiega perché la continuità può essere definita in un modo che non dipende da coordinate o da una formula di distanza.

Prova un problema simile

Usa la stessa funzione $f(x)=x^2$, ma questa volta parti dall'insieme aperto $(0,1)$. Calcola $f^{-1}((0,1))$ e verifica se è aperto in $\mathbb{R}$.

Se vuoi fare il passo successivo, esplora un altro caso di continuità e confronta la definizione topologica con quella basata sui limiti del calcolo.