Spazio topologico

Motivazioni

Nell'analisi matematica, lo studio delle nozioni di limite e continuità nell'insieme ${\displaystyle \mathbb {R} }$ dei numeri reali e negli spazi euclidei si avvale dell'introduzione del concetto di "intorno" e del concetto, ad esso strettamente collegato, di "insieme aperto". Le nozioni di convergenza e di continuità, infatti, possono essere espresse interamente in termini di soli insiemi aperti.

La famiglia degli insiemi aperti di ${\displaystyle \mathbb {R} }$ (o di qualunque altro spazio euclideo) soddisfa le seguenti tre condizioni:

• l'insieme vuoto e l'intero spazio ${\displaystyle \mathbb {R} }$ sono aperti;
• l'unione di una quantità arbitraria di aperti è un aperto;
• l'intersezione di un numero finito di aperti è un aperto.

Queste tre condizioni si rivelano necessarie e sufficienti per dimostrare diversi risultati fondamentali dell'analisi, come la preservazione della compattezza e della connessione da parte delle funzioni continue. Per questo motivo, esse vengono assunte come le proprietà assiomatiche fondamentali che uno spazio topologico astratto deve verificare.

Attraverso la nozione di spazio topologico si cerca quindi di individuare le proprietà essenziali che permettano di definire un concetto di continuità analogo a quello degli spazi euclidei, ma applicato a un'idea astratta di spazio. Gli aperti di uno spazio euclideo godono naturalmente di molte altre proprietà che, tuttavia, in questo contesto astratto non sono richieste: ciò garantisce un maggiore livello di generalità pur permettendo di ottenere risultati matematici significativi. Successivamente, gli spazi topologici definiti in questa massima generalità vengono classificati in base a ulteriori proprietà specifiche, che possono renderli via via più "simili" agli spazi euclidei.

Storia

Le origini della topologia affondano le radici nel XVIII secolo. Intorno al 1735, Leonhard Euler scoprì la formula ${\displaystyle V-A+F=2}$ (indicata anche in diverse varianti notazionali), che mette in relazione il numero di vertici, archi (o spigoli) e facce di un poliedro convesso, applicabile anche allo studio dei grafi planari. Lo studio e la generalizzazione di questa formula, portati avanti in particolare da Augustin-Louis Cauchy (1789–1857) e Simon Antoine Jean L'Huilier (1750–1840), diedero un forte impulso a questo nuovo campo della matematica.

Nel 1827, Carl Friedrich Gauss pubblicò le Indagini generali sulle superfici curve (Disquisitiones generales circa superficies curvas), dove definì la superficie curva in un modo che si avvicina alla moderna comprensione topologica: identificò infatti la curvatura continua in un punto analizzando il comportamento delle rette tracciate verso punti a distanza infinitesima, verificandone lo scostamento rispetto al piano passante per il punto stesso. Tuttavia, fino al lavoro di Bernhard Riemann risalente al 1850, le superfici venivano sempre trattate da un punto di vista strettamente locale (come superfici parametriche) e le questioni puramente topologiche non venivano prese in considerazione.

Furono August Ferdinand Möbius e Camille Jordan i primi a comprendere che il problema centrale della topologia delle superfici compatte era la ricerca di invarianti (preferibilmente numerici) che permettessero di decidere l'equivalenza delle superfici stesse, ossia di stabilire se due superfici fossero omeomorfe o meno. L'argomento fu poi inquadrato chiaramente da Felix Klein nel suo celebre "Programma di Erlangen" del 1872, in cui la disciplina veniva descritta come lo studio degli invarianti geometrici rispetto a trasformazioni continue arbitrarie.

Il termine "topologia" fu introdotto formalmente da Johann Benedict Listing nel 1847, per sostituire la precedente dicitura Analysis situs, sebbene Listing stesso lo utilizzasse già in alcune corrispondenze private da diversi anni.

La base moderna di questa scienza, estesa a spazi di qualsiasi dimensione, fu creata da Henri Poincaré, che pubblicò il suo primo articolo sull'argomento nel 1894. La formalizzazione moderna arrivò all'inizio del XX secolo: sebbene gli spazi metrici fossero stati introdotti già nel 1906 da Maurice Fréchet, il concetto astratto di spazio topologico fu definito per la prima volta da Felix Hausdorff nel 1914, all'interno della sua opera fondamentale Principi della teoria degli insiemi (fu sempre Hausdorff, tra l'altro, a diffondere l'uso del termine "spazio metrico").

Infine, negli anni '30, matematici come James Waddell Alexander II e Hassler Whitney affinarono i concetti geometrici introducendo l'idea che una superficie (o varietà) sia uno spazio topologico che, a livello locale, risulta simile a un piano euclideo.

Spazi topologici e spazi metrici

Esempi rappresentativi di spazi topologici sono gli spazi metrici, di cui fa anche parte lo spazio euclideo. Ogni spazio metrico è necessariamente uno spazio topologico, ma il viceversa non è sempre vero. In altre parole, la struttura metrica è un concetto molto più forte e ricco di informazioni rispetto alla struttura topologica (che è invece debole e generalizzata); spazi che sono diversi come spazi metrici possono risultare identici come spazi topologici.

Ad esempio, fissando ${\displaystyle p\geq 1}$ e considerando lo spazio metrico ${\displaystyle (\mathbb {R} ^{n},d_{p})}$ con la distanza Lp:

${\displaystyle d_{p}(x,y)={\sqrt[{p}]{(x_{1}-y_{1})^{p}+\cdots (x_{n}-y_{n})^{p}}}}$

si nota che, sebbene ${\displaystyle (\mathbb {R} ^{n},d_{p})}$ vari al variare di ${\displaystyle p}$ (il valore numerico della distanza tra due punti dipende da ${\displaystyle p}$), la famiglia degli insiemi aperti generati rimane invariata (ci troviamo, cioè, sempre nello stesso spazio topologico). Di conseguenza, concetti come la convergenza di una successione o la continuità di una funzione non dipendono dalla scelta di ${\displaystyle p}$, poiché sono proprietà puramente topologiche.

Ciò si deduce dal fatto che (sebbene gli ε-intorni usati nelle discussioni sui limiti con il metodo ε-N o ε-δ differiscano in base a ${\displaystyle p}$), l'esistenza di un limite e il punto a cui si converge rimangono identici indipendentemente da ${\displaystyle p}$.

