Multivector

De testwiki
Revisión del 13:29 14 jun 2024 de imported>Prueba655 (growthexperiments-addlink-summary-summary:3|0|0)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)
Ir a la navegación Ir a la búsqueda

En álgebra multilineal, un multivector, a veces también denominado número de Clifford o multor,[1] es un elemento del álgebra exterior Plantilla:Math) de un espacio vectorial Plantilla:Mvar. Esta álgebra es graduada, asociativa y alterna, y consiste en combinaciones lineales de Plantilla:Math-vectores simples[2] (también conocidos como Plantilla:Math-vectores descomponibles[3] o [[cuchilla (vector)|Plantilla:Math-cuchillas]]) de la forma

v1vk

donde v1,,vk pertenecen a Plantilla:Mvar.

Un Plantilla:Math-vector es una combinación lineal que es homogénea de grado Plantilla:Mvar (todos los términos son Plantilla:Math-cuchillas con el mismo Plantilla:Mvar). Dependiendo de los autores, un multivector también puede ser un Plantilla:Math-vector o cualquier elemento del álgebra exterior (cualquier combinación lineal de Plantilla:Math-cuchillas con valores potencialmente diferentes de Plantilla:Math).[4]

En geometría diferencial, un Plantilla:Math-vector es un vector en el álgebra exterior del espacio vectorial tangente; es decir, es un tensor antisimétrico obtenido tomando combinaciones lineales del producto exterior de Plantilla:Math vectores tangentes, para algún número entero Plantilla:Math. Una [[Forma diferencial|Plantilla:Math-forma diferencial]] es un Plantilla:Math-vector en el álgebra exterior del dual del espacio tangente, que también es dual del álgebra exterior del espacio tangente.

Para Plantilla:Math y Plantilla:Math, los Plantilla:Math-vectores a menudo se denominan respectivamente escalares, vectores, bivectores y trivectores; que son respectivamente duales a 0-formas, 1-formas, 2-formas y 3-formas.[5][6]

Producto exterior

Plantilla:AP

El producto exterior (también llamado producto cuña, por el símbolo Λ) utilizado para construir multivectores es multilineal (lineal en cada entrada), asociativo y alterno. Esto significa que para los vectores u, v y w en un espacio vectorial V y para los escalares α y β, el producto exterior tiene las propiedades siguientes:

  • Lineal en una entrada: 𝐮(α𝐯+β𝐰)=α𝐮𝐯+β𝐮𝐰;
  • Asociativo: (𝐮𝐯)𝐰=𝐮(𝐯𝐰);
  • Alterno: 𝐮𝐮=0.

El producto exterior de k-vectores o una suma de dichos productos (para un solo k) se denomina multivector de grado k, o k-vector. El grado máximo de un multivector es la dimensión del espacio vectorial V.

La linealidad en cualquiera de las entradas junto con la propiedad alterna implica la linealidad en la otra entrada. La multilinealidad del producto exterior permite expresar un multivector como una combinación lineal de productos exteriores de vectores base de V. El producto exterior de k vectores base de V es la forma estándar de construir cada elemento base para el espacio de k-vectores, que tiene dimensión [[Coeficiente binomial|(Plantilla:Su)]] en el álgebra exterior de un espacio vectorial de n dimensiones.[2]

Área y volumen

El k-vector obtenido del producto exterior de k vectores separados en un espacio n-dimensional tiene componentes que definen los Plantilla:Nowrap-volúmenes proyectados de los k-paralelotopos abarcados por los vectores. La raíz cuadrada de la suma de los cuadrados de estos componentes define el volumen del k-paralelotopo.[2][7]

Los siguientes ejemplos muestran que un bivector en dos dimensiones mide el área de un paralelogramo y la magnitud de un bivector en tres dimensiones también mide el área de un paralelogramo. De manera similar, un trivector en tres dimensiones mide el volumen de un paralelepípedo.

Es fácil comprobar que la magnitud de un trivector en cuatro dimensiones mide el volumen del paralelepípedo abarcado por estos vectores.

Multivectores en R2

Las propiedades de los multivectores se pueden ver considerando el espacio vectorial bidimensional Plantilla:Nowrap. Sean los vectores base e1 y e2, por lo que u y v están dados por

𝐮=u1𝐞1+u2𝐞2,𝐯=v1𝐞1+v2𝐞2,

y el multivector Plantilla:Nowrap, también llamado bivector, se calcula como:

