Regístrate | Conectar
El Tamiz Libros Recursos Series Únete 14 Users Online
Skip to content

Explorando el álgebra geométrica 3 – Antecedentes – Los cuaterniones (I)




En las dos entradas anteriores de esta serie sobre álgebra geométrica, esta y esta otra, se ha hablado del conjunto mathbb{C} de los números complejos, cuyo origen está en la necesidad dar sentido a la extracción de raíces cuadradas de números negativos. En los complejos no sólo es posible sacar raíces cuadradas (o de cualquier otro orden) de cualquier número, sino incluso logaritmos. Por lo que respecta a eso, ya no hacía falta crear ningún nuevo conjunto numérico…

Sin embargo, tanto la representación en el plano de los números complejos como el modo en que el producto de complejos unitarios representaba el grupo de rotaciones en el plano hizo inevitable que los matemáticos se preguntaran si sería posible generalizar aún más los números complejos, de forma que se obtuviera un sistema de números hipercomplejos que pudiera tener una representación en el espacio tridimensional y donde se pudiera encontrar algún tipo de números que representaran las rotaciones en el espacio tridimensional. De hecho, Caspar Wessel, como ya os mencioné en la segunda entrada dedicada a los complejos, el primer matemático que encontró la interpretación gráfica de dichos números complejos, hizo un primer intento fracasado en su publicación sobre los números complejos de 1799. Pero quien conseguiría encontrarlo fue Sir William Rowan Hamilton (1806-1865), protagonista de la entrada de hoy.

Hamilton había sido niño prodigio[1] y había hecho importantes contribuciones a los campos de la física y la astronomía. En 1843, Hamilton llevaba un buen tiempo[2] intentando generalizar los números complejos a tres dimensiones.

William Rowan Hamilton, como presidente de la Real Academia de Irlanda (Wikimedia)

La idea con la que trabajaba Hamilton fue introducir una segunda unidad imaginaria, \mathbf{j}, a los números complejos, de forma que tanto {\mathbf{i}}^2 como {\mathbf{j}}^2 fueran iguales a -1.[3] De este modo, estos hipercomplejos tendrían tres componentes, una real y dos imaginarias. La suma y resta de estas tripletas no ofrecía ningún problema, ya que se reducía a una suma formal, componente a componente, como en el caso de los complejos. Lo problemático era multiplicarlos, y en concreto asignar un valor consistente al producto \mathbf{ij}. Si se suponía que daba un número real, por ejemplo \mathbf{ij} = 1, había que llegar a la conclusión, de que\mathbf{j} era múltiplo real de \mathbf{i}, en nuestro ejemplo \mathbf{j} = -\mathbf{i}, y por tanto no es una unidad independiente de \mathbf{i}. Y si se suponía que el producto \mathbf{ij} daba un resultado imaginario, la conclusión es que \mathbf{j} era real, y por tanto, tampoco era una unidad nueva. De hecho, Hamilton estaba en la misma situación en que se vio Wessel a finales del siglo XVIII. Así que cuando el hijo de Hamilton le preguntaba a su padre si sabía multiplicar tripletas, él le tenía que responder: “No, hijo mío. De momento, sólo sé sumarlas y restarlas“. Pero eso cambió el 16 de octubre de 1843.

Ese día, como cuenta el propio protagonista, se encontraba Hamilton paseando con su mujer por el puente de Brougham, también conocido como puente de Broom (Broom Bridge), y súbitamente se le ocurrió la idea: introducir una nueva unidad imaginaria \mathbf{k}, además de \mathbf{i}\mathbf{j}, de forma que \mathbf{ij} = \mathbf{k}, y renunciar a la conmutatividad del producto, que hasta ahora era una propiedad fundamental tanto de los números reales como de los complejos. En resumen, las tres unidades imaginarias tenían que cumplir esta regla:

{\mathbf{i}}^2 ={\mathbf{j}}^2 = {\mathbf{k}}^2 = \mathbf{ijk} = -1

De la regla anterior se puede deducir la no conmutatividad. Partamos de :

\mathbf{ijk} = -1

Multipliquemos ambos miembros de la igualdad por \mathbf{k}, por la derecha:

\mathbf{ijkk} = -\mathbf{k}

Como {\mathbf{k}}^2 = -1, tenemos:

\mathbf{ij} \left(-1\right) = -\mathbf{k}

Como sí asumimos que la multiplicación por un número real conmuta con cualquier unidad imaginaria, tendremos:

\left(-1\right)\mathbf{ij} = \left(-1\right)\mathbf{k}

Tras multiplicar por -1 ambos lados queda simplemente:

\mathbf{ij} = \mathbf{k}

Pero, ¿qué pasa si en vez de multiplicar la igualdad de partida por \mathbf{k} por la derecha, se multiplica por \mathbf{ji} por la izquierda?:

\left(\mathbf{ji}\right) \left(\mathbf{ijk}\right) =\left(\mathbf{ji}\right) \left(-1\right)

Aplicando la propiedad asociativa, a la que no renunciamos, la igualdad anterior se transforma en:

\mathbf{j} \left(\mathbf{ii}\right) \mathbf{jk}= -\mathbf{ji}

Y a continuación, sucesivamente:

\mathbf{j} \left(-1\right)\mathbf{jk}= -\mathbf{ji}

\left(-1\right)\left(\mathbf{jj}\right) \mathbf{k} = -\mathbf{ji}

\left(-1\right)\left(-1\right)\mathbf{k} = -\mathbf{ji}

\mathbf{k} = -\mathbf{ji}

Y finalmente, por tanto:

\mathbf{ji} = -\mathbf{k}

Es decir, por un lado \mathbf{ij} = \mathbf{k}, pero por otro \mathbf{ji} = -\mathbf{k}: el producto \mathbf{ij} anticonmuta, cambia de signo al cambiar el orden de los factores. Del mismo modo, se pueden demostrar estas igualdades:

\mathbf{jk} = -\mathbf{kj} = \mathbf{i}

\mathbf{ki} = -\mathbf{ik} = \mathbf{j}

Y asimismo tendremos:

\mathbf{ijk} = \mathbf{jki} = \mathbf{kij} = -1

\mathbf{jik} = \mathbf{ikj} = \mathbf{kji} = 1

Hamilton acababa de descubrir el primer sistema numérico hipercomplejo: el conjunto mathbb{H} de los cuaterniones. Entusiasmado por su súbita inspiración, Hamilton cogió su navaja y talló en la piedra del puente el que es probablemente el graffiti matemático más célebre de la historia:

 {\mathbf{i}}^2 = {\mathbf{j}}^2 = {\mathbf{k}}^2 = \mathbf{ijk} = -1

Cuando Hamilton fue a buscar su graffiti en el puente, quince años después, ya no fue capaz de volverlo a localizar. Pero en 1958, el entonces jefe del gobierno irlandés Éamon de Valera,[4] (1882-1975), inauguró, para regocijo de los turistas con aficiones matemáticas, una placa conmemorativa en el puente en la que se puede leer (todavía):

Mientras paseaba por aquí el 16 de octubre de 1843, Sir William Rowan Hamilton descubrió en un momento de genialidad la fórmula fundamental de la multiplicación de cuaterniones:  {\mathbf{i}}^2 = {\mathbf{j}}^2 = {\mathbf{k}}^2 = \mathbf{ijk} = -1 y la grabó en una piedra del puente.

La placa que conmemora el descubrimiento de los cuaterniones, en el puente de Brougham (Wikimedia, CC BY-SA 2.0)

Los cuaterniones tienen por tanto cuatro componentes: una componente “real”, que Hamilton denominó parte escalar del cuaternión, y tres componentes ”imaginarias”, que Hamilton denominó parte vectorial del cuaternión. Un cuaternión q puede ser visto como la suma formal de un escalar y de un vector tridimensional:

q = s + u\mathbf{i} + v\mathbf{j} + w\mathbf{k}

Donde s, u, v y w son números reales. La parte escalar de escalar de q sería:

\operatorname{\mathrm{PS}}\left(q\right) = s

y la parte vectorial sería:

\operatorname{\mathrm{PV}}\left(q\right) = u \mathbf{i} + v\mathbf{j} + w\mathbf{k}