Più in generale, ciò che si ottiene deformando con continuità (come una membrana di gomma) uno spazio euclideo è diverso dallo spazio euclideo originale come spazio metrico, ma identico come spazio topologico, e la proprietà di convergenza o meno viene preservata.

Come visto sopra, quando si studiano concetti come la continuità e la convergenza, o si effettuano ricerche su trasformazioni continue, il concetto di spazio metrico può risultare poco flessibile, il che costituisce una forte motivazione per considerare il concetto più debole di spazio topologico.

Inoltre, nel definire ad esempio una varietà, si "incollano" più spazi metrici (sottoinsiemi aperti dello spazio euclideo) tramite mappe continue, ma poiché l'incollamento non tiene necessariamente conto della struttura metrica originale, è più naturale considerare lo spazio originale come uno spazio topologico piuttosto che come uno spazio metrico.

Ambiti di applicazione

La topologia studia le proprietà degli spazi geometrici (principalmente varietà di dimensione finita e complessi simpliciali) in quanto spazi topologici. Come accennato, poiché la struttura di spazio topologico non cambia anche se deformata come una membrana di gomma, una sfera e un ellissoide rappresentano lo stesso spazio, mentre è noto che un toro è uno spazio topologico diverso da una sfera. Nella topologia geometrica, si classificano gli spazi concentrandosi sulla loro struttura topologica e si definiscono gli invarianti necessari per la classificazione (invarianti topologici).

Il concetto di spazio topologico è utile anche nell'algebra e nell'analisi. Ad esempio, per sviluppare in modo coerente la teoria degli spazi vettoriali di dimensione infinita nell'analisi funzionale è essenziale introdurre una topologia nello spazio vettoriale e utilizzare la teoria generale degli spazi topologici (spazio vettoriale topologico); la topologia di Zariski utilizzata nella geometria algebrica è una topologia che, di norma, non può essere definita a partire da una distanza.

Inoltre, la struttura di uno spazio topologico appare spesso come condizione di vincolo per vari concetti definiti su di esso. Ad esempio, la dimensione dello spazio delle funzioni meromorfe su una superficie di Riemann è limitata dalla struttura topologica della superficie di Riemann (teorema di Riemann-Roch). Inoltre, una condizione necessaria e sufficiente affinché due varietà iperboliche chiuse di dimensione almeno 3 siano isomorfe come spazi metrici è che siano isomorfe come spazi topologici (teorema di rigidità di Mostow).

Accenni agli insiemi aperti

Lo stesso argomento in dettaglio: Insieme aperto.

Nella formalizzazione standard degli spazi topologici, la nozione di insieme aperto gioca un ruolo primitivo. A livello intuitivo, un aperto viene spesso descritto come un sottoinsieme privato della propria frontiera (cioè del proprio bordo, quindi "senza bordo"). Pur essendo utile, questa interpretazione geometrica non può fungere da definizione formale, in quanto genererebbe una circolarità logica: la definizione stessa di frontiera presuppone che sia già stata introdotta una topologia. A ciò si aggiunge che il concetto topologico di frontiera sfugge spesso al senso comune, come dimostra l'insieme dei numeri razionali ${\displaystyle \mathbb {Q} }$ la cui frontiera nella retta reale ${\displaystyle \mathbb {R} }$ corrisponde a ${\displaystyle \mathbb {R} }$ stesso. Di conseguenza, la topologia moderna adotta un approccio assiomatico e astratto. Uno spazio topologico viene definito semplicemente specificando una collezione ${\displaystyle {\mathcal {O}}}$ di sottoinsiemi: tali sottoinsiemi assumono il nome di "aperti" per il solo fatto di appartenere a ${\displaystyle {\mathcal {O}}}$, a condizione che la collezione rispetti determinate proprietà strutturali (gli assiomi della topologia), prescindendo del tutto da concetti geometrici preesistenti.

Concetti derivanti dagli aperti

Lo stesso argomento in dettaglio: Insieme chiuso, Chiusura (topologia), Parte interna e Frontiera (topologia).

Una volta stabilita una topologia (come impareremo a fare nel sottoparagrafo successivo) e conseguentemente, aver scelto una famiglia valida di insiemi aperti, i seguenti concetti sono banalmente derivabili da quello di insieme aperto, e trovano largo uso nello studio degli spazi topologici.

1. Insieme chiuso: un insieme ${\displaystyle A\subseteq X}$ si dice chiuso se il suo complementare ${\displaystyle X\setminus A}$ è un insieme aperto.
2. Chiusura: La chiusura di ${\displaystyle A}$ è il più piccolo insieme chiuso che contiene ${\displaystyle A}$. Essa è definita come l'intersezione di tutti i chiusi che contengono ${\displaystyle A}$. Possiamo rappresentare la chiusura di ${\displaystyle A}$ con il simbolo ${\displaystyle {\bar {A}}}$ o con la notazione alternativa ${\displaystyle Cl(A)}$.
3. Parte Interna: la parte interna di ${\displaystyle A}$ è l'aperto più grande contenuto in ${\displaystyle A}$. Essa è definita come l'unione di tutti i sottoinsiemi aperti di ${\displaystyle A}$. Possiamo rappresentare la parte interna di ${\displaystyle A}$ con il simbolo ${\displaystyle {\dot {A}}}$ o con la notazione alternativa ${\displaystyle Int(A)}$.
4. Frontiera: la frontiera dell'insieme ${\displaystyle A}$ rappresenta il complementare dell'apertura ${\displaystyle {\dot {A}}}$ rispetto alla chiusura ${\displaystyle {\bar {A}}}$ di ${\displaystyle A}$. Essa è calcolabile come ${\displaystyle {\bar {A}}\setminus {\dot {A}}}$, e può essere rappresentata con il simbolo ${\displaystyle \partial A}$.

Contrariamente a quanto si possa credere, il concetto di aperto e quello di chiuso non sono mutuamente esclusivi. Un sottoinsieme può essere un insieme chiuso, aperto, sia aperto sia chiuso (insiemi clopen), oppure né aperto né chiuso.

Definizione tramite gli aperti

La definizione standard di topologia si basa sul concetto di insieme aperto.

Una topologia su un insieme ${\displaystyle X}$ è una collezione ${\displaystyle \tau }$ di sottoinsiemi di ${\displaystyle X}$, chiamati aperti, che soddisfa i seguenti tre assiomi:

1. L'insieme vuoto e ${\displaystyle X}$ appartengono a ${\displaystyle \tau }$: ${\displaystyle \varnothing \in \tau }$ e ${\displaystyle X\in \tau }$.
2. L'unione di una quantità arbitraria (finita o infinita, anche non numerabile) di insiemi appartenenti a ${\displaystyle \tau }$ appartiene a ${\displaystyle \tau }$: se ${\displaystyle \{O_{i}\}_{i\in I}}$ è una famiglia di aperti, allora ${\displaystyle \bigcup _{i\in I}O_{i}\in \tau }$.
3. L'intersezione di un numero finito qualsiasi di insiemi appartenenti a ${\displaystyle \tau }$ appartiene a ${\displaystyle \tau }$: se ${\displaystyle O_{1},\dots ,O_{n}\in \tau }$, allora ${\displaystyle O_{1}\cap \dots \cap O_{n}\in \tau }$.

Uno spazio topologico è una coppia ${\displaystyle (X,\tau )}$ formata da un insieme ${\displaystyle X}$ e da una topologia ${\displaystyle \tau }$ su di esso. Quando la topologia è chiara dal contesto, per brevità si indica lo spazio semplicemente con il nome dell'insieme ${\displaystyle X}$.

Un sottoinsieme ${\displaystyle C\subseteq X}$ si dice chiuso in ${\displaystyle (X,\tau )}$ se il suo complementare ${\displaystyle X\setminus C}$ è un insieme aperto. Dalla definizione segue che l'insieme vuoto e ${\displaystyle X}$ sono simultaneamente aperti e chiusi (insiemi con questa proprietà sono talvolta detti clopen). La chiusura di una parte ${\displaystyle A}$ di ${\displaystyle X}$ è definita come il più piccolo chiuso che contiene ${\displaystyle A}$.

Il concetto di intorno

Lo stesso argomento in dettaglio: Intorno.

Sappiamo che gli spazi topologici sostituiscono la distanza degli spazi metrici con un più generico concetto di vicinanza. Dato che, per uno stesso insieme ${\displaystyle X}$ possiamo definire diverse topologie, comprendenti diversi sottoinsiemi di ${\displaystyle X}$, ne segue che il concetto di vicinanza cambia in base alla topologia scelta. Per questo motivo la vicinanza è un altro concetto che può essere definito in base a quello di insieme aperto.

Un intorno di ${\displaystyle x}$ è un qualsiasi insieme che contiene un aperto che a sua volta contiene ${\displaystyle x}$.

In simboli: ${\displaystyle x\in A\subseteq U.}$

Dove ${\displaystyle U}$ è un intorno di ${\displaystyle x}$ e ${\displaystyle A}$ è un insieme aperto. Una conseguenza diretta di questa definizione è quella per la quale un intorno di ${\displaystyle x}$ non deve per forza essere aperto.

Esempio:

L'intervallo chiuso ${\displaystyle A:[-1,1]}$ in ${\displaystyle \mathbb {R} }$ è un insieme chiuso. Al suo interno possiamo definire l'intervallo aperto ${\displaystyle (-1,1)}$ contenente l'elemento ${\displaystyle 0}$. Pur essendo chiuso, ${\displaystyle A}$ soddisfa la condizione enunciata sopra, perciò ${\displaystyle A}$ è un intorno di ${\displaystyle 0}$. Se ${\displaystyle A}$ fosse stato aperto, sarebbe banalmente intorno di ${\displaystyle 0}$, e ci riferiremmo ad esso con il termine più specifico di intorno aperto.

Va notato (poiché sarà fondamentale per comprendere la definizione alternativa di topologia mostrata nel sottoparagrafo seguente) che il concetto di insieme aperto e quello di intorno sono, in verità, lo stesso concetto visto in modo differente.

• Possiamo, a partire dagli aperti, ricavare gli intorni applicando la definizione di intorno appena descritta.

• Possiamo, a partire dagli intorni, ricavare gli aperti: un insieme si dice "aperto" se è un intorno per tutti i punti che contiene.

La vicinanza qualitativa è data dalla struttura topologica nel suo insieme. Tuttavia, quando nel linguaggio matematico diciamo che ${\displaystyle y}$ è "vicino" a ${\displaystyle x}$, intendiamo tecnicamente che ${\displaystyle y}$ appartiene a un intorno di ${\displaystyle x}$.

Definizione tramite gli intorni

Lo stesso argomento in dettaglio: Spazio di Hausdorff.

Il matematico Felix Hausdorff definì un suo concetto di spazio topologico, basato su una definizione assiomatica di intorno di un punto.

In termini semplici, la topologia viene definita stabilendo, per ogni punto dello spazio, quali sono le zone che lo circondano (i suoi "intorni").

Formalmente, uno spazio topologico può essere definito come una coppia ${\displaystyle (X,{\mathcal {I}})}$, dove ${\displaystyle X}$ è l'insieme di tutti i punti e ${\displaystyle {\mathcal {I}}}$ è una funzione che associa a ogni singolo punto ${\displaystyle x}$ una famiglia di sottoinsiemi ${\displaystyle {\mathcal {I}}_{x}}$. Questi sottoinsiemi sono chiamati intorni del punto ${\displaystyle x}$ e, per essere considerati tali, devono rispettare quattro diversi assiomi (chiamati successivamente assiomi di Hausdorff):

