Passa al tema normale
Discussioni su problemi, esercizi e teoremi che riguardano la geometria, l'algebra lineare e la topologia

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

Semplice connessione

07/09/2019, 15:51

Salve,

Qualcuno sa darmi una mano con questa proposizione:
Sia $A \subset \mathbb{C}$ aperto connesso, sono fatti equivalenti:
1. $A$ semplicemente connesso
2. Ogni mappa continua $f:S^1->A$ si estende a mappa continua $\bar{f}:D^1->A$

Re: Semplice connessione

07/09/2019, 16:20

Cosa hai provato?

Re: Semplice connessione

07/09/2019, 16:31

Mi è venuto in mente qualcosa per 1.=>2.

Noi abbiamo già definito $f(e^{i\theta})=\gamma(\theta)$ per $\theta in [0, 2\pi]$, che è un cammino in $A$.
Prendiamo $p=\gamma(0)$ e sia $F$ una omotopia tra $\gamma(\theta)$ e $k_p(\theta)$ cammino costante (vale sempre $p$).
Quindi $F:[0,1]\times[0,2\pi]->A$
$F(1,\theta)=\gamma(\theta) " " F(0,\theta)=k_p(\theta)" " F(\rho,0)=F(\rho,2\pi)=p$

Ora definisco $bar{f}(\rho e^{i\theta})=F(\rho, \theta)$ e questa funziona.
Corretto?
Ultima modifica di jinsang il 07/09/2019, 17:19, modificato 1 volta in totale.

Re: Semplice connessione

07/09/2019, 16:48

Ok forse adesso ho qualcosa anche per 2.=>1.

Prendiamo in $A$ un cammino chiuso $\gamma$.
Posso sempre immaginarlo parametrizzato come $\gamma:[0,2\pi]->A$.
Definisco $f(e^{i\theta})=\gamma(\theta)$.
Per ipotesi ho $\bar{f}:D^1->A$ che estende $f$ al disco.
Ma allora $F(\rho,\theta)=f(\rho e^{i\theta})$ è omotopia tra $f(0)$ e $\gamma$.
Quindi $\gamma$ è omotopo a un cammino costante (però non sto fissando il punto base con questa omotopia, cosa che mi piacerebbe fare).
Siccome posso fare ciò per ogni cammino in $A$, questo è semplicemente connesso.

Re: Semplice connessione

07/09/2019, 17:10

otta96 ha scritto:Cosa hai provato?

Testo nascosto, fai click qui per vederlo
Fustrazione: inizialmente, quando non riuscivo a svolgere l'esercizio.
Rassegnazione: dopo un po' che non mi venivano idee.
Speranza: quando ho postato qui.
Gioia: quando improvvisamente mi sono venute queste due idee.
Trepidazione: adesso, in attesa di conferma.
:lol:

Re: Semplice connessione

07/09/2019, 17:52

Tutto giusto.
jinsang ha scritto:
Testo nascosto, fai click qui per vederlo
Fustrazione: inizialmente, quando non riuscivo a svolgere l'esercizio.
Rassegnazione: dopo un po' che non mi venivano idee.
Speranza: quando ho postato qui.
Gioia: quando improvvisamente mi sono venute queste due idee.
Trepidazione: adesso, in attesa di conferma.
:lol:

:D
Rispondi al messaggio


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.