Discussioni su problemi, esercizi e teoremi che riguardano la geometria, l'algebra lineare e la topologia
15/04/2012, 20:55
8) Let $p:X \rightarrow Y$ be a quotient map. Show that if each set $p^{-1}({y})$ is connected and if Y is connected, then $X$ is connected.
Non riesco a capire la meccanica di questo esercizio. Se mi illuminate vi ringrazio.
15/04/2012, 23:09
Per definizione di mappa quoziente (o come si dice), gli aperti di $X$ sono esattamente le controimmagini degli aperti di $Y$. Dunque se $p^(-1)({y})$ è unione di due aperti disgiunti...
16/04/2012, 11:09
yellow ha scritto:Dunque se $p^(-1)({y})$ è unione di due aperti disgiunti...
Ma $p^{-1}({y})$ è connesso per ipotesi... devo provare negando le ipotesi? E poi dove vado a finire? Perdonami se non ho ben capito
16/04/2012, 12:41
Tranquillo, avevo letto male io, mi ero perso il primo "if"! Ma il fatto che $p^(-1)({y})$ sia connesso non segue direttamente dal ragionamento che stavo facendo? In ogni caso poi è simile, se $X=f^(-1)(Y)$ è unione di due aperti disgiunti non vuoti $f^(-1)(A)$ e $f^(-1)(B)$ con $A$ e $B$ aperti di $Y$, allora $A$ e $B$ sconnettono $Y$. Ma scorre tutto così liscio che ho paura di star dando per scontato qualcosa che non lo è.
16/04/2012, 13:34
Dai per scontato che $A$ e $B$ siano disgiunti, invece secondo me quello che possiamo dire è che
$ \emptyset = f( \emptyset ) = f(f^{-1}(A) \cap f^{-1}(B) ) \subseteq f(f^{-1}(A)) \cap f(f^{-1}(B) ) = A \cap B $
cioe $A \cap B$ contiene il vuoto... mi è sfuggito qualche cosa? Grazie!
16/04/2012, 13:38
Sì perché $f$ è suriettiva e quindi quella è un'uguaglianza!
16/04/2012, 13:44
Ah gia scusa hai ragione te
Però ho un ' altra obiezione, sei sicuro che ogni aperto di $X$ sia controimmagine di qualche aperto di $Y$? Perchè la definizione di quotient map nel mio libro dice solo $f^{-1}(A)$ è aperto in $X$ se e solo se $A$ è aperto $Y$. Questo esclude che in $X$ ci siano aperti che non siano controimmagini di aperti di $Y$ ??
16/04/2012, 13:50
Verissimo, mi ricordavo male io la definizione, quelli che consideravo io si chiamano "aperti saturi". Chiedo scusa.
Adesso ci penso.
16/04/2012, 13:57
Comunque secondo me la strategia è quella che hai detto tu, solo che devo farci entrare anche quel $p^{-1}({y})$ connesso. Ora ci penso un pò ...
16/04/2012, 13:59
La strada è proprio mostrare che se $X$ è unione disgiunta di due aperti $A$ e $B$, questi due sono saturi.
Testo nascosto, fai click qui per vederlo
Se ad esempio $A$ non è saturo, esiste $yinf(A)$ tale che $f^(-1)({y})$ non sia contenuto in $A$. Allora abbiamo una sconnessione di $f^(-1)({y})$ intersecandolo con $A$ e $B$.
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.