Como en total tiene cuatro componentes, el cuaternión es un objeto cuadridimensional,  y no es posible representarlo en tres dimensiones. Si tenemos en cuenta que al principio Hamilton buscaba generalizar los complejos a tres dimensiones, podría parecer un inconveniente. Pero Hamilton no tardó en convencerse de que en el fondo era una ventaja de los cuaterniones sobre los complejos el hecho de que hubiera una parte escalar aparte de la parte vectorial tridimensional.

Las tres unidades \mathbf{i}, \mathbf{j} y \mathbf{k} se pueden interpretar como una base de vectores unitarios mutuamente perpendiculares[5] entre sí. La orientación de esta base se escoge de modo que sigue la convención de la regla de la mano derecha:[6] si colocamos la mano derecha extendida en dirección y sentido del vector \mathbf{i}, con la palma mirando según el sentido del vector \mathbf{j}, el pulgar extendido apunta en dirección del vector \mathbf{k}.

En la figura que sigue se representa la base ortonormal de vectores \mathbf{i}, \mathbf{j} y \mathbf{k} con la orientación estándar. Si cambiáramos el sentido de un número impar de vectores (sólo uno o los tres), obtendríamos un sistema con orientación opuesta, que seguiría la regla de la mano izquierda. La imagen que resultaría de reflejar la figura en un espejo también correspondería a una sistema con orientación según la regla de la mano izquierda.

Las unidades \mathbf{i}, \mathbf{j} y \mathbf{k} como base ortonormal de vectores del espacio tridimensional. El origen desde donde parten los tres vectores unitarios debe imaginarse más lejano para el observador que los extremos finales, marcados por las puntas de flecha.

La suma de cuaterniones se define de forma análoga a la suma de números complejos, sumando cada componente (la real y las tres vectoriales) por separado. Sumemos, a modo de ejemplo, dos cuaterniones q_1 y q_2:

q_1 = 5 + 2\mathbf{i} - 3\mathbf{j}+\mathbf{k}

q_2 = 2 -\mathbf{i} + 6\mathbf{j} + 8\mathbf{k}

q_1 +q_2 = \left(5 + 2\right) + \left(2 - 1\right)\mathbf{i} +\left(-3 + 6\right)\mathbf{j} + \left(1 + 8\right)\mathbf{k}=

7 + \mathbf{i} + 3\mathbf{j} + 9\mathbf{k}

El producto de cuaterniones queda definido por las mismas propiedades del producto de complejos, excepto la conmutatividad, que sólo se exige cuando alguno de los factores es escalar, y por las reglas del producto de las unidades imaginarias \mathbf{i}, \mathbf{j} y \mathbf{k}. Multipliquemos los mismos cuaterniones q_1 y q_2 del ejemplo anterior. Ojo al orden de los productos, que es muy importante:

q_1 q_2 = \left(5 + 2\mathbf{i} -3\mathbf{j} +\mathbf{k}\right)\left(2 - \mathbf{i} + 6\mathbf{j} + 8\mathbf{k}\right) =

5 \cdot 2 + 5 \left(-\mathbf{i}\right) + 5 \left(6\mathbf{j}\right) + 5 \left(8\mathbf{k}\right) + \left(2\mathbf{i}\right) 2 + \left(2\mathbf{i}\right) \left(-\mathbf{i}\right) + \left(2\mathbf{i}\right)\left(6\mathbf{j}\right) + \left(2\mathbf{i}\right)\left(8\mathbf{k}\right)+

\left(-3\mathbf{j}\right) 2 + \left(-3\mathbf{j}\right) \left(-\mathbf{i}\right)+\left(-3\mathbf{j}\right)\left(6\mathbf{j}\right)+\left(-3\mathbf{j}\right)\left(8\mathbf{k}\right)+\mathbf{k} 2 + \mathbf{k} \left(-\mathbf{i}\right) + \mathbf{k} \left(6\mathbf{j}\right) + \mathbf{k} \left(8\mathbf{k}\right) =

10 - 5\mathbf{i} + 30\mathbf{j} +40\mathbf{k} + 4\mathbf{i} + 2 + 12 \mathbf{k} - 16 \mathbf{j} - 6\matbf{j} -3\mathbf{k} + 18 - 24 \mathbf{i} + 2 \mathbf{k} - \mathbf{j} - 6 \mathbf{i} - 8 =

