Bremen000 ha scritto:Un modo equivalente a quello dissonance per dimostrarlo è considerare che avere un insieme finito di punti che \( \epsilon \)-connette (ci siamo capiti, spero) $x$ e $y$ è una relazione di equivalenza. Allora $X$ e composto da classi di euivalenza disgiunte. Basta ora far vedere che ognuna di esse è aperta, come ha fatto dissonance.
Per il secondo punto, supponiamo per assurdo che $X$ non sia connesso e prendiamo due chiusi disgiunti $A$ e $B$ la cui unione è $X$. Siccome sono pure compatti la loro distanza è positiva e allora basta prendere $\epsilon$ più piccolo della loro distanza (o metà di essa, ora non ho tempo per fare i conti) e viene che due punti di $A$ e $B$ non possono essere \( \epsilon \) connessi (ci capiamo di nuovo).
Per esempio però lo spazio \( [0,1) \cup (1 , 2] \) soddisfa la proprietà del punto $(a)$ però non è connesso. E infatti non è compatto.
P.S. : mi scuso per la poca cura con cui è stato scritto questo post, ma ora non ho tempo per scrivere bene le cose ma l'esercizio mi pareva molto carino.
P.P.S. : @otta non hai mai più guardato l'esercizio sul teorema delle contrazioni che hai messo in "Pensare un po' di più"
P.P.P.S. : @otta è la locale connessione per archi quello di cui parli?
otta96 ha scritto:[...]
No, di un'altra che a questo punto posso dire: uno spazio è connesso se e solo se per ogni ricoprimento aperto, per ogni coppia di punti $x,y$ nello spazio esiste una sequenza finita $U_i$ con $0\leq i\leq k$ del ricoprimento tali che $x\inU_0$, $y\inU_k$ e $U_i\cup U_(i-1)!=\emptyset$ per $1\leq i\leq k$.
Potete trovare questa cosa qui.
otta96 ha scritto:Per tutti quelli che hanno detto che l'esercizio era carino, ultimamente ho pensato di postare ogni tanto qualche esercizio di topologia non banale visto che questo forum è un mortorio da questo punto di vista e ho cominciato con questo, in seguito ne posterò sicuramente altri dello stesso tenore.
Torna a Geometria e algebra lineare
Visitano il forum: Nessuno e 1 ospite