1. Un punto qualsiasi appartiene sempre al proprio intorno: non possiamo pertanto definire un intorno di ${\displaystyle x}$ che non includa il punto stesso. Formalmente: per ogni ${\displaystyle U\in {\mathcal {I}}_{x},}$ si ha che ${\displaystyle x\in U}$.
2. Allargando un intorno, si ottiene ancora un intorno: se si prende un intorno di ${\displaystyle x}$ e lo espande includendo altri punti, l'insieme ottenuto continua a essere un intorno di ${\displaystyle x}$. Formalmente: se ${\displaystyle U\in {\mathcal {I}}_{x}}$ e ${\displaystyle U\subseteq V}$, allora ${\displaystyle V\in {\mathcal {I}}_{x}}$.
3. L'intersezione di due intorni è ancora un intorno: la zona in comune tra due "vicinanze" di ${\displaystyle x}$ è ancora considerata una vicinanza di ${\displaystyle x}$. Formalmente: se ${\displaystyle U,V\in {\mathcal {I}}_{x}}$, allora ${\displaystyle U\cap V\in {\mathcal {I}}_{x}}$.
4. Se un insieme ${\displaystyle U}$ è un intorno di ${\displaystyle x}$, allora esiste una zona più piccola ${\displaystyle V}$ (anch'essa intorno di ${\displaystyle x}$) tale che ${\displaystyle U}$ fa da intorno non solo per ${\displaystyle x}$, ma anche per tutti i punti contenuti in ${\displaystyle V}$. Formalmente: per ogni ${\displaystyle U\in {\mathcal {I}}_{x}}$, esiste ${\displaystyle V\in {\mathcal {I}}_{x}}$ tale che per ogni ${\displaystyle y\in V,}$ si ha ${\displaystyle U\in {\mathcal {I}}_{y}}$.

Questa definizione è perfettamente equivalente a quella standard basata sugli insiemi aperti.

Un insieme si definisce aperto se è un intorno per tutti i punti che contiene (cioè non ha "bordi": per ogni suo punto, ci sono sempre degli altri punti intorno ad esso che fanno parte dell'insieme). Viceversa, se partiamo dagli aperti, un intorno di un punto ${\displaystyle x}$ è semplicemente un qualsiasi insieme che contiene un aperto che a sua volta contiene ${\displaystyle x}$.

Equivalentemente, uno spazio di Hausdorff è uno spazio topologico che soddisfa l'assioma di separazione ${\displaystyle T_{2}}$ (per due punti distinti ${\displaystyle x}$ e ${\displaystyle y}$, esistono due intorni disgiunti ${\displaystyle U(x)}$ e ${\displaystyle U(y)}$, ossia il quinto assioma di Hausdorff).

Questa definizione è molto apprezzata in analisi matematica perché il secondo e il terzo assioma indicano che la famiglia di intorni ${\displaystyle {\mathcal {I}}_{x}}$ costituisce un filtro sull'insieme ${\displaystyle X}$, generalizzando questo concetto.

Definizione tramite i chiusi

Oltre alle definizioni precedenti, ne esiste un'altra equivalente e altrettanto attuale, anche se meno comune, che determina la topologia in termini di chiusi. Se partiamo dagli aperti, chiameremo chiusi i sottoinsiemi che hanno complementare aperto. Se partiamo dai chiusi saranno aperti quelli che hanno complementare chiuso.

Partendo dalla definizione data all'inizio (basata sugli aperti) dimostriamo le tre proprietà che caratterizzano i chiusi:

1. ${\displaystyle X}$ e ${\displaystyle \varnothing }$ sono chiusi, infatti il complementare di ${\displaystyle X}$ è ${\displaystyle \varnothing }$, che per la definizione iniziale è aperto, e il complementare di ${\displaystyle \varnothing }$ è ${\displaystyle X}$ che è anch'esso aperto;
2. l'intersezione arbitraria di chiusi è chiusa, infatti il complementare dell'intersezione arbitraria, applicando De Morgan, è l'unione arbitraria dei complementari di chiusi, che sono aperti, e quindi è aperto;
3. l'unione finita di chiusi è chiusa e la dimostrazione è analoga a quella precedente.

Se prendiamo queste tre proposizioni come proprietà che deve soddisfare una collezione di sottoinsiemi per essere una topologia, abbiamo la definizione basata sui chiusi.

Notiamo che un sottoinsieme può essere chiuso, aperto, sia aperto sia chiuso, né aperto né chiuso.

Definizione tramite l'operatore di chiusura

Uno spazio topologico può essere definito assegnando all'insieme ${\displaystyle X}$ una funzione ${\displaystyle {\text{cl}}\colon {\mathcal {P}}(X)\to {\mathcal {P}}(X)}$ (dall'insieme delle parti di ${\displaystyle X}$ in sé stesso) detta operatore di chiusura, che soddisfi i quattro assiomi di chiusura di Kuratowski: per ogni coppia di sottoinsiemi ${\displaystyle A,B\subseteq X}$ si deve avere:

1. ${\displaystyle {\text{cl}}(\varnothing )=\varnothing }$ (la chiusura del vuoto è il vuoto);
2. ${\displaystyle A\subseteq {\text{cl}}(A)}$ (estensività);
3. ${\displaystyle {\text{cl}}(A\cup B)={\text{cl}}(A)\cup {\text{cl}}(B)}$ (preservazione dell'unione);
4. ${\displaystyle {\text{cl}}({\text{cl}}(A))={\text{cl}}(A)}$ (idempotenza).

Gli insiemi chiusi della topologia sono esattamente i sottoinsiemi ${\displaystyle A}$ che coincidono con la propria chiusura, ossia per cui ${\displaystyle {\text{cl}}(A)=A}$.

Altre definizioni

Esistono ulteriori modi per definire univocamente una struttura topologica su un insieme. Ad esempio:

• tramite la convergenza delle reti (una generalizzazione del concetto di successione per spazi non numerabili), specificando per ogni rete l'insieme dei suoi punti di accumulazione;
• tramite una relazione binaria primitiva di "aderenza" tra i punti di ${\displaystyle X}$ e i suoi sottoinsiemi.

Proprietà degli aperti metrici

Per un generico sottoinsieme ${\displaystyle U\subseteq X}$, le seguenti tre condizioni sono matematicamente equivalenti:

1. ${\displaystyle U}$ è un insieme aperto (cioè ${\displaystyle U\in \tau _{d}}$);
2. per ogni ${\displaystyle x\in U}$, esiste un ${\displaystyle \varepsilon _{x}>0}$ tale che ${\displaystyle B_{\varepsilon }(x)\subseteq U}$;
3. ${\displaystyle U}$ può essere espresso come unione (finita o infinita) di bolle aperte.

Dalla terza condizione si deduce che le bolle aperte sono esse stesse degli insiemi aperti nella topologia ${\displaystyle \tau _{d}}$. Più precisamente, l'insieme di tutte le bolle aperte costituisce una base per la topologia dello spazio metrico.

Verifica degli assiomi topologici

La famiglia di insiemi ${\displaystyle \tau _{d}}$ così definita soddisfa i tre assiomi che caratterizzano uno spazio topologico:

• L'insieme vuoto ${\displaystyle \varnothing }$ e l'intero spazio ${\displaystyle X}$ sono aperti: il primo per vacuità, il secondo perché contiene banalmente ogni bolla dei suoi punti.
• L'unione arbitraria di insiemi aperti è ancora un aperto: poiché ogni insieme aperto è unione di bolle aperte, l'unione di più aperti è a sua volta una (più grande) unione di bolle aperte.
• L'intersezione finita di insiemi aperti è un aperto: se un punto ${\displaystyle x}$ appartiene all'intersezione di due aperti ${\displaystyle U_{1}}$ e ${\displaystyle U_{2}}$, allora esistono due raggi ${\displaystyle \varepsilon _{1}}$ ed ${\displaystyle \varepsilon _{2}}$ tali che ${\displaystyle B_{\varepsilon _{1}}(x)\subseteq U_{1}}$ e ${\displaystyle B_{\varepsilon _{2}}(x)\subseteq U_{2}}$. Scegliendo come raggio il minimo tra i due (${\displaystyle \varepsilon =\min\{\varepsilon _{1},\varepsilon _{2}\}}$), la bolla ${\displaystyle B_{\varepsilon }(x)}$ sarà interamente contenuta sia in ${\displaystyle U_{1}}$ che in ${\displaystyle U_{2}}$, e dunque nella loro intersezione.

Topologia banale, discreta, cofinita e conumerabile

Sia ${\displaystyle X}$ un insieme. In questo caso, le seguenti famiglie soddisfano gli assiomi della topologia:

• La topologia in cui solo l'insieme vuoto ${\displaystyle \varnothing }$ e l'intero insieme ${\displaystyle X}$ sono aperti è detta topologia banale (o indiscreta).
• La topologia in cui ogni sottoinsieme di ${\displaystyle X}$ è aperto è detta topologia discreta su ${\displaystyle X}$ (ossia ogni elemento dell'insieme delle parti di ${\displaystyle X}$ è aperto).
• La topologia in cui l'intero insieme e tutti i sottoinsiemi il cui complemento è finito sono aperti (ossia i chiusi sono gli insiemi finiti e l'intero spazio) è detta topologia cofinita su ${\displaystyle X}$.
• La topologia in cui l'intero insieme e tutti i sottoinsiemi il cui complemento è numerabile sono aperti (ossia i chiusi sono gli insiemi numerabili e l'intero spazio) è detta topologia conumerabile su ${\displaystyle X}$.

Le topologie banale e discreta sono strutture topologiche artificiali, per così dire "estreme", ma vengono utilizzate come controesempi per proposizioni topologiche. Inoltre, queste strutture implicano che è possibile definire una topologia su qualsiasi insieme.

La topologia discreta coincide con la topologia indotta dalla metrica discreta su ${\displaystyle X}$:

${\displaystyle d(x,y)={\begin{cases}0&x=y\\1&{\text{altrimenti}}.\end{cases}}}$

Se ${\displaystyle X}$ è un insieme di un solo elemento, un insieme finito o un insieme numerabile, allora chiaramente la topologia banale, la topologia cofinita e la topologia conumerabile coincidono tutte con la topologia discreta. In caso contrario, ossia se ${\displaystyle X}$ ha due o più elementi, è un insieme infinito o un insieme non numerabile, le topologie banale, cofinita e conumerabile non coincidono con la topologia indotta da alcuna distanza su ${\displaystyle X}$.

Topologia di Zariski

Sia ${\displaystyle P=\{2,3,5,7,\ldots \}}$ l'insieme dei numeri primi. Per ogni intero ${\displaystyle n\in \mathbb {Z} }$, definiamo:

${\displaystyle V(n)=\{p\in P\mid n}$ è multiplo di ${\displaystyle p}$ ${\displaystyle \}.}$

La topologia su ${\displaystyle P}$ in cui la famiglia dei chiusi è data dagli insiemi ${\displaystyle V(n)}$ è chiamata topologia di Zariski su ${\displaystyle P}$. È noto che la topologia di Zariski non coincide con la topologia indotta da alcuna distanza su ${\displaystyle P}$, ed è un esempio rappresentativo di una topologia non metrizzabile che è comunque un importante oggetto di studio matematico. Il concetto di topologia di Zariski può essere definito anche per l'insieme di tutti gli ideali primi di un generico anello commutativo ${\displaystyle R}$.

D'altra parte, è possibile definire la topologia di Zariski da una prospettiva completamente diversa. Sia ${\displaystyle K}$ un campo complesso (o più in generale un campo algebricamente chiuso) e consideriamo ${\displaystyle K^{n}}$. Per ogni insieme ${\displaystyle S}$ di polinomi su ${\displaystyle K}$, definiamo:

${\displaystyle V(S)=\{x\in K^{n}\mid \forall f\in S~:~f(x)=0\}.}$

La topologia su ${\displaystyle K^{n}}$ in cui la famiglia dei chiusi è data dagli insiemi ${\displaystyle V(S)}$ è chiamata topologia di Zariski su ${\displaystyle K^{n}}$.

Sebbene i due tipi di topologia di Zariski descritti sopra sembrino a prima vista completamente diversi, è noto che si tratta dello stesso tipo di concetto visto da angolazioni differenti. Il fatto che questi due siano dello stesso tipo è uno dei teoremi più fondamentali della geometria algebrica.

Spazi topologici ottenuti tramite elaborazione

Lo stesso argomento in dettaglio: Spazio topologico § Costruzioni.

Molti spazi topologici usati in matematica sono creati elaborando spazi topologici noti, come gli spazi metrici. Ad esempio, si può definire una topologia sull'unione o sul prodotto di due spazi topologici noti, oppure considerare una relazione di equivalenza su uno spazio topologico e definire una topologia sull'insieme quoziente risultante.

Uno degli esempi più importanti di spazio topologico ottenuto come risultato di tale elaborazione è la varietà. Una varietà è intuitivamente una superficie ${\displaystyle n}$-dimensionale, realizzata incollando tra loro più sottoinsiemi di ${\displaystyle \mathbb {R} ^{n}}$.

Per quanto riguarda quale topologia debba essere definita sull'unione, sul prodotto o sul quoziente di spazi topologici noti, esistono metodi di derivazione generali, che verranno spiegati nella sezione "costruzione di spazi topologici".

Continuità globale

Lo stesso argomento in dettaglio: Funzione continua.

Al contrario dell'analisi, dove la definizione di continuità viene generalmente introdotta localmente (limitata ai singoli punti), nel campo della topologia generale, la continuità risulta più intuitiva se definita nativamente a livello globale. Una funzione ${\displaystyle f\colon X\to Y}$ si dice continua se la controimmagine di ogni insieme aperto del codominio è un insieme aperto nel dominio. In simboli, per ogni insieme aperto ${\displaystyle A\in {\mathcal {O}}_{Y}}$ si ha che ${\displaystyle f^{-1}(A)\in {\mathcal {O}}_{X}}$. Questa definizione, di estrema eleganza, racchiude in sé l'idea che una funzione continua non "strappa" lo spazio, preservandone la nozione di vicinanza. Esistono inoltre diverse formulazioni matematicamente equivalenti a questa.

Una funzione è continua se e solo se soddisfa una delle seguenti condizioni:

1. La controimmagine di ogni insieme chiuso di ${\displaystyle Y}$ è un insieme chiuso di ${\displaystyle X}$.
2. Per ogni sottoinsieme ${\displaystyle A\subseteq X}$, l'immagine della chiusura di ${\displaystyle A}$ è contenuta nella chiusura dell'immagine di ${\displaystyle A}$: ${\displaystyle f({\overline {A}})\subseteq {\overline {f(A)}}}$.
3. La controimmagine di ogni elemento di una base (o di una prebase) della topologia di ${\displaystyle Y}$ è un aperto in ${\displaystyle X}$.

Continuità in un punto

È possibile definire la continuità anche localmente. Una funzione ${\displaystyle f\colon X\to Y}$ si dice continua in un punto ${\displaystyle x\in X}$ se la controimmagine di ogni intorno di ${\displaystyle f(x)}$ è un intorno di ${\displaystyle x}$. In simboli:

${\displaystyle \forall V\in {\mathcal {N}}_{f(x)},\ f^{-1}(V)\in {\mathcal {N}}_{x}}$

• ${\displaystyle V}$ è un intorno qualsiasi.
• ${\displaystyle {\mathcal {N}}_{f(x)}}$è la famiglia di tutti gli intorni del punto ${\displaystyle f(x)\in Y}$.
• ${\displaystyle f^{-1}(V)}$ è la controimmagine di ${\displaystyle V}$
• ${\displaystyle {\mathcal {N}}_{x}}$è la famiglia di tutti gli intorni del punto ${\displaystyle x\in X}$.

Una funzione risulta essere continua a livello globale (come definito nel paragrafo precedente) se e solo se è continua in ogni singolo punto ${\displaystyle x\in X}$.

Il problema delle successioni e l'uso delle reti

Lo stesso argomento in dettaglio: Rete (matematica).

Negli spazi metrici (o negli spazi che soddisfano il primo assioma di numerabilità), la continuità in un punto può essere descritta facilmente tramite le successioni: ${\displaystyle f}$ è continua in ${\displaystyle x}$ se per ogni successione ${\displaystyle x_{n}\to x}$ si ha che ${\displaystyle f(x_{n})\to f(x)}$. Tuttavia, in uno spazio topologico generale, le successioni non risultare adatte a descrivere adeguatamente la struttura degli intorni. Per caratterizzare la continuità in spazi topologici del tutto arbitrari, è necessario sostituire il concetto di successione con quello più generale di rete (o, in modo equivalente, utilizzare la teoria dei filtri). Una funzione è continua in ${\displaystyle x}$ se e solo se per ogni rete ${\displaystyle (x_{\lambda }){\lambda \in \Lambda }}$ convergente a ${\displaystyle x}$, la rete immagine ${\displaystyle (f(x{\lambda }))_{\lambda \in \Lambda }}$ converge a ${\displaystyle f(x)}$.

Omeomorfismo

Lo stesso argomento in dettaglio: Omeomorfismo.

Siano ${\displaystyle (X,{\mathcal {O}}_{X})}$ e ${\displaystyle (Y,{\mathcal {O}}_{Y})}$ due spazi topologici e sia ${\displaystyle f\colon X\to Y}$ un'applicazione (o funzione). Si dice che ${\displaystyle f}$ è un omeomorfismo se è una bigezione e sia ${\displaystyle f}$ che la sua funzione inversa ${\displaystyle f^{-1}}$ sono continue.

Se tra due spazi topologici ${\displaystyle (X,{\mathcal {O}}_{X})}$ e ${\displaystyle (Y,{\mathcal {O}}_{Y})}$ esiste un omeomorfismo, essi si dicono tra loro omeomorfi.

Si può facilmente verificare che l'essere omeomorfi costituisce una relazione di equivalenza nella classe di tutti gli spazi topologici.

Nella topologia generale e in branche come la topologia geometrica, l'obiettivo principale è ricercare le proprietà degli spazi che rimangono invariate sotto omeomorfismo; tali caratteristiche prendono il nome di invarianti topologici (o proprietà topologiche) e vengono utilizzate per classificare e distinguere gli spazi stessi.

Invarianti topologici

Tra le proprietà invarianti per omeomorfismo vi sono i cosiddetti invarianti topologici, ossia "quantità" o caratteristiche determinate esclusivamente dalle proprietà dello spazio topologico. Si dice che una proprietà ${\displaystyle I}$ è un "invariante topologico" se soddisfa la seguente condizione:

Se ${\displaystyle X}$ e ${\displaystyle Y}$ sono omeomorfi, allora ${\displaystyle I(X)=I(Y).}$

Prendendo la contronominale, si ottiene:

Se ${\displaystyle I(X)\neq I(Y),}$ allora ${\displaystyle X}$ e ${\displaystyle Y}$ non sono omeomorfi.

Pertanto, lo studio degli invarianti topologici è uno strumento fondamentale per classificare e distinguere due spazi.

Un semplice invariante topologico è il "numero di componenti connesse" dello spazio topologico. Intuitivamente, come suggerisce il nome, esso rappresenta il "numero di parti collegate" (o "blocchi") da cui lo spazio è formato. Consideriamo ad esempio i seguenti spazi:

• ${\displaystyle X=[0,1];}$
• ${\displaystyle Y=[0,1]\cup [2,3].}$

(Qui con ${\displaystyle [a,b]}$ si indica l'intervallo chiuso con la topologia indotta dalla distanza euclidea sui numeri reali).

Nello spazio ${\displaystyle X}$ il numero di componenti connesse è 1, mentre in ${\displaystyle Y}$ è 2. Poiché i due invarianti sono diversi (${\displaystyle 1\neq 2}$), si può concludere immediatamente che ${\displaystyle X}$ e ${\displaystyle Y}$ non sono omeomorfi.

Gli invarianti topologici giocano un ruolo fondamentale nella topologia; in particolare, gli invarianti di natura algebrica, come i gruppi di omologia e i gruppi di omotopia, costituiscono l'oggetto di studio principale della topologia algebrica.

Confronto tra topologie

Consideriamo due spazi topologici ${\displaystyle (X,{\mathcal {O}}_{1})}$ e ${\displaystyle (X,{\mathcal {O}}_{2})}$ definiti sullo stesso insieme ${\displaystyle X}$. Se vale la condizione:

${\displaystyle {\mathcal {O}}_{1}\subset {\mathcal {O}}_{2}}$

Ciò significa che ogni insieme aperto di ${\displaystyle (X,{\mathcal {O}}_{1})}$ è necessariamente un insieme aperto di ${\displaystyle (X,{\mathcal {O}}_{2})}$.

• ${\displaystyle {\mathcal {O}}_{2}}$ è la topologia più fine (o più forte, o più grande): essa contiene il maggior numero di aperti.
• ${\displaystyle {\mathcal {O}}_{1}}$ è la topologia meno fine (o più debole, o più piccola): essa contiene il minor numero di aperti.

Una condizione necessaria e sufficiente affinché ${\displaystyle {\mathcal {O}}_{1}}$ sia meno fine di ${\displaystyle {\mathcal {O}}_{2}}$ è che la mappa identità:

${\displaystyle \operatorname {id} ~:~(X,{\mathcal {O}}_{2})\to (X,{\mathcal {O}}_{1}),\ \ x\mapsto x}$

sia continua. Pertanto, una rete che converge in ${\displaystyle {\mathcal {O}}_{2}}$ convergerà anche in ${\displaystyle {\mathcal {O}}_{1}}$, ma il viceversa non è necessariamente vero.

Base di una topologia

Sia ${\displaystyle (X,{\mathcal {O}})}$ uno spazio topologico. Una famiglia ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {O}}}$ di aperti si dice una base per la topologia ${\displaystyle {\mathcal {O}}}$ se ogni insieme aperto non vuoto di ${\displaystyle {\mathcal {O}}}$ può essere scritto come unione di elementi di ${\displaystyle {\mathcal {B}}}$.

In termini formali, ${\displaystyle {\mathcal {B}}}$ è una base se:

${\displaystyle \forall A\in {\mathcal {O}},\exists {\mathcal {B}}'\subseteq {\mathcal {B}}{\text{ tale che }}A=\bigcup _{B\in {\mathcal {B}}'}B}$

Prebase (o sottobase)

Una prebase è una collezione di sottoinsiemi di ${\displaystyle X}$ ancora più arbitraria di una base. Sia ${\displaystyle {\mathcal {S}}\subseteq {\mathfrak {P}}(X)}$ una famiglia qualunque di sottoinsiemi. La topologia ${\displaystyle {\mathcal {O}}_{\mathcal {S}}}$ generata da ${\displaystyle {\mathcal {S}}}$ è definita come la topologia più debole (ovvero la collezione più piccola) che contiene ${\displaystyle {\mathcal {S}}}$.

Relazione con i sistemi di intorni

Il concetto di base locale (o sistema fondamentale di intorni) permette di collegare la struttura globale della topologia alla struttura locale attorno ai punti:

• Se ${\displaystyle {\mathcal {B}}}$ è una base della topologia, allora per ogni ${\displaystyle x\in X}$, la sotto-famiglia ${\displaystyle {\mathcal {B}}_{x}=\{B\in {\mathcal {B}}\mid x\in B\}}$ è un sistema fondamentale di intorni aperti di ${\displaystyle x}$.
• Viceversa, se per ogni ${\displaystyle x\in X}$ è assegnata una base locale di aperti ${\displaystyle {\mathcal {N}}_{x}}$, allora l'unione ${\displaystyle \bigcup _{x\in X}{\mathcal {N}}_{x}}$ costituisce una base per la topologia.

