Teorema di Van Kampen

Da Wikipedia, l'enciclopedia libera.
Una sfera è semplicemente connessa, perché si decompone in due calotte aperte e semplicemente connesse (sono omeomorfe a ) con intersezione connessa. Questa è una applicazione del teorema di Van Kampen. Si noti che l'intersezione non è semplicemente connessa: questa non è una ipotesi necessaria per il teorema.

In matematica, e più precisamente in topologia algebrica, il teorema di Van Kampen è uno dei principali strumenti per il calcolo del gruppo fondamentale di uno spazio topologico. Venne dimostrato indipendentemente da Herbert Seifert ed Egbert van Kampen agli inizi del 1930.

Il teorema afferma che se uno spazio topologico è unione di due aperti e che verifichino certe proprietà di connessione allora la struttura del suo gruppo fondamentale è esprimibile in termini dei gruppi fondamentali di e dell'intersezione di e . In tal modo il teorema permette di calcolare il gruppo fondamentale di uno spazio complicato partendo da gruppi fondamentali di spazi più semplici.

Enunciato[modifica | modifica wikitesto]

Sia uno spazio topologico, unione di due insiemi aperti

tali che tutti e tre gli aperti

siano connessi per archi. Il teorema di Van Kampen asserisce il fatto seguente.

Sia un punto base in . Il gruppo fondamentale di è il prodotto amalgamato

Descrizione tramite presentazioni[modifica | modifica wikitesto]

Il prodotto amalgamato può essere descritto concretamente usando le presentazioni.

Se i gruppi fondamentali di , e sono descritti come presentazioni

allora il gruppo fondamentale di è descritto dalla presentazione

ottenuta affiancando le presentazioni di e e aggiungendo delle nuove relazioni . Queste nuove relazioni esprimono il fatto che i lacci contenuti sia in che in sono in realtà uguali. Per definirle occorre introdurre gli omomorfismi

indotti dalle inclusioni

L'insieme è quindi l'insieme delle relazioni del tipo

Ciascuna di queste relazioni può essere letta nel modo seguente:

Casi particolari[modifica | modifica wikitesto]

L'enunciato generale del teorema si semplifica in alcuni casi. Ad esempio, nel caso in cui l'intersezione sia semplicemente connessa il prodotto amalgamato si riduce ad un prodotto libero fra gruppi. Come sopra, sia uno spazio topologico, unione di due aperti e connessi per archi e con intersezione connessa per archi.

Se l'intersezione è semplicemente connessa, il gruppo fondamentale di è il prodotto libero

Con il linguaggio delle presentazioni, questo equivale a dire che non compaiono le relazioni aggiunte .

Un altro caso utile è quello in cui uno dei due aperti sia semplicemente connesso.

Se l'aperto è semplicemente connesso, il gruppo fondamentale di è il quoziente

dove

è l'omomorfismo indotto dall'inclusione e indica il normalizzato di , ovvero il più piccolo sottogruppo normale contenente .

L'enunciato si semplifica ulteriormente se entrambi gli aperti sono semplicemente connessi.

Se gli aperti e sono entrambi semplicemente connessi, anche è semplicemente connesso.

Applicazioni[modifica | modifica wikitesto]

Sfera[modifica | modifica wikitesto]

Il teorema di Van Kampen può essere usato per calcolare il gruppo fondamentale della sfera di dimensione . Siano e due punti antipodali nella sfera. I due aperti

ricoprono la sfera e hanno intersezione connessa per archi (perché ). La proiezione stereografica mostra che e sono entrambi omeomorfi a e quindi semplicemente connessi. Per il teorema di Van Kampen, la sfera è anch'essa semplicemente connessa.

Si noti che non è necessario che l'intersezione di e sia semplicemente connessa per ottenere questo risultato. D'altra parte, è necessario che l'intersezione sia connessa: per questa tecnica non funziona e infatti la circonferenza non è semplicemente connessa.

Bouquet di circonferenze[modifica | modifica wikitesto]

Il bouquet di due circonferenze.

Sia un bouquet di due circonferenze, ovvero l'unione di due circonferenze e nel piano che si intersecano in un punto .

Le circonferenze e si intersecano in un punto, che è semplicemente connesso. I gruppi fondamentali di e sono entrambi isomorfi a . Applicando il teorema di Van Kampen a questi due insiemi otterremmo quindi come gruppo fondamentale il prodotto libero

Il procedimento usato non è però del tutto corretto perché e non sono aperti. È però possibile sostituire e con due loro intorni aperti opportuni in in modo da rendere questo argomento rigoroso.

Il gruppo fondamentale così ottenuto non è abeliano. Il laccio , che si muove prima lungo e poi lungo , non è equivalente al laccio .

Toro[modifica | modifica wikitesto]

Il toro,

Il toro è omeomorfo al prodotto di due circonferenze

ed ha quindi gruppo fondamentale . Questo fatto può essere anche verificato con il teorema di Van Kampen come segue.

Il toro è lo spazio quoziente di un quadrato rispetto alla relazione di equivalenza che identifica le coppie di punti che stanno su lati opposti.

Il toro può essere rappresentato come spazio quoziente di un quadrato con i lati opposti e identificati parallelamente come in figura. Nel toro, i lati e diventano due circonferenze. I quattro vertici del quadrato risultano tutti identificati ad un punto , che è l'intersezione delle circonferenze e . Siano il punto centrale del quadrato e un altro punto interno.

Si scelgono gli aperti di seguenti:

L'aperto è dato dalla parte interna del quadrato ed è quindi semplicemente connesso. Spingendo i punti di radialmente verso il bordo del quadrato si costruisce una retrazione di deformazione di sull'unione delle due circonferenze. Quindi il gruppo fondamentale di è il gruppo di un bouquet di due circonferenze. Risulta:

L'intersezione è infatti omeomorfa ad un quadrato senza un punto, ed il suo gruppo fondamentale è generato dal laccio mostrato in figura. A questo punto il teorema di Van Kampen asserisce che

con

Sia un arco da in come in figura. I generatori e di sono rappresentati dai lacci e rispettivamente. Il laccio è omotopo in a e quindi si ottiene

Ne segue che

In conclusione

Il termine è un commutatore e sta a indicare la relazione di commutazione .

Spazio con gruppo fondamentale ciclico finito[modifica | modifica wikitesto]

Lo spazio è ottenuto come spazio quoziente di un poligono con lati: i lati del poligono sono tutti identificati.

Il metodo usato per calcolare il gruppo fondamentale del toro può essere generalizzato a qualsiasi spazio topologico ottenuto identificando i lati di un poligono con lati.

Ad esempio, sia ottenuto identificando ogni lato in senso orario come in figura. Qui si ottiene

e quindi

Lo spazio ha quindi gruppo fondamentale ciclico finito.

Per lo spazio è omeomorfo al piano proiettivo reale:

Bibliografia[modifica | modifica wikitesto]

  • Czes Kosniowski, Introduzione alla topologia algebrica; Zanichelli
  • (EN) William Massey, A basic course in algebraic topology; Springer-Verlag

Voci correlate[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica