Gruppi di omotopia: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Alexbot (discussione | contributi)
m Bot: Aggiungo: nl:Homotopiegroep
clean up using AWB
Riga 3:
 
==Definizione==
 
===Omotopia===
 
Scegliamo un ''punto base'' ''p'' nella sfera ''n''-dimensionale ''S<sup>n</sup>'', ed un altro punto base ''x'' in un dato [[spazio topologico]] ''X''. Definiamo quindi l'insieme &pi;π<sub>''n''</sub>(''X'', ''x'') delle [[relazione di equivalenza|classi]] di [[omotopia]] relativa delle [[funzione (matematica)|mappe]] ''f'' : ''S''<sup>''n''</sup> &rarr; ''X'' continue tali che ''f''(''p'') = ''x''. In altre parole, consideriamo due tali mappe equivalenti quando sono deformabili l'una nell'altra tramite mappe che mandano sempre ''p'' in ''x''.
 
Equivalentemente, possiamo definire &pi;π<sub>''n''</sub>(''X'', ''x'') come l'insieme delle mappe continue dal [[cubo]] ''n''-dimensionale [0,&nbsp;1]''<sup>n</sup>'' in ''X'' che mappano tutto il bordo del cubo sul punto ''x'', a meno di omotopia relativa al bordo (cioè due mappe sono equivalenti se sono deformabili l'una nell'altra tramite mappe che mandano sempre il bordo in ''x'').
Le due definizioni sono equivalenti perché [[topologia quoziente|quozientando]] il bordo del cubo ad un punto si ottiene la sfera.
 
===Struttura di gruppo===
[[File:Homotopy group addition.svg|thumb|240px|right|Composizione di due mappe.]]
Per ''n'' &ge; 1, l'insieme &pi;π<sub>''n''</sub>(''X'', ''x'') è in realtà un [[gruppo (matematica)|gruppo]] con l'operazione che a due mappe ''f'' e ''g'', ne associa un'altra ''f'' * ''g'' che le "incolla" nel modo seguente: [[topologia quoziente|quozientando]] l'equatore di ''S<sup>n</sup>'' ad un punto otteniamo un [[bouquet (topologia)|bouquet]] ''B'' di due sfere, e quindi una proiezione ''p'': ''S<sup>n</sup>'' &rarr; ''B'' che manda tutto l'equatore nel vertice del bouquet. Mappando le due sfere del bouquet su ''X'' tramite ''f'' e ''g'' (in modo che il vertice sia il punto base), e componendo con la proiezione ''p'' ottengo una nuova mappa, che chiamo ''f'' * ''g'' (dobbiamo anche fissare un nuvo punto base sull'equatore).
 
Possiamo descrivere questa operazione in modo più rigoroso interpretando ''f'' e ''g'' come mappe dal cubo a ''X'': consideriamo lo spazio
:''C'' = [0, &nbsp;2] x [0,&nbsp;1]<sup>n-1</sup>, unione di due cubi [0, &nbsp;1] x [0,&nbsp;1]<sup>n-1</sup> e [1, &nbsp;2] x [0,&nbsp;1]<sup>n-1</sup>.
Definiamo una funzione continua ''h: C &rarr; X'' nel modo seguente: sul cubo di sinistra ''h'' è ''f'', mentre su quello di destra è ''g''. Le due funzioni coincidono sulla parete in comune {1} x [0,&nbsp;1]<sup>n-1</sup>, che viene mappata tutta su ''x''.
 
A questo punto "strizziamo" ''C'' per ottenere un altro cubo tramite la mappa
:s:[0,&nbsp;1]''<sup>n</sup>'' &rarr; ''C'' &nbsp; ''s''(''t''<sub>1</sub>, ... ''t<sub>n</sub>'') = (2''t''<sub>1</sub>, ''t''<sub>2</sub>,... ''t<sub>n</sub>'')
e quindi definiamo finalmente ''f'' * ''g'' come ''h'' o ''s''. Notiamo che anche ''f'' * ''g'' manda tutto il bordo del cubo su ''X'', e quindi è un elemento di &pi;π<sub>''n''</sub>(''X'', ''x''). Infine, si verifica che se ''f' '' e ''g' '' sono funzioni omotope a ''f'' e ''g'', la funzione composta ''f' '' * ''g' '' è omotopa a ''f'' * ''g'': questo garantisce che la classe di ''f'' * ''g'' sia effettivamente ben definita.
 
== Proprietà ==
* L'insieme &pi;π<sub>0</sub>(''X'', ''x'') è in naturale [[corrispondenza biunivoca]] con l'insieme delle [[spazio connesso|componenti connesse per archi]] di ''X''. Solitamente, nel calcolare &pi;π''<sub>n</sub>''(''X'', ''x'') per ''n''>0 si suppone che ''X'' sia connesso per archi, cioè che &pi;π<sub>0</sub>(''X'', ''x'') consti di un punto solo.
* Il gruppo &pi;π<sub>1</sub>(''X'', ''x'') è il [[gruppo fondamentale]] di (''X'', ''x'').
* Il gruppo &pi;π<sub>''n''</sub>(''X'', ''x'') per ''n''>1 è [[gruppo commutativo|abeliano]].
* Ogni mappa continua ''f'': ''Y'' &rarr; ''X'' tale che ''f''(''y'') = (''x'') induce omomorfismi
:''f''<sub>*</sub> &pi;<sub>''n''</sub>(''Y'', ''y'') &rarr; &pi;<sub>''n''</sub>(''X'', ''x'')
* Mappe omotope inducono gli stessi omomorfismi. Segue che spazi [[omotopia|omotopicamente equivalenti]] hanno gli stessi gruppi di omotopia (da cui il nome!)
* Se ''f'': ''Y'' &rarr; ''X'' è un [[rivestimento]], induce una mappa [[funzione iniettiva|iniettiva]] sui gruppi fondamentali ed un [[isomorfismo]] sui &pi;π<sub>''n''</sub> per ogni ''n'' > 1.
 
