fbpx
Wikipedia

Cuaternión dual

En matemáticas, los cuaterniones duales constituyen un álgebra isomorfa al álgebra de Clifford de una forma cuadrática degenerada.

Placa en Broom Bridge (Dublín), que conmemora la invención de los cuaterniones por Hamilton

En teoría de anillos, los cuaterniones duales son anillos construidos de la misma manera que los cuaterniones, excepto porque usan números duales en lugar de números reales como coeficientes. Un cuaternión dual puede representarse en la forma p + ε q, donde p y q son cuaterniones ordinarios y ε es la unidad dual (que satisface que εε = 0) y conmuta con cada elemento del álgebra. A diferencia de los cuaterniones, no forman un anillo de división.

En mecánica, los cuaterniones duales se aplican como números para representar transformaciones rígidas en tres dimensiones.[1]​ Un cuaternión dual es un par ordenado de cuaterniones  = (A, B), construido a partir de ocho parámetros reales. Debido a que las transformaciones rígidas tienen seis grados reales de libertad, los cuaterniones dobles incluyen dos restricciones algebraicas para esta aplicación.

De manera similar a la forma en que las rotaciones en el espacio 3D pueden representarse por cuaterniones de longitud unitaria, los movimientos rígidos en el espacio 3D pueden representarse por cuaterniones duales de longitud unitaria. Este hecho se usa en cinemática teórica (véase McCarthy[2]​), y en aplicaciones a 3D de computación gráfica, robótica y visión artificial.[3]

Historia

William Rowan Hamilton introdujo los cuaterniones[4][5]​ en 1843, y en 1873 W. K. Clifford obtuvo una amplia generalización de estos números, a los que llamó "bicuaterniones", [6][7]​, que es un ejemplo de lo que ahora se llama álgebra de Clifford.[2]

En 1898 Alexander McAulay usó Ω con la propiedad de que Ω2 = 0 para generar el álgebra de los cuaterniones duales.[8]​ Sin embargo, su terminología de "octoniones" no se mantuvo, ya que los octoniones de hoy son otra álgebra.

En Rusia, Aleksandr Kotelnikov[9]​ desarrolló vectores duales y cuaterniones duales para su uso en el estudio de la mecánica.

En 1891, Eduard Study se dio cuenta de que esta álgebra asociativa era ideal para describir el grupo de movimientos en el espacio tridimensional. Desarrolló aún más la idea en "Geometrie der Dynamen" en 1901.[10]Bartel Leendert van der Waerden llamó a la estructura "Bicuaterniones de Study", una de las tres álgebras de ocho dimensiones denominadas bicuaterniones.

Fórmulas

Para describir operaciones con cuaterniones duales, es útil considerar primero los cuaterniones ordinarios.[11]

Un cuaternión es una combinación lineal de los elementos básicos 1, i, j y k. La regla del producto de Hamilton para i, j y k a menudo se escribe como

 

Calculando i ( i j k ) = −j k = −i se obtiene j k = i y ( i j k ) k = −i j = −k o i j = k. Ahora, debido a que j ( j k ) = j i = −k, se observa que de aplicar este producto resulta i j = −j i, lo que vincula los cuaterniones a las propiedades de los determinantes.

Una forma conveniente de trabajar con el producto de cuaterniones es escribir un cuaternión como la suma de un escalar y un vector, es decir, A = a0 + A, donde a0 es un número real y A = A1 i + A2 j + A3 k es un vector tridimensional. Las operaciones de producto escalar y vectorial se pueden usar entonces para definir el producto de dos cuaterniones A = a0 + A y C = c0 + C como

 

Un cuaternión dual generalmente se describe como un cuaternión con números duales como coeficientes. Un número dual es un par ordenado â = ( a, b ). Para sumar dos números duales basta sumar sus componentes entre sí; y para multiplicarlos se sigue la regla de que â ĉ = ( a, b ) ( c, d ) = (a c, a d + b c). Los números duales a menudo se escriben en la forma â = a + εb, donde ε es la unidad dual que conmuta con i, j, k y tiene la propiedad ε2 = 0.

El resultado es que un cuaternión dual es un par ordenado de cuaterniones  = ( A, B ). Dos cuaterniones duales se suman componente a componente y se multiplican por la regla,

 

Es conveniente escribir un cuaternión dual como la suma de un escalar dual y un vector dual, Â = â0 + A, donde â0 = ( a, b ) y A = ( A, B ) es el vector dual que define un helicopar. Esta notación permite escribir el producto de dos cuaterniones duales como

 

Adición

La adición de cuaterniones duales se define por componentes, de modo que dado

 

y

 

entonces

 

Multiplicación

La multiplicación de dos cuaterniones duales se deduce de las reglas de la multiplicación para las componentes de los cuaterniones i, j, k y de la multiplicación conmutativa por la unidad dual ε. En particular, dado

 

y

 

entonces

 

Téngase en cuenta que no hay un término BD, porque la definición de números duales implica que ε2 = 0.

Esto facilita la tabla de multiplicación (téngase en cuenta que el orden de multiplicación es fila por columna):

Tabla de multiplicar cuaterniones duales unitarios
× 1 i j k ε εi εj εk
1 1 i j k ε εi εj εk
i i −1 k j εi −ε εk −εj
j j k −1 i εj −εk −ε εi
k k j i −1 εk εj −εi −ε
ε ε εi εj εk 0 0 0 0
εi εi −ε εk −εj 0 0 0 0
εj εj −εk −ε εi 0 0 0 0
εk εk εj −εi −ε 0 0 0 0

