Esercizio su topologia quoziente

Messaggioda lukath » 25/01/2015, 17:10

Ciao a tutti!

Mi sono bloccato su un esercizio sulla topologia quoziente, non so come procedere :(

In $RR^3$, dotato della topologia euclidea, si considerino i dischi:

$D_0 = {(x,y,0) in RR^3 : x^2 + y^2 <= 1}$ e $D_1 = {(x,y,1) in RR^3 : x^2 + y^2 <= 1}$

Sulla loro unione disgiunta, sia $~$ la più piccola relazione di equivalenza per la quale $(x,y,0) ~ (x,y,1) AAy > 0$
Stabilire se lo spazio quoziente $X$ è connesso, compatto, di Hausdorff. Qualcuno può darmi una mano? Grazie mille a tutti!
lukath
Junior Member
Junior Member
 
Messaggio: 30 di 198
Iscritto il: 16/01/2015, 16:16

Messaggioda j18eos » 26/01/2015, 00:47

Inizia dalla seconda: un spazio quoziente di uno spazio compatto è compatto?
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 5214 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Re: Esercizio su topologia quoziente

Messaggioda lukath » 26/01/2015, 23:22

Beh diciamo che connessione/compattezza di entrambi i quozienti derivano dalla connessione/compattezza dei dischi e dalla continuità e suriettività della proiezione sul quoziente. Il problema è se il quoziente è o meno di Hausdorff, perché anche se gli spazi di partenza lo sono questo non implica che lo siano anche i quozienti. Qui non so proprio da che parte girarmi :(
lukath
Junior Member
Junior Member
 
Messaggio: 31 di 198
Iscritto il: 16/01/2015, 16:16

Messaggioda j18eos » 27/01/2015, 16:54

Prendi due punti distinti del quoziente, due intorni distinti di essi, e studia le loro anti-immagini mediante la proiezione canonica.
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 5217 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^


Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite