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
modificaUna 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
modificaDefinizione
modificaUna 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
modificaIl 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
modificaUna 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
modificaUna 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
modificaIl 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.
Esempi
modificaMolti esempi di varietà con bordo di dimensione possono essere descritti come sottoinsiemi di .
Nel piano
modificaUn 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
modificaUn 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
modificaLa palla chiusa in
è una varietà con bordo -dimensionale. Il bordo
è una sfera di dimensione , generalmente indicata con .
Superfici nello spazio
modificaMolte superfici nello spazio tridimensionale sono varietà a bordo. Tra questi, il cilindro ed il nastro di Möbius mostrati in figura.
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.
Note
modifica- ^ 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
modificaAltri progetti
modifica- Wikizionario contiene il lemma di dizionario «Varietà con bordo»