martes, 5 de noviembre de 2013

Día 131029_2: Geometría proyectiva : Quaterniones

Quaterniones ó cuaternios
  • Son una extensión de los números reales, similar a los números complejos
  • Los números complejos son una extensión de los reales con unidad imaginaria i, tal que i^2 = -1
  • Los quaterniones añaden a los reales las unidades imaginarias: i, j y k.
  • Cumpliendo: 

1ijk
11ijk
ii-1k-j
jj-k-1i
kkj-i-1
1ijk, son entonces las "bases" de las componentes de un cuaternión.
  • En el espacio 3D se define un quaternión: q = [ s, v ], siendo s un ángulo y v un vector v= xi+yj+zk.

Operaciones de q1 = [ s1, v1 ], q2 = [ s2, v2 ]
Suma: q1+q2 = (s1+s2) + (x1+x2)i + ( y1+y2 )j + ( z1+z2 )k

Producto: q1·q2 = desarrollando y usando la tabla de Cayley 
    • q1·q2 = ( s1s2 - V1V2, s1V2+s2V1+V1xV2 ) que es un número y un vector.

El producto se realiza componente a componente, y está dado en su forma completa por:
\begin{align} a  b &= (a_1b_1 - a_2b_2 - a_3b_3 - a_4b_4)
+ (a_1b_2 + a_2b_1 + a_3b_4 - a_4b_3)i\\
&+ (a_1b_3 - a_2b_4 + a_3b_1 + a_4b_2)j +
(a_1b_4 + a_2b_3 - a_3b_2 + a_4b_1)k
\end{align}

Una forma ligeramente más reducida puede ser: a  b = 
(\alpha, \vec{a})\ (\beta, \vec{b}) ab = 
\left (\alpha\beta - \vec{a}\cdot\vec{b},\ \alpha\vec{b} + \vec{a}\beta + \vec{a}\times\vec{b} \right )

Inverso: dado q = s + xi + yj + zk -> q^-1 = ( s - xi - yj -zk ) / |q|^2
  • Se comprueba: q·q^-1 = q^-1 ·q = 1

El valor absoluto es  \left \| x \right \| = \sqrt{x\bar x} = \sqrt{x_1^2 + x_2^2 + x_3^2 + x_4^2}