- (Jordan) Una curva chiusa nel piano (continua, non autointersecante, insomma una curva di Jordan) divide il piano in due regioni connesse.
- (Schönflies) In tale configurazione, una regione è omeomorfa a una palla e l'altra al piano privato di una palla.
- È vero che una superficie chiusa (omeomorfa a una sfera) nello spazio divide lo spazio in due regioni connesse?
- È vero che in tale configurazione, una regione è omeomorfa a una palla e l'altra allo spazio privato di una palla?
Da provare solo se non l'hai già visto
Da provare solo se non l'hai già visto
Alcuni problemi topologici molto noti ma di grande interesse (e difficoltà) per chi non li conosce.
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Re: Da provare solo se non l'hai già visto
Non ho approfondito la topologia così nel dettaglio, ma mi viene da pensare al fatto che, per garantire le ultime due, siano richieste condizioni aggiuntive relative alla connessione.
Intendo, spazio connesso: ogni punto è omotopo ad ogni altro punto (esiste una funzione continua che manda 0 in un punto A, 1 in un punto B, e che per valori intermedi assume punti appartenenti allo spazio). Si parla di connessione di livello 0.
Spazio semplicemente connesso: ogni cammino chiuso è omotopo ad un punto (esiste una funzione continua che manda 0 in un cammino chiuso, 1 in un singolo punto, e che per valori intermedi assume cammini appartenenti allo spazio). Si parla di connessione di livello 1.
Connessione di livello 2: ogni superficie chiusa è omotopa ad un punto.
Connessione di livello n: ogni n-varietà chiusa è omotopa ad un punto.
Non so perché, ma mi butterei sulla connessione di livello 2...
Intendo, spazio connesso: ogni punto è omotopo ad ogni altro punto (esiste una funzione continua che manda 0 in un punto A, 1 in un punto B, e che per valori intermedi assume punti appartenenti allo spazio). Si parla di connessione di livello 0.
Spazio semplicemente connesso: ogni cammino chiuso è omotopo ad un punto (esiste una funzione continua che manda 0 in un cammino chiuso, 1 in un singolo punto, e che per valori intermedi assume cammini appartenenti allo spazio). Si parla di connessione di livello 1.
Connessione di livello 2: ogni superficie chiusa è omotopa ad un punto.
Connessione di livello n: ogni n-varietà chiusa è omotopa ad un punto.
Non so perché, ma mi butterei sulla connessione di livello 2...
Iscritto all'OliForum dalla gara del 19/02/2003.
Cesenatico - 2003 : 9 punti - menzione (193°) | 2004 : 19 - argento (33°) | 2005 : 21 - bronzo (69°) | 2006 : 25 - argento (20°)
Squadra B. Pascal (Giaveno) - 2005: 6° | 2006: 8°
Cattolica - 2006: 4°
Bocconi GP - 2009: 29° | 2010: 44° | 2012: 17° | 2013: 22° | 2014: 17° | 2015: 38° | 2016: 23° | 2017: 4° | 2018: 14° | 2019: 7° | 2021 (par): 8° | 2022: 6° | 2023: 5°
Ex allenatore di: Cattaneo, Copernico, Ferraris (TO), Newton (Chivasso), Pascal (Giaveno).
Cesenatico - 2003 : 9 punti - menzione (193°) | 2004 : 19 - argento (33°) | 2005 : 21 - bronzo (69°) | 2006 : 25 - argento (20°)
Squadra B. Pascal (Giaveno) - 2005: 6° | 2006: 8°
Cattolica - 2006: 4°
Bocconi GP - 2009: 29° | 2010: 44° | 2012: 17° | 2013: 22° | 2014: 17° | 2015: 38° | 2016: 23° | 2017: 4° | 2018: 14° | 2019: 7° | 2021 (par): 8° | 2022: 6° | 2023: 5°
Ex allenatore di: Cattaneo, Copernico, Ferraris (TO), Newton (Chivasso), Pascal (Giaveno).
Re: Da provare solo se non l'hai già visto
Non mi è chiaro cosa hai in mente afullo: se richiedi un'ipotesi di connessione più forte a maggior ragione dimostreresti che lo spazio viene diviso in due componenti connesse. Però sicuramente non ho capito cosa vuoi fare.
In ogni caso il problema mi sembra troppo conosciuto per quelli più "smaliziati", di livello delirante per quelli invece che non ne hanno mai sentito parlare.
In ogni caso il problema mi sembra troppo conosciuto per quelli più "smaliziati", di livello delirante per quelli invece che non ne hanno mai sentito parlare.
Re: Da provare solo se non l'hai già visto
Mah anche a me sembrano tutte cose assolutamente impossibili da provare se non le si ha già viste.
Re: Da provare solo se non l'hai già visto
Domanda da completo ignorante: il primo significa che una linea chiusa (non intrecciata) divide il piano in un dentro ed un fuori?
Imagination is more important than knowledge. For knowledge is limited, whereas imagination embraces the entire world, stimulating progress, giving birth to evolution (A. Einstein)
Re: Da provare solo se non l'hai già visto
Volevo dire: magari è vero posta una connessione più forte, mentre in generale non lo è per un livello di connessione più debole.ndp15 ha scritto:Non mi è chiaro cosa hai in mente afullo: se richiedi un'ipotesi di connessione più forte a maggior ragione dimostreresti che lo spazio viene diviso in due componenti connesse. Però sicuramente non ho capito cosa vuoi fare.
In ogni caso il problema mi sembra troppo conosciuto per quelli più "smaliziati", di livello delirante per quelli invece che non ne hanno mai sentito parlare.
Iscritto all'OliForum dalla gara del 19/02/2003.
Cesenatico - 2003 : 9 punti - menzione (193°) | 2004 : 19 - argento (33°) | 2005 : 21 - bronzo (69°) | 2006 : 25 - argento (20°)
Squadra B. Pascal (Giaveno) - 2005: 6° | 2006: 8°
Cattolica - 2006: 4°
Bocconi GP - 2009: 29° | 2010: 44° | 2012: 17° | 2013: 22° | 2014: 17° | 2015: 38° | 2016: 23° | 2017: 4° | 2018: 14° | 2019: 7° | 2021 (par): 8° | 2022: 6° | 2023: 5°
Ex allenatore di: Cattaneo, Copernico, Ferraris (TO), Newton (Chivasso), Pascal (Giaveno).
Cesenatico - 2003 : 9 punti - menzione (193°) | 2004 : 19 - argento (33°) | 2005 : 21 - bronzo (69°) | 2006 : 25 - argento (20°)
Squadra B. Pascal (Giaveno) - 2005: 6° | 2006: 8°
Cattolica - 2006: 4°
Bocconi GP - 2009: 29° | 2010: 44° | 2012: 17° | 2013: 22° | 2014: 17° | 2015: 38° | 2016: 23° | 2017: 4° | 2018: 14° | 2019: 7° | 2021 (par): 8° | 2022: 6° | 2023: 5°
Ex allenatore di: Cattaneo, Copernico, Ferraris (TO), Newton (Chivasso), Pascal (Giaveno).
Re: Da provare solo se non l'hai già visto
EsattoDrago96 ha scritto:Domanda da completo ignorante: il primo significa che una linea chiusa (non intrecciata) divide il piano in un dentro ed un fuori?
Comunque il primo tanto tanto uno bravo ci potrebbe riuscire, ma il terzo soprattutto è al limite della follia (o almeno, io che sono scarso se non l'avessi visto non ci sarei mai arrivato)
"We' Inge!"
LTE4LYF
LTE4LYF
Re: Da provare solo se non l'hai già visto
Sì, esattamente. E non è facile!Drago96 ha scritto:Domanda da completo ignorante: il primo significa che una linea chiusa (non intrecciata) divide il piano in un dentro ed un fuori?
Visto che in effetti è molto complicato, dò alcuni hint (da qui) per poter "costruire con le proprie mani" una dimostrazione senza omologia.
La chiave è la seguente:
Sapendo questo:Teorema del punto fisso di Brouwer ha scritto:Ogni funzione continua da un sottoinsieme compatto di $\mathbb R ^n$ in sé stesso ha almeno un punto fisso.
- Se $h(t)=(h_1(t),h_2(t)),v(t)=(v_1(t),v_2(t))$ ($-1 \leq t \leq 1$) sono curve continue con $h_1(-1)=a, h_1(1)=b, v_2(-1)=c, v_2(1)=d$, allora queste hanno un punto in comune-ovvero $h(t_1)=v(t_2)$ per qualche $-1 \leq t_1, t_2 \leq 1$.
- Sia $J$ la nostra curva; se $\mathbb R^2 \setminus J$ non è connesso, allora ogni componente connessa ha $J$ come suo bordo.
- E dunque: $\mathbb R^2 \setminus J$ ha due componenti connesse, entrambe con $J$ come frontiera. Questo è il teorema della curva di Jordan.
Il terzo è una naturale generalizzazione del primo per superfici di genere $1$ (e si generalizza a qualsiasi genere). E' il quarto che è davvero interessante.Triarii ha scritto:Comunque il primo tanto tanto uno bravo ci potrebbe riuscire, ma il terzo soprattutto è al limite della follia (o almeno, io che sono scarso se non l'avessi visto non ci sarei mai arrivato)
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Re: Da provare solo se non l'hai già visto
Sì, scusa volevo dire il quarto (anche se per me pure il terzo è difficile )
"We' Inge!"
LTE4LYF
LTE4LYF
-
- Moderatore
- Messaggi: 1053
- Iscritto il: 01 gen 1970, 01:00
- Località: Pescara
Re: Da provare solo se non l'hai già visto
Però almeno il teorema di Jordan mi par di ricordare edriv trovò un modo "elementare" simpatico di farlo...EvaristeG ha scritto:Mah anche a me sembrano tutte cose assolutamente impossibili da provare se non le si ha già viste.
Re: Da provare solo se non l'hai già visto
Non finimmo mai di checkare quella dimostrazione ... è ancora sul forum da qualche parte.
Re: Da provare solo se non l'hai già visto
Qua:viewtopic.php?f=17&t=14602EvaristeG ha scritto:Non finimmo mai di checkare quella dimostrazione ... è ancora sul forum da qualche parte.