3-varietà irriducibile: differenze tra le versioni

Versione delle 04:29, 21 ago 2014

Versione delle 13:14, 6 mag 2019

Riga 1:

In [[geometria]], e più precisamente nella [[topologia della dimensione bassa]], una '''3-varietà irriducibile''' è una [[3-varietà]] in cui ogni sfera borda una palla. Una 3-varietà che contiene una sfera non bordante una palla è invece detta '''riducibile''': questa può essere effettivamente "ridotta" ada una varietà più semplice tramite l'operazione inversa della [[somma connessa]].

Una 3-varietà è '''prima''' se non è ottenuta come somma connessa non banale di due varietà. I concetti di ''irriducibile'' e ''prima'' sono equivalenti per tutte le 3-varietà, con due sole eccezioni. L'ipotesi di irriducibilità è però più facile da esprimere e da gestire in molti casi, ed è quindi quella usata più spesso.

Riga 6:

=== Varietà irriducibile ===

Una [[3-varietà]] è '''irriducibile''' se ogni sfera liscia borda una palla. Più rigorosamente, una 3-varietà

[[varietà differenziabile|differenziabile]] [[spazio connesso|connessa]] <math>M</math> è '''irriducibile''' se ogni [[sottovarietà differenziabile]] <math>S</math> [[omeomorfismo|omeomorfa]] ada una [[sfera]] è bordo <math>S=\partial D </math> di un sottoinsieme <math>D</math> omeomorfo alla palla chiusa

:<math>D^3 = \{x\in\R^3\ |\ |x|\leq 1\}. </math>

L'ipotesi di differenziabilità per <math>M</math> non è importante, perché ogni 3-[[varietà topologica]] ha un'unica struttura differenziabile. L'ipotesi che la sfera sia ''liscia'' (cioè che sia una sottovarietà differenziabile) è invece importante: la sfera deve avere infatti un [[intorno tubolare]].

Riga 40:

Poiché <math>M</math> è prima, una delle due, ad esempio <math>N_1</math>, è <math>S^3</math>. Quindi <math>M_1</math> è <math>S^3</math> meno una palla: è quindi anch'esso una palla. La sfera <math>S</math> quindi borda una palla: la varietà <math>M</math> è quindi irriducibile.

Resta da considerare il caso in cui tagliando lungo <math>S</math> si ottiene un pezzo solo <math>N</math>. Esiste quindi una [[curva semplice chiusa]] <math>\gamma </math> in <math>M</math> intersecante <math>S</math> in un punto solo. Sia <math> R </math> l'unione di due [[intorno tubolare|intorni tubolari]] di <math>S</math> e <math>\gamma </math>. Il bordo <math>\partial R</math> risulta essere una sfera: questa deve bordare una palla. La varietà risultante è quindi pressoché determinata, ed unae un'analisi attenta porta a verificare che si tratta di <math>S^2\times S^1</math> oppure dell'altro fibrato non orientabile.

== Bibliografia ==