Topologia e spazio topologico
Sia X un insieme non vuoto.
Una struttura topologica, o topologia su X è una famiglia t di sottoinsiemi di X tale che valgano le seguenti proprietà:
Gli elementi di t sono aperti della topologia t.
Definizione 1.2
Uno spazio topologico è una coppia (X, t) dove X è un insieme non vuoto e t è una topologia su X.
Definizioni 1.3
Sia X un insieme non vuoto:
Osservazione 1.4 In generale, fissato un insieme X, la topologia cofinita e quella discreta sono diverse.
Sono uguali se e solo se X è finito
Definiamo il sottoinsieme di Rn:
D1 ((0, 0)) Í R2
Definizione 1.6
Su Rn definiamo una topologia i cui aperti sono tutte le unioni di dischi aperti, questa topologia è detta topologia euclidea e la denotiamo con ePer esercizio, dimostrare che e è una topologia
Gli aperti di e sono unione di dischi aperti:
Definizione 1.7 Siano t
e t’
due topologie su un X, diciamo che t
è meno fine di t’
(scriviamo t
<t') se tutti gli aperti di t
sono aperti di t’ Se t
<t’ è falsa ed è falsa anche t'<
t, diciamo che t
e t’ non sono confrontabili.
![]() |
![]() |
![]() |
![]() |