Todo se reducirá a cómo se define la multiplicación de números complejos. Por supuesto, en un nivel, es solo el resultado de suponer que las leyes estándar de álgebra como la ley distributiva aún se mantienen y aplicarlas al producto de dos expresiones de la forma [math] a + bi [/ math]. Entonces, en ese sentido, no parece gran cosa.
Pero es un gran problema, porque resulta que [math] \ mathbb {C} [/ math] con esta multiplicación en particular es la forma natural de incrustar rotaciones bidimensionales en un álgebra. Esto tiene su máxima expresión en la fórmula de Euler, que le dice que el mapa exponencial del álgebra de Lie [matemática] \ mathbb {R} [/ math] al grupo de Lie [math] SO (2) [/ math] de rotaciones es precisamente la función exponencial compleja , definida simplemente por la serie de potencia familiar (o, si lo prefiere, por la fórmula de Euler).
Esta es una pieza de un patrón más amplio. Por ejemplo, uno puede considerar el álgebra de Lie [matemáticas] \ mathbb {R} ^ 3 [/ matemáticas], equipado con el producto cruzado, y el grupo de Lie [matemáticas] SU (2) [/ matemáticas] (o [matemáticas] SO (3) [/ matemáticas]). El mapa exponencial en este caso conduce al uso de cuaterniones para representar rotaciones tridimensionales, y en particular proporciona una forma elegante de interpolar entre dos rotaciones de este tipo.
- ¿En qué condiciones es (G, *) un grupo, donde [math] \ forall a, b \ en G: a * b = ab [/ math]?
- ¿Cuál es la psicología básica detrás de las matemáticas?
- En matemáticas, ¿cuál es el significado de [matemáticas] \ exp (x) [/ matemáticas]?
- ¿Cuántas cajas con dimensiones de 40 cm por 45 cm por 60 cm caben en un contenedor con dimensiones de 5,902 m por 2,350m por 2,392m?
- ¿Cuál es la importancia de la teoría de conjuntos en matemáticas discretas?
Sin embargo, a diferencia de los cuaterniones, los números complejos ocupan el punto ideal de ser un campo cerrado algebraicamente. Los cuaterniones no disfrutan de tal estado y, de hecho, son un anillo de división no conmutativo. Hay aún más análogos de dimensiones superiores, como los octoniones, que son no conmutativos y no asociativos. Creo que es importante observar estos casos porque muestra que la respuesta no puede ser tan simple como “más grados de libertad”, como sugiere una de las citas.
Es realmente esta conexión fundamental entre números complejos y rotaciones bidimensionales, junto con las propiedades algebraicas extremadamente fuertes del campo, que se combinan para dar al análisis complejo su estado único.