[¯|¯] Topologia discreta. Un esempio di spazio di Hausdorff. Il vuoto è uno spazio di Hausdorff?

domenica, Aprile 2nd, 2017

spazio di Hausdorff,topologia discreta,intorni, aperti


Premessa. Omeomorfismi

Nella lezione precedente abbiamo introdotto la nozione di spazio di Hausdorff e di varietà topologica. È essenziale costruire degli esempi, altrimenti si rischia di enunciare proprietà e teoremi che sembrano "campati in aria". Premettiamo la seguente definizione:

Definizione
Comunque prendiamo un insieme S, la topologia

spazio di Hausdorff,topologia discreta,intorni, aperti

si dice
topologia discreta

Ad esempio, se S è l'insieme

spazio di Hausdorff,topologia discreta,intorni, aperti

si ha
spazio di Hausdorff,topologia discreta,intorni, aperti

(altro…)




[¯|¯] Premesse topologiche

sabato, Aprile 1st, 2017

spazio topologico,topologia,aperti,topologia banale

Fig. 1. Copertina del saggio La mente e l'infinito del matematico Rudy Rucker.


A un qualunque insieme S possiamo univocamente associare l'insieme i cui elementi sono tutti e soli i sottoinsiemi di S. Denotando con P(S) tale insieme, si ha:

spazio topologico,topologia,aperti,topologia banale

Definizione
Chiamiamo P(S) insieme delle parti di S.
L'insieme della parti di S è "strutturalmente" più complicato di S. Ad esempio, consideriamo l'insieme il cui unico elemento è la lettera a:
spazio topologico,topologia,aperti,topologia banale

I sottoinsiemi di S sono:
spazio topologico,topologia,aperti,topologia banale

onde
spazio topologico,topologia,aperti,topologia banale

Aggiungiamo un elemento:
spazio topologico,topologia,aperti,topologia banale

i cui sottoinsiemi sono
spazio topologico,topologia,aperti,topologia banale

Quindi
spazio topologico,topologia,aperti,topologia banale

Se S è il vuoto? Cioè
spazio topologico,topologia,aperti,topologia banale

Segue
spazio topologico,topologia,aperti,topologia banale

ovvero l'insieme delle parti del vuoto è l'insieme il cui unico elemento è il vuoto. Viceversa
spazio topologico,topologia,aperti,topologia banale

Proposizione

spazio topologico,topologia,aperti,topologia banale

Dimostrazione
spazio topologico,topologia,aperti,topologia banale

spazio topologico,topologia,aperti,topologia banale

c.d.d.
(altro…)