3-sfera
# 3-sfera

La 3-sfera è una figura geometrica nello spazio euclideo 4-dimensionale, in particolare è l'analogo in questo spazio della sfera. È definita come il luogo dei punti equidistanti da un punto fissato.

La 3-sfera è chiamata spesso ipersfera, anche se con lo stesso termine si indicano tutte le n-sfere con n ≥ 3.

Così come la sfera ordinaria, chiamata anche 2-sfera, è una superficie (varietà) bidimensionale che fa da bordo alla palla tridimensionale, la 3-sfera è una varietà tridimensionale che fa da bordo alla palla 4-dimensionale.

## Definizione

In termini di coordinate, una 3-sfera centrata in C $(C_0,$ $C_1,$ $C_2,$ $C_3)$ ed avente raggio r è l'insieme dei punti x $(x_0,$ $x_1,$ $x_2,$ $x_3)$ nello spazio $R^4$ tali che

    $\sum _{i=0}^{3}(x_{i}-C_{i})^{2}=(x_{0}-C_{0})^{2}+(x_{1}-C_{1})^{2}+(x_{2}-C_{2})^{2}+(x_{3}-C_{3})^{2}=r^{2}.$

Si chiama 3-sfera unitaria o $S^3$ quella con centro nell'origine e raggio unitario:

    $S^{3}=\left\{(x_{0},x_{1},x_{2},x_{3})\in \mathbb {R} ^{4}:x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+x_{3}^{2}=1\right\}.$

Se si considera $R^4$ come lo spazio a due coordinate complesse $(C^2),$ o quaternione (H), la 3-sfera unitaria è data dalla relazione

    $S^{3}=\left\{(z_{1},z_{2})\in \mathbb {C} ^{2}:|z_{1}|^{2}+|z_{2}|^{2}=1\right\}$

oppure da

    $S^{3}=\left\{q\in \mathbb {H} :|q|=1\right\}.$

L'ultima definizione mostra che la 3-sfera è l'insieme di tutti i quaternioni unitari, ossia con modulo pari all'unità.

## Proprietà

### Proprietà elementari

Il volume 3-dimensionale (o iperarea) della 3-sfera di raggio r è pari a

    $2\pi ^{2}r^{3}$

mentre l'ipervolume (il volume della regione 4-dimensionale racchiusa dalla 3-sfera) vale

    ${\begin{matrix}{\frac {1}{2}}\end{matrix}}\pi ^{2}r^{4}.$

Ogni intersezione non vuota di una 3-sfera con un iperpiano tridimensionale è una 2-sfera, ossia una sfera convenzionale, oppure un singolo punto (nel caso di tangenza).

### Proprietà topologiche

Una 3-sfera è una varietà 3-dimensionale compatta, connessa e senza bordo. Inoltre è un insieme semplicemente connesso: ogni curva chiusa sulla sua superficie può essere ristretta ad un singolo punto senza lasciare la 3-sfera. Secondo la congettura di Poincaré, dimostrata nel 2003 da Grigorij Perel'man, la 3-sfera (a meno di omeomorfismo) è l'unica figura con queste proprietà.

## Nella letteratura

In un articolo pubblicato sull'American Journal of Physics, Mark A. Peterson suggerisce che la cosmologia dantesca sia modellata secondo una 3-sfera; anche Carlo Rovelli ha espresso la stessa opinione.