𝐮𝐯 = |u1v1u2v2| (𝐞1𝐞2).

Las barras verticales indican el determinante de la matriz, que es el área del paralelogramo abarcado por los vectores u y v. La magnitud de Plantilla:Nowrap es el área de este paralelogramo. Obsérvese que debido a que V tiene dimensión dos, el bivector base Plantilla:Nowrap es el único multivector en ΛV.

La relación entre la magnitud de un multivector y el área o volumen abarcado por los vectores es una característica importante en todas las dimensiones. Además, la versión funcional lineal de un multivector que calcula este volumen se conoce como forma diferencial.

Multivectores en R3

Se pueden ver más características de los multivectores considerando el espacio vectorial tridimensional Plantilla:Nowrap. En este caso, sean los vectores de una base e1, e2 y e3, por lo que u, v y w están dados por

𝐮=u1𝐞1+u2𝐞2+u3𝐞3,𝐯=v1𝐞1+v2𝐞2+v3𝐞3,𝐰=w1𝐞1+w2𝐞2+w3𝐞3,

y el bivector Plantilla:Nowrap se calcula como

𝐮𝐯 = |u2v2u3v3|(𝐞2𝐞3)+|u1v1u3v3|(𝐞1𝐞3)+|u1v1u2v2|(𝐞1𝐞2).

Los componentes de este bivector son los mismos que los componentes del producto vectorial. La magnitud de este bivector es la raíz cuadrada de la suma de los cuadrados de sus componentes.

Esto muestra que la magnitud del bivector Plantilla:Nowrap es el área del paralelogramo abarcada por los vectores u y v tal como se encuentra en el espacio tridimensional V. Los componentes del bivector son las áreas proyectadas del paralelogramo en cada uno de los tres planos de coordenadas.

Obsérvese que debido a que V tiene dimensión tres, hay una base de trivectores en ΛV. El trivector se calcula de la forma siguiente:

𝐮𝐯𝐰 = |u1v1w1u2v2w2u3v3w3|(𝐞1𝐞2𝐞3).

Plantilla:Plegable

Esto demuestra que la magnitud del trivector Plantilla:Nowrap es el volumen del paralelepípedo abarcado por los tres vectores u, v y w.

En espacios de dimensiones superiores, los trivectores componentes son proyecciones del volumen de un paralelepípedo sobre los 3-espacios coordenados, y la magnitud del trivector es el volumen del paralelepípedo tal como se asienta en el espacio de dimensiones superiores.

Coordenadas de Grassmann

En esta sección, se consideran los multivectores en un espacio proyectivo Pn, que proporcionan un conjunto conveniente de coordenadas para rectas, planos e hiperplanos que tienen propiedades similares a las coordenadas homogéneas de los puntos, llamadas coordenadas de Grassmann.[8]

Los puntos en un espacio proyectivo real Pn se definen como rectas que pasan por el origen del espacio vectorial Rn+1. Por ejemplo, el plano proyectivo P2 es el conjunto de líneas rectas que pasan por el origen de R3. Por lo tanto, los multivectores definidos en Rn+1 pueden verse como multivectores en Pn.

Una manera conveniente de ver un multivector en Pn es examinarlo en un componente afín de Pn, que es la intersección de las rectas que pasan por el origen de Rn+1 con un hiperplano seleccionado, como Plantilla:Nowrap. Las líneas que pasan por el origen de R3 intersecan el plano Plantilla:Nowrap para definir una versión afín del plano proyectivo al que solo le faltan los puntos para los que Plantilla:Nowrap, llamados puntos en el infinito.

Multivectores en P2

Los puntos en la componente afín Plantilla:Nowrap del plano proyectivo tienen coordenadas Plantilla:Nowrap. Una combinación lineal de dos puntos Plantilla:Nowrap y Plantilla:Nowrap define un plano en R3 que corta a E en la recta que une p y q. El multivector Plantilla:Nowrap define un paralelogramo en R3 dado por

𝐩𝐪 = (p2q2)(𝐞2𝐞3)+(p1q1)(𝐞1𝐞3)+(p1q2q1p2)(𝐞1𝐞2).

Obsérvese que la sustitución de Plantilla:Nowrap por p multiplica este multivector por una constante. Por lo tanto, las componentes de Plantilla:Nowrap son coordenadas homogéneas para el plano que pasa por el origen de R3.

