Omeomorfismo

Sk_Anonymous
Dire se in $RR^3$ una sfera è omeomorfa a una semisfera.
Non so da dove partire. Qualche suggerimento? :?

Risposte
Lord K
Prova pensando a proiettare una sfera su un piano e fa lo stesso con una semisfera con taglio parallelo al piano di proiezione... otterrai l'omeomorsismo che ti serve ;)

Sk_Anonymous
Scusa, ma non ho capito il tuo ragionamento :oops:

Megan00b
Prendi una palla di gomma. Schiacciala sul tavolo in modo che la "parte di sotto" si schiacci e quella di sopra rimanga "tonda". Cos'è? Una semisfera. Credo sia questo che voleva dire LordK.
In altre parole l'omeomorfismo sarà l'identità dall'equatore in su e una proiezione su piano equatoriale dall'equatore in giù. Occhio ad attaccare i due pezzi con continuità.

rubik2
secondo me non sono omeomorfe:
se togliamo il polo alla semisfera (va bene un qualunque punto non sul "bordo") esiste un laccio che non è contraibile al laccio costante, mentre qualsiasi punto tolgo alla sfera ogni laccio è contraibile al laccio costante

Megan00b
Forse hai ragione. Io ho considerato la semisfera comprensiva di "base", ma a pensarci è più probabile che per semisfera si intendesse la sfera intersecata con {z>=0}. In questo secondo caso effettivamente non sono omeomorfe.

Sk_Anonymous
Ma io intendevo la semisfera con base :-D
Grazie per l'aiuto e scusate l'imprecisione.

Megan00b
E allora sono omeomorfe tutta la vita.

rubik2
"Megan00b":
E allora sono omeomorfe tutta la vita.


c'è poco da aggiungere :-D

Sk_Anonymous
Riapro questo topic perchè mi sono posto la seguente questione: dimostrare che $S^2={(x,y,z)\inRR^3:\x^2+y^2+z^2=1}$ non è omeomorfo a $S^2nnn{z>=0}$. Credo di avere un'idea intuitiva, parecchio bruttina da dire: in uno spazio topologico c'è il "buco", nell'altro no :-D
Come potrei formalizzare questo risultato, sempre che sia corretto?

rubik2
"matths87":
Riapro questo topic perchè mi sono posto la seguente questione: dimostrare che $S^2={(x,y,z)\inRR^3:\x^2+y^2+z^2=1}$ non è omeomorfo a $S^2nnn{z>=0}$. Credo di avere un'idea intuitiva, parecchio bruttina da dire: in uno spazio topologico c'è il "buco", nell'altro no :-D
Come potrei formalizzare questo risultato, sempre che sia corretto?


la mia "soluzione" per il primo quesito che hai posto è in realtà una soluzione a questo secondo :-D

la tua idea non mi è molto chiara, per il momento quindi non mi pronuncio :-)

Sk_Anonymous
La mia, più che un'idea, è un'intuizione stiracchiata.
Allora, non ho capito bene il discorso sui lacci. Su un libro di topologia mi sono pescato la definizione: dato $X$ (sotto)spazio topologico e $P$ un punto ad esso appartenente, un laccio è una funzione continua $\sigma:[0,1]\toX$ tale che $\sigma(0)=\sigma(1)=P$. Tu affermi che se togliamo un punto a $S^2nnn{z>=0}$ esiste un laccio che non è contraibile al laccio costante, mentre se facciamo lo stesso in $S^2$ un tale laccio esiste. Scusa, ma non riesco a visualizzare questa cosa.

rubik2
se prendi una semisfera e togli il polo ottieni un disco bucato il cui gruppo fondamentale è $ZZ$ mentre se togli un punto ad una sfera ottieni un piano (basta usare la proiezione stereografica per ottenere l'omeomorfismo) il cui gruppo fondamentale è banale. Spero che così sia più chiaro, altrimenti dimmi. ciao

edit: il fatto fondamentale è che qualsiasi punto togli alla sfera ottieni un piano che ha gruppo fondamentale banale mentre esiste almeno un punto nella semisfera che se tolto da uno spazio con gruppo fondamentale non banale. Non so se serviva precisare, non credo, ma già che c'ero :-D

Sk_Anonymous
Sono d'accordo sul fatto che la disuguaglianza tra i gruppi fondamentali dei due sottospazi topologici implica che non sono omemorfi.
Non mi è chiaro, però, perchè il gruppo fondamentale di una semisfera privata di un punto è $mathbb{Z}$.

rubik2
Come ho aggiunto dopo non è sempre vero che togliendo un punto ad una sfera si ottiene qualcosa con gruppo $ZZ$ però ne esiste uno, ad esempio il polo, per cui è così.

Per vedere che è $ZZ$: io direi innanzitutto che la semisfera meno il polo è omeomorfa al disco meno il centro (tramite la proiezione sul piano z=0) poi basta "contrarre" il disco su una sua circonferenza interna, in particolare il disco meno un punto e una sua circonferenza interna sono omotopi.

chiamo D il disco bucato e C la circonferenza di raggio $1/2$, $x$ il vettore (x,y,z) con abuso di notazione (che spero mi perdonerai :-D )

siano $F: D->C$ e $G:C->D$ tali che $F(x)=1/2*x/|x|$ e $G(x)=x$

devo mostrare che $FG$ e $GF$ sono omotope alle rispettive identità.

GF è l'identità su C quindi niente da dimostrare.

FG prendo $A(x,t)=(1-t)x+(t/2*x/|x|)$ si vede $A(x,0)=x$ e $A(x,1)=1/2*x/|x|$

il disco bucato e la circonferenza sono omotopicamente equivalenti e quindi hanno le stesso gruppo fondamentale.

non mi è molto chiaro come funziona l'omotopia però dovrebbe andare. ciao :-)

Sk_Anonymous
Ok, adesso quadra.
Grazie per l'aiuto. :D

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.