Sia data una famiglia di compatti connessi(risp connessi per archi) inscatolati(il successivo contenuto nei precedenti)
Dire se l'intersezione è connessa(risp connessa per archi)
compatti e connessi inscatolati
-
- Messaggi: 15
- Iscritto il: 05 giu 2007, 11:08
- Località: parigi
compatti e connessi inscatolati
se Parigi avesse il mare sarebbe una piccola Bari
Molto carino, ci pensavo ieri sera.
Per i CpA è falso, controesempio: prendiamo "la pulce e il pettine"; rimpiazziamo la pulce con un disco di raggio $ 2^{-n} $; definiamo $ C_n $ = pettine $ \cup $ dischetto di raggio $ 2^{-n} $. I $ C_n $ sono tutti CpA ma la loro intersezione no.
Per i connessi: strada che mi sembra funzionare (supponendo lo spazio T4) ma devo riguardare ammodino la dimostrazione:
1) si dimostra che se K è compatto e sconnesso, allora ha un intorno U_K sconnesso.
2) si dimostra che se una successione di compatti inscatolati K_n converge a K, allora per n abbastanza grande $ K_n \subset U_K $
3) quindi K_n è sconnesso.
Per i CpA è falso, controesempio: prendiamo "la pulce e il pettine"; rimpiazziamo la pulce con un disco di raggio $ 2^{-n} $; definiamo $ C_n $ = pettine $ \cup $ dischetto di raggio $ 2^{-n} $. I $ C_n $ sono tutti CpA ma la loro intersezione no.
Per i connessi: strada che mi sembra funzionare (supponendo lo spazio T4) ma devo riguardare ammodino la dimostrazione:
1) si dimostra che se K è compatto e sconnesso, allora ha un intorno U_K sconnesso.
2) si dimostra che se una successione di compatti inscatolati K_n converge a K, allora per n abbastanza grande $ K_n \subset U_K $
3) quindi K_n è sconnesso.
--federico
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]
-
- Messaggi: 15
- Iscritto il: 05 giu 2007, 11:08
- Località: parigi
ciao federico!
precisamente...
in realtà la pulce non la conosco ma io l'avevo fatto con sin(1/x) in modo che mi sembra analogo...
T4 non ricordo cosa voglia dire ma credo basti T2,no?
ad ogni modo c'erano delle ipotesi sullo spazio ma non ricordo perchè me lo hanno detto a voce.
la dim nel caso connesso,è la stessa...
dallo stesso tipo mi è arrivato poi:
data una succ di u_n t.c.
[u_n+u_(2n)]/2 tende verso 1 allora u_n conv.
sembra meno carino ma per ora io non sono riuscito a fare niente(mi ha detto che è più diff)
ciao
precisamente...
in realtà la pulce non la conosco ma io l'avevo fatto con sin(1/x) in modo che mi sembra analogo...
T4 non ricordo cosa voglia dire ma credo basti T2,no?
ad ogni modo c'erano delle ipotesi sullo spazio ma non ricordo perchè me lo hanno detto a voce.
la dim nel caso connesso,è la stessa...
dallo stesso tipo mi è arrivato poi:
data una succ di u_n t.c.
[u_n+u_(2n)]/2 tende verso 1 allora u_n conv.
sembra meno carino ma per ora io non sono riuscito a fare niente(mi ha detto che è più diff)
ciao
se Parigi avesse il mare sarebbe una piccola Bari
-
- Messaggi: 15
- Iscritto il: 05 giu 2007, 11:08
- Località: parigi
-
- Messaggi: 15
- Iscritto il: 05 giu 2007, 11:08
- Località: parigi