==Esempi==
Usando le proprietà descritte sopra possiamo già calcolare i gruppi di omotopia di alcuni spazi semplici. Consideriamo solo spazi connessi per archi, per i quali &pi;π<sub>0</sub> è un punto solo.
 
* Qualsiasi spazio [[omotopia|contrattile]] ha tutti i gruppi di omotopia banali: quindi ad esempio la [[retta]], il [[Piano (geometria)|piano]], e più in generale '''R'''''<sup>n</sup>''.
 
* Usando i rivestimenti si dimostra che la [[circonferenza]] ha &pi;π<sub>1</sub> = '''Z'''. Più facilmente si dimostra che ha tutti i gruppi di omotopia più alti banali: infatti questi non cambiano tramite rivestimento, e la circonferenza è rivestita da '''R''', che li ha tutti banali.
 
* In generale, uno spazio rivestito da uno spazio contrattile (ad esempio '''R'''''<sup>n</sup>'') ha i gruppi di omotopia per ''n''>1 tutti banali. Quindi ad esempio il [[toro]], la [[bottiglia di Klein]].
Line 43 ⟶ 42:
Più difficile è calcolare i gruppi di omotopia delle [[sfera|sfere]], perché non sono contrattili: in molti casi ancora non si conoscono! Mancano infatti per ''n''>1 degli strumenti fondamentali quali il [[Teorema di Van Kampen]], che funziona solo per il gruppo fondamentale. I gruppi di omotopia di ordine superiore sono generalmente più difficili da calcolare, benché siano abeliani.
 
Inoltre in molti casi questi gruppi si comportano in modo poco intuitivo, non rispondendo all'esigenza originaria di "contare i buchi ''n''-dimensionali". Ad esempio, quanto segue mostra che &pi;π<sub>3</sub>(''S''<sup>2</sup>) = '''Z''': il terzo gruppo di omotopia della sfera bidimensionale non è banale.
 
==La successione esatta lunga di una fibrato==
 
Uno dei pochi strumenti a disposizione per calcolare i gruppi di omotopia è il seguente: se ''p'' : ''E'' &rarr; ''B'' un [[fibrato]] con fibra ''F'' allora c'è una [[successione esatta]] lunga di gruppi di omotopia:
 
:'''&hellip;''' &rarr; &pi;<sub>''n''</sub>(''F'') &rarr; &pi;<sub>''n''</sub>(''E'') &rarr; &pi;<sub>''n''</sub>(''B'') &rarr; &pi;<sub>''n''&minus;1</sub>(''F'') &rarr; '''&hellip;''' &rarr; &pi;<sub>0</sub>(''E'') &rarr; &pi;<sub>0</sub>(''B'') &rarr; 0
 
Le mappe sui &pi;π<sub>0</sub> non sono omomorfismi perché i &pi;π<sub>0</sub> non sono gruppi, ma sono esatte nel senso che l'[[immagine (matematica)|immagine]] coincide con il [[nucleo (matematica)|nucleo]].
 
Un esempio in cui si applica la successione è la [[fibrazione di Hopf]]: Sia ''B'' = ''S''<sup>2</sup> ed ''E'' = S<sup>3</sup>. Sia ''p'' la [[fibrazione di Hopf]], avente fibra S<sup>1</sup>. Dalla successione esatta lunga otteniamo:
Line 57 ⟶ 56:
:'''&hellip;''' &rarr; &pi;<sub>''n''</sub>(''S''<sup>1</sup>) &rarr; &pi;<sub>''n''</sub>(''S''<sup>3</sup>) &rarr; &pi;<sub>''n''</sub>(''S''<sup>2</sup>) &rarr; &pi;<sub>''n''&minus;1</sub>(''S''<sup>1</sup>) &rarr; '''&hellip;'''
 
ed il fatto che &pi;π<sub>''n''</sub>(''S''<sup>1</sup>) = 0 per ''n'' &ge; 2 implica che &pi;π<sub>''n''</sub>(''S''<sup>3</sup>) = &pi;π<sub>''n''</sub>(''S''<sup>2</sup>) per ''n'' &ge; 3. In particolare, &pi;π<sub>3</sub>(S<sup>2</sup>) = &pi;π<sub>3</sub>(S<sup>3</sup>) = '''Z'''.
 
== Voci correlate ==
* [[gruppo fondamentale]]
* [[rivestimento]]
 
 
{{Portale|matematica}}
 
[[Categoria:Topologia algebrica]]