Conjugado

El conjugado de un cuaternión dual es la extensión del conjugado de un cuaternión, es decir

 

Al igual que con los cuaterniones, el conjugado del producto de los cuaterniones duales, Ĝ = ÂĈ, es el producto de sus conjugados en orden inverso.

 

Es útil introducir las funciones Sc(∗) y Vec(∗) que seleccionan las partes escalar y vectorial de un cuaternión, o las partes escalar dual y vector dual de un cuaternión dual. En particular, si  = â0 + A, entonces

 

Esto permite la definición del conjugado de  como

 

o,

 

El producto de un cuaternión dual con sus productos conjugados

 

es un escalar dual, correspondiente con la magnitud al cuadrado del cuaternión dual.

Conjugado de un número dual

Un segundo tipo de conjugado de un cuaternión dual se obtiene tomando el conjugado de número dual, dado por

 

Los conjugados de cuaternión y número dual se pueden combinar en una tercera forma de conjugado dada por

 

En el contexto de los cuaterniones duales, el término "conjugado" puede usarse para referirse al conjugado del cuaternión, al conjugado del número dual, o a ambos.

Norma

La norma de un cuaternión dual | Â | se calcula usando el conjugado para calcular | Â | = Plantilla:Radic. Este es un número dual llamado magnitud del cuaternión dual. Los cuaterniones duales con | Â | = 1 se denominan cuaterniones duales unitarios.

Cuaterniones duales de magnitud 1 se utilizan para representar desplazamientos euclidianos espaciales. Obsérvese que el requisito de que  Â* = 1 introduce dos restricciones algebraicas en los componentes de Â, es decir

 

Inverso

Si p + ε q es un cuaternión dual y p no es cero, entonces el cuaternión dual inverso viene dado por

