Apri il menu principale

In matematica, le coordinate omogenee, introdotte da August Ferdinand Möbius intorno al 1837, sono uno strumento usato per descrivere i punti nella geometria proiettiva. Sono cioè l'analogo delle coordinate cartesiane nella geometria analitica.

Le coordinate omogenee sono ampiamente usate nell'arte digitale per la rappresentazione di oggetti nello spazio e dei loro movimenti.

Indice

DefinizioneModifica

Introduzione informaleModifica

Un insieme di oggetti è rappresentato tramite delle coordinate omogenee, se ciascuna sequenza di numeri

 

diversa da   identifica un oggetto, e due sequenze,   e   determinano lo stesso oggetto se e solo se sono una multipla dell'altra, cioè se:

 

Ad esempio,   e   identificano lo stesso oggetto poiché   .

La relazione di proporzionalità qui definita è una relazione di equivalenza: ciò vuol dire che un oggetto determina univocamente una classe di equivalenza di sequenze.

Spazi proiettiviModifica

Uno spazio proiettivo associato ad uno spazio vettoriale   è definito come l'insieme delle rette (cioè dei sottospazi vettoriali di dimensione uno) di  . Viene indicato con  .

Se lo spazio vettoriale   è munito di una base finita, ogni vettore di   è descrivibile tramite le sue coordinate

 

Ogni retta di   è descrivibile come lo span lineare di un vettore non nullo  . Le coordinate omogenee di questa retta, rispetto alla base scelta, sono la  -upla di punti

 

data dalle coordinate di  , definita a meno di moltiplicazione per scalare. Si intende cioè che

 

per ogni   diverso da zero. Le coordinate della retta sono quindi ben definite: infatti   e   sono due vettori che generano la stessa retta se e solo se le loro coordinate differiscono per un multiplo scalare.

Come le coordinate di un vettore in uno spazio vettoriale, le coordinate omogenee dipendono fortemente dalla scelta di una base. Nel caso in cui lo spazio   sia  , è naturale prendere la base canonica: si indica quindi una retta di   come  , dove   è un qualsiasi vettore non nullo che la genera.

EsempiModifica

Dimensione 1Modifica

Ogni punto della retta proiettiva   è scrivibile come coppia

 

diversa da  . Se   è diverso da zero, è possibile esprimere lo stesso punto come

 .

D'altra parte, se   l'altro valore   non può essere nullo, ed è possibile esprimere lo stesso punto come

 .

Ne segue che i punti di   sono esattamente

 

Con questa descrizione, la retta proiettiva è l'unione di due pezzi: tutti i punti del tipo   al variare di   in  , che sono in corrispondenza biunivoca con  , ed il punto all'infinito  .

Dimensione 2Modifica

Ogni punto del piano proiettivo   è descrivibile come tripletta

 .

non nulla. Analogamente a quanto visto sopra, i punti di   sono

 

Con questa descrizione, lo spazio proiettivo è unione di due pezzi: il primo è una copia del piano vettoriale  , l'altro è una copia della retta proiettiva  ; quest'ultima è chiamata retta all'infinito.

Carte affini e punti all'infinitoModifica

Come evidenziato dagli esempi, la scelta di coordinate proiettive per uno spazio proiettivo permette una descrizione di questo come unione di due spazi, il primo dei punti al finito, il secondo dei punti all'infinito (o impropri), nel modo seguente:

 

I punti al finito sono determinati dal vettore  , che è quindi un elemento dello spazio  . Quelli all'infinito sono invece determinati dal vettore  , solo a meno di moltiplicazione per scalare: sono quindi elementi dello spazio proiettivo di dimensione più piccola  .

La stessa descrizione è fattibile per ogni   fissato, definendo   come l'insieme dei punti la cui i-esima coordinata è non nulla, e   il suo complementare. Per ogni   si ottiene quindi

 

dove   è l'iperpiano proiettivo definito dall'equazione  , ed   è in naturale corrispondenza biunivoca con  . Ogni   è detto carta affine.

Sottospazi proiettiviModifica

Il sottospazio proiettivo generato da alcuni punti   è il più piccolo sottospazio che li contiene, ed è descrivibile in coordinate proiettive come:

 

Questa definizione traduce l'usuale normale definizione di span lineare per i sottospazi vettoriali.

Utilizzo in computer graficaModifica

Le coordinate omogenee sono utilizzate frequentemente in computer grafica in quanto permettono di rappresentare tutte le trasformazioni affini tramite operazioni matriciali. Una traslazione in   può essere scritta in questo modo:

 

dove i vettori colonna sono costituiti dalle coordinate omogenee del punto di partenza e del punto di arrivo, rispettivamente. Anche tutte le trasformazioni lineari come la rotazione e la riflessione possono essere rappresentate, mediante matrici della forma

 

nelle quali le sottomatrici delle prime due righe e delle prime due colonne esprimono riflessioni, rotazioni o trasformazioni lineari. Inoltre anche le trasformazioni proiettive possono essere rappresentate mediante matrici.

La possibilità di realizzare tutte le trasformazioni mediante la moltiplicazione di matrici, cioè mediante un unico meccanismo facilmente implementabile, semplifica notevolmente le attività computazionali e di ingegnerizzazione del software per la computer grafica. Le coordinate omogenee sono ampiamente utilizzate nelle rappresentazioni di scene 3D e le notazioni matriciali sono impiegate nella maggior parte delle librerie 3D come OpenGL e Direct3D.

Voci correlateModifica

Collegamenti esterniModifica

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