No fue asi. Nadie dijo que creáramos un par de productos usando senos y cosenos.
William Rowan Hamilton (1805-1865) inventó los cuaterniones. Primero buscó una estructura algebraica en 3 espacios para corresponder a la estructura de números complejos en 2 espacios. Encontró algo. En lugar de simplemente agregar [math] i [/ math] a los números reales para obtener [math] \ mathbb C, [/ math] agregó [math] i, j, [/ math] y [math] k. [/ matemáticas]
El Panteón en la Biblioteca – Los Bustos Escultóricos de Long Room Trinity College, Dublín
- Cómo demostrar que (AX (BXC)) = B (AC) -C (AB)
- ¿Qué significa la siguiente declaración?
- Cómo formar un vector unitario
- ¿Cuál es el rizo de un vector?
- ¿Cuáles son los beneficios de calcular el vector propio de una matriz de Hesse en el procesamiento de imágenes?
Los cuaterniones forman un campo de inclinación, también llamado anillo de división, [math] \ mathbb H. [/ Math] Cada quaternion es una combinación lineal de [math] 1, i, j, k [/ math]
[matemáticas] a = a_0 + a_1i + a_2j + a_3k [/ matemáticas]
donde los coeficientes son números reales. Un cuaternión que es solo un número real se llama escalar , mientras que un cuaternión que no tiene una parte real se llama vector. Los vectores corresponden a puntos en 3 espacios.
Los símbolos [matemática] i, j, [/ matemática] y [matemática] k. [/ Matemática] satisfacen
[matemáticas] i ^ 2 = j ^ 2 = k ^ 2 = -1 [/ matemáticas]
[matemáticas] ij = k, [/ matemáticas] [matemáticas] jk = i, [/ matemáticas] [matemáticas] ki = j [/ matemáticas]
[matemáticas] ji = -k, [/ matemáticas] [matemáticas] kj = -i, [/ matemáticas] [matemáticas] ik = -j [/ matemáticas]
Esto no conduce a una multiplicación conmutativa, pero tenga en cuenta que si [matemática] a [/ matemática] es un escalar, entonces [matemática] a [/ matemática] conmutará con cualquier cuaternión [matemática] b [/ matemática].
La suma y la resta son coordinadas, al igual que en los números complejos [math] \ mathbb C [/ math]. Aquí hay multiplicación
[matemáticas] (a_0 + a_1i + a_2j + a_3k) (b_0 + b_1i + b_2j + b_3k) = [/ matemáticas]
[matemáticas] (a_0b_0 – a_1b_1 – a_2b_2 – a_3b_3) \; + [/ matemáticas]
[matemáticas] (a_0b_1 + a_1b_0 + a_2b_3 – a_3b_2) i \; + [/ matemáticas]
[matemáticas] (a_0b_2 – a_1b_3 + a_2b_0 + a_3b_1) j \; + [/ matemáticas]
[matemáticas] (a_0b_3 + a_1b_2 – a_2b_1 – a_3b_0) k [/ matemáticas]
Todas las propiedades habituales de suma, resta y multiplicación se mantienen en H excepto una. Multiplicación en anticommutativo; si [math] a [/ math] yb son dos vectores, es decir, cuaterniones sin parte real, entonces [math] ab = -ba. [/ math]
Los cuateriones también tienen conjugación. La notación estándar para denotar el conjugado de un cuaternión es colocar una barra sobre él. Se define por
[matemáticas] \ overline {a_0 + a_1i + a_2j + a_3k} = a_0 -a_1i-a_2j-a_3k [/ matemáticas]
La norma o el valor absoluto de un cuaternión [matemática] a [/ matemática] se define por
[matemáticas] | a | ^ 2 = \ overline {a} a. [/ matemáticas]
Es un número real no negativo, por lo que tiene una raíz cuadrada [matemática] | a |. [/ Matemática]
La división se puede definir en términos de conjugación y valor absoluto
[matemáticas] \ dfrac {1} {a} = \ dfrac {\ overline a} {| a | ^ 2} [/ matemáticas]
Con estas operaciones [math] \ mathbb H [/ math] tiene todas las propiedades habituales de un campo, excepto que la multiplicación no es conmutativa.
Ahora, dados dos vectores [matemática] a [/ matemática] y [matemática] b, [/ matemática] su producto [matemática] ab [/ matemática] tiene dos partes, una parte escalar y una parte vectorial. Si denotamos la parte del vector como [matemáticas] a \ veces b [/ matemáticas] y la parte escalar de negación como [matemáticas] a \ cdot b [/ matemáticas], entonces
[matemáticas] ab = a \ veces b – a \ cdot b [/ matemáticas]
De ahí proviene nuestro producto cruzado y de puntos habitual.
¿Dónde entran los senos y cosenos? Ahora. Pero no iré allí ya que sabes todo sobre ellos.
En cambio, le daré un problema que puede resolver usando quaternions. Proviene de Kelland and Tait’s 1873 Introduction to Quaternions .
Si se dibujan tres vectores mutuamente perpendiculares desde un punto a un plano, la suma de los recíprocos de los cuadrados de sus longitudes es independiente de sus direcciones.
[de mis apuntes de clase – DEJ]