Spazi metrici numerabili e completi (topologia)
Sia $(X,d)$ uno spazio metrico (al più) numerabile che contiene almeno due punti
Dimostrare che
1-Se è completo allora non è connesso
2-Non è connesso in ogni caso (suggerimento: usare la funzione distanza)
commenti pesonali
Se lo spazio è finito la tesi segue banalmente dal fatto che uno spazio metrico finito ha la topologia discreta (tutti i sottoinsiemi sono aperti).
Attenzione! Uno spazio metrico numerabile non è detto dotato della topologia discreta! Esempio: $QQ$, infatti in $QQ$ i punti non sono aperti.
L'esercizio non credo sia difficile ma proprio non trovo la strada...
Dimostrare che
1-Se è completo allora non è connesso
2-Non è connesso in ogni caso (suggerimento: usare la funzione distanza)
commenti pesonali
Se lo spazio è finito la tesi segue banalmente dal fatto che uno spazio metrico finito ha la topologia discreta (tutti i sottoinsiemi sono aperti).
Attenzione! Uno spazio metrico numerabile non è detto dotato della topologia discreta! Esempio: $QQ$, infatti in $QQ$ i punti non sono aperti.
L'esercizio non credo sia difficile ma proprio non trovo la strada...
Risposte
Siano [tex]a, b \in X[/tex] due punti distinti e poniamo [tex]r_0 = d(a,b)[/tex]. Consideriamo ora la famiglia di insiemi [tex]\{B_r\}_{r\in (0,r_0)}[/tex] definiti da
[tex]B_r := \{x \in X: d(a,x) = r\}[/tex]
Se per assurdo nessuno di questi insiemi fosse vuoto, sarebbe possibile costruire una funzione iniettiva da [tex](0,r_0)[/tex] in [tex]X[/tex], che quindi non sarebbe numerabile. Assurdo.
Sia pertanto [tex]\rho[/tex] tale che [tex]B_\rho = \emptyset[/tex] e consideriamo gli insiemi
[tex]A:= \{x \in X: d(a,\rho) < \rho\}[/tex]
e
[tex]B:= \{x \in X: d(a,x) > \rho\}[/tex]
Ora, questi insiemi sono aperti (il primo fa parte della base dello spazio metrico, il secondo è facilmente scrivibile come unione di aperti). D'altronde deve anche essere [tex]A\cup B = X[/tex] per la scelta di [tex]\rho[/tex], sicché, essendo ovviamente [tex]A \cap B = \emptyset[/tex] e [tex]a \in A[/tex], [tex]b\in B[/tex], segue che lo spazio non può essere connesso.
Non vedo come farci entrare la completezza dello spazio, però... (cioè, questa argomentazione risolve entrambi i punti, però non capisco dove salti fuori la semplificazione con l'ipotesi aggiuntiva della completezza)...
Come ti sembra?
[tex]B_r := \{x \in X: d(a,x) = r\}[/tex]
Se per assurdo nessuno di questi insiemi fosse vuoto, sarebbe possibile costruire una funzione iniettiva da [tex](0,r_0)[/tex] in [tex]X[/tex], che quindi non sarebbe numerabile. Assurdo.
Sia pertanto [tex]\rho[/tex] tale che [tex]B_\rho = \emptyset[/tex] e consideriamo gli insiemi
[tex]A:= \{x \in X: d(a,\rho) < \rho\}[/tex]
e
[tex]B:= \{x \in X: d(a,x) > \rho\}[/tex]
Ora, questi insiemi sono aperti (il primo fa parte della base dello spazio metrico, il secondo è facilmente scrivibile come unione di aperti). D'altronde deve anche essere [tex]A\cup B = X[/tex] per la scelta di [tex]\rho[/tex], sicché, essendo ovviamente [tex]A \cap B = \emptyset[/tex] e [tex]a \in A[/tex], [tex]b\in B[/tex], segue che lo spazio non può essere connesso.
Non vedo come farci entrare la completezza dello spazio, però... (cioè, questa argomentazione risolve entrambi i punti, però non capisco dove salti fuori la semplificazione con l'ipotesi aggiuntiva della completezza)...
Come ti sembra?
La completezza attiva il teorema di Baire. Precisamente, in uno spazio metrico completo l'unione numerabile di chiusi a interno vuoto ha essa stessa l'interno vuoto. Supponiamo allora, per assurdo, che lo spazio sia connesso: siccome i singoletti sono chiusi (ogni spazio metrico è di Hausdorff), non possono essere pure aperti (ipotesi di connessione) quindi hanno l'interno vuoto. Ma allora tutto lo spazio dovrebbe avere l'interno vuoto, perché unione numerabile di singoletti: contraddizione.
Ah, ecco perché non mi diceva nulla... nel nostro corso nessuno si è mai preso la briga di parlare del teorema di Baire... 
[OT]
Incredibile come a chi ha fatto Analisi Funzionale il Lemma di Baire venga così subito in mente, vero dissonance?
M'è bastato leggere il testo e... ZAC... Lemma di Baire.
Poi ho letto la tua risposta e mi son detto: "Menomale, non sono ancora troppo vecchio" (cosa che mi viene in mente spesso di recente).
[/OT]
"dissonance":
La completezza attiva il teorema di Baire.
Incredibile come a chi ha fatto Analisi Funzionale il Lemma di Baire venga così subito in mente, vero dissonance?
M'è bastato leggere il testo e... ZAC... Lemma di Baire.
Poi ho letto la tua risposta e mi son detto: "Menomale, non sono ancora troppo vecchio" (cosa che mi viene in mente spesso di recente).
[/OT]
sisi....effettivamente avrei dovuto pensare a Baire, prima bastava dirmi numerabile per pensare a Baire e adesso...
Va bè, ma il secondo punto toglie l'ipotesi di completezza dello spazio...
Per quale motivo uno spazio metrico numerabile non dovrebbe esser connesso?
Le strade che mi vengono in mente sono due:
-Uno spazio metrico numerabile è uno spazio completo (e ricadiamo nel caso precedente)
-Uno spazio metrico numerabile è di Baire (verifica le condizioni che ha dato Dissonance)
Va bè, ma il secondo punto toglie l'ipotesi di completezza dello spazio...
Per quale motivo uno spazio metrico numerabile non dovrebbe esser connesso?
Le strade che mi vengono in mente sono due:
-Uno spazio metrico numerabile è uno spazio completo (e ricadiamo nel caso precedente)
-Uno spazio metrico numerabile è di Baire (verifica le condizioni che ha dato Dissonance)
@angus: Sono contento che tu conosca il lemma di Baire, questo vuol dire che probabilmente era la strada "giusta" pensata dall'estensore dell'esercizio. In realtà anche io avevo dei timori analoghi a quelli di Gugo, di stare usando cannoni per sparare alle mosche! Meglio così. @Gugo: Si vede che tra anziani ci si intende! 
Comunque, angus, il tuo ultimo post è privo di senso. Perché uno spazio metrico numerabile non è connesso? La dimostrazione è quella che dice maurer; se vuoi una idea intuitiva, puoi pensare ad uno spazio numerabile come ad un affare "granulare", quindi addio connessione. Lascia stare Baire che non serve: è stato un utile esercizio ma nulla di più.
Comunque, angus, il tuo ultimo post è privo di senso. Perché uno spazio metrico numerabile non è connesso? La dimostrazione è quella che dice maurer; se vuoi una idea intuitiva, puoi pensare ad uno spazio numerabile come ad un affare "granulare", quindi addio connessione. Lascia stare Baire che non serve: è stato un utile esercizio ma nulla di più.
si, effettivamente quello che ha scritto maurer funziona...bè allora problema risolto
Grazie a tutti
Grazie a tutti
*** EDIT *** L'argomentazione di maurer è giusta. Scusate. Metto in spoiler il pezzo errato.
In ogni caso io seguirei la strada che segue. [/edit]
Fissiamo un punto [tex]a\in X[/tex] e definiamo [tex]f(x)=d(a, x)[/tex]. Abbiamo una applicazione [tex]f\colon X \to [0, \infty)[/tex] continua: se per assurdo [tex]X[/tex] fosse connesso l'immagine di [tex]X[/tex] mediante [tex]f[/tex] dovrebbe essere un sottoinsieme connesso di [tex][0, +\infty)[/tex], quindi un punto oppure un intervallo. Entrambe le eventualità sono assurde: nel primo caso concluderemmo che [tex]X[/tex] consiste di un solo punto, nel secondo che esiste una applicazione surgettiva definita nell'insieme al più numerabile [tex]X[/tex] e a valori in un intervallo (che è sempre più che numerabile).
In ogni caso io seguirei la strada che segue. [/edit]
Fissiamo un punto [tex]a\in X[/tex] e definiamo [tex]f(x)=d(a, x)[/tex]. Abbiamo una applicazione [tex]f\colon X \to [0, \infty)[/tex] continua: se per assurdo [tex]X[/tex] fosse connesso l'immagine di [tex]X[/tex] mediante [tex]f[/tex] dovrebbe essere un sottoinsieme connesso di [tex][0, +\infty)[/tex], quindi un punto oppure un intervallo. Entrambe le eventualità sono assurde: nel primo caso concluderemmo che [tex]X[/tex] consiste di un solo punto, nel secondo che esiste una applicazione surgettiva definita nell'insieme al più numerabile [tex]X[/tex] e a valori in un intervallo (che è sempre più che numerabile).
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo