Nastri ed anelli

Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Rispondi
EvaristeG
Site Admin
Messaggi: 4778
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Nastri ed anelli

Messaggio da EvaristeG » 05 nov 2005, 21:38

Visto che ultimamente ci sono stati alcuni thread di topologia generale, propongo un classico quesito sempre simpatico :

Sia $ \mathcal{A}=[0,1]\times[0,1]/\sim $ dove $ (x,y)\sim(s,t) $ se e solo se x=s, y=t o $ x,s\in\{0,1\} $,y=t; sia $ \mathcal{M}=[0,1]\times[0,1]/\sim' $ dove $ (x,y)\sim'(s,t) $ se e solo se x=s,y=t o (x=0,s=1 o x=1,s=0), y=1-t.
Questi due spazi $ \mathcal{M},\mathcal{A} $ sono omeomorfi?
Ultima modifica di EvaristeG il 07 nov 2005, 14:18, modificato 1 volta in totale.

Avatar utente
moebius
Messaggi: 433
Iscritto il: 08 mag 2005, 19:14

Messaggio da moebius » 06 nov 2005, 12:51

No perchè hanno primo gruppo di omotopia differente; in particolare:
$ \pi_1\left(\mathcal{M}\right)=\mathbb{Z} $ e $ \pi_1\left(\mathcal{A}\right)=\mathbb{Z}_2 $
Fondatore: [url=http://olimpiadi.dm.unipi.it/oliForum/viewtopic.php?t=8899]Associazione non dimenticatevi dei nanetti![/url]
Membro: Club Nostalgici
Sono troppo scarso in italiano per usare parole con la c o la q...

EvaristeG
Site Admin
Messaggi: 4778
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Messaggio da EvaristeG » 06 nov 2005, 17:24

Ok, ma senza topologia algebrica?
Anche perchè, potrei chiederti di dimostrarlo ... confidando che tu abbia scambiato i due gruppi per errore (il pi1 di M è Z/2Z, quello di A è Z)

metafisic
Messaggi: 41
Iscritto il: 01 gen 1970, 01:00
Località: Franconia

Messaggio da metafisic » 06 nov 2005, 18:10

Scusate l'ignoranza, l'orientabilità è un invariante topologico?

EvaristeG
Site Admin
Messaggi: 4778
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Messaggio da EvaristeG » 06 nov 2005, 18:14

sì, ma devi :
1) definirla
2) dimostrare che uno dei due è orientabile e l'altro no

Avatar utente
moebius
Messaggi: 433
Iscritto il: 08 mag 2005, 19:14

Messaggio da moebius » 07 nov 2005, 07:02

Si li ho scambiati :oops: Leggendo la riga della domanda ho pensato che fossero nello stesso ordine della riga precedente :D
Cmq dimostrarlo non è difficile, ammettendo di non partire da troppo lontano :D
Fondatore: [url=http://olimpiadi.dm.unipi.it/oliForum/viewtopic.php?t=8899]Associazione non dimenticatevi dei nanetti![/url]
Membro: Club Nostalgici
Sono troppo scarso in italiano per usare parole con la c o la q...

EvaristeG
Site Admin
Messaggi: 4778
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Messaggio da EvaristeG » 07 nov 2005, 09:36

Cmq, senza usare il gruppo fondamentale si può fare lo stesso.

EvaristeG
Site Admin
Messaggi: 4778
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Messaggio da EvaristeG » 07 nov 2005, 14:19

Uhm devo pure essermi rincoglionito : i gruppi fondamentali di entrambi gli spazi sono Z ...

EvaristeG
Site Admin
Messaggi: 4778
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Messaggio da EvaristeG » 07 nov 2005, 14:22

Oh, facciamo chiarezza :
$ \pi_1(\mathcal{A})=\pi_1(\mathcal{M})=\mathbb{Z} $
quindi, moebius, no!

EvaristeG
Site Admin
Messaggi: 4778
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Messaggio da EvaristeG » 09 nov 2005, 17:39

UP!!
ricapitolo : in un momento di follia ho detto di sì a moebius, ma la sua risposta è sbagliata : i gruppi fondamentali del nastro e dell'anello sono entrambi Z. Quindi, il quesito rimane insoluto.

Avatar utente
moebius
Messaggi: 433
Iscritto il: 08 mag 2005, 19:14

Messaggio da moebius » 11 nov 2005, 11:37

:oops: :oops: :oops: :oops:
In effetti ho fatto un erroraccio... Ho costruito il nastro come complesso (attaccando una 2-cella ad a S1 sul bordo per intendersi) e ho cannato (manco di poco) la funzione d'attaccamento... Complimentoni a me stesso!
In effetti entrambi i gruppi sono Z, come ha senso aspettarsi... Insomma stiamo girando intorno a un buco, che vi aspettavate? :roll:
Domani, se sopravvivo al venerdì sera, provo a scrivere qualcosa di più sensato :D
Fondatore: [url=http://olimpiadi.dm.unipi.it/oliForum/viewtopic.php?t=8899]Associazione non dimenticatevi dei nanetti![/url]
Membro: Club Nostalgici
Sono troppo scarso in italiano per usare parole con la c o la q...

Rispondi