p−1 (1 − ε q ' p−1).

Por lo tanto, los elementos del subespacio { ε q : q ∈ H } no tienen inversos. Este subespacio se llama ideal en teoría de anillos. Resulta ser el maximal ideal único del anillo de los números duales.

La unidad del anillo de los números duales consta de números que no están en el propio ideal. Los números duales forman un anillo local, ya que existe un ideal máximo único. El grupo de las unidades es un grupo de Lie y puede estudiarse usando la aplicación exponencial. Los cuaterniones duales se han utilizado para estudiar las transformaciones en el grupo euclídeo. Un elemento general se puede describir como una transformación helicoidal.

Cuaterniones duales y desplazamientos espaciales

Un beneficio de la formulación de los cuaterniones duales relativa a la composición de dos desplazamientos espaciales DB = ([RB], b) y DA = ([RA], a) es que el cuaternión dual resultante produce directamente el eje helicoidal y el ángulo doble del desplazamiento compuesto DC = DBDA.

En general, el cuaternión dual asociado con un desplazamiento espacial D = ([A], d) se construye a partir de su eje helicoidal S = (SV) y el ángulo doble (φd) donde φ es la rotación y d la proyección sobre este eje, que define el desplazamiento D. El cuaternión dual asociado está dado por

 

Sea la composición del desplazamiento DB con DA siendo el desplazamiento DC = DBDA. El eje del helicopar y el ángulo doble de DC se obtienen del producto de los cuaterniones duales DA y DB, dados por

 

Es decir, el desplazamiento compuesto DC = DBDA tiene el cuaternión dual asociado dado por

 

Desarrollando este producto, se obtiene

 

Dividiendo ambos lados de esta ecuación por la identidad, resulta

 

para obtener

 

Esta es la fórmula de Rodrigues para el eje del movimiento helicoidal de un desplazamiento compuesto definido en términos de los ejes del resultado helicoidal de los dos desplazamientos. Esta fórmula se dedujo en 1840.[12]

Los tres ejes helicoidales A, B y C forman un triángulo espacial y los ángulos dobles en estos vértices formados por las normales comunes que forman los lados de este triángulo están directamente relacionados con los ángulos dobles de los tres desplazamientos espaciales.

Forma matricial de la multiplicación de cuaterniones duales

La representación matricial del producto de cuaterniones es conveniente para programar sus cálculos utilizando álgebra matricial, lo que también es cierto para las operaciones con cuaterniones duales.

El producto de cuaterniones AC es una transformación lineal por el operador A de los componentes del cuaternión C, y por lo tanto, existe una representación matricial de A que opera sobre el vector formado a partir de las componentes de C.

Introduciendo los componentes del cuaternión C = c0 + C en la matriz C = (C1, C2, C3, c0), se observa que los componentes de la parte del vector del cuaternión se enumeran primero y el escalar se enumera en último lugar. Esta es una elección arbitraria, pero una vez que se selecciona esta convención, se debe cumplir sistemáticamente.

El producto de cuaterniones AC ahora puede representarse como el producto matricial

 

El producto AC también puede ser visto como una operación de C sobre las componentes de A, en cuyo caso se tiene que

 

El producto del cuaternión dual  = (A, B) (C, D) = (AC, AD + BC) puede formularse como una operación matricial de la siguiente manera. Introduciendo los componentes de Ĉ en la matriz de ocho dimensiones Ĉ = (C1, C2, C3, c0, D1, D2, D3, d0), se tiene que el producto de la matriz de 8x8 proporciona Ĉ

 

Como se vio para los cuaterniones, el producto ÂĈ puede considerarse como la operación de Ĉ sobre el vector de coordenadas Â, lo que significa que ÂĈ también puede formularse como

 

Más sobre los desplazamientos espaciales

El cuaternión dual de un desplazamiento D = ([A], d) se puede construir a partir del cuaternión S = cos (φ/2) + sin (φ/2) S que define la rotación [A] y el cuaternión del vector construido a partir del vector de traslación d, dado por D = d1i + d2j + d3k. Usando esta notación, el cuaternión dual para el desplazamiento D = ([A], d) viene dado por

 

Sean las coordenadas plückerianas de una recta en la dirección x que atraviesa un punto p de un cuerpo en movimiento y sus coordenadas en el marco de referencia fijo situado en la dirección X a través del punto P dado por,

 

Entonces, el cuaternión dual del desplazamiento de este cuerpo transforma las coordenadas plückerianas en el marco móvil en coordenadas plückerianas en el marco fijo mediante la fórmula

 

Usando la forma matricial del producto de cuaterniones duales, esto se convierte en

 

Este cálculo se realiza fácilmente mediante operaciones matriciales.

Cuaterniones duales y transformaciones homogéneas 4 × 4

Puede ser útil, especialmente en movimientos de sólidos rígidos, representar cuaterniones duales como matrices homogéneas. Como se indicó anteriormente, un cuaternión dual se puede escribir como

 

donde r y d son ambos cuaterniones. El cuaternión r se conoce como la parte real o rotacional y el cuaternión d se conoce como la parte dual o de desplazamiento.

La parte de rotación puede ser dada por

 

donde   es el ángulo de rotación sobre la dirección dada por el vector unitario  . La parte de desplazamiento se puede escribir como

 .

El equivalente en forma de cuaternión dual de un vector 3D es

 

y su transformación por   viene dada por [13]

 .

Estos cuaterniones duales (o en realidad sus transformaciones en vectores 3D) pueden representarse mediante la matriz de transformación homogénea

 

donde la matriz ortogonal de 3 × 3 viene dada por

 

Para el vector 3D

 

la transformación por T está dada por

 

Epónimos

Dado que tanto Eduard Study como William Kingdon Clifford usaron y escribieron sobre cuaterniones duales, a veces los autores se refieren a los cuaterniones duales como "bicuaterniones de Study" o como "bicuaterniones de Clifford". El último epónimo también se ha utilizado para referirse a los bicuaterniones-divididos. El artículo de Joe Rooney vinculado a continuación muestra los argumentos de un partidario de W.K. Clifford en esta pugna. Dado que las afirmaciones de Clifford y de Study están en disputa, es conveniente usar la designación actual de "cuaternión dual" para evitar conflictos.

Véase también

Referencias

  1. A.T. Yang, Application of Quaternion Algebra and Dual Numbers to the Analysis of Spatial Mechanisms, Ph.D thesis, Columbia University, 1963.
  2. J. M. McCarthy, An Introduction to Theoretical Kinematics, pp. 62–5, MIT Press 1990.
  3. . Archivado desde el original el 22 de septiembre de 2017. Consultado el 14 de octubre de 2019. 
  4. W. R. Hamilton, "On quaternions, or on a new system of imaginaries in algebra," Phil. Mag. 18, installments July 1844 – April 1850, ed. by D. E. Wilkins (2000)
  5. W. R. Hamilton, Elements of Quaternions, Longmans, Green & Co., London, 1866
  6. W. K. Clifford, "Preliminary sketch of bi-quaternions, Proc. London Math. Soc. Vol. 4 (1873) pp. 381–395
  7. W. K. Clifford, Mathematical Papers, (ed. R. Tucker), London: Macmillan, 1882.
  8. Alexander McAulay (1898) Octonions: a development of Clifford's Biquaternions, link from Internet Archive
  9. A. P. Kotelnikov (1895) Screw calculus and some applications to geometry and mechanics, Annal. Imp. Univ. Kazan
  10. Eduard Study (1901) Geometrie der Dynamen, Teubner, Leipzig
  11. O. Bottema and B. Roth, Theoretical Kinematics, North Holland Publ. Co., 1979
  12. Rodrigues, O. (1840), Des lois géométriques qui régissent les déplacements d’un système solide dans l’espace, et la variation des coordonnées provenant de ses déplacements considérés indépendamment des causes qui peuvent les produire, Journal de Mathématiques Pures et Appliquées de Liouville 5, 380–440.
  13. Dual Quaternions for Rigid Transformation Blending, p. 4.

Bibliografía

  • A.T. Yang (1963) Application of quaternion algebra and dual numbers to the analysis of spatial mechanisms, Ph.D thesis, Columbia University.
  • A.T. Yang (1974) "Calculus of Screws" in Basic Questions of Design Theory, William R. Spillers, editor, Elsevier, pages 266 to 281.
  • J.M. McCarthy (1990) An Introduction to Theoretical Kinematics, pp. 62–5, MIT Press ISBN 0-262-13252-4.
  • L. Kavan, S. Collins, C. O'Sullivan, J. Zara (2006) Dual Quaternions for Rigid Transformation Blending, Technical report, Trinity College Dublin.
  • Joe Rooney William Kingdon Clifford, Department of Design and Innovation, the Open University, London.
  • Joe Rooney (2007) "William Kingdon Clifford", in Marco Ceccarelli, Distinguished figures in mechanism and machine science, Springer.
  • Eduard Study (1891) "Von Bewegungen und Umlegung", Mathematische Annalen 39:520.

Lecturas relacionadas

doi 10.1007/978-1-4020-8829-2_11

  • D.P. Chevallier (1996) "Sobre el principio de transferencia en cinemática: sus diversas formas y limitaciones", "Mecanismo y teoría de la máquina" 31 (1): 57-76.
  • M.A. Gungor (2009) "Movimientos esféricos Lorentzianos duales y fórmulas dobles de Euler-Savary", "European Journal of Mechanics A Solids 28 (4): 820–6.

Enlaces externos

  • Wilhelm Blaschke (1958) Traductor de D.H. Delphenich, "Aplicaciones de los cuaterniones duales a la cinemática"
  • Wilhelm Blaschke (1960) traductor de DH Delphenich, Cuaterniones y cinemática de Neo-clásica-física .info.
  • Cuaterniones dobles, una guía para principiantes sobre cuaterniones dobles Ben Kenwright
  • Cuaterniones duales: de la mecánica clásica a los gráficos por computadora y más allá Ben Kenwright
  •   Datos: Q5310237

cuaternión, dual, matemáticas, cuaterniones, duales, constituyen, álgebra, isomorfa, álgebra, clifford, forma, cuadrática, degenerada, placa, broom, bridge, dublín, conmemora, invención, cuaterniones, hamilton, teoría, anillos, cuaterniones, duales, anillos, c. En matematicas los cuaterniones duales constituyen un algebra isomorfa al algebra de Clifford de una forma cuadratica degenerada Placa en Broom Bridge Dublin que conmemora la invencion de los cuaterniones por Hamilton En teoria de anillos los cuaterniones duales son anillos construidos de la misma manera que los cuaterniones excepto porque usan numeros duales en lugar de numeros reales como coeficientes Un cuaternion dual puede representarse en la forma p e q donde p y q son cuaterniones ordinarios y e es la unidad dual que satisface que ee 0 y conmuta con cada elemento del algebra A diferencia de los cuaterniones no forman un anillo de division En mecanica los cuaterniones duales se aplican como numeros para representar transformaciones rigidas en tres dimensiones 1 Un cuaternion dual es un par ordenado de cuaterniones A A B construido a partir de ocho parametros reales Debido a que las transformaciones rigidas tienen seis grados reales de libertad los cuaterniones dobles incluyen dos restricciones algebraicas para esta aplicacion De manera similar a la forma en que las rotaciones en el espacio 3D pueden representarse por cuaterniones de longitud unitaria los movimientos rigidos en el espacio 3D pueden representarse por cuaterniones duales de longitud unitaria Este hecho se usa en cinematica teorica vease McCarthy 2 y en aplicaciones a 3D de computacion grafica robotica y vision artificial 3 Indice 1 Historia 2 Formulas 2 1 Adicion 2 2 Multiplicacion 2 3 Conjugado 2 4 Conjugado de un numero dual 2 5 Norma 2 6 Inverso 3 Cuaterniones duales y desplazamientos espaciales 4 Forma matricial de la multiplicacion de cuaterniones duales 5 Mas sobre los desplazamientos espaciales 6 Cuaterniones duales y transformaciones homogeneas 4 4 7 Eponimos 8 Vease tambien 9 Referencias 10 Bibliografia 11 Lecturas relacionadas 12 Enlaces externosHistoria EditarWilliam Rowan Hamilton introdujo los cuaterniones 4 5 en 1843 y en 1873 W K Clifford obtuvo una amplia generalizacion de estos numeros a los que llamo bicuaterniones 6 7 que es un ejemplo de lo que ahora se llama algebra de Clifford 2 En 1898 Alexander McAulay uso W con la propiedad de que W2 0 para generar el algebra de los cuaterniones duales 8 Sin embargo su terminologia de octoniones no se mantuvo ya que los octoniones de hoy son otra algebra En Rusia Aleksandr Kotelnikov 9 desarrollo vectores duales y cuaterniones duales para su uso en el estudio de la mecanica En 1891 Eduard Study se dio cuenta de que esta algebra asociativa era ideal para describir el grupo de movimientos en el espacio tridimensional Desarrollo aun mas la idea en Geometrie der Dynamen en 1901 10 Bartel Leendert van der Waerden llamo a la estructura Bicuaterniones de Study una de las tres algebras de ocho dimensiones denominadas bicuaterniones Formulas EditarPara describir operaciones con cuaterniones duales es util considerar primero los cuaterniones ordinarios 11 Un cuaternion es una combinacion lineal de los elementos basicos 1 i j y k La regla del producto de Hamilton para i j y k a menudo se escribe como i 2 j 2 k 2 i j k 1 displaystyle i 2 j 2 k 2 ijk 1 Calculando i i j k j k i se obtiene j k i y i j k k i j k o i j k Ahora debido a que j j k j i k se observa que de aplicar este producto resulta i j j i lo que vincula los cuaterniones a las propiedades de los determinantes Una forma conveniente de trabajar con el producto de cuaterniones es escribir un cuaternion como la suma de un escalar y un vector es decir A a0 A donde a0 es un numero real y A A1 i A2 j A3 k es un vector tridimensional Las operaciones de producto escalar y vectorial se pueden usar entonces para definir el producto de dos cuaterniones A a0 A y C c0 C como G A C a 0 A c 0 C a 0 c 0 A C c 0 A a 0 C A C displaystyle G AC a 0 mathbf A c 0 mathbf C a 0 c 0 mathbf A cdot mathbf C c 0 mathbf A a 0 mathbf C mathbf A times mathbf C Un cuaternion dual generalmente se describe como un cuaternion con numeros duales como coeficientes Un numero dual es un par ordenado a a b Para sumar dos numeros duales basta sumar sus componentes entre si y para multiplicarlos se sigue la regla de que a ĉ a b c d a c a d b c Los numeros duales a menudo se escriben en la forma a a eb donde e es la unidad dual que conmuta con i j k y tiene la propiedad e2 0 El resultado es que un cuaternion dual es un par ordenado de cuaterniones A A B Dos cuaterniones duales se suman componente a componente y se multiplican por la regla A C A B C D A C A D B C displaystyle hat A hat C A B C D AC AD BC Es conveniente escribir un cuaternion dual como la suma de un escalar dual y un vector dual A a0 A donde a0 a b y A A B es el vector dual que define un helicopar Esta notacion permite escribir el producto de dos cuaterniones duales como G A C a 0 A c 0 C a 0 c 0 A C c 0 A a 0 C A C displaystyle hat G hat A hat C hat a 0 mathsf A hat c 0 mathsf C hat a 0 hat c 0 mathsf A cdot mathsf C hat c 0 mathsf A hat a 0 mathsf C mathsf A times mathsf C Adicion Editar La adicion de cuaterniones duales se define por componentes de modo que dado A A B a 0 a 1 i a 2 j a 3 k b 0 e b 1 e i b 2 e j b 3 e k displaystyle hat A A B a 0 a 1 i a 2 j a 3 k b 0 varepsilon b 1 varepsilon i b 2 varepsilon j b 3 varepsilon k y C C D c 0 c 1 i c 2 j c 3 k d 0 e d 1 e i d 2 e j d 3 e k displaystyle hat C C D c 0 c 1 i c 2 j c 3 k d 0 varepsilon d 1 varepsilon i d 2 varepsilon j d 3 varepsilon k entonces A C A C B D a 0 c 0 a 1 c 1 i a 2 c 2 j a 3 c 3 k b 0 d 0 e b 1 d 1 e i b 2 d 2 e j b 3 d 3 e k displaystyle hat A hat C A C B D a 0 c 0 a 1 c 1 i a 2 c 2 j a 3 c 3 k b 0 d 0 varepsilon b 1 d 1 varepsilon i b 2 d 2 varepsilon j b 3 d 3 varepsilon k Multiplicacion Editar La multiplicacion de dos cuaterniones duales se deduce de las reglas de la multiplicacion para las componentes de los cuaterniones i j k y de la multiplicacion conmutativa por la unidad dual e En particular dado A A B A e B displaystyle hat A A B A varepsilon B y C C D C e D displaystyle hat C C D C varepsilon D entonces A C A e B C e D A C e A D B C displaystyle hat A hat C A varepsilon B C varepsilon D AC varepsilon AD BC Tengase en cuenta que no hay un termino BD porque la definicion de numeros duales implica que e2 0 Esto facilita la tabla de multiplicacion tengase en cuenta que el orden de multiplicacion es fila por columna Tabla de multiplicar cuaterniones duales unitarios 1 i j k e ei ej ek1 1 i j k e ei ej eki i 1 k j ei e ek ejj j k 1 i ej ek e eik k j i 1 ek ej ei ee e ei ej ek 0 0 0 0ei ei e ek ej 0 0 0 0ej ej ek e ei 0 0 0 0ek ek ej ei e 0 0 0 0Conjugado Editar El conjugado de un cuaternion dual es la extension del conjugado de un cuaternion es decir A A B A e B displaystyle hat A A B A varepsilon B Al igual que con los cuaterniones el conjugado del producto de los cuaterniones duales Ĝ AĈ es el producto de sus conjugados en orden inverso G A C C A displaystyle hat G hat A hat C hat C hat A Es util introducir las funciones Sc y Vec que seleccionan las partes escalar y vectorial de un cuaternion o las partes escalar dual y vector dual de un cuaternion dual En particular si A a0 A entonces Sc A a 0 Vec A A displaystyle mbox Sc hat A hat a 0 mbox Vec hat A mathsf A Esto permite la definicion del conjugado de A como A Sc A Vec A displaystyle hat A mbox Sc hat A mbox Vec hat A o a 0 A a 0 A displaystyle hat a 0 mathsf A hat a 0 mathsf A El producto de un cuaternion dual con sus productos conjugados A A a 0 A a 0 A a 0 2 A A displaystyle hat A hat A hat a 0 mathsf A hat a 0 mathsf A hat a 0 2 mathsf A cdot mathsf A es un escalar dual correspondiente con la magnitud al cuadrado del cuaternion dual Conjugado de un numero dual Editar Un segundo tipo de conjugado de un cuaternion dual se obtiene tomando el conjugado de numero dual dado por A A B A e B displaystyle overline hat A A B A varepsilon B Los conjugados de cuaternion y numero dual se pueden combinar en una tercera forma de conjugado dada por A A B A e B displaystyle overline hat A A B A varepsilon B En el contexto de los cuaterniones duales el termino conjugado puede usarse para referirse al conjugado del cuaternion al conjugado del numero dual o a ambos Norma Editar La norma de un cuaternion dual A se calcula usando el conjugado para calcular A Plantilla Radic Este es un numero dual llamado magnitud del cuaternion dual Los cuaterniones duales con A 1 se denominan cuaterniones duales unitarios Cuaterniones duales de magnitud 1 se utilizan para representar desplazamientos euclidianos espaciales Observese que el requisito de que A A 1 introduce dos restricciones algebraicas en los componentes de A es decir A A A B A B A A A B B A 1 0 displaystyle hat A hat A A B A B AA AB BA 1 0 Inverso Editar Si p e q es un cuaternion dual y p no es cero entonces el cuaternion dual inverso viene dado por p 1 1 e q p 1 Por lo tanto los elementos del subespacio e q q H no tienen inversos Este subespacio se llama ideal en teoria de anillos Resulta ser el maximal ideal unico del anillo de los numeros duales La unidad del anillo de los numeros duales consta de numeros que no estan en el propio ideal Los numeros duales forman un anillo local ya que existe un ideal maximo unico El grupo de las unidades es un grupo de Lie y puede estudiarse usando la aplicacion exponencial Los cuaterniones duales se han utilizado para estudiar las transformaciones en el grupo euclideo Un elemento general se puede describir como una transformacion helicoidal Cuaterniones duales y desplazamientos espaciales EditarUn beneficio de la formulacion de los cuaterniones duales relativa a la composicion de dos desplazamientos espaciales DB RB b y DA RA a es que el cuaternion dual resultante produce directamente el eje helicoidal y el angulo doble del desplazamiento compuesto DC DBDA En general el cuaternion dual asociado con un desplazamiento espacial D A d se construye a partir de su eje helicoidal S S V y el angulo doble f d donde f es la rotacion y d la proyeccion sobre este eje que define el desplazamiento D El cuaternion dual asociado esta dado por S cos ϕ 2 sin ϕ 2 S displaystyle hat S cos frac hat phi 2 sin frac hat phi 2 mathsf S Sea la composicion del desplazamiento DB con DA siendo el desplazamiento DC DBDA El eje del helicopar y el angulo doble de DC se obtienen del producto de los cuaterniones duales DA y DB dados por A cos a 2 sin a 2 A and B cos b 2 sin b 2 B displaystyle hat A cos hat alpha 2 sin hat alpha 2 mathsf A quad text and quad hat B cos hat beta 2 sin hat beta 2 mathsf B Es decir el desplazamiento compuesto DC DBDA tiene el cuaternion dual asociado dado por C cos g 2 sin g 2 C cos b 2 sin b 2 B cos a 2 sin a 2 A displaystyle hat C cos frac hat gamma 2 sin frac hat gamma 2 mathsf C Big cos frac hat beta 2 sin frac hat beta 2 mathsf B Big Big cos frac hat alpha 2 sin frac hat alpha 2 mathsf A Big Desarrollando este producto se obtiene cos g 2 sin g 2 C cos b 2 cos a 2 sin b 2 sin a 2 B A sin b 2 cos a 2 B sin a 2 cos b 2 A sin b 2 sin a 2 B A displaystyle cos frac hat gamma 2 sin frac hat gamma 2 mathsf C Big cos frac hat beta 2 cos frac hat alpha 2 sin frac hat beta 2 sin frac hat alpha 2 mathsf B cdot mathsf A Big Big sin frac hat beta 2 cos frac hat alpha 2 mathsf B sin frac hat alpha 2 cos frac hat beta 2 mathsf A sin frac hat beta 2 sin frac hat alpha 2 mathsf B times mathsf A Big Dividiendo ambos lados de esta ecuacion por la identidad resulta cos g 2 cos b 2 cos a 2 sin b 2 sin a 2 B A displaystyle cos frac hat gamma 2 cos frac hat beta 2 cos frac hat alpha 2 sin frac hat beta 2 sin frac hat alpha 2 mathsf B cdot mathsf A para obtener tan g 2 C tan b 2 B tan a 2 A tan b 2 tan a 2 B A 1 tan b 2 tan a 2 B A displaystyle tan frac hat gamma 2 mathsf C frac tan frac hat beta 2 mathsf B tan frac hat alpha 2 mathsf A tan frac hat beta 2 tan frac hat alpha 2 mathsf B times mathsf A 1 tan frac hat beta 2 tan frac hat alpha 2 mathsf B cdot mathsf A Esta es la formula de Rodrigues para el eje del movimiento helicoidal de un desplazamiento compuesto definido en terminos de los ejes del resultado helicoidal de los dos desplazamientos Esta formula se dedujo en 1840 12 Los tres ejes helicoidales A B y C forman un triangulo espacial y los angulos dobles en estos vertices formados por las normales comunes que forman los lados de este triangulo estan directamente relacionados con los angulos dobles de los tres desplazamientos espaciales Forma matricial de la multiplicacion de cuaterniones duales EditarLa representacion matricial del producto de cuaterniones es conveniente para programar sus calculos utilizando algebra matricial lo que tambien es cierto para las operaciones con cuaterniones duales El producto de cuaterniones AC es una transformacion lineal por el operador A de los componentes del cuaternion C y por lo tanto existe una representacion matricial de A que opera sobre el vector formado a partir de las componentes de C Introduciendo los componentes del cuaternion C c0 C en la matriz C C1 C2 C3 c0 se observa que los componentes de la parte del vector del cuaternion se enumeran primero y el escalar se enumera en ultimo lugar Esta es una eleccion arbitraria pero una vez que se selecciona esta convencion se debe cumplir sistematicamente El producto de cuaterniones AC ahora puede representarse como el producto matricial A C A C a 0 A 3 A 2 A 1 A 3 a 0 A 1 A 2 A 2 A 1 a 0 A 3 A 1 A 2 A 3 a 0 C 1 C 2 C 3 c 0 displaystyle AC A C begin bmatrix a 0 amp A 3 amp A 2 amp A 1 A 3 amp a 0 amp A 1 amp A 2 A 2 amp A 1 amp a 0 amp A 3 A 1 amp A 2 amp A 3 amp a 0 end bmatrix begin Bmatrix C 1 C 2 C 3 c 0 end Bmatrix El producto AC tambien puede ser visto como una operacion de C sobre las componentes de A en cuyo caso se tiene que A C C A c 0 C 3 C 2 C 1 C 3 c 0 C 1 C 2 C 2 C 1 c 0 C 3 C 1 C 2 C 3 c 0 A 1 A 2 A 3 a 0 displaystyle AC C A begin bmatrix c 0 amp C 3 amp C 2 amp C 1 C 3 amp c 0 amp C 1 amp C 2 C 2 amp C 1 amp c 0 amp C 3 C 1 amp C 2 amp C 3 amp c 0 end bmatrix begin Bmatrix A 1 A 2 A 3 a 0 end Bmatrix El producto del cuaternion dual A A B C D AC AD BC puede formularse como una operacion matricial de la siguiente manera Introduciendo los componentes de Ĉ en la matriz de ocho dimensiones Ĉ C1 C2 C3 c0 D1 D2 D3 d0 se tiene que el producto de la matriz de 8x8 proporciona Ĉ A C A C A 0 B A C D displaystyle hat A hat C hat A hat C begin bmatrix A amp 0 B amp A end bmatrix begin Bmatrix C D end Bmatrix Como se vio para los cuaterniones el producto AĈ puede considerarse como la operacion de Ĉ sobre el vector de coordenadas A lo que significa que AĈ tambien puede formularse como A C C A C 0 D C A B displaystyle hat A hat C hat C hat A begin bmatrix C amp 0 D amp C end bmatrix begin Bmatrix A B end Bmatrix Mas sobre los desplazamientos espaciales EditarEl cuaternion dual de un desplazamiento D A d se puede construir a partir del cuaternion S cos f 2 sin f 2 S que define la rotacion A y el cuaternion del vector construido a partir del vector de traslacion d dado por D d1i d2j d3k Usando esta notacion el cuaternion dual para el desplazamiento D A d viene dado por S S e 1 2 D S displaystyle hat S S varepsilon frac 1 2 DS Sean las coordenadas pluckerianas de una recta en la direccion x que atraviesa un punto p de un cuerpo en movimiento y sus coordenadas en el marco de referencia fijo situado en la direccion X a traves del punto P dado por x x e p x and X X e P X displaystyle hat x mathbf x varepsilon mathbf p times mathbf x quad text and quad hat X mathbf X varepsilon mathbf P times mathbf X Entonces el cuaternion dual del desplazamiento de este cuerpo transforma las coordenadas pluckerianas en el marco movil en coordenadas pluckerianas en el marco fijo mediante la formula X S x S displaystyle hat X hat S hat x overline hat S Usando la forma matricial del producto de cuaterniones duales esto se convierte en X S S x displaystyle hat X hat S hat S hat x Este calculo se realiza facilmente mediante operaciones matriciales Cuaterniones duales y transformaciones homogeneas 4 4 EditarPuede ser util especialmente en movimientos de solidos rigidos representar cuaterniones duales como matrices homogeneas Como se indico anteriormente un cuaternion dual se puede escribir como q r d e displaystyle hat q r d varepsilon donde r y d son ambos cuaterniones El cuaternion r se conoce como la parte real o rotacional y el cuaternion d se conoce como la parte dual o de desplazamiento La parte de rotacion puede ser dada por r r w r x i r y j r z k cos 8 2 sin 8 2 a i j k displaystyle r r w r x i r y j r z k cos left frac theta 2 right sin left frac theta 2 right left vec a cdot i j k right donde 8 displaystyle theta es el angulo de rotacion sobre la direccion dada por el vector unitario a displaystyle vec a La parte de desplazamiento se puede escribir como d 0 D x 2 i D y 2 j D z 2 k displaystyle d 0 frac Delta x 2 i frac Delta y 2 j frac Delta z 2 k El equivalente en forma de cuaternion dual de un vector 3D es v 1 e v x i v y j v z k displaystyle hat v 1 varepsilon v x i v y j v z k y su transformacion por q displaystyle hat q viene dada por 13 v q v q displaystyle hat v hat q cdot hat v cdot overline hat q Estos cuaterniones duales o en realidad sus transformaciones en vectores 3D pueden representarse mediante la matriz de transformacion homogenea T 1 0 0 0 D x D y R D z displaystyle T begin pmatrix 1 amp 0 amp 0 amp 0 amp Delta x amp amp amp Delta y amp amp R amp Delta z amp amp amp end pmatrix donde la matriz ortogonal de 3 3 viene dada por R r w 2 r x 2 r y 2 r z 2 2 r x r y 2 r w r z 2 r x r z 2 r w r y 2 r x r y 2 r w r z r w 2 r x 2 r y 2 r z 2 2 r y r z 2 r w r x 2 r x r z 2 r w r y 2 r y r z 2 r w r x r w 2 r x 2 r y 2 r z 2 displaystyle R begin pmatrix r w 2 r x 2 r y 2 r z 2 amp 2r x r y 2r w r z amp 2r x r z 2r w r y 2r x r y 2r w r z amp r w 2 r x 2 r y 2 r z 2 amp 2r y r z 2r w r x 2r x r z 2r w r y amp 2r y r z 2r w r x amp r w 2 r x 2 r y 2 r z 2 end pmatrix Para el vector 3D v 1 v x v y v z displaystyle v begin pmatrix 1 v x v y v z end pmatrix la transformacion por T esta dada por v T v displaystyle vec v T cdot vec v Eponimos EditarDado que tanto Eduard Study como William Kingdon Clifford usaron y escribieron sobre cuaterniones duales a veces los autores se refieren a los cuaterniones duales como bicuaterniones de Study o como bicuaterniones de Clifford El ultimo eponimo tambien se ha utilizado para referirse a los bicuaterniones divididos El articulo de Joe Rooney vinculado a continuacion muestra los argumentos de un partidario de W K Clifford en esta pugna Dado que las afirmaciones de Clifford y de Study estan en disputa es conveniente usar la designacion actual de cuaternion dual para evitar conflictos Vease tambien EditarTeoria helicoidal Movimiento racional Cuaterniones y rotacion en el espacio Conversion entre cuaterniones y angulos de Euler Olinde Rodrigues Numero dual complejoReferencias Editar A T Yang Application of Quaternion Algebra and Dual Numbers to the Analysis of Spatial Mechanisms Ph D thesis Columbia University 1963 a b J M McCarthy An Introduction to Theoretical Kinematics pp 62 5 MIT Press 1990 A Torsello E Rodola and A Albarelli Multiview Registration via Graph Diffusion of Dual Quaternions Proc of the XXIV IEEE Conference on Computer Vision and Pattern Recognition pp 2441 2448 June 2011 Archivado desde el original el 22 de septiembre de 2017 Consultado el 14 de octubre de 2019 W R Hamilton On quaternions or on a new system of imaginaries in algebra Phil Mag 18 installments July 1844 April 1850 ed by D E Wilkins 2000 W R Hamilton Elements of Quaternions Longmans Green amp Co London 1866 W K Clifford Preliminary sketch of bi quaternions Proc London Math Soc Vol 4 1873 pp 381 395 W K Clifford Mathematical Papers ed R Tucker London Macmillan 1882 Alexander McAulay 1898 Octonions a development of Clifford s Biquaternions link from Internet Archive A P Kotelnikov 1895 Screw calculus and some applications to geometry and mechanics Annal Imp Univ Kazan Eduard Study 1901 Geometrie der Dynamen Teubner Leipzig O Bottema and B Roth Theoretical Kinematics North Holland Publ Co 1979 Rodrigues O 1840 Des lois geometriques qui regissent les deplacements d un systeme solide dans l espace et la variation des coordonnees provenant de ses deplacements consideres independamment des causes qui peuvent les produire Journal de Mathematiques Pures et Appliquees de Liouville 5 380 440 Dual Quaternions for Rigid Transformation Blending p 4 Bibliografia EditarA T Yang 1963 Application of quaternion algebra and dual numbers to the analysis of spatial mechanisms Ph D thesis Columbia University A T Yang 1974 Calculus of Screws in Basic Questions of Design Theory William R Spillers editor Elsevier pages 266 to 281 J M McCarthy 1990 An Introduction to Theoretical Kinematics pp 62 5 MIT Press ISBN 0 262 13252 4 L Kavan S Collins C O Sullivan J Zara 2006 Dual Quaternions for Rigid Transformation Blending Technical report Trinity College Dublin Joe Rooney William Kingdon Clifford Department of Design and Innovation the Open University London Joe Rooney 2007 William Kingdon Clifford in Marco Ceccarelli Distinguished figures in mechanism and machine science Springer Eduard Study 1891 Von Bewegungen und Umlegung Mathematische Annalen 39 520 Lecturas relacionadas EditarIan Fischer 1998 Dual Number Methods in Kinematics Statics and Dynamics CRC Press ISBN 978 0 8493 9115 6 E Pennestri y R Stefanelli 2007 Algebra lineal y algoritmos numericos utilizando numeros duales publicado en Multibody System Dynamics 18 3 323 349 E Pennestri y PP Valentini https www researchgate net publication 228873531 Dual Quaternions as a Tool for Rigid Body Motion Analysis A Tutorial with an Application to Biomechanics Cuaterniones duales como una herramienta para el usuario vol 57 pags 187 205 2010 E Pennestri y P P Valentini Algoritmos lineales de algebra dual y su aplicacion a la cinematica Multibody Dynamics pp 207 pag doi 10 1007 978 1 4020 8829 2 11 D P Chevallier 1996 Sobre el principio de transferencia en cinematica sus diversas formas y limitaciones Mecanismo y teoria de la maquina 31 1 57 76 M A Gungor 2009 Movimientos esfericos Lorentzianos duales y formulas dobles de Euler Savary European Journal of Mechanics A Solids 28 4 820 6 Enlaces externos EditarWilhelm Blaschke 1958 Traductor de D H Delphenich Aplicaciones de los cuaterniones duales a la cinematica Wilhelm Blaschke 1960 traductor de DH Delphenich Cuaterniones y cinematica de Neo clasica fisica info Cuaterniones dobles una guia para principiantes sobre cuaterniones dobles Ben Kenwright Cuaterniones duales de la mecanica clasica a los graficos por computadora y mas alla Ben Kenwright Datos Q5310237 Obtenido de https es wikipedia org w index php title Cuaternion dual amp oldid 142380690, wikipedia, wiki, leyendo, leer, libro, biblioteca,

español

, española, descargar, gratis, descargar gratis, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, imagen, música, canción, película, libro, juego, juegos