Coordinate omogenee
![Niente fonti!](http://upload.wikimedia.org/wikipedia/commons/thumb/6/64/Question_book-4.svg/45px-Question_book-4.svg.png)
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.
Definizione
Introduzione informale
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
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.
Esempi
Dimensione 1
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 2
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
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
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
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
Altri progetti
Altri progetti
- Wikimedia Commons
Wikimedia Commons contiene immagini o altri file su coordinate omogenee
Collegamenti esterni
- (EN) homogeneous coordinates, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Eric W. Weisstein, Coordinate omogenee, su MathWorld, Wolfram Research.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)