Coordinate omogenee

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

In matematica, le coordinate omogenee o coordinate proiettive, 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 ed hanno il vantaggio di poter rappresentare coordinate di punti, anche punti all'infinito, utilizzando coordinate finite.

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

Introduzione informale

[modifica | modifica wikitesto]

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 proiettivi

[modifica | modifica wikitesto]

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.

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 .

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'infinito

[modifica | modifica wikitesto]

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 proiettivi

[modifica | modifica wikitesto]

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 grafica

[modifica | modifica wikitesto]

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 correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica