4 Sottoinsiemi chiusi di uno spazio metrico

Transcript

1 Geometria I 2009-mar Sottoinsiemi chiusi di uno spazio metrico (4.1) Definizione. Sia A X un sottoinsieme di uno spazio metrico X. Un punto x X si dice di accumulazione (anche: punto limite) per A in X se per ogni r>0 l intersezione B r (x) A contiene almeno un punto oltre al centro x. Idea: i punti di accumulazione di A dovrebbero essere i punti limite di successioni in A. Se A = {x n } n N X è una successione convergente, allora il limite della successione è punto limite di A. È davvero cosí? (4.2) Definizione. Sia X uno spazio metrico. Un sottoinsieme C X si dice chiuso se contiene tutti i suoi punti di accumulazione. (4.3) Il complementare in X di un chiuso è aperto. Il complementare in X di un aperto è chiuso. Quindi C X è chiuso se e solo se X C è aperto. Dimostrazione. Sia C X un chiuso e x X C. Dato che C è chiuso, x non può essere un punto di accumulazione, e quindi esiste r>0per cui B r (x) C =. Ma allora B r (x) (X C) e quindi X C è intorno di x. Per l arbitrarietà di x in X C si ha che X C è aperto. Viceversa, sia A X un aperto e sia C il complementare X A. Se x è un punto di accumulazione di C allora non è un punto di A: infatti, A sarebbe intorno di x, per cui ci sarebbe r>0 tale che B r (x) A, ma allora B r (x) C A C =, cioè x non sarebbe di accumulazione per C. In altre parole, i punti di accumulazione di C sono contenuti in C e dunque C è chiuso. (4.4) L insieme C di tutti i chiusi di uno spazio metrico X verifica le seguenti proprietà: (i) C, X C, (ii) B C = C B C C, (iii) B C, B è finito, allora C B C C. Dimostrazione. Basta considerare la proposizione (3.17) e il fatto che i chiusi sono i complementari degli aperti (dualità). (4.5) Definizione. Sia A X. L unione di A con l insieme di tutti i suoi punti di accumulazione si dice chiusura di A in X e si indica con A. (4.6) Nota. La chiusura A di A contiene A. Inolre, se A B, si ha che A B (esercizio (2.5)). D.L. Ferrario 2009-mar-18 15

2 Geometria I 2009-mar (4.7) La chiusura A di A è il più piccolo insieme chiuso che contiene A (in altre parole: l intersezione di tutti i chiusi che contengono A). In particolare, è un chiuso. Dimostrazione. Per prima cosa vediamo che A è chiuso e per farlo mostriamo che X A è aperto. Se x X A, cioè x non è né punto di A né punto di accumulazione, allora in particolare esiste r>0per cui B r (x) A = ; d altro canto B r (x) è aperto (cioè intorno di ogni suo punto), e quindi non può contenere punti di accumulazione per A. Ma allora B r (x) A =, cioè B r (x) X A. Ora, consideriamo un insieme chiuso C che contiene A. Dato che A C, si ha che A C, ed essendo C chiuso si ha: C = C. Ma allora A C, cioè A è contenuto in tutti i chiusi che contengono A. Essendo A chiuso, in particolare A è un chiuso contenente A, e quindi la tesi. (4.8) Corollario. Un insieme A X è chiuso se e solo se coincide con la sua chiusura A = A. (4.9) Sia f una funzione f : X Y tra spazi metrici. Le tre proposizioni seguenti sono equivalenti: (i) f è continua (ii) A X, f(a) f(a). (iii) per ogni C Y chiuso, la sua controimmagine f 1 (C) X è chiuso. Dimostrazione. Supponiamo f continua. Mostriamo che 1 = 2. Sia x A. Se x A, allora f(x) f(a) f(a), e quindi f(x) f(a). Se x A A, allora x deve essere di accumulazione per A. Vogliamo mostrare che o f(x) appartiene a f(a) oppure ne è punto di accumulazione. Se f(x) f(a), allora non c è altro da dimostrare. Supponiamo altrimenti che f(x) f(a). Ora, dato che f è continua, per ogni r > 0 la controimmagine dell intorno circolare f 1 (B r (f(x))) è un intorno di x, e quindi esiste ɛ> 0 (che dipende da r e x) per cui B ɛ (x) f 1 (B r (f(x))). Ma x è di accumulazione per A, e quindi B ɛ (x) A {x}, cioè esiste un punto z B ɛ (x) A, z x, ed in particolare f(z) B r (f(x)) Dato che stiamo supponendo f(x) f(a) e che z A, si ha che f(z) f(a) e quindi f(z) f(x). Cioè, per ogni r>0 l intorno B r (f(x)) contiene punti di f(a) diversi da f(x), e quindi f(x) è di accumulazione per f(a). Ora dimostriamo che (ii) = (iii). Sia C Y un chiuso e A = f 1 C la sua controimmagine in X. Dal momento che f(a) f(a), e che f(a) C, D.L. Ferrario 2009-mar-18 16

