Topologia algebrica
Buongiorno,
ho un quesito da porvi che mi sta creando alcuni problemi. Il testo dice: determinare una funzione $alpha:\S^1 -> \S^2$ continua e non costante, tale che $S^2-\alpha(S^1)$ è semplicemente connessa.
Ora, se la funzione fosse continua allora $\alpha(S^1)$ sarebbe un punto; togliendo un punto dalla sfera questa risulta essere omeomorfa a $R^2$, quindi gruppo fondamentale banale, perciò $S^2-\alpha(S^1)$ semplicemente connessa.
Ma se invece voglio una funzione non costante? Cosa dovrei fare? Avevo pensato ad un arco, ma non so se sia giusto e in caso positivo come si trova questa funzione. Aiutatemi per favore. Grazie
ho un quesito da porvi che mi sta creando alcuni problemi. Il testo dice: determinare una funzione $alpha:\S^1 -> \S^2$ continua e non costante, tale che $S^2-\alpha(S^1)$ è semplicemente connessa.
Ora, se la funzione fosse continua allora $\alpha(S^1)$ sarebbe un punto; togliendo un punto dalla sfera questa risulta essere omeomorfa a $R^2$, quindi gruppo fondamentale banale, perciò $S^2-\alpha(S^1)$ semplicemente connessa.
Ma se invece voglio una funzione non costante? Cosa dovrei fare? Avevo pensato ad un arco, ma non so se sia giusto e in caso positivo come si trova questa funzione. Aiutatemi per favore. Grazie
Risposte
Secondo la tua definizione, un insieme semplicemente connesso è connesso?
Uno spazio topologico è semplicemente connesso se è connesso per archi e il suo gruppo fondamentale è il gruppo banale
È una domanda trabocchetto. Da nessuna parte si dice che la funzione non deve essere iniettiva; quindi puoi pensare a fare un taglietto nella sfera. Parti da un punto, vai in un altro punto, e torna indietro sullo stesso percorso.
Non ho capito...quale sarebbe quindi questa funzione?
Cioè fare un taglio su una sfera significa fare un arco di circonferenza giusto?
Prendi un mappamondo. Prendi una penna. Appoggia la penna su un punto del mappamondo, spostala in un altro punto vicino. Hai tracciato un percorso sulla sfera. La sfera privata di questo percorso è semplicemente connessa, per la stessa ragione che hai detto tu prima (è omeomorfa al piano).
Problema: questo percorso non è una funzione di \(S^1\) in \(S^2\), perché non è periodica. Allora, modificala in modo che sia periodica, ovvero che finisca nello stesso punto di dove inizia. Per farlo, ripercorri al contrario il percorso iniziale.
Problema: questo percorso non è una funzione di \(S^1\) in \(S^2\), perché non è periodica. Allora, modificala in modo che sia periodica, ovvero che finisca nello stesso punto di dove inizia. Per farlo, ripercorri al contrario il percorso iniziale.
Se consideriamo la parametrizzazione usuale
$\beta: [0,1] \mapsto S^1$
$\\ \theta \mapsto (\cos(2\pi \theta),\sin(2\pi \theta))$
Risulta che $\alpha @ \beta $ è un cammino chiuso, se levo a $S^2$ un cammino chiuso diventa disconnesso.
$\beta: [0,1] \mapsto S^1$
$\\ \theta \mapsto (\cos(2\pi \theta),\sin(2\pi \theta))$
Risulta che $\alpha @ \beta $ è un cammino chiuso, se levo a $S^2$ un cammino chiuso diventa disconnesso.
Mi sono ora accorta di un errore...se la funzione fosse costante, non continua!
dan95 non ho capito!
dan95 non ho capito!
@dan95: infatti la traccia non parla di cammino, ma di funzione. Per questo puoi prendere una funzione non ingettiva che percorre un pezzettino di cammino e poi torna indietro sui suoi passi. Alla fine quello che togli è solo un segmento e non sconnetti $S^2$. Non so se è chiaro, è la stessa idea che cercavo di dire prima
L'idea per me è chiara @dissonance, devo solo capire come applicarla in termini matematici.
@dissonance
Sì hai ragione, non avevo letto con attenzione il tuo intervento.
Sì hai ragione, non avevo letto con attenzione il tuo intervento.
La funzione potrebbe essere usando la parametrizzazione $\alpha@\beta(\theta)=(|\cos(\frac{theta}{2})|,|\sin(\frac{\theta}{2})|,0)$.
Scusate ragazzi ma io non riesco a capire come si fa!!!
@anto: Secondo me, se scrivi a parole la soluzione te la accettano. Se però non vuoi rischiare, e vuoi una soluzione in formule, la soluzione di dan è corretta, nota come quella parametrizzazione descrive un arco di cerchio nel piano \(xy\). Con un disegnino si capisce bene.
Vi ringrazio, ma a parole per il prof non va bene...il punto è: come ci arrivo a quella soluzione? Grazie
Fai un disegno che ti convinca di quel che devi dire. Dillo in modo formale.
Non penso ci sia altra via che imparare l'arte dalle unghie del leone, la topologia è una amante un po' crudele.
Non penso ci sia altra via che imparare l'arte dalle unghie del leone, la topologia è una amante un po' crudele.
@anto84gr: la curva
\[
(\cos(\theta/2), \sin(\theta/2), 0), \theta\in [0, 2\pi], \]
non va bene, perché il punto finale non coincide con il punto iniziale. Mettici un valore assoluto come ha fatto dan95.
\[
(\cos(\theta/2), \sin(\theta/2), 0), \theta\in [0, 2\pi], \]
non va bene, perché il punto finale non coincide con il punto iniziale. Mettici un valore assoluto come ha fatto dan95.
Ma se i punti coincidono io non ottengo un arco, ma un cappio e in realtà io voglio togliere dalla sfera un arco per far sì che sia omeomorfa al piano
Beh adesso la differenza tra "arco" e "cappio" non la so, ma il testo dell'esercizio era chiaro: una funzione continua. E basta. La parametrizzazione di dan95 toglie una semicirconferenza, e la sfera privata di una semicirconferenza è omeomorfa al piano. Tutto bene. Di più non ti si può dire
Grazie per la risposta, speravo in una spiegazione migliore, ma va bene uguale...boccerò di nuovo
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo