Coordenadas homogéneas
# Coordenadas homogéneas

En matemáticas, y más concretamente en geometría proyectiva, las coordenadas homogéneas son un instrumento usado para describir un punto en el espacio proyectivo. Fueron introducidas por el matemático alemán August Ferdinand Möbius en el año 1837.

También pueden usarse como un sistema alternativo de coordenadas para trabajar en el espacio euclídeo, pues este puede verse como un subconjunto del espacio proyectivo. De ese modo, las coordenadas homogéneas son ampliamente usadas en infografía para la representación de escenas en tres dimensiones. Su notación en forma matricial se emplea en bibliotecas de programación gráfica en 3D como OpenGL y Direct3D.

## Introducción

En coordenadas homogéneas, todo punto bidimensional está definido por tres coordenadas. De tal modo que un punto de dimensiones (x, y), se representa por la terna

   $\left(\lambda x,\lambda y,\lambda \right),\quad \lambda \neq 0$

Las coordenadas en dos dimensiones se pueden encontrar más fácilmente si λ = 1, por simplificación. En tres dimensiones, suele ocurrir lo mismo.

Una consecuencia de esta escritura es que un punto propio tiene infinitas formas de escribirlo, pues está determinado por una relación de equivalencia entre el punto en cuestión y aquellos otros contenidos en la recta que genera.

La idea básica se trata de ampliar el plano euclídeo (en el caso bidimensional) al plano proyectivo. Esto implica la consideración de los puntos impropios, o del infinito. Un punto impropio es aquel donde λ = 0, y está determinado por la dirección de una recta, contenida en el plano proyectivo.

Así, si el punto impropio está determinado por una recta en la forma Ax - By = 0, sus coordenadas homogéneas se escriben

   $\left(B,A,0\right)$

Recíprocamente, dadas las coordenadas homogéneas (x, y, z) de un punto, la respectiva proyección sobre el plano euclídeo tiene como coordenadas

   $\textstyle \left({\frac {x}{z}},{\frac {y}{z}}\right),\quad z\neq 0$

Si z = 0 el punto es impropio, y por lo tanto no existe una manera de definirlo en el plano euclídeo.

