(pp. 0-80).pdf - Dipartimento di Matematica
(pp. 0-80).pdf - Dipartimento di Matematica
(pp. 0-80).pdf - Dipartimento di Matematica
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Gianni Gilar<strong>di</strong> Elementi <strong>di</strong> Topologia e <strong>di</strong> Analisi Funzionale<br />
Si potrebbe fare un lungo elenco <strong>di</strong> proprietà <strong>di</strong> facile <strong>di</strong>mostrazione, ma per questo<br />
riman<strong>di</strong>amo ai testi specializzati e ci limitiamo a osservare che<br />
un sottoinsieme è chiuso se e solo se il suo complementare è aperto (1.9)<br />
e a enunciare i risultati che seguono, i quali consentono in particolare <strong>di</strong> vedere come la<br />
nozione <strong>di</strong> spazio topologico può essere data in modo alternativo.<br />
Proposizione 1.5. Siano (X, I) uno spazio topologico e A la famiglia degli aperti.<br />
Allora valgono le con<strong>di</strong>zioni seguenti:<br />
∅, X ∈ A (1.10)<br />
se Ai ∈ A per ogni i <strong>di</strong> un certo insieme <strong>di</strong> in<strong>di</strong>ci, allora <br />
i Ai ∈ A (1.11)<br />
se A1, A2 ∈ A, allora A1 ∩ A2 ∈ A. (1.12)<br />
Inoltre, per ogni x ∈ X e I ⊆ X , risulta I ∈ I(x) se e solo se<br />
esiste A ∈ A tale che x ∈ A e A ⊆ I . (1.13)<br />
Teorema 1.6. Siano X un insieme non vuoto e A una famiglia <strong>di</strong> sottoinsiemi <strong>di</strong><br />
X verificante le con<strong>di</strong>zioni (1.10–12). Allora esiste una e una sola topologia su X la<br />
cui famiglia <strong>di</strong> aperti sia A . Tale topologia si ottiene definendo le famiglie <strong>di</strong> intorni<br />
nel modo seguente: se x ∈ X e I ⊆ X , <strong>di</strong>ciamo che I è un intorno <strong>di</strong> x se e solo se<br />
vale la con<strong>di</strong>zione (1.13).<br />
Tenendo conto della (1.9) si vede imme<strong>di</strong>atamente che la famiglia C dei chiusi<br />
verifica le proprietà<br />
∅, X ∈ C (1.14)<br />
se Ci ∈ C per ogni i <strong>di</strong> un certo insieme <strong>di</strong> in<strong>di</strong>ci, allora <br />
i Ci ∈ C (1.15)<br />
se C1, C2 ∈ C, allora C1 ∪ C2 ∈ C (1.16)<br />
e che, viceversa, data comunque una famiglia C <strong>di</strong> sottoinsiemi <strong>di</strong> X in queste con<strong>di</strong>zioni,<br />
esiste una e una sola topologia per la quale C è la famiglia dei chiusi.<br />
Dunque una topologia può essere assegnata scegliendo in<strong>di</strong>fferentemente una delle<br />
cose seguenti (ciascuna con le dovute proprietà, ben inteso): (i) le famiglie degli intorni<br />
dei vari punti; (ii) famiglie <strong>di</strong> basi <strong>di</strong> intorni dei vari punti; (iii) la famiglia<br />
degli aperti; (iv) la famiglia dei chiusi. In particolare viene recuperata l’impostazione<br />
tra<strong>di</strong>zionale secondo la quale uno spazio topologico è una co<strong>pp</strong>ia (X, A) ove X è un<br />
insieme non vuoto e A è una famiglia <strong>di</strong> sottoinsiemi <strong>di</strong> X , detti aperti, verificante le<br />
con<strong>di</strong>zioni (1.10–12).<br />
Capitolo II: Alcuni punti della teoria 16