En geometría , las coordenadas de Plücker , introducidas por Julius Plücker en el siglo XIX, son una forma de asignar seis coordenadas homogéneas a cada línea en el espacio tridimensional proyectivo . Debido a que satisfacen una restricción cuadrática, establecen una correspondencia biunívoca entre el espacio tetradimensional de líneas en y los puntos en una cuádrica en (espacio quintuple proyectivo). Las coordenadas de Plücker, predecesoras y casos especiales de las coordenadas de Grassmann (que describen subespacios lineales k -dimensionales, o planos , en un espacio euclidiano n -dimensional ), surgen naturalmente en el álgebra geométrica . Han demostrado ser útiles para los gráficos por computadora y también se pueden extender a las coordenadas de los tornillos y las llaves en la teoría de la cinemática utilizada para el control de robots .
Una línea L en el espacio euclidiano tridimensional está determinada por dos puntos distintos que contiene, o por dos planos distintos que la contienen (una intersección plano-plano ). Consideremos el primer caso, con puntos y El vector desplazamiento de x a y es distinto de cero porque los puntos son distintos, y representa la dirección de la línea. Es decir, cada desplazamiento entre puntos de la línea L es un múltiplo escalar de d = y – x . Si una partícula física de masa unitaria se moviera de x a y , tendría un momento respecto al origen del sistema de coordenadas. El equivalente geométrico de este momento es un vector cuya dirección es perpendicular al plano que contiene la línea L y el origen, y cuya longitud es igual al doble del área del triángulo formado por el desplazamiento y el origen. Tratando los puntos como desplazamientos desde el origen, el momento es m = x × y , donde "×" denota el producto vectorial . Para una línea fija, L , el área del triángulo es proporcional a la longitud del segmento entre x e y , considerado como la base del triángulo; No se modifica al deslizar la base a lo largo de la línea, paralela a sí misma. Por definición, el vector momento es perpendicular a cada desplazamiento a lo largo de la línea, por lo que d ⋅ m = 0 , donde "⋅" denota el producto escalar del vector .
Aunque ni la dirección d ni el momento m por sí solos son suficientes para determinar la recta L , juntos lo hacen de manera única, hasta un múltiplo escalar común (distinto de cero) que depende de la distancia entre x e y . Es decir, las coordenadas
pueden considerarse coordenadas homogéneas para L , en el sentido de que todos los pares (λ d : λ m ) , para λ ≠ 0 , pueden ser producidos por puntos en L y solo L , y cualquier par de este tipo determina una línea única siempre que d no sea cero y d ⋅ m = 0 . Además, este enfoque se extiende para incluir puntos , líneas y un plano "en el infinito" , en el sentido de la geometría proyectiva . Además, un punto se encuentra en la línea L si y solo si .
Alternativamente, sean las ecuaciones para los puntos x de dos planos distintos que contienen a L
Entonces sus respectivos planos son perpendiculares a los vectores a y b , y la dirección de L debe ser perpendicular a ambos. Por lo tanto, podemos establecer d = a × b , que es distinto de cero porque a , b no son cero ni paralelos (los planos son distintos y se intersecan). Si el punto x satisface ambas ecuaciones planas, entonces también satisface la combinación lineal
Eso es,
es un vector perpendicular a los desplazamientos hacia puntos sobre L desde el origen; es, de hecho, un momento consistente con el d previamente definido a partir de a y b .
En un espacio proyectivo tridimensional , sea L una línea que pasa por puntos distintos x e y con coordenadas homogéneas ( x 0 : x 1 : x 2 : x 3 ) y ( y 0 : y 1 : y 2 : y 3 ) .
Las coordenadas de Plücker p ij se definen de la siguiente manera:
(la matriz simétrica anticuada cuyos elementos son p ij también se llama matriz de Plücker )
Esto implica p ii = 0 y p ij = − p ji , lo que reduce las posibilidades a solo seis (4 elige 2) cantidades independientes.
está determinada únicamente por L hasta un factor de escala común distinto de cero. Además, no todos los seis componentes pueden ser cero. Por lo tanto, las coordenadas de Plücker de L pueden considerarse como coordenadas homogéneas de un punto en un espacio proyectivo de cinco dimensiones, como lo sugiere la notación de dos puntos.
Para ver estos hechos, sea M la matriz 4×2 con las coordenadas de los puntos como columnas.
La coordenada de Plücker p ij es el determinante de las filas i y j de M . Como x e y son puntos distintos, las columnas de M son linealmente independientes ; M tiene rango 2. Sea M′ una segunda matriz, con columnas x′ , y′ un par diferente de puntos distintos en L . Entonces las columnas de M′ son combinaciones lineales de las columnas de M ; por lo tanto, para alguna matriz no singular 2×2 Λ ,
En particular, las filas i y j de M′ y M están relacionadas por
Por lo tanto, el determinante de la matriz 2×2 del lado izquierdo es igual al producto de los determinantes de las matrices 2×2 del lado derecho, siendo este último un escalar fijo, det Λ . Además, los seis subdeterminantes 2×2 de M no pueden ser cero porque el rango de M es 2.
Denotemos el conjunto de todas las rectas (imágenes lineales de ) en por G 1,3 . Tenemos entonces una función:
dónde
Alternativamente, una línea puede describirse como la intersección de dos planos. Sea L una línea contenida en planos distintos a y b con coeficientes homogéneos ( a 0 : a 1 : a 2 : a 3 ) y ( b 0 : b 1 : b 2 : b 3 ) , respectivamente. (La primera ecuación del plano es, por ejemplo). La coordenada dual de Plücker p ij es
Las coordenadas duales son convenientes en algunos cálculos y son equivalentes a las coordenadas primarias:
Aquí, la igualdad entre los dos vectores en coordenadas homogéneas significa que los números del lado derecho son iguales a los números del lado izquierdo hasta un factor de escala común λ . Específicamente, sea ( i , j , k , ℓ ) una permutación par de (0, 1, 2, 3) ; entonces
Para volver a la intuición geométrica, tome x 0 = 0 como el plano en el infinito; por lo tanto, las coordenadas de los puntos que no están en el infinito se pueden normalizar de modo que x 0 = 1. Entonces M se convierte en
y estableciendo y , tenemos y .
Dualmente, tenemos y
Si el punto se encuentra en L , entonces las columnas de
son linealmente dependientes , de modo que el rango de esta matriz más grande sigue siendo 2. Esto implica que todas las submatrices 3×3 tienen determinante cero, lo que genera cuatro (4 elija 3) ecuaciones planas, como
Los cuatro planos posibles obtenidos son los siguientes.
Usando coordenadas duales, y dejando ( a 0 : a 1 : a 2 : a 3 ) como los coeficientes de línea, cada uno de estos es simplemente a i = p ij , o
Cada coordenada de Plücker aparece en dos de las cuatro ecuaciones, multiplicando cada vez una variable diferente; y como al menos una de las coordenadas no es cero, se nos garantizan ecuaciones no vacías para dos planos distintos que se intersecan en L. Por lo tanto, las coordenadas de Plücker de una línea determinan esa línea de manera única, y la función α es una inyección .
La imagen de α no es el conjunto completo de puntos en ; las coordenadas de Plücker de una línea L satisfacen la relación de Plücker cuadrática
Para demostrarlo, escriba este polinomio homogéneo como determinantes y utilice la expansión de Laplace (a la inversa).
Dado que ambos determinantes 3×3 tienen columnas duplicadas, el lado derecho es idénticamente cero.
Otra prueba puede hacerse así: Dado que el vector
es perpendicular al vector
(ver arriba), el producto escalar de d y m debe ser cero. qed
Si ( x 0 : x 1 : x 2 : x 3 ) son las coordenadas de los puntos, cuatro puntos posibles en una línea tienen cada uno coordenadas x i = p ij , para j = 0, 1, 2, 3 . Algunos de estos puntos posibles pueden ser inadmisibles porque todas las coordenadas son cero, pero como al menos una coordenada de Plücker es distinta de cero, se garantizan al menos dos puntos distintos.
Si son las coordenadas homogéneas de un punto en , sin pérdida de generalidad supongamos que q 01 es distinto de cero. Entonces la matriz
tiene rango 2, por lo que sus columnas son puntos distintos que definen una línea L . Cuando las coordenadas , q ij , satisfacen la relación cuadrática de Plücker , son las coordenadas de Plücker de L . Para ver esto, primero normalizamos q 01 a 1. Luego tenemos inmediatamente que para las coordenadas de Plücker calculadas a partir de M , p ij = q ij, excepto por
Pero si los q ij satisfacen la relación de Plücker
entonces p 23 = q 23 , completando el conjunto de identidades.
En consecuencia, α es una sobreyección sobre la variedad algebraica que consiste en el conjunto de ceros del polinomio cuadrático
Y como α también es una inyección, las líneas en están entonces en correspondencia biyectiva con los puntos de esta cuádrica en , llamada cuádrica de Plücker o cuádrica de Klein .
Las coordenadas de Plücker permiten soluciones concisas a problemas de geometría de líneas en el espacio tridimensional, especialmente aquellos que implican incidencia .
Dos rectas en son oblicuas o coplanares , y en el último caso son coincidentes o se intersecan en un único punto. Si p ij y p′ ij son las coordenadas de Plücker de dos rectas, entonces son coplanares precisamente cuando
como lo muestra
Cuando las líneas están oblicuas, el signo del resultado indica el sentido del cruce: positivo si un tornillo de derecha lleva L a L′ , en caso contrario, negativo.
La relación de Plücker cuadrática establece esencialmente que una línea es coplanar consigo misma.
En el caso de que dos rectas sean coplanares pero no paralelas, su plano común tiene ecuación
dónde
La más mínima perturbación destruirá la existencia de un plano común, y el casi paralelismo de las líneas causará dificultades numéricas para encontrar dicho plano incluso si existiera.
Dualmente, dos líneas coplanares, ninguna de las cuales contiene el origen, tienen un punto común
Para manejar líneas que no cumplen esta restricción, consulte las referencias.
Dado un plano con ecuación
o más concisamente,
y dada una línea que no está en ella con coordenadas de Plücker ( d : m ) , entonces su punto de intersección es
Las coordenadas del punto, ( x 0 : x 1 : x 2 : x 3 ) , también se pueden expresar en términos de coordenadas de Plücker como
Dualmente, dado un punto ( y 0 : y ) y una recta que no lo contiene, su plano común tiene ecuación
Las coordenadas del plano, ( a 0 : a 1 : a 2 : a 3 ) , también se pueden expresar en términos de coordenadas de Plücker duales como
Como la cuádrica de Klein está en , contiene subespacios lineales de dimensiones uno y dos (pero no mayores). Estos corresponden a familias de líneas de uno y dos parámetros en .
Por ejemplo, supongamos que L, L′ son líneas distintas en determinadas por los puntos x , y y x ′, y ′ , respectivamente. Las combinaciones lineales de sus puntos determinantes dan combinaciones lineales de sus coordenadas de Plücker, generando una familia de líneas de un parámetro que contiene a L y L ′ . Esto corresponde a un subespacio lineal unidimensional perteneciente a la cuádrica de Klein.
Si tres rectas distintas y no paralelas son coplanares, sus combinaciones lineales generan una familia de rectas de dos parámetros, todas ellas en el plano. Esto corresponde a un subespacio lineal bidimensional perteneciente a la cuádrica de Klein.
Si tres rectas distintas y no coplanares se cortan en un punto, sus combinaciones lineales generan una familia de rectas de dos parámetros, todas las rectas que pasan por el punto. Esto también corresponde a un subespacio lineal bidimensional perteneciente a la cuádrica de Klein.
Una superficie reglada es una familia de líneas que no es necesariamente lineal. Corresponde a una curva en la cuádrica de Klein. Por ejemplo, un hiperboloide de una hoja es una superficie cuádrica en regida por dos familias de líneas diferentes, una línea de cada una de las cuales pasa por cada punto de la superficie; cada familia corresponde, según la función de Plücker, a una sección cónica dentro de la cuádrica de Klein en .
Durante el siglo XIX se estudió intensamente la geometría de líneas . En términos de la biyección dada anteriormente, ésta es una descripción de la geometría intrínseca de la cuádrica de Klein.
La geometría de línea se utiliza ampliamente en aplicaciones de trazado de rayos donde la geometría y las intersecciones de los rayos deben calcularse en 3D. Se describe una implementación en Introducción a las coordenadas de Plücker escrita para el foro de trazado de rayos por Thouis Jones.