L'ordine delle topologie

Considerando la relazione "più debole/più forte" come una relazione d'ordine tra le topologie, l'insieme delle topologie su ${\displaystyle X}$:

${\displaystyle \{{\mathcal {O}}\mid (X,{\mathcal {O}})}$ è uno spazio topologico${\displaystyle \}}$

diventa un insieme ordinato. Questo insieme ordinato è un reticolo completo, dove:

${\displaystyle \sup _{\lambda \in \Lambda }({\mathcal {O}}_{\lambda })}$ = (topologia generata da ${\displaystyle \bigcup _{\lambda \in \Lambda }{\mathcal {O}}_{\lambda }}$)

${\displaystyle \inf _{\lambda \in \Lambda }({\mathcal {O}}_{\lambda })=\bigcap _{\lambda \in \Lambda }{\mathcal {O}}_{\lambda }}$

La topologia più debole è la topologia banale, quella più forte è la topologia discreta.

Topologia iniziale, indotta, di sottospazio e prodotto

Innanzitutto definiamo il concetto di topologia iniziale:

Sia ${\displaystyle X}$ un insieme, sia ${\displaystyle \{(Y_{\lambda },{\mathcal {O}}_{\lambda })\}_{\lambda \in \Lambda }}$ una famiglia di spazi topologici e consideriamo una famiglia di mappe:

${\displaystyle f_{\lambda }\colon X\to Y_{\lambda }}$

In questo caso, la topologia più debole su ${\displaystyle X}$ che rende tutte le ${\displaystyle f_{\lambda }}$ continue è chiamata topologia iniziale di ${\displaystyle X}$ rispetto a ${\displaystyle (f_{\lambda })_{\lambda \in \Lambda }}$.

I seguenti casi speciali della topologia iniziale sono importanti. Qui ${\displaystyle X}$ è un insieme.

Nome	Definizione
Topologia indotta	La topologia iniziale su ${\displaystyle X}$ definita da uno spazio topologico ${\displaystyle (Y,{\mathcal {O}})}$ e una mappa ${\displaystyle f\colon X\to Y}$.
Topologia di sottospazio (o relativa)	Dato un sottoinsieme ${\displaystyle X}$ di uno spazio topologico ${\displaystyle (Y,{\mathcal {O}})}$, è la topologia indotta dalla mappa di inclusione ${\displaystyle \iota \colon X\hookrightarrow Y,\ x\mapsto x}$. ${\displaystyle X}$ con la topologia di sottospazio è chiamato sottospazio di ${\displaystyle (Y,{\mathcal {O}})}$.
Topologia prodotto (detta anche di Tychonoff)	Data una famiglia di spazi topologici ${\displaystyle \{(X_{\lambda },{\mathcal {O}}_{\lambda })\}_{\lambda \in \Lambda }}$, è la topologia iniziale definita sul prodotto ${\displaystyle Y=\prod _{\tau \in \Lambda }X_{\tau }}$ dalla famiglia delle proiezioni ${\displaystyle \pi _{\lambda }\colon Y\to X_{\lambda }}$. Il prodotto ${\displaystyle Y}$ con la topologia prodotto è chiamato spazio prodotto.