El conjunto de puntos Plantilla:Nowrap en la recta que pasa por p y q es la intersección del plano definido por Plantilla:Nowrap con el plano Plantilla:Nowrap. Estos puntos satisfacen que Plantilla:Nowrap, es decir,

𝐱𝐩𝐪 = (x𝐞1+y𝐞2+𝐞3)((p2q2)(𝐞2𝐞3)+(p1q1)(𝐞1𝐞3)+(p1q2q1p2)(𝐞1𝐞2))=0,

que se simplifica a la ecuación de una recta

λ:x(p2q2)+y(p1q1)+(p1q2q1p2)=0.

Esta ecuación se satisface con los puntos Plantilla:Nowrap para valores reales de α y β.

Los tres componentes de Plantilla:Nowrap que definen la recta λ se denominan coordenadas de Grassmann de la recta. Debido a que tres coordenadas homogéneas definen tanto un punto como una línea recta, se dice que la geometría de los puntos es dual a la geometría de las rectas en el plano proyectivo. Esta propiedad se denomina principio de dualidad.

Multivectores en P3

El espacio proyectivo tridimensional, P3, consta de todas las rectas que pasan por el origen de R4. Sea el hiperplano tridimensional, Plantilla:Nowrap, el componente afín del espacio proyectivo definido por los puntos Plantilla:Nowrap. El multivector Plantilla:Nowrap define un paralelepípedo en R4 dado por

𝐩𝐪𝐫=|p2q2r2p3q3r3111|𝐞2𝐞3𝐞4+|p1q1r1p3q3r3111|𝐞1𝐞3𝐞4+|p1q1r1p2q2r2111|𝐞1𝐞2𝐞4+|p1q1r1p2q2r2p3q3r3|𝐞1𝐞2𝐞3.

Obsérvese que la sustitución de Plantilla:Nowrap por p multiplica este multivector por una constante. Por lo tanto, las componentes de Plantilla:Nowrap son coordenadas homogéneas para el espacio tridimensional que pasa por el origen de R4.

Un plano con la componente afín Plantilla:Nowrap es el conjunto de puntos Plantilla:Nowrap en la intersección de H con el espacio tridimensional definido por Plantilla:Nowrap. Estos puntos satisfacen la condición Plantilla:Nowrap, es decir,

𝐱𝐩𝐪𝐫=(x𝐞1+y𝐞2+z𝐞3+𝐞4)𝐩𝐪𝐫=0,

que se simplifica a la ecuación de un plano

λ:x|p2q2r2p3q3r3111|+y|p1q1r1p3q3r3111|+z|p1q1r1p2q2r2111|+|p1q1r1p2q2r2p3q3r3|=0.

Esta ecuación se satisface con los puntos Plantilla:Nowrap para valores reales de α, ß y γ.

Las cuatro componentes de Plantilla:Nowrap que definen el plano λ se denominan coordenadas de Grassmann del plano. Debido a que cuatro coordenadas homogéneas definen tanto un punto como un plano en el espacio proyectivo, la geometría de los puntos es dual a la geometría de los planos.

Una línea recta como la unión de dos puntos: En el espacio proyectivo, la recta λ que pasa por dos puntos p y q puede verse como la intersección del espacio afín Plantilla:Nowrap con el plano Plantilla:Nowrap en R4. El multivector Plantilla:Nowrap proporciona las coordenadas homogéneas de la línea recta

λ:𝐩𝐪=(p1𝐞1+p2𝐞2+p3𝐞3+𝐞4)(q1𝐞1+q2𝐞2+q3𝐞3+𝐞4),=|p1q111|𝐞1𝐞4+|p2q211|𝐞2𝐞4+|p3q311|𝐞3𝐞4+|p2q2p3q3|𝐞2𝐞3+|p3q3p1q1|𝐞3𝐞1+|p1q1p2q2|𝐞1𝐞2.

que se conocen como coordenadas plückerianas de la recta, aunque también son un ejemplo de coordenadas de Grassmann.

Una recta como intersección de dos planos: Una recta µ en el espacio proyectivo también se puede definir como el conjunto de puntos x que forman la intersección de dos planos π y ρ definidos por multivectores de grado tres, por lo que los puntos x son las soluciones de las ecuaciones lineales

μ:𝐱π=0,𝐱ρ=0.

Para obtener las coordenadas de Plucker de la línea µ, basta con asignar los multivectores π y ρ a sus coordenadas de punto duales usando el dual de Hodge,[2].