10+2+18-8 +\left(-5+4-24-6\right)\mathbf{i}+\left(30-16-6-1\right)\mathbf{j}+\left(40+12-3+2\right)\mathbf{k}=

22 -31 \mathbf{i} +7\mathbf{j} +51\mathbf{k}

Si hubiésemos multiplicado en orden cambiado, q_2 q_1, hubiéramos obtenido un resultado diferente, como podéis comprobar por vuestra cuenta:

q_2 q_1 = 22 + 29i +41j + 33k

Lo que sí tienen en común ambos productos es que tienen la misma parte escalar (que no depende del orden de multiplicación) y la misma normamódulo, concepto que definiremos dentro de muy poco.

 

Conjugado de un cuaternión

De forma análoga a los complejos, definimos el cuaternión conjugado de q, que indicaremos \widetilde{q}, como el cuaternión que tiene la misma parte escalar que q, y que su parte vectorial es la de misma de q cambiada de signo:

q = s + u \mathbf{i} + v \mathbf{j} + w \mathbf{k}

\widetilde{q} = s - u \mathbf{i} - v \mathbf{j} - w \mathbf{k}

El producto de cualquier cuaternión q por su conjugado \widetilde{q} conmuta siempre (q\widetilde{q}=\widetilde{q}q) y da como resultado un número real, que no es más que la suma de los cuadrados de las cuatro componentes (s, u, v, w) del cuaternión:

\left(s + u \mathbf{i} + v \mathbf{j} + w \mathbf{k}\right)\left(s - u \mathbf{i} - v \mathbf{j} - w \mathbf{k}\right) =

\left(s^2 - s u \mathbf{i} - s v \mathbf{j} - s w \mathbf{k} +

 u s \mathbf{i} -u u \mathbf{ii} -uv \mathbf{ij} - uw \mathbf{ik} +

v s \mathbf{j} - v u \mathbf{ji} - vv \mathbf{jj} - vw \mathbf{jk} +

ws \mathbf{k} - w u \mathbf{ki} -w v \mathbf{kj} -ww \mathbf{kk}\right)=

 s^2 + u^2 + v^2 + w^2 +\left(-su + su\right) \mathbf{i} + \left(-sv+sv\right) \mathbf{j} + \left(-sw+sw\right) \mathbf{k} +

\left(-uv +uv\right) \mathbf{k} + \left(uw-uw\right)\mathbf{j} + \left(-vw+wv\right)\mathbf{i} =

s^2 + u^2 + v^2 + w^2

Si cambiamos de signo las partes vectoriales, estaríamos calculando el producto en orden invertido (\widetilde{q}q). Como se ve, da lo mismo, ya que en el resultado final aparece la suma de los cuadrados de las componentes, que no varía al cambiar de signo u, v y w.

 

Norma o módulo de un cuaternión

La norma de un cuaternión es lo que intuitivamente entendemos como su ”longitud” en un espacio cuadridimensional. Indicaremos la norma de q como |q| y su valor será la raíz cuadrada del producto del cuaternión por su conjugado:

|q| = \sqrt{q\widetilde{q}}

De lo visto en el apartado anterior, para q = s + u\mathbf{i} + v\mathbf{j} + w\mathbf{k}:

|q| = |s + u \mathbf{i} + v \mathbf{j} + w \mathbf{k}| = \sqrt{s^2 +u^2 + v^2 + w^2}

 

Inverso de un cuaternión no nulo

Podemos encontrar el inverso q^{-1} de cualquier cuaternión q diferente de 0 (naturalmente, entendemos por 0 el cuaternión 0 + 0\mathbf{i} + 0\mathbf{j} + 0\mathbf{k}) dividiendo su conjugado por el cuadrado de su norma, análogamente a como se obtiene en el caso de los números complejos:

q^{-1} = \frac{\widetilde{q}}{q\widetilde{q}}[7]

Efectivamente, tal como debe ser, se comprueba que es el inverso tanto por la derecha:

q q^{-1} = q \frac{\widetilde{q}}{q\widetilde{q}} = \frac{q\widetilde{q}}{q\widetilde{q}} = 1

como por la izquierda:

q^{-1} q = \frac{\widetilde{q}}{q\widetilde{q}} q =\frac{\widetilde{q}q}{q\widetilde{q}} = 1

 