3 Geometria I 2009-mar f(a) C = C, e quindi A f 1 C. Ne segue che A A, da cui A = A, visto che anche A A. Ora dimostriamo che (iii) = (i). Se A Y è aperto, allora C = Y A è chiuso in Y, e quindi f 1 C è chiuso in X, il che implica che X f 1 C è aperto. Ma X f 1 C = {x X : f(x) C} = f 1 (X C) =f 1 (A), quindi f 1 (A) è aperto. (4.10) Nota. Continuità: f(lim) = lim(f)... Ancora: Tutti i punti di uno spazio metrico sono chiusi. Infatti, se y x X e r = d(x, y), allora r>0ey B r/2 (y) x, cioè X {x} è aperto. D.L. Ferrario 2009-mar-18 17

4 Geometria I 2009-mar Spazi topologici Cfr: Cap I 2-3, Sernesi Vol II [1]. Se si analizzano le dimostrazioni delle proprietà finora vista degli aperti, chiusi e funzioni continue di spazi metrici, ci si rende conto che la metrica serve solo per definire la famiglia degli intorni circolari e alcune proprietà caratterizzanti. Sia X un insieme. Una famiglia di sottoinsiemi A 2 X che verifica le proprietà di (3.17) consente di fatto di introdurre una definizione non solo metrica di continuità. (5.1) Definizione. Una famiglia A 2 X di sottoinsiemi di un insieme X si dice topologia se verifica le seguenti proprietà: (i) A, X A, (ii) B A = B B B A, (iii) B A, B è finito, allora B B B A. Uno spazio X munito di una topologia A 2 X (spesso indicata con la lettera τ) viene detto spazio topologico 5 e gli elementi di A si dicono gli aperti di X. È banale verificare che la definizione di aperto di uno spazio metrico consente di associare ad ogni spazio metrico una topologia come nella definizione (3.19), che è detta anche topologia metrica. Sappiamo già che spazi metrici diversi possono avere la stessa topologia metrica (se le metriche sono equivalenti). Non tutti gli spazi topologici però ammettono l esistenza di una metrica che genera la topologia (cioè, non tutti sono metrizzabili). (5.2) Esempio. Consideriamo le due topologie estreme, cioè quella con più aperti possibile e quella con meno aperti possibile. (i) Topologia banale: ha solo i due aperti A = {,X} 2 X (che devono esistere per poter soddisfare tutti gli assiomi della definizione (5.1)). (ii) Topologia discreta: tutti i sottoinsiemi sono aperti A =2 X. Questo serve a rilassare il concetto di vicinanza che è intrinseco per gli spazi metrici. 5 Così come uno spazio metrico X è più propriamente una coppia (X, d), anche uno spazio topologico dovrebbe essere indicato come coppia (X, τ) con τ 2 X, ma per brevità la topologia non viene espressamente indicata, se non quando necessario. D.L. Ferrario 2009-mar-19 18

5 Geometria I 2009-mar (5.3) Definizione. Se X è uno spazio topologico, A X è un sottoinsieme e x A, si dice che A è un intorno di x se contiene un aperto B tale che x B A. 6 Allora x si dice punto interno di A. Possiamo anche definire funzioni continue usando la caratterizzazione del teorema (3.14). (5.4) Definizione. Siano X e Y spazi topologici. Una funzione f : X Y si dice continua se per ogni aperto A Y la controimmagine f 1 A è aperto di X. Anche il concetto di sottoinsieme chiuso, di punto di accumulazione e di chiusura può essere esteso agli spazi topologici, utilizzando il fatto che gli aperto sono per definizione intorni dei propri punti. (5.5) Definizione. Sia A X un sottoinsieme di uno spazio topologico X. Un punto x X si dice di accumulazione (anche: punto limite) per A in X se per ogni intorno B di x l intersezione B A contiene almeno un altro punto oltre a x. La chiusura A di A è definita come l unione di A con tutti i suoi punti di accumulazione. (5.6) Sia X uno spazio topologico e C X un suo sottoinsieme. Le seguenti proposizioni sono equivalenti. (i) X C è aperto. (ii) C contiene tutti i suoi punti di accumulazione. Dimostrazione. Basta ripetere la dimostrazione di (4.3) sostituendo ovunque intorni aperti invece che intorni circolari. (5.7) Definizione. Un sottoinsieme C X di uno spazio topologico si dice chiuso se una delle due proposizioni equivalenti di (5.6) è verificata. Ancora, cambiando di poco la dimostrazione di (4.7) si può dimostrare che (vedi esercizio (2.8)): (5.8) La chiusura A di un sottoinsieme A X è il più piccolo sottoinsieme chiuso di X che contiene A (in altre parole: l intersezione di tutti i chiusi che contengono A). In particolare, è un chiuso. 6 Alcuni definiscono intorni solo gli aperti che contengono x. D.L. Ferrario 2009-mar-19 19

