28.05.2013 Views

(pp. 0-80).pdf - Dipartimento di Matematica

(pp. 0-80).pdf - Dipartimento di Matematica

(pp. 0-80).pdf - Dipartimento di Matematica

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!