Varietà con bordo

In geometria, una varietà con bordo è uno spazio -dimensionale localmente simile allo spazio euclideo, e avente un "bordo". Un esempio è un cerchio nel piano, poiché ha dimensione 2 e il suo bordo è una circonferenza.

Le varietà con bordo sono uno strumento importante in topologia e in geometria differenziale.

Definizione

modifica

Una varietà con bordo è innanzitutto uno spazio topologico. Questo può essere dotato anche di ulteriori strutture, quali ad esempio una struttura differenziabile. Le due definizioni topologiche e differenziabili estendono i concetti di varietà topologica e varietà differenziabile: le varietà con bordo topologica e differenziabile si differenziano da queste ultime solo perché includono la possibilità che ci siano appunto dei "punti di bordo".

Spazio topologico

modifica

Definizione

modifica

Una varietà topologica con bordo di dimensione   è uno spazio topologico   in cui ogni punto ha un intorno aperto omeomorfo ad un aperto del semispazio

 

Punti interni e di bordo

modifica

Il semispazio è delimitato dal suo bordo, dato dall'iperpiano

 

descritto dall'equazione  . Per ogni punto   di   esiste un intorno aperto   ed un omeomorfismo

 

a valori in un insieme aperto   di  . L'immagine   di   può essere un punto del bordo   oppure un punto interno in  . Nel primo caso, il punto   è detto punto di bordo, altrimenti è detto interno in  [1].

L'insieme di tutti i punti di bordo di   è il bordo di   ed è indicato con  . Gli altri punti di   sono i punti interni di  .

Struttura differenziabile

modifica

Una varietà differenziabile con bordo di dimensione   è uno spazio topologico avente un atlante nel semispazio   in cui le mappe di transizione sono funzioni differenziabili. La definizione è quindi analoga a quella di varietà differenziabile: l'unica differenza consiste nel prendere   invece dell'intero spazio euclideo  .

Una varietà differenziabile con bordo   è in particolare una varietà topologica con bordo: risulta quindi ben definito anche in questo caso un bordo  .

Varietà chiuse

modifica

Una varietà topologica (o differenziabile)   è una particolare varietà topologica (o differenziabile) con bordo, il cui bordo   risulta però vuoto. Il concetto di varietà con bordo estende quindi quello di varietà.

In molti contesti, per "varietà" si intende brevemente una varietà con bordo. Il termine varietà chiusa è quindi usato per definire una varietà senza bordo, che sia anche compatta.

Il bordo

modifica

Il bordo   di una varietà di dimensione   è anch'esso una varietà, di dimensione   e senza bordo. Infatti ogni punto di   ha un intorno in   omeomorfo ad un aperto dell'iperpiano  , che è a sua volta omeomorfo a  .

Si può quindi scrivere, per ogni varietà con bordo  :

 

Il bordo   è inoltre un sottoinsieme chiuso di   (poiché   è chiuso in  ). Se la varietà   è compatta, il bordo   è quindi anch'esso compatto; ne segue che è formato da un numero finito di componenti connesse.

 
Un corpo con manici di genere due.

Molti esempi di varietà con bordo di dimensione   possono essere descritti come sottoinsiemi di  .

Nel piano

modifica

Un cerchio ed una corona circolare sono due esempi di 2-varietà (cioè superfici) con bordo. Il bordo consiste rispettivamente in una e due circonferenze.

Nello spazio tridimensionale

modifica

Un corpo con manici è una varietà con bordo contenuta nello spazio tridimensionale. Il suo bordo è una superficie, il cui genere è pari al "numero di buchi" del corpo.

Nello spazio euclideo

modifica

La palla chiusa in  

 

è una varietà con bordo  -dimensionale. Il bordo

 

è una sfera di dimensione  , generalmente indicata con  .

Superfici nello spazio

modifica
 
Un cilindro nello spazio (è presente solo la parete laterale)

Molte superfici nello spazio tridimensionale sono varietà a bordo. Tra questi, il cilindro ed il nastro di Möbius mostrati in figura.

 
Un nastro di Möbius contenuto nello spazio.

Il bordo del cilindro consiste in due circonferenze (alle due basi), mentre il bordo del nastro di Möbius consta di una circonferenza sola. Il nastro di Möbius può essere realizzato nello spazio, ma non come sottoinsieme del piano.

Qualsiasi superficie compatta con bordo può essere in realtà disegnata dentro lo spazio; questo non è però vero per le superfici senza bordo: la bottiglia di Klein è una superficie (senza bordo) che ha bisogno di 4 dimensioni per essere rappresentata.

  1. ^ La definizione è ben posta perché non dipende effettivamente dalla scelta dell'intorno   e dell'omeomorfismo  . Questo deriva dal fatto che i punti in   sono "intrinsecamente differenti" da  : la dimostrazione di questo fatto non è però ovvia e necessita di alcuni strumenti propri della topologia algebrica.

Voci correlate

modifica

Altri progetti

modifica
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica
  NODES
Intern 5
Note 2
os 6