𝐞1=(𝐞2𝐞3𝐞4),𝐞2=(𝐞1𝐞3𝐞4),𝐞3=(𝐞1𝐞2𝐞4),𝐞4=(𝐞1𝐞2𝐞3),

y por lo tanto,

π=π1𝐞1+π2𝐞2+π3𝐞3+π4𝐞4,ρ=ρ1𝐞1+ρ2𝐞2+ρ3𝐞3+ρ4𝐞4.

Entonces, las coordenadas de Plücker de la recta µ están dadas por

μ:(π)(ρ)=|π1ρ1π4ρ4|𝐞1𝐞4+|π2ρ2π4ρ4|𝐞2𝐞4+|π3ρ3π4ρ4|𝐞3𝐞4+|π2ρ2π3ρ3|𝐞2𝐞3+|π3ρ3π1ρ1|𝐞3𝐞1+|π1ρ1π2ρ2|𝐞1𝐞2.

Debido a que las seis coordenadas homogéneas de una recta se pueden obtener a partir de la unión de dos puntos o de la intersección de dos planos, se dice que la línea es autodual en el espacio proyectivo.

Producto de Clifford

W. K. Clifford combinó multivectores con el espacio prehilbertiano definido en el espacio vectorial, para obtener una construcción general para números hipercomplejos que incluye los números complejos habituales y los cuaterniones de Hamilton.[9][10]

El producto de Clifford entre dos vectores u y v es bilineal y asociativo como el producto exterior, y tiene la propiedad adicional de que el multivector uv está acoplado al producto interior Plantilla:Nowrap mediante la relación de Clifford,

𝐮𝐯+𝐯𝐮=2𝐮𝐯.

La relación de Clifford conserva la propiedad anticonmutación para vectores perpendiculares. Esto se puede ver en los vectores unitarios mutuamente ortogonales Plantilla:Nowrap en Rn: la relación de Clifford produce

𝐞i𝐞j+𝐞j𝐞i=2𝐞i𝐞j=δi,j,

lo que muestra que los vectores de base se anticonmutan mutuamente,

𝐞i𝐞j=𝐞j𝐞i,ij=1,,n.

A diferencia del producto exterior, el producto de Clifford de un vector consigo mismo no es cero. Para verlo, basta con calcular el producto.

𝐞i𝐞i+𝐞i𝐞i=2𝐞i𝐞i=2,

del que resulta

𝐞i𝐞i=1,i=1,,n.

El conjunto de multivectores construido utilizando el producto de Clifford produce un álgebra asociativa conocida como álgebra de Clifford. Se pueden utilizar productos internos con diferentes propiedades para construir diferentes álgebras de Clifford.[11][12]

Álgebra geométrica

Plantilla:VT

El término k-cuchilla (traducción del original en inglés k-blade) se introdujo en la obra Clifford Algebra to Geometric Calculus de 1984.[13]

Los multivectores desempeñan un papel central en la formulación matemática de la física conocida como álgebra geométrica. Según David Hestenes,

Los k-vectores [no escalares] a veces se denominan k-blades o simplemente blades, para enfatizar el hecho de que, a diferencia de los 0-vectores (escalares), tienen "propiedades direccionales".[14]

En 2003, C. Doran y A. Lasenby utilizaron el término blade para un multivector que puede escribirse como el producto exterior de [un escalar y] un conjunto de vectores. Aquí, mediante la afirmación "Cualquier multivector se puede expresar como la suma de cuchillas", los escalares se definen implícitamente como 0-cuchillas.[15]

En álgebra geométrica, un multivector se define como la suma de k-cuchillas de diferente grado, como la suma de un escalar, un vector y un 2-vector.[16] Una suma de solo componentes de grado k se denomina k-vector,[17] o multivector homogéneo.[18]

El elemento de mayor grado en un espacio se llama pseudoescalar.

Si un elemento dado es homogéneo de grado k, entonces es un k-vector, pero no necesariamente una k-cuchilla. Tal elemento es una k-cuchilla cuando puede expresarse como el producto exterior de k vectores. Un álgebra geométrica generada por un espacio vectorial de 4 dimensiones ilustra el punto con un ejemplo: la suma de dos cuchillas cualesquiera, una tomada del plano XY y la otra tomada del plano ZW, formará un 2-vector que no es una 2-cuchilla. En un álgebra geométrica generada por un espacio vectorial de dimensión 2 o 3, todas las sumas de 2-cuchillas se pueden expresar como una única 2-cuchilla.