Queste possono essere espresse più concretamente:

Definendo i simboli come sopra:

• La famiglia degli aperti della topologia indotta coincide con ${\displaystyle f^{*}({\mathcal {O}}):=\{f^{-1}(O)\mid O\in {\mathcal {O}}\}}$.
• La famiglia degli aperti della topologia di sottospazio coincide con ${\displaystyle \{O\cap X\mid O\in {\mathcal {O}}\}}$.
• La topologia prodotto ha come base la famiglia:

${\displaystyle {\mathcal {B}}=\left\{\prod _{\lambda \in \Lambda }O_{\lambda }\mid O_{\lambda }\in {\mathcal {O}}_{\lambda }{\text{ e }}O_{\lambda }=X_{\lambda }{\text{ per quasi tutti i }}\lambda \right\}}$

(dove l'espressione "per quasi tutti" indica che ${\displaystyle O_{\lambda }=X_{\lambda }}$ per tutti i ${\displaystyle \lambda }$ tranne un numero finito).

Riguardo alla topologia prodotto, se ${\displaystyle \Lambda }$ è un insieme finito la condizione "tranne un numero finito di ${\displaystyle \lambda }$" diventa superflua, ma se ${\displaystyle \Lambda }$ è un insieme infinito è necessaria cautela. Ad esempio, siano ${\displaystyle \mathbb {R} _{1},\mathbb {R} _{2},\dots }$ infinite copie numerabili di ${\displaystyle \mathbb {R} }$ e siano ${\displaystyle U_{1},U_{2},\dots }$ infinite copie dell'intervallo ${\displaystyle U=(0,1)}$. In questo caso, il prodotto:

${\displaystyle \prod _{i\in \mathbb {N} }U_{i}}$

non è un insieme aperto nello spazio prodotto ${\displaystyle \prod _{i\in \mathbb {N} }\mathbb {R} _{i}}$. Infatti, non soddisfa la condizione "tranne un numero finito..." e non può essere scritto come unione di insiemi che la soddisfano.

Al contrario, sul prodotto è possibile definire anche una topologia che renda ${\displaystyle \prod _{i\in \mathbb {N} }U_{i}}$ un aperto: data una famiglia di spazi topologici ${\displaystyle (X_{\lambda },{\mathcal {O}}_{\lambda })_{\lambda \in \Lambda }}$, la topologia su ${\displaystyle \prod _{\lambda \in \Lambda }X_{\lambda }}$ che ha come base:

${\displaystyle {\mathcal {B}}_{\text{box}}=\left\{\prod _{\lambda \in \Lambda }O_{\lambda }\mid \forall \lambda \in \Lambda \colon O_{\lambda }\in {\mathcal {O}}_{\lambda }\right\}}$

è chiamata topologia della scatola (box topology).

La topologia della scatola è una topologia più forte (più fine) della topologia prodotto.

Topologia finale, co-indotta, quoziente e di somma disgiunta

Definiamo innanzitutto la topologia finale in modo duale alla topologia iniziale:

Sia ${\displaystyle X}$ un insieme, sia ${\displaystyle \{(Y_{\lambda },{\mathcal {O}}_{\lambda })\}_{\lambda \in \Lambda }}$ una famiglia di spazi topologici e consideriamo una famiglia di mappe:

${\displaystyle f_{\lambda }\colon Y_{\lambda }\to X}$

In questo caso, la topologia più forte su ${\displaystyle X}$ che rende tutte le ${\displaystyle f_{\lambda }}$ continue è chiamata topologia finale di ${\displaystyle X}$ rispetto a ${\displaystyle (f_{\lambda })_{\lambda \in \Lambda }}$.

Si possono definire i seguenti casi speciali della topologia finale, duali alla topologia indotta, di sottospazio, iniziale e prodotto. Qui ${\displaystyle X}$ è un insieme:

Nome	Definizione
Topologia co-indotta	La topologia finale su ${\displaystyle X}$ definita da uno spazio topologico ${\displaystyle (Y,{\mathcal {O}})}$ e una mappa ${\displaystyle f\colon Y\to X}$.
Topologia quoziente	Sia ${\displaystyle (Y,{\mathcal {O}})}$ uno spazio topologico, sia ${\displaystyle \sim }$ una relazione di equivalenza su ${\displaystyle Y}$ e sia ${\displaystyle [x]}$ la classe di equivalenza di ${\displaystyle x\in Y}$. La topologia quoziente è la topologia co-indotta sull'insieme quoziente ${\displaystyle X=Y/{\sim }}$ dalla mappa quoziente ${\displaystyle \pi \colon Y\to Y/{\sim },\;x\mapsto [x]}$.
Topologia di somma disgiunta	Data una famiglia di spazi topologici ${\displaystyle \{(X_{\lambda },{\mathcal {O}}_{\lambda })\}_{\lambda \in \Lambda }}$, è la topologia finale definita sulla unione disgiunta ${\displaystyle \coprod _{\lambda \in \Lambda }X_{\lambda }}$ dalla famiglia delle mappe di inclusione ${\displaystyle \iota _{\lambda }\colon X_{\lambda }\hookrightarrow \coprod _{\tau \in \Lambda }X_{\tau }}$.

Queste possono essere espresse più concretamente:

Definendo i simboli come sopra:

• La famiglia degli aperti della topologia co-indotta coincide con ${\displaystyle f_{*}({\mathcal {O}}):=\{U\subseteq X\mid f^{-1}(U)\in {\mathcal {O}}\}}$.
• La famiglia degli aperti della topologia quoziente coincide con ${\displaystyle \pi _{*}({\mathcal {O}}):=\{U\subseteq X\mid \pi ^{-1}(U)\in {\mathcal {O}}\}}$.
• La famiglia degli aperti della topologia di somma disgiunta coincide con:

${\displaystyle {\mathcal {O}}_{\text{sum}}=\left\{\bigcup _{\lambda \in \Lambda }O_{\lambda }\mid \forall \lambda \in \Lambda \colon O_{\lambda }\in {\mathcal {O}}_{\lambda }\right\}}$