En álgebra , los números duales son un sistema numérico hipercomplejo introducido por primera vez en el siglo XIX. Son expresiones de la forma a + bε , donde a y b son números reales , y ε es un símbolo que se toma para satisfacer.
Los números duales se pueden agregar por componentes y multiplicar por la fórmula
que se deriva de la propiedad ε 2 = 0 y del hecho de que la multiplicación es una operación bilineal .
Los números duales forman un álgebra conmutativa de dimensión dos sobre los reales, y también un anillo local artiniano . Son uno de los ejemplos más simples de un anillo que tiene elementos nilpotentes distintos de cero .
Historia
Los números duales fueron introducidos en 1873 por William Clifford , y fueron utilizados a principios del siglo XX por el matemático alemán Eduard Study , quien los utilizó para representar el ángulo dual que mide la posición relativa de dos líneas oblicuas en el espacio. El estudio definió un ángulo dual como ϑ + dε , donde ϑ es el ángulo entre las direcciones de dos líneas en un espacio tridimensional yd es una distancia entre ellas. La generalización n- dimensional, el número de Grassmann , fue introducida por Hermann Grassmann a finales del siglo XIX.
Definición en álgebra abstracta
En álgebra abstracta , el álgebra de números duales a menudo se define como el cociente de un anillo polinomial sobre los números reales.por el ideal principal generado por el cuadrado de lo indeterminado , es decir
Representación en álgebras
El número dual puede ser representado por la matriz . Esto funciona porque la matriz cuadrados a la matriz cero, similar al número dual .
Hay otras formas de representar números duales como matrices. Consideremos solo el caso dematrices reales. Suponiendo que el número dual está representado por la matriz de identidad, entonces puede ser representado por cualquier matriz de la forma
dónde excepto cuando
Diferenciación
Una aplicación de los números duales es la diferenciación automática . Considere los números duales reales anteriores. Dado cualquier polinomio real P ( x ) = p 0 + p 1 x + p 2 x 2 + ... + p n x n , es sencillo extender el dominio de este polinomio de los reales a los números duales. Entonces tenemos este resultado:
donde P ' es la derivada de P .
De manera más general, podemos extender cualquier función real (analítica) a los números duales mirando su serie de Taylor :
ya que todos los términos que implican ε 2 o más son trivialmente 0 según la definición de ε .
Al calcular las composiciones de estas funciones sobre los números duales y al examinar el coeficiente de ε en el resultado, encontramos que hemos calculado automáticamente la derivada de la composición.
Un método similar funciona para polinomios de n variables, utilizando el álgebra exterior de un espacio vectorial n- dimensional.
Geometría
El "círculo unitario" de números duales consiste en aquellos con a = ± 1 ya que estos satisfacen zz * = 1 donde z * = a - bε . Sin embargo, tenga en cuenta que
por lo que el mapa exponencial aplicado al eje ε cubre solo la mitad del "círculo".
Sea z = a + bε . Si a ≠ 0 y m =B/a, entonces z = a (1 + mε ) es la descomposición polar del número dual z , y la pendiente m es su parte angular. El concepto de rotación en el plano numérico dual es equivalente a un mapeo de corte vertical ya que (1 + pε ) (1 + qε ) = 1 + ( p + q ) ε .
En el espacio y el tiempo absolutos la transformación galileana
es decir
relaciona el sistema de coordenadas en reposo con un marco de referencia móvil de velocidad v . Con números duales t + xε que representan eventos a lo largo de una dimensión espacial y temporal, la misma transformación se efectúa con la multiplicación por 1 + vε .
Ciclos
Dados dos números duales p y q , determinan el conjunto de z tal que la diferencia en las pendientes ( "ángulo de galileo") entre las líneas de z a p y q es constante. Este conjunto es un ciclo en el plano numérico dual; dado que la ecuación que establece la diferencia en las pendientes de las líneas en una constante es una ecuación cuadrática en la parte real de z , un ciclo es una parábola . La "rotación cíclica" del plano numérico dual ocurre como un movimiento de su línea proyectiva . Según Isaak Yaglom , [1] : 92–93 el ciclo Z = { z : y = αx 2 } es invariante bajo la composición de la cizalla
con la traducción
División
La división de números duales se define cuando la parte real del denominador no es cero. El proceso de división es análogo a la división compleja en que el denominador se multiplica por su conjugado para cancelar las partes no reales.
Por lo tanto, para dividir una ecuación de la forma
multiplicamos la parte superior e inferior por el conjugado del denominador:
que se define cuando c es distinto de cero .
Si, por otro lado, c es cero mientras que d no lo es, entonces la ecuación
- no tiene solución si a es distinto de cero
- de lo contrario, se resuelve con cualquier número dual de la forma B/D+ yε .
Esto significa que la parte no real del "cociente" es arbitraria y, por lo tanto, la división no está definida para números duales puramente no reales. De hecho, son (trivialmente) divisores cero y forman claramente un ideal del álgebra asociativa (y por lo tanto el anillo ) de los números duales.
Aplicaciones en mecánica
Los números duales encuentran aplicaciones en mecánica , especialmente para la síntesis cinemática. Por ejemplo, los números duales permiten transformar las ecuaciones de entrada / salida de un enlace esférico de cuatro barras, que incluye solo uniones rotoides, en un mecanismo espacial de cuatro barras (rotoid, rotoid, rotoid, cilíndrico). Los ángulos dualizados están formados por una parte primitiva, los ángulos, y una parte dual, que tiene unidades de longitud. [2] Consulte la teoría del tornillo para obtener más información.
Generalizaciones
Esta construcción se puede realizar de manera más general: para un anillo conmutativo R se pueden definir los números duales sobre R como el cociente del anillo polinomial R [ X ] por el ideal ( X 2 ) : la imagen de X tiene entonces un cuadrado igual a cero y corresponde al elemento ε de arriba.
Módulo arbitrario de elementos de cuadrado cero
Hay una construcción más general de los números duales. Dado un anillo conmutativo y un modulo , hay un anillo llamado el anillo de números duales que tiene las siguientes estructuras:
Es el -módulo con la multiplicación definida por por y
El álgebra de números duales es el caso especial donde y
Superespacio
Los números duales encuentran aplicaciones en la física , donde constituyen uno de los ejemplos no triviales más simples de un superespacio . De manera equivalente, son supernúmeros con un solo generador; los supernúmeros generalizan el concepto en n generadores distintos ε , cada uno de los cuales es anti-conmutación, posiblemente llevando n al infinito. Superspace generaliza los supernúmeros ligeramente, al permitir múltiples dimensiones de desplazamiento.
La motivación para introducir números duales en la física se deriva del principio de exclusión de Pauli para fermiones. La dirección a lo largo de ε se denomina dirección "fermiónica" y el componente real se denomina dirección "bosónica". La dirección fermiónica recibe este nombre del hecho de que los fermiones obedecen al principio de exclusión de Pauli: bajo el intercambio de coordenadas, la función de onda de la mecánica cuántica cambia de signo y, por tanto, desaparece si se juntan dos coordenadas; esta idea física es capturada por la relación algebraica ε 2 = 0 .
Línea proyectiva
Grünwald [3] y Corrado Segre propusieron la idea de una línea proyectiva sobre números duales . [4]
Así como la esfera de Riemann necesita un punto del polo norte en el infinito para cerrar la compleja línea proyectiva , una línea en el infinito logra cerrar el plano de números duales a un cilindro . [1] : 149–153
Suponga que D es el anillo de números duales x + yε y U es el subconjunto con x ≠ 0 . Entonces T es el grupo de unidades de D . Sea B = {( a , b ) ∈ D × D : a ∈ U o b ∈ U} . Una relación se define en B de la siguiente manera: ( a , b ) ~ ( c , d ) cuando hay una u en U tal que ua = c y ub = d . Esta relación es de hecho una relación de equivalencia . Los puntos de la línea proyectiva sobre D son clases de equivalencia en B bajo esta relación: P ( D ) = B / ~ . Se representan con coordenadas proyectivas [ a , b ] .
Considere la inclusión D → P ( D ) por z → [ z , 1] . Entonces los puntos [1, n ] , para n 2 = 0 , están en P ( D ) pero no son la imagen de ningún punto debajo de la incrustación. P ( D ) se mapea en un cilindro por proyección : tome un cilindro tangente al plano numérico doble en la línea { yε : y ∈ ℝ} , ε 2 = 0 . Ahora tome la línea opuesta en el cilindro para el eje de un lápiz de planos. Los planos que intersecan el plano numérico dual y el cilindro proporcionan una correspondencia de puntos entre estas superficies. El plano paralelo al plano numérico dual corresponde a los puntos [1, n ] , n 2 = 0 en la línea proyectiva sobre números duales.
Ver también
- Análisis infinitesimal suave
- Teoría de la perturbación
- Teoría del tornillo
- Número complejo dual
- Transformaciones de Laguerre
- Número de Grassmann
Referencias
- ↑ a b Yaglom, IM (1979). Una geometría no euclidiana simple y su base física . Saltador. ISBN 0-387-90332-1. Señor 0520230 .
- ^ Ángeles, Jorge (1998), Ángeles, Jorge; Zakhariev, Evtim (eds.), "La aplicación del álgebra dual al análisis cinemático", Métodos computacionales en sistemas mecánicos: análisis, síntesis y optimización de mecanismos, Serie ASI de la OTAN, Springer Berlin Heidelberg, 161 , págs. 3-32, doi : 10.1007 / 978-3-662-03729-4_1 , ISBN 9783662037294
- ^ Grünwald, Josef (1906). "Über duale Zahlen und ihre Anwendung in der Geometrie". Monatshefte für Mathematik . 17 : 81-136. doi : 10.1007 / BF01697639 . S2CID 119840611 .
- ^ Segre, Corrado (1912). "XL. Le geometrie proiettive nei campi di numeri duali". Opere .También en Atti della Reale Accademia della Scienze di Torino 47 .
Otras lecturas
- Bencivenga, Ulderico (1946). "Sulla rappresentazione geometrica delle algebre doppie dotate di modulo". Atti della Reale Accademia delle Scienze y Belle-Lettere di Napoli . 3. 2 (7). Señor 0021123 .
- Clifford, William Kingdon (1873). "Bosquejo preliminar de Bi-cuaterniones". Actas de la London Mathematical Society . 4 : 381–395.
- Harkin, Anthony A .; Harkin, Joseph B. (2004). "Geometría de números complejos generalizados" (PDF) . Revista de Matemáticas . 77 (2): 118-129. doi : 10.1080 / 0025570X.2004.11953236 . S2CID 7837108 .
- Miller, William; Boehning, Rochelle (1968). "Números gaussianos, parabólicos e hiperbólicos". El profesor de matemáticas . 61 (4): 377–382.
- Estudio, Eduard (1903). Geometrie der Dynamen . pag. 196.De Cornell Historical Mathematical Monographs en la Universidad de Cornell .
- Yaglom, Isaak (1968). Números complejos en geometría . Prensa académica . pag. 12 –18.
- Brand, Louis (1947). Análisis vectorial y tensorial . Nueva York: John Wiley & Sons.
- Fischer, Ian S. (1999). Métodos de doble número en cinemática, estática y dinámica . Boca Ratón: CRC Press.
- Bertram, W. (2008). Geometría diferencial, grupos de mentiras y espacios simétricos sobre campos y anillos de base generales, Memorias de la AMS vol. 192, n. 900 . Providence, Rhode Island: Amer. Matemáticas. Soc.
- " Espacio tangente " " superior" . math.stackexchange.com .