Teorema dell'intorno tubolare

(Reindirizzamento da 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.

Enunciato

modifica
 
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 fibrato

modifica

Locale e globale

modifica

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 uno

modifica

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 deformazione

modifica

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

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

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