Teorema dell'intorno tubolare

In geometria, il teorema dell'intorno tubolare è un importante strumento della topologia differenziale, utile in presenza di una varietà differenziabile contenuta in un'altra varietà di dimensione più grande. Si tratta di uno dei primi risultati topologici in cui è necessaria la struttura differenziabile: il teorema può non essere valido infatti nell'ambito delle varietà topologiche.

EnunciatoModifica

 
In quest'immagine, la varietà   è la linea blu; il fibrato è costituito dall'insieme di segmenti rossi "perpendicolari" ad essa

Sia   una varietà differenziabile di dimensione   e   una sottovarietà differenziabile compatta di dimensione  . Esiste un intorno aperto   di   diffeomorfo ad un fibrato su  , con fibra omeomorfa ad una palla

 

in cui   giace come la sezione nulla.

Tale intorno viene detto intorno tubolare di   in  . L'intorno è unico a meno di isotopia in   (e quindi in particolare a meno di diffeomorfismo).

Il fibratoModifica

Locale e globaleModifica

Localmente, l'intorno tubolare è del tipo  , dove   è un aperto di  , e   giace come  . Come in ogni fibrato, il fatto che sia localmente un prodotto non garantisce che lo sia anche globalmente.

 
L'intorno tubolare di una curva chiusa in una superficie può essere un nastro di Möbius.

Ad esempio, l'intorno tubolare di una curva semplice chiusa in una superficie è un fibrato, la cui fibra è un intervallo  . Globalmente, l'intorno tubolare può essere omeomorfo ad un prodotto  , cioè un anello, oppure ad un nastro di Möbius.

Codimensione unoModifica

Nel caso in cui   sia orientabile e   abbia codimensione  , l'intorno tubolare   è determinato a meno di diffeomorfismo da  . Se   è anch'essa orientabile,   è diffeomorfo al prodotto  . In generale,   è l'unico fibrato orientabile con fibra   e base  .

Retratto di deformazioneModifica

La sottovarietà   è sempre un retratto di deformazione forte del suo intorno tubolare  . In particolare,   e   sono omotopicamente equivalenti.

Voci correlateModifica

Altri progettiModifica

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