Punti antipodali (matematica)

Abbozzo geometria
Questa voce sull'argomento geometria è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.
Niente fonti!
Questa voce o sezione sull'argomento geometria non cita le fonti necessarie o quelle presenti sono insufficienti.

I punti antipodali su una sfera generalizzano il concetto geografico di punti antipodali sulla Terra anche a sfere di dimensioni arbitrarie.

Definizione

Una sfera di dimensione n {\displaystyle n} è descritta dall'equazione

x 1 2 + + x n + 1 2 = 1 {\displaystyle x_{1}^{2}+\ldots +x_{n+1}^{2}=1}

nello spazio euclideo ( n + 1 ) {\displaystyle (n+1)} -dimensionale R n + 1 {\displaystyle \mathbb {R} ^{n+1}} .

Il punto antipodale ad un punto ( x 1 , , x n + 1 ) {\displaystyle (x_{1},\ldots ,x_{n+1})} è il punto ( x 1 , , x n + 1 ) {\displaystyle (-x_{1},\ldots ,-x_{n+1})} : tutte le coordinate cambiano cioè di segno.

Spazio quoziente

Lo spazio quoziente rispetto alla relazione di equivalenza di antipodalità è lo spazio proiettivo reale, oggetto fondamentale della geometria proiettiva.

Mappa antipodale

La funzione che associa ad ogni punto di una sfera il suo antipodale è detta mappa antipodale.

La mappa antipodale preserva l'orientazione della sfera se e solo se n {\displaystyle n} è dispari. Infatti la funzione è la restrizione della funzione lineare

f : R n + 1 R n + 1 {\displaystyle f:\mathbb {R} ^{n+1}\to \mathbb {R} ^{n+1}}
f : x x {\displaystyle f:x\mapsto -x}

associata alla matrice I {\displaystyle -I} opposta alla matrice identità I {\displaystyle I} . Il determinante di questa matrice è ( 1 ) n + 1 {\displaystyle (-1)^{n+1}} , ed il suo segno è quindi effettivamente positivo solo per n {\displaystyle n} dispari.

Per questo motivo, lo spazio proiettivo è orientabile solo per n {\displaystyle n} dispari.

Teorema di Borsuk-Ulam

Lo stesso argomento in dettaglio: Teorema di Borsuk-Ulam.

Il teorema di Borsuk-Ulam è un risultato di topologia riguardante i punti antipodali in dimensione arbitraria: asserisce che ogni funzione continua da una sfera in uno spazio euclideo della stessa dimensione manda due punti antipodali sullo stesso punto (in particolare, non può essere iniettiva).

Voci correlate

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