Gruppo fondamentale
In topologia, il gruppo fondamentale permette di analizzare la forma di un oggetto e tradurlo in forma algebrica. L'oggetto da analizzare deve essere uno spazio topologico (ad esempio un sottoinsieme del piano, dello spazio, o di un qualsiasi spazio euclideo). Il risultato della traduzione è un gruppo, detto appunto il gruppo fondamentale dello spazio.
Definizione intuitiva
[modifica | modifica wikitesto]Prendiamo come esempio il toro: il gruppo fondamentale del toro è un oggetto algebrico che ne cattura la forma, e che quindi codifichi la presenza di un "buco". Come sempre in topologia, questo oggetto deve dipendere solo dalla forma del toro e non dalla sua particolare posizione e rappresentazione nello spazio. Il gruppo fondamentale è definito usando le curve sul toro (dette lacci) che partono da un punto p e tornano a p. Ad esempio, la curva mostrata a destra.
Questo laccio non cattura però informazioni importanti sulla forma del toro, perché può essere deformato in modo continuo (tramite una omotopia) senza uscire dalla superficie torica, fino a diventare arbitrariamente piccolo.
I due lacci a e b mostrati nella figura a sinistra, invece, sono molto più rappresentativi: proprio a causa del buco centrale, nessuno dei due può essere deformato ad un laccio piccolo senza uscire dalla superficie torica. E inoltre non è possibile ottenere b deformando a. Queste sono proprietà intrinseche del toro: tramite queste considerazioni ci si accorge dell'esistenza di un buco "dall'interno", senza usare lo spazio tridimensionale che lo contiene.
I due lacci a e b possono essere composti in modo da ottenere un terzo laccio, che prima fa un giro come a e poi ne fa un altro come b. Il nuovo laccio può essere chiamato ab. In questo modo, dando dei nomi ai lacci, considerandoli a meno di deformazioni, e componendoli si ottiene un oggetto basilare dell'algebra: un gruppo. Ad esempio in questo caso si ottiene il gruppo abeliano Z x Z dato da tutte le coppie (x, y) di interi, generato dai lacci a e b che si traducono rispettivamente in (1, 0) e (0, 1).
Definizione formale
[modifica | modifica wikitesto]Lacci (o cappi)
[modifica | modifica wikitesto]Sia uno spazio topologico connesso per archi e un suo punto fissato. Come accennato sopra, un laccio (o cappio) centrato in è una funzione continua
tale che . In altre parole, è un circuito o cammino chiuso, cioè un arco che parte e torna in .
Due lacci e , entrambi centrati in , possono essere concatenati: il laccio
gira prima lungo e quindi lungo , ciascuno a velocità doppia. In altre parole:
Scopo di questa costruzione è ottenere un gruppo, i cui elementi sono i lacci e la cui operazione è data dal concatenamento. Con queste definizioni però nessuno degli assiomi necessari è soddisfatto! Ad esempio, non è valida neppure la proprietà associativa: infatti i lacci
fanno gli stessi percorsi ma con velocità differenti e sono quindi lacci distinti: la prima gira lungo in un tempo 1/4, mentre la seconda gira lungo in un tempo 1/2. Possono però essere considerati lo stesso laccio a meno di omotopia.
Omotopia
[modifica | modifica wikitesto]La definizione di laccio appare troppo "rigida": per ovviare a questo problema si considerano i lacci a meno di deformazioni, cioè di omotopie. Una omotopia fra due lacci e è una funzione continua
che trasforma in tramite lacci centrati in . In altre parole, valgono le relazioni
e inoltre
Due lacci sono equivalenti se esiste una omotopia che li collega. In questo modo si ottiene una relazione d'equivalenza, e quindi un insieme quoziente (dato appunto dalle classi di equivalenza) che viene normalmente indicato con
La classe di equivalenza di un laccio è indicata con , ed è quindi un elemento di . Questo insieme, dotato dell'operazione di concatenamento, risulta effettivamente essere un gruppo, chiamato gruppo fondamentale.
Più dettagliatamente, valgono i fatti seguenti:
- vale l'uguaglianza che garantisce che l'operazione di composizione sia ben definita al quoziente;
- esiste un elemento neutro, dato dal laccio banale, ovvero la funzione costante ;
- ogni elemento ha un inverso : è lo stesso laccio percorso in senso inverso, cioè
- vale la proprietà associativa.
Il gruppo fondamentale di uno spazio topologico non è necessariamente abeliano.
Esempi
[modifica | modifica wikitesto]Spazi semplicemente connessi
[modifica | modifica wikitesto]Uno spazio topologico con gruppo fondamentale banale (cioè avente un solo elemento) si dice semplicemente connesso. Gli spazi topologici semplicemente connessi hanno un ruolo fondamentale in geometria.
La palla -dimensionale (e quindi in particolare l'intervallo) è semplicemente connessa. In generale ogni spazio contraibile, cioè omotopicamente equivalente ad un punto, è semplicemente connesso. Quindi un qualsiasi insieme convesso dello spazio euclideo è semplicemente connesso. Anche la retta e il piano sono semplicemente connessi.
La sfera -dimensionale con n maggiore o uguale a due è semplicemente connessa, benché non sia contraibile.
Circonferenza
[modifica | modifica wikitesto]Lo spazio topologico più semplice non semplicemente connesso è la circonferenza, indicata con il simbolo . Il suo gruppo fondamentale è isomorfo al gruppo additivo dei numeri interi : il numero intero associato ad un laccio di è il numero di volte che questo "gira" intorno ad essa.
Il seguente esempio illustra un'applicazione del gruppo fondamentale: pensiamo di partire per un viaggio da un punto della terra e fare un certo percorso intorno ad essa fino a ritornare al punto di partenza. Supponiamo di viaggiare abbastanza più lentamente del sole e di non andare oltre i circoli polari. In questo viaggio supponiamo di vedere il sole sorgere e tramontare 57 volte, mentre sappiamo dal nostro orologio che sono passati 51 giorni soltanto. Da dove arrivano questi 6 giorni in più? Ebbene, la terra senza le calotte polari ha lo stesso gruppo fondamentale di e il nostro percorso, secondo l'isomorfismo con i numeri interi citato sopra, è associato al numero -6; con qualunque altro percorso omotopo (sempre togliendo le calotte polari) avremmo ottenuto lo stesso risultato. Questo perché a ogni giro intorno alla terra corrisponde un'alba e un tramonto in più o in meno; dunque per contare i giri intorno alla terra basta fare la differenza tra questi e i giorni effettivi.
Proprietà
[modifica | modifica wikitesto]Dipendenza dal punto base
[modifica | modifica wikitesto]Il gruppo fondamentale di uno spazio topologico connesso per archi non dipende dal punto base scelto. Per questo motivo il punto base spesso viene omesso, e si parla di gruppo fondamentale dello spazio , indicato con
Più precisamente, se è un altro punto, esiste un isomorfismo
La funzione è costruita a partire da un arco che collega e . L'isomorfismo dipende dalla scelta dell'arco e quindi non è canonico: per questo motivo in alcuni contesti la scelta del punto base è comunque essenziale.
Proprietà funtoriali
[modifica | modifica wikitesto]Ogni funzione continua
fra spazi topologici tale che induce un omomorfismo
tra i corrispettivi gruppi fondamentali. Il gruppo fondamentale trasforma quindi oggetti e mappe topologiche in oggetti e mappe algebriche. Usando il linguaggio della teoria delle categorie, si dice che è un funtore covariante dalla categoria degli spazi topologici puntati (cioè con punto base) in quella dei gruppi.
In particolare, se è un omeomorfismo la funzione indotta a livello di gruppi è un isomorfismo di gruppi. Quindi spazi topologici omeomorfi hanno gruppi fondamentali isomorfi.
Equivalenza omotopica
[modifica | modifica wikitesto]Due spazi topologici omotopicamente equivalenti hanno gruppi fondamentali isomorfi. Questo vuol dire che il gruppo fondamentale è una quantità che non distingue (non "vede") l'omotopia. In generale, due funzioni
tali che omotope (tramite una omotopia relativa a , cioè in cui ogni livello della deformazione manda in ) inducono gli stessi omomorfismi
Spazi prodotto
[modifica | modifica wikitesto]Il gruppo fondamentale del prodotto di due spazi topologici e è il prodotto diretto dei gruppi dei due spazi. In altre parole:
Poiché il toro è omeomorfo al prodotto di due circonferenze
il suo gruppo fondamentale è .
Applicazioni
[modifica | modifica wikitesto]Integrazione di funzioni olomorfe
[modifica | modifica wikitesto]Lo studio del gruppo fondamentale ha applicazioni in analisi complessa; in particolare, data una funzione olomorfa
l'integrale di lungo una curva si conserva per omotopia, ed è possibile vedere questo integrale come un omomorfismo di gruppi
Se è una funzione meromorfa su un dominio semplicemente connesso, l'immagine di è generata dai residui della nei suoi poli moltiplicati per .
Strumenti
[modifica | modifica wikitesto]Teorema di Van Kampen
[modifica | modifica wikitesto]Il teorema di Van Kampen permette di calcolare il gruppo fondamentale di uno spazio topologico a partire dai gruppi fondamentali di alcuni suoi "pezzi". Più precisamente, se è ricoperto da due aperti
con e tutti connessi per archi, il gruppo fondamentale di è il prodotto amalgamato dei gruppi di e , amalgamati sul gruppo fondamentale dell'intersezione.
In particolare, se e sono semplicemente connessi, allora lo è anche . In questo modo si dimostra ad esempio che le sfere di dimensione sono tutte semplicemente connesse.
Rivestimenti
[modifica | modifica wikitesto]La nozione topologica di rivestimento è strettamente collegata a quella di gruppo fondamentale. Un rivestimento è una funzione
fra spazi topologici (connessi per archi) simile ad un omeomorfismo, ma non necessariamente iniettiva. La correlazione con il gruppo fondamentale sta nel fatto che i rivestimenti di corrispondono essenzialmente ai sottogruppi di . Il rivestimento corrispondente al sottogruppo banale è detto rivestimento universale ed è un oggetto molto importante in topologia.
Generalizzazioni
[modifica | modifica wikitesto]Gruppi di omotopia
[modifica | modifica wikitesto]La costruzione del gruppo fondamentale di uno spazio topologico può essere variata sostituendo i lacci con sfere di dimensione arbitraria. L'oggetto che ne risulta è sempre un gruppo, detto gruppo di omotopia e indicato con
Con si ottiene il gruppo fondamentale.
Gruppo dei cammini marginali di un complesso simpliciale
[modifica | modifica wikitesto]Se X è un complesso simpliciale connesso, un cammino marginale in X si definisce come una catena di vertici connessi mediante i margini in X. Due cammini marginali si dicono "equivalenti al margine" se uno può essere ottenuto dall'altro spostandosi successivamente tra un margine e i due margini opposti di un triangolo in X. Se v è un vertice fisso in X, un laccio marginale presso v è un cammino marginale che parte e finisce presso v. Il gruppo dei cammini marginali E(X, v) si definisce come l'insieme di classi di equivalenza marginale dei lacci marginali presso v, con il prodotto e l'inverso definiti dalla concatenazione e dall'inversione dei lacci marginali.
Il gruppo dei cammini marginali è naturalmente isomorfo, per π1(|X|, v), al gruppo fondamentale della realizzazione geometrica |X| di X. Poiché dipende soltanto dai 2-scheletri X2 di X (cioè i vertici, i margini e i triangoli di X), i gruppi π1(|X|,v) e π1(|X2|, v) sono isomorfici.
Il gruppo dei cammini marginali può essere descritto esplicitamente in termini di generatori e relazioni. Se T è un albero ricoprente massimo nell'1-scheletro di X, allora E(X, v) è canonicamente isomorfico rispetto al gruppo con i generatori (i cammini marginali orientati di X che non compaiono in T) e con relazioni (le equivalenze marginali che corrispondono ai triangoli in X). Un risultato simile è valido se T è sostituito da un qualsiasi sottocomplesso semplicemente connesso di X – in particolare contraibile –. Questo dà spesso un modo pratico di calcolare i gruppi fondamentali e può essere usato per mostrare che ogni gruppo finitamente presentato sorge come il gruppo fondamentale di un complesso simpliciale finito. È anche uno dei metodi classici usati per le superfici topologiche, che sono classificate in base ai loro gruppi fondamentali.
Lo spazio universale di rivestimento di un complesso simpliciale connesso finito X può essere descritto direttamente come un complesso simpliciale usando i cammini marginali. I suoi vertici sono coppie (w,γ) dove w è un vertice di X e γ una classe di equivalenza marginale di cammini da v a w. I k-simplessi contenenti (w,γ) corrispondono naturalmente ai k-simplessi contenenti w. Ciascun nuovo vertice u del k-simplesso dà un margine wu e quindi, per concatenazione, un nuovo cammino γu da v a u. i punti (w,γ) e (u, γu) sono i vertici del simplesso "trasportato" nello spazio universale di rivestimento. Il gruppo dei cammini marginali agisce naturalmente per concatenazione, preservando la struttura simpliciale, e lo spazio quoziente è appunto X.
È risaputo che questo metodo può essere usato anche per calcolare il gruppo fondamentale di uno spazio topologico arbitrario. Ciò era senza dubbio noto a Čech e Leray e apparve esplicitamente come un'osservazione in un saggio di Weil (1960); vari altri autori come L. Calabi, W-T. Wu e N. Berikashvili hanno anch'essi pubblicato prove. Nel caso più semplice di uno spazio compatto X con rivestimento aperto finito nel quale tutte le intersezioni finite non vuote degli insiemi aperti nel rivestimento sono contraibili, Il gruppo fondamentale può essere identificato con il gruppo dei cammini marginali del complesso simpliciale corrispondente al nerbo del rivestimento.
Bibliografia
[modifica | modifica wikitesto]- Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, ISBN 0-387-96678-1
- Isadore M. Singer and John A. Thorpe, Lecture Notes on Elementary Geometry and Topology, Springer-Verlag (1967) ISBN 0-387-90202-3
- Allen Hatcher, Algebraic Topology, Cambridge University Press (2002) ISBN 0-521-79540-0
- Peter Hilton e Shaun Wylie, Homology Theory, Cambridge University Press (1967) [warning: these authors use contrahomology for cohomology]
- Richard Maunder, Algebraic Topology, Dover (1996) ISBN 0486691314
- Deane Montgomery and Leo Zippin, Topological Transformation Groups, Interscience Publishers (1955)
- James Munkres, Topology, Prentice Hall (2000) ISBN 0131816292
- Herbert Seifert and William Threlfall, A Textbook of Topology (translated from German by Wofgang Heil), Academic Press (1980), ISBN 0126348502
- Edwin Spanier, Algebraic Topology, Springer-Verlag (1966) ISBN 0-387-94426-5
- André Weil, On discrete subgroups of Lie groups, Ann. Math. 72 (1960), 369-384.
Voci correlate
[modifica | modifica wikitesto]Altri progetti
[modifica | modifica wikitesto]Wikimedia Commons contiene immagini o altri file su gruppo fondamentale
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) fundamental group, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Eric W. Weisstein, Gruppo fondamentale, su MathWorld, Wolfram Research.
- (EN) Gruppo fondamentale, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
- (EN) fundamental group, in PlanetMath.
- (EN) fundamental groupoid, in PlanetMath.
Controllo di autorità | LCCN (EN) sh85052367 · J9U (EN, HE) 987007553155105171 |
---|