Los cuaterniones son un cuerpo  no conmutativo

Veamos las propiedades de la suma de cuaterniones, que son análogas a las propiedades de la suma de complejos, que vimos ya en la correspondiente entrada:

1) La suma de cuaterniones es asociativa, con lo cual no es necesario especificar con paréntesis cómo se hace la suma de más de dos cuaterniones:

\left(q_1+q_2\right) + q_3 = q_1 + \left(q_2 + q_3\right) = q_1 + q_2 + q_3  para todo q_1, q_2, q_3 de mathbb{H}

2) Existe un elemento neutro de la suma de cuaterniones, que es el 0, que sumado a cualquier cuaternión q vuelve a dar q:

q + 0 = 0 + q = q  para todo q de mathbb{H}

3) Para todo cuaternión q existe un cuaternión opuesto, que indicaremos como -q, y que sumado a q da el elemento neutro:

q + \left(-q\right) = \left(-q\right) + q = 0  para todo q de mathbb{H}

4) La suma de cuaterniones es conmutativa:

q_1 + q_2 = q_2 + q_1   para todos los q_1, q_2 de mathbb{H}

Todas estas propiedades definen a\left(\mathbb{H},+\right), el conjunto de los cuaterniones dotado de la operación suma, como un grupo conmutativo (o grupo abeliano).

Veamos ahora las propiedades del producto de cuaterniones:

1) Es asociativo:

\\left(q_1 q_2\\right) q_3 = q_1 \\left(q_2 q_3\\right) = q_1 q_2 q_3$  para todo q_1, q_2, q_3 de mathbb{H}

2) Existe un elemento neutro del producto (llamado elemento unidad), que es el 1, que multiplicado (tanto por la izquierda como por la derecha) por otro cuaternión q vuelve a dar q:

q 1 = 1 q = q  para todo q de mathbb{H}

3) Para todo cuaternión q \neq 0 existe un cuaternión inverso, que indicaremos como q^{-1}, y que multiplicado por q da el elemento unidad:

q q^{-1} = q^{-1} q = 1  para todo q \neq 0 de mathbb{H}

Por tanto \left(\mathbb{H}-\left\{0\right\},\cdot\right), el conjunto de los cuaterniones, con exclusión del 0, dotado de la operación producto, es un grupo no conmutativo, ya que, en general, q_1 q_2 \neq q_2 q_1.

Finalmente, el producto de cuaterniones es distributivo respecto a la suma, tanto por la derecha como por la izquierda:

\left(q_1 + q_2\right) q_3 = q_1 q_3 + q_2 q_3,  para todo q_1, q_2q_3 de mathbb{H}

q_1 \left(q_2 + q_3\right) = q_1 q_2 + q_1 q_3,  para todo q_1, q_2q_3 de mathbb{H}

La distributividad del producto, la estructura de mathbb{H} como grupo abeliano respecto a la suma de cuaterniones y la estructura de \left(\mathbb{H}-\left\{0\right\},\cdot\right) como grupo respecto al producto, definen a \left(\mathbb{H}, +, \cdot\right), el conjunto de los cuaterniones dotado de las operaciones suma y producto, como un cuerpo no conmutativo,  también llamado cuerpo asimétrico, o incluso, para los puristas que exigen la conmutatividad del producto para poder hablar de cuerpo propiamente dicho, un anillo de división.[8]

