Teorema dell'intorno tubolare

Template:F 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

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

Sia $M$ una varietà differenziabile di dimensione $n$ e $N\subset M$ una sottovarietà differenziabile compatta di dimensione $n-k$. Esiste un intorno aperto $T$ di $M$ diffeomorfo ad un fibrato su $N$, con fibra omeomorfa ad una palla

$B^k=\{x\in {ℝ}^k||x|<1\}$

in cui $N$ giace come la sezione nulla.

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

Il fibrato

Locale e globale

Localmente, l'intorno tubolare è del tipo $U\times B^k$, dove $U$ è un aperto di $N$, e $N$ giace come $U\times \{0\}$. 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 $B^1=(-1,1)$. Globalmente, l'intorno tubolare può essere omeomorfo ad un prodotto $S^1\times (-1,1)$, cioè un anello, oppure ad un nastro di Möbius.

Codimensione uno

Nel caso in cui $M$ sia orientabile e $N$ abbia codimensione $k=1$, l'intorno tubolare $T$ è determinato a meno di diffeomorfismo da $N$. Se $N$ è anch'essa orientabile, $T$ è diffeomorfo al prodotto $N\times (-1,1)$. In generale, $T$ è l'unico fibrato orientabile con fibra $(-1,1)$ e base $N$.

Retratto di deformazione

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

Voci correlate

• Varietà differenziabile
• Taglio (topologia)

Collegamenti esterni

• Template:Collegamenti esterni