6 Geometria I 2009-mar Base di una topologia La topologia metrica è generata dalla famiglia di tutti gli intorni circolari, nel senso che gli aperti sono tutti e soli le unioni di intorni circolari. Ci si può chiedere quando una famiglia di insiemi genera una topologia in questo modo. Basta prendere le proprietà degli intorni circolari di spazi metrici di (3.18). (5.9) Definizione. Una famiglia di sottoinsiemi B 2 X di un insieme X si dice base se le seguenti proprietà sono soddisfatte: (i) per ogni x X esiste almeno un elemento della base B B che contiene x (equivalentemente, X = B B B). (ii) Se B 1, B 2 B e x B 1 B 2, allora esiste B x B tale che x B x B 1 B 2 (equivalentemente, B 1 B 2 è unione di elementi della base). Possiamo riscrivere (3.18) dicendo: gli intorni circolari costituiscono una base. Il modo di generare una topologia a partire da una base procede dall osservazione che gli aperti sono le unioni di intorni circolari. (5.10) Sia X un insieme. Data una base B 2 X, sia A 2 X la famiglia di tutte le unioni di elementi di B unita a. Allora A è una topologia per X ed è la più piccola topologia in cui gli elementi della base B sono aperti. Dimostrazione. Esercizio. (5.11) Definizione. La topologia generata come in (5.10) si dice topologia generata dalla base B. (5.12) Esempio. In X = N = {1, 2, 3,...} siano B i = {ki : k N} = {n N : n 0 mod i}. Sono una base? La topologia in N è quella metrica? È quella discreta? È metrizzabile (cioè può essere generata da una metrica)? 5.2 Topologia indotta (topologia dei sottospazi/sottospazi topologici) Cfr: Sernesi, Vol II, Cap II 5 [1]. Se X è uno spazio topologico, la topologia τ di X induce una topologia, detta topologia indotta per restrizione sui sottospazi Y X. Cioè, per definizione A Y è aperto se e solo se esiste U X aperto la cui intersezione con Y è A: gli aperti di Y sono tutte e sole le intersezioni A = Y U D.L. Ferrario 2009-mar-19 20

7 Geometria I 2009-mar di aperti di X con Y. Quando si considerano sottoinsiemi di uno spazio topologico, si assume che abbiano la topologia indotta, se non esplicitamente indicato in altro modo. (5.13) Nota. Tutti gli intervalli del tipo [a, b), con a<bcostituiscono una base per la retta reale R. La topologia che ne risulta ha piú aperti di quella generata dalla metrica euclidea. Gli intervalli del tipo (,b), con b R sono una base? Se sí, essa genera una topologia con piú o meno aperti di quella euclidea? Esiste una metrica che genera questa topologia? Quando una funzione è semicontinua superiormente? Topologie finite Sia X un insieme: ricordiamo che R una relazione (binaria) su X è una forma proposizionale su X X, cioè una funzione R: X X {0, 1} (o Vero/Falso), indicata nei due modi R(x, y) =xry. La relazione è simmetrica se per ogni x X si a che xrx = 1 (è vero), e transitiva se per ogni x, y, z X si ha che xry = yrz = 1 = xrz = 1. Una relazione binaria simmetrica e transitiva è detta relazione di preordine parziale. (5.14) Nota. Sia X un insieme finito, con una topologia A. Allora A definisce una relazione di preordine parziale R su X (che possiamo indicare con R A ) nel modo seguente: se x, y X, si definisce xry ( ogni aperto U di X che contiene x contiene anche y ) che è una relazione riflessiva e transitiva (perché?). (5.15) Nota. Se R è una relazione di preordine parziale su X, allora definiamo una topologia A su X nel modo seguente: sia, per ogni x X, U x l insieme definito da U x = {y X : xry}. Se x 1 e x 2 sono due elementi di X e z U x1 U x2, allora x 1 Rz e x 2 Rz, e quindi U z = {y X : zry} U x1 U x2 = {y X : x 1 Ry x 2 Ry}, dato che zry x 1 Rz = x 1 Ry, zry x 2 Rz = x 2 Ry. Inolre x U x (perché riflessiva), e dunque gli U x costituiscono una base per una topologia di X, la topologia associata alla relazione R. D.L. Ferrario 2009-mar-19 21

8 Geometria I 2009-mar Utilizzando (5.14) e (5.15), si può mostrare che le topologie su X sono in corrispondenza biunivoca con le relazioni riflessive e transitive su X. Problema: come elencare tutte le relazioni riflessive e transitive su un insieme finito X? È possibile scrivere un algoritmo che le elenca? Vediamo per X = {1, 2} si hanno le seguenti topologie. [ ] 1 0 1) Matrice (relazione binaria): 0 1 2) Matrice (relazione binaria): 3) Matrice (relazione binaria): 4) Matrice (relazione binaria): A = {{}, {1}, {2}, {1, 2}} 2 X [ ] A = {{}, {1}, {1, 2}} 2 X [ ] A = {{}, {2}, {1, 2}} 2 X [ ] A = {{}, {1, 2}} 2 X D.L. Ferrario 2009-mar-19 22