El propio Hamilton fue víctima de la fascinación que le produjeron los cuaterniones: a partir de aquel 16 de octubre de 1843 y hasta su muerte dedicó toda su actividad  a investigar y dar a conocer su nuevo descubrimiento, al que dio tanta importancia “como la que tuvo el descubrimiento de las fluxiones [por Newton] en el siglo XVII”.[9] Y efectivamente, los cuaterniones encontraron pronto aplicaciones en la Física: cuando James Clerk Maxwell descubrió sus célebres ecuaciones que unificaban los fenómenos electromagnéticos y lumínicos y a las que Pedro dedicó una serie, pronto las expresó en el lenguaje de los cuaterniones. En el próxima entrada veremos cómo los dos productos de vectores que seguramente conocéis, el producto escalar y el producto vectorial, se derivan del producto de cuaterniones.

  1. A los trece años Hamilton conocía tantas lenguas como años tenía: no sólo lenguas europeas modernas, sino también latín, griego clásico, árabe, sánscrito o persa, pero ya a los 8 años, tras ser derrotado por otro niño prodigio americano en una competición de cálculos matemáticos, había decidido dedicar más tiempo a las matemáticas que a las lenguas, que pasaron a ser desde entonces para él una actividad secundaria, para “relajarse” y desconectar de sus actividades serias… []

  2. Ya hacia 1830 había ensayado una generalización de los complejos a tres dimensiones, en la que los complejos generalizados se representaban en coordenadas esféricas, y el módulo del producto era el producto de módulos,  el ángulo polar (o colatitud) del producto era la suma de ángulos polares, y el ángulo azimutal (o longitud) era la suma de ángulos azimutales: un producto que ni siquiera era distributivo respecto a la suma… []

  3. Como veis, he decidido poner en negrita las unidades imaginarias. No es la elección habitual, tratándose de cuaterniones, pero creo que hace la lectura más fácil y es más sugerente para los que ya conozcáis la notación del álgebra vectorial tradicional. []

  4. De Valera, además de ser una de las figuras políticas más importantes y controvertidas de la historia de Irlanda, fue  matemático y estudió en profundidad los cuaterniones, por los que sentía una predilección especial. Según el propio de Valera, en 1916, mientras esperaba su fusilamiento junto a otros participantes en un alzamiento fracasado contra la corona británica (fusilamiento del que se salvó gracias, al menos en parte, al hecho de disponer de pasaporte estadounidense) reprodujo en la pared de su celda el graffiti de Hamilton, como homenaje a la aportación más famosa a las matemáticas de un irlandés. Este graffiti de de Valera tampoco se conserva, por lo que creo recordar. []

  5. O, como se dice más técnicamente, ortogonales. Una base de vectores unitarios y mutuamente ortogonales se dice que es una base ortonormal. []

  6. Que es, por cierto, la opuesta de la que seguía Hamilton, la regla de la mano izquierda. []

  7. Es posible expresar q^{-1} en forma de fracción debido a que en el denominador tenemos q\widetilde{q}, que es un número real, y cuyo inverso es también real y conmuta con cualquier cosa. Pero en general, para dividir dos cuaterniones arbitrarios q_1 y q_2, hay que elegir entre postdividir, haciendo q_1 q_2^{-1}, o bien predividir, haciendo q_2^{-1}q_1, ya que el orden del producto importa y en general no tiene sentido escribir  cosas como \frac{q_1}{q_2}, en donde  no queda claro el orden en que se multiplica por el inverso. []

  8. Un anillo es la estructura algebraica que tiene un conjunto que tiene estructura de grupo aditivo abeliano (suma asociativa, con elemento neutro y elemento opuesto), estructura de semigrupo multiplicativo (sólo asociatividad del producto), y la multiplicación es distributiva respecto a la suma por los dos lados. Si además existe elemento neutro de la multiplicación distinto del neutro de la suma, se dice que el anillo es unitario. Si además, todo elemento distinto de 0 es invertible, el anillo unitario pasa a anillo de división, y sólo le falta la conmutatividad del producto para ser declarado cuerpo propiamente dicho. []

  9. No deja de ser una lástima, porque las aportaciones de Hamilton al tema de los cuaterniones de ahí en adelante no fueron tan significativas como las que hizo en otros terrenos, como en la mecánica clásica o la óptica. []


Sobre el autor:

jlese (Juan Leseduarte)

Soy licenciado en Ciencias Físicas y profesor de Matemáticas de Educación Secundaria en excedencia. Además de la Física y de las Matemáticas, me gusta la música antigua y trastear en el sistema operativo GNU/Linux. También intento que mis conocimientos de alemán no se oxiden.
 

{ 1 } Comentarios

  1. Gravatar adpp | 23/06/2018 at 05:58 | Permalink

    Muy buena entrada divulgativa.

Escribe un comentario

Tu dirección de correo no es mostrada. Los campos requeridos están marcados *

Al escribir un comentario aquí nos otorgas el permiso irrevocable de reproducir tus palabras y tu nombre/sitio web como atribución.