Ejemplos

  Plantilla:Multiple image

En presencia de una forma de volumen (como cuando se da un espacio prehilbertiano y una orientación), los pseudovectores y pseudoescalares se pueden identificar con vectores y escalares, lo cual es una rutina en el cálculo vectorial, pero sin una forma de volumen, esto no se puede hacer sin realizar una elección arbitraria.

En álgebra del espacio físico (el álgebra geométrica del 3-espacio euclídeo, utilizado como modelo del (3+1)-espacio-tiempo), una suma de un escalar y un vector se llama paravector y representa un punto en el espacio-tiempo (el vector en el espacio, y el escalar en el tiempo).

Bivectores

Plantilla:AP

Un bivector es un elemento del producto tensorial antisimétrico de un espacio tangente consigo mismo.

En álgebra geométrica, además, un bivector es un elemento de grado 2 (un 2-vector) resultante del producto exterior de dos vectores, por lo que es geométricamente un área orientada, de la misma manera que un vector es un segmento de línea orientado. Si a y b son dos vectores, el bivector Plantilla:Nowrap tiene

  • Una norma que es su área, dada por
    𝐚𝐛=𝐚𝐛sin(ϕa,b)
  • Una dirección: el plano donde se encuentra esa área, es decir, el plano determinado por a y b, siempre que sean linealmente independientes
  • Una orientación (de dos), determinada por el orden en que se multiplican los vectores originarios

Los bivectores están conectados a los vectores axiales y se utilizan para representar rotaciones en álgebra geométrica.

Como los bivectores son elementos de un espacio vectorial Λ2V (donde V es un espacio vectorial de dimensión finita con Plantilla:Nowrap), tiene sentido definir un espacio prehilbertiano en este espacio vectorial de la siguiente manera. Primero, elíjase cualquier elemento Plantilla:Nowrap en términos de una base Plantilla:Nowrap como

F=Fab𝐞a𝐞b(1a<bn),

donde se utiliza convenio de suma de Einstein.

Ahora, se debe definir una aplicación Plantilla:Nowrap insistiendo en que

G(F,H):=GabcdFabHcd,

donde Gabcd es un conjunto de números.

Aplicaciones

Los bivectores desempeñan numerosas funciones importantes en física, como por ejemplo, en la clasificación de campos electromagnéticos.

Véase también

Referencias

Plantilla:Listaref

Plantilla:Control de autoridades

  1. John Snygg (2012), A New Approach to Differential Geometry Using Clifford’s Geometric Algebra, Birkhäuser, p. 5 §2.12
  2. 2,0 2,1 2,2 2,3 Harley Flanders (1989)[1963] Differential Forms with Applications to the Physical Sciences, § 2.1 The Space of p-Vectors, pages 5–7, Dover Publications
  3. Wendell Fleming (1977) [1965] Functions of Several Variables, section 7.5 Multivectors, page 295, Plantilla:ISBN
  4. Élie Cartan, The theory of spinors, p. 16, considers only homogeneous vectors, particularly simple ones, referring to them as "multivectors" (collectively) or p-vectors (specifically).
  5. Plantilla:Cite book
  6. Plantilla:Cite book
  7. G. E. Shilov, Linear Algebra, (trans. R. A. Silverman), Dover Publications, 1977.
  8. W. V. D. Hodge and D. Pedoe, Methods of Algebraic Geometry, Vol. 1, Cambridge Univ. Press, 1947
  9. W. K. Clifford, "Preliminary sketch of bi-quaternions," Proc. London Math. Soc. Vol. 4 (1873) pp. 381–395
  10. W. K. Clifford, Mathematical Papers, (ed. R. Tucker), London: Macmillan, 1882.
  11. J. M. McCarthy, An Introduction to Theoretical Kinematics, pp. 62–5, MIT Press 1990.
  12. O. Bottema and B. Roth, Theoretical Kinematics, North Holland Publ. Co., 1979
  13. David Hestenes & Garret Sobczyk (1984) Clifford Algebra to Geometric Calculus, p. 4, D. Reidel Plantilla:ISBN
  14. David Hestenes (1999)[1986] New Foundations for Classical Mechanics, page 34, D. Reidel Plantilla:ISBN
  15. C. Doran and A. Lasenby (2003) Geometric Algebra for Physicists, page 87, Cambridge University Press Plantilla:ISBN
  16. Plantilla:Cite book
  17. Plantilla:Cite book
  18. Plantilla:Cite book