Base (topologia)

In matematica, una base ${\mathcal {B}}$ ^[1] per uno spazio topologico $X$ con topologia ${\mathcal {T}}$ è una collezione di aperti in ${\mathcal {T}}$ tali che ogni insieme aperto di ${\mathcal {T}}$ è unione (finita o infinita) di elementi di ${\mathcal {B}}$ . Diciamo che la base genera la topologia ${\mathcal {T}}$ , i cui aperti si ottengono mediante unione di elementi della base. Evidentemente due topologie con la stessa base sono identiche.

L'utilità delle basi risiede proprio nel fatto che esse sono in grado di caratterizzare tutte le proprietà topologiche dello spazio, descrivendone in maniera completa la topologia.

Proprietà delle basi

Una base deve necessariamente godere delle seguenti due proprietà:

Gli elementi della base ricoprono $X$ , cioè la loro unione è $X$ .

Essendo $X$ aperto, deve essere ottenibile mediante unione di elementi della base. A maggior ragione coincide con l'unione di tutti gli elementi della base.

Dati due elementi della base, la loro intersezione è ottenibile come unione di elementi della base.

Infatti l'intersezione di due elementi della base deve essere aperta e quindi unione di elementi della base.

Quest'ultima proprietà può essere formulata in maniera equivalente:

Siano $B_{1}$ e $B_{2}$ elementi della base e sia $I_{B}$ la loro intersezione. Per ogni $x$ in $I_{B}$ c'è un altro elemento della base $B_{3}$ contenente $x$ e contenuto in $I_{B}$ .

Se la collezione di aperti gode solo della prima proprietà, è una prebase. Le due condizioni caratterizzano le basi, nel senso che se $X$ è un insieme privo di struttura topologica e ${\mathcal {B}}$ una famiglia di suoi sottoinsiemi che soddisfi le due proprietà allora ${\mathcal {B}}$ è base di una topologia per $X$ e questa, per quanto già detto, è l'unica topologia su $X$ ad avere ${\mathcal {B}}$ come base.

Esempi

Usando le basi si possono definire agevolmente molte topologie.

Nell'insieme dei numeri reali $\mathbb {R}$ , gli intervalli aperti formano una base per la topologia euclidea usuale
Dato uno spazio metrico $(X,d)$ , la sua topologia è definita usando come base tutte le palle aperte centrate nei vari punti e aventi raggio variabile
La stessa topologia per lo spazio metrico $(X,d)$ si ottiene fissando un $k>0$ e prendendo solo le palle aperte centrate nei vari punti e aventi raggio minore di $k$
La stessa topologia per lo spazio metrico $(X,d)$ si ottiene prendendo solo le palle aperte centrate nei punti di un sottoinsieme denso di $X$ aventi raggio razionale minore di $k$
Per quanto appena detto, se uno spazio metrico ha un sottoinsieme denso numerabile, allora ha una base numerabile.^[2] Ad esempio, la retta, il piano e più in generale lo spazio euclideo n-dimensionale hanno una base numerabile, benché contengano una quantità di punti più che numerabile
Dato un insieme $X$ , se prendiamo come base tutti gli insiemi che constano di un punto solo e $\varnothing$ otteniamo la topologia discreta
Dato un insieme $X$ , se prendiamo come base $X$ e $\varnothing$ otteniamo la topologia banale
Possiamo definire sulla retta reale la topologia della semicontinuità inferiore, che è meno fine di quella euclidea usuale, prendendo come base l'insieme di tutte le semirette destre date da $x>d$ , dove d è un numero reale variabile. Lo spazio che ne risulta non è di Hausdorff

Note

^ Manetti, M., p. 39.
^ Uno spazio topologico che ammette un sottoinsieme denso e numerabile è detto spazio separabile. Si può affermare quindi che ogni spazio metrico separabile ha una base numerabile.

Bibliografia

Marco Manetti, Topologia, Springer, 2008, ISBN 978-88-470-0756-7.
Edoardo Sernesi, Geometria 2, Torino, Bollati Boringhieri, 1994, ISBN 978-88-339-5548-3.

Voci correlate

Collegamenti esterni

topologia, base di una, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
(EN) Eric W. Weisstein, Base, su MathWorld, Wolfram Research.

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

[1] Manetti, M., p. 39.

[2] Uno spazio topologico che ammette un sottoinsieme denso e numerabile è detto spazio separabile. Si può affermare quindi che ogni spazio metrico separabile ha una base numerabile.

[1]

[2]