En matemáticas , el producto vectorial o producto vectorial (ocasionalmente producto de área dirigido , para enfatizar su significado geométrico) es una operación binaria sobre dos vectores en un espacio vectorial euclidiano orientado tridimensional (nombrado aquí ), y se denota con el símbolo . Dados dos vectores linealmente independientes a y b , el producto cruz, a × b (léase "a cruz b"), es un vector que es perpendicular a a y b , [1] y, por tanto, normal al plano que los contiene. Tiene muchas aplicaciones en matemáticas, física , ingeniería y programación informática . No debe confundirse con el producto escalar (producto de proyección).
La magnitud del producto vectorial es igual al área de un paralelogramo con los vectores de los lados; en particular, la magnitud del producto de dos vectores perpendiculares es el producto de sus longitudes. Las unidades del producto cruzado son el producto de las unidades de cada vector. Si dos vectores son paralelos o antiparalelos (es decir, son linealmente dependientes), o si cualquiera de ellos tiene longitud cero, entonces su producto cruzado es cero. [2]
El producto cruzado es anticonmutativo (es decir, a × b = − b × a ) y es distributivo sobre la suma, es decir, a × ( b + c ) = a × b + a × c . [1] El espacio junto con el producto vectorial es un álgebra sobre los números reales , que no es conmutativo ni asociativo , pero es un álgebra de Lie en el que el producto vectorial es el corchete de Lie .
Al igual que el producto escalar, depende de la métrica del espacio euclidiano , pero a diferencia del producto escalar, también depende de la elección de la orientación (o " lateralidad ") del espacio (es por eso que se necesita un espacio orientado). El vector resultante es invariante de la rotación de la base. Debido a la dependencia de la lateralidad , se dice que el producto cruzado es un pseudovector .
En relación con el producto vectorial, el producto exterior de los vectores se puede utilizar en dimensiones arbitrarias (con un resultado bivectorial o de 2 formas ) y es independiente de la orientación del espacio.
El producto se puede generalizar de varias maneras, utilizando la orientación y la estructura métrica, al igual que para el producto cruz tridimensional tradicional, se puede, en n dimensiones, tomar el producto de n − 1 vectores para producir un vector perpendicular a todos ellos. . Pero si el producto se limita a productos binarios no triviales con resultados vectoriales, existe sólo en tres y siete dimensiones. [3] Sin embargo, el producto cruzado en siete dimensiones tiene propiedades indeseables (por ejemplo, no satisface la identidad de Jacobi ), por lo que no se utiliza en física matemática para representar cantidades como el espacio-tiempo multidimensional . [4] (Ver § Generalizaciones a continuación para otras dimensiones).
El producto cruzado de dos vectores a y b se define sólo en el espacio tridimensional y se denota por a × b . En física y matemáticas aplicadas , la notación de cuña a ∧ b se usa a menudo (junto con el nombre producto vectorial ), [5] [6] [7] aunque en matemáticas puras dicha notación generalmente se reserva solo para el producto exterior, un abstracción del producto vectorial en n dimensiones.
El producto vectorial a × b se define como un vector c que es perpendicular (ortogonal) tanto a a como a b , con una dirección dada por la regla de la mano derecha [1] y una magnitud igual al área del paralelogramo que forman los vectores. durar. [2]
El producto cruzado está definido por la fórmula [8] [9]
dónde
Si los vectores a y b son paralelos (es decir, el ángulo θ entre ellos es 0° o 180°), según la fórmula anterior, el producto cruzado de ayb es el vector cero 0 .
La dirección del vector n depende de la orientación elegida del espacio. Convencionalmente, viene dada por la regla de la mano derecha, donde simplemente se apunta el dedo índice de la mano derecha en la dirección de a y el dedo medio en la dirección de b . Entonces, el vector n sale del pulgar (vea la imagen adyacente). Usar esta regla implica que el producto cruz es anticonmutativo ; es decir, b × a = −( a × b ) . Al apuntar primero con el dedo índice hacia b y luego con el dedo medio hacia a , el pulgar se verá forzado en la dirección opuesta, invirtiendo el signo del vector producto.
Como el operador del producto cruzado depende de la orientación del espacio, en general el producto cruzado de dos vectores no es un vector "verdadero", sino un pseudovector . Consulte § Manualidad para obtener más detalles.
En 1842, William Rowan Hamilton describió por primera vez el álgebra de cuaterniones y el producto de Hamilton no conmutativo. En particular, cuando se realiza el producto de Hamilton de dos vectores (es decir, cuaterniones puros con parte escalar cero), se obtiene un cuaternión con una parte escalar y una parte vectorial. La parte escalar y vectorial de este producto de Hamilton corresponde al negativo del producto escalar y al producto vectorial de los dos vectores.
En 1881, Josiah Willard Gibbs , [10] e independientemente Oliver Heaviside , introdujeron la notación tanto para el producto escalar como para el producto cruz utilizando un punto ( a ⋅ b ) y una "×" ( a × b ), respectivamente, para denotar a ellos. [11]
En 1877, para enfatizar el hecho de que el resultado de un producto escalar es un escalar mientras que el resultado de un producto vectorial es un vector , William Kingdon Clifford acuñó los nombres alternativos de producto escalar y producto vectorial para las dos operaciones. [11] Estos nombres alternativos todavía se utilizan ampliamente en la literatura.
Tanto la notación cruzada ( a × b ) como el nombre producto cruzado posiblemente se inspiraron en el hecho de que cada componente escalar de a × b se calcula multiplicando componentes no correspondientes de a y b . Por el contrario, un producto escalar a ⋅ b implica multiplicaciones entre los componentes correspondientes de a y b . Como se explica a continuación, el producto cruzado se puede expresar en forma de determinante de una matriz especial de 3 × 3 . Según la regla de Sarrus , se trata de multiplicaciones entre elementos de la matriz identificados por diagonales cruzadas.
Si ( i , j , k ) es una base ortonormal orientada positivamente, los vectores de base satisfacen las siguientes igualdades [1]
lo que implica, por la anticonmutatividad del producto cruz, que
La anticonmutatividad del producto cruz (y la obvia falta de independencia lineal) también implica que
Estas igualdades, junto con la distributividad y la linealidad del producto cruzado (aunque ninguna de ellas se deduce fácilmente de la definición dada anteriormente), son suficientes para determinar el producto cruzado de dos vectores cualesquiera a y b . Cada vector se puede definir como la suma de tres componentes ortogonales paralelos a los vectores de base estándar:
Su producto cruzado a × b se puede expandir usando distributividad:
Esto puede interpretarse como la descomposición de a × b en la suma de nueve productos cruzados más simples que involucran vectores alineados con i , j o k . Cada uno de estos nueve productos cruzados opera sobre dos vectores que son fáciles de manejar ya que son paralelos u ortogonales entre sí. De esta descomposición, utilizando las igualdades antes mencionadas y recogiendo términos similares, obtenemos:
lo que significa que los tres componentes escalares del vector resultante s = s 1 i + s 2 j + s 3 k = a × b son
Usando vectores de columna , podemos representar el mismo resultado de la siguiente manera:
El producto cruzado también se puede expresar como el determinante formal : [nota 1] [1]
Este determinante se puede calcular utilizando la regla de Sarrus o la expansión de cofactores . Usando la regla de Sarrus, se expande a
En su lugar , utilizando la expansión de cofactores a lo largo de la primera fila, se expande a [12]
lo que da directamente los componentes del vector resultante.
Esta última fórmula evita tener que cambiar la orientación del espacio cuando invertimos una base ortonormal.
La magnitud del producto vectorial se puede interpretar como el área positiva del paralelogramo que tiene a y b como lados (ver Figura 1): [1]
De hecho, también se puede calcular el volumen V de un paralelepípedo que tiene a , b y c como aristas utilizando una combinación de un producto cruz y un producto escalar, llamado triple producto escalar (ver Figura 2):
Dado que el resultado del triple producto escalar puede ser negativo, el volumen del paralelepípedo viene dado por su valor absoluto:
Debido a que la magnitud del producto cruz pasa por el seno del ángulo entre sus argumentos, el producto cruz puede considerarse como una medida de perpendicularidad de la misma manera que el producto escalar es una medida de paralelismo . Dados dos vectores unitarios , su producto vectorial tiene una magnitud de 1 si los dos son perpendiculares y una magnitud de cero si los dos son paralelos. El producto escalar de dos vectores unitarios se comporta de manera opuesta: es cero cuando los vectores unitarios son perpendiculares y 1 si los vectores unitarios son paralelos.
Los vectores unitarios permiten dos identidades convenientes: el producto escalar de dos vectores unitarios produce el coseno (que puede ser positivo o negativo) del ángulo entre los dos vectores unitarios. La magnitud del producto cruzado de los dos vectores unitarios produce el seno (que siempre será positivo).
Si el producto cruzado de dos vectores es el vector cero (es decir, a × b = 0 ), entonces una o ambas entradas son el vector cero ( a = 0 o b = 0 ) o son paralelas o antiparalelo ( a ∥ b ) de modo que el seno del ángulo entre ellos sea cero ( θ = 0° o θ = 180° y sen θ = 0 ).
El autoproducto cruzado de un vector es el vector cero:
El producto cruzado es anticonmutativo ,
distributivo sobre la suma,
y compatible con la multiplicación escalar de modo que
No es asociativo , pero satisface la identidad de Jacobi :
La distributividad, la linealidad y la identidad de Jacobi muestran que el espacio vectorial R 3 junto con la suma de vectores y el producto vectorial forma un álgebra de Lie , el álgebra de Lie del grupo ortogonal real en 3 dimensiones, SO(3) . El producto cruzado no obedece a la ley de cancelación ; es decir, a × b = a × c con a ≠ 0 no implica b = c , sino sólo eso:
Este puede ser el caso donde b y c se cancelan, pero además donde a y b − c son paralelos; es decir, están relacionados por un factor de escala t , lo que lleva a:
para algún escalar t .
Si, además de a × b = a × c y a ≠ 0 como arriba, se da el caso de que a ⋅ b = a ⋅ c entonces
Como b − c no puede ser simultáneamente paralelo (para que el producto cruz sea 0 ) y perpendicular (para que el producto escalar sea 0) a a , debe darse el caso de que b y c se cancelen: b = c .
Según la definición geométrica, el producto vectorial es invariante bajo rotaciones adecuadas alrededor del eje definido por a × b . En fórmulas:
De manera más general, el producto cruzado obedece a la siguiente identidad bajo transformaciones matriciales :
donde es una matriz de 3 por 3 y es la transpuesta de la inversa y es la matriz cofactor. Se puede ver fácilmente cómo esta fórmula se reduce a la anterior si es una matriz de rotación. Si se aplica una matriz simétrica de 3 por 3 a un producto cruzado genérico , se cumple la siguiente relación:
El producto cruzado de dos vectores se encuentra en el espacio nulo de la matriz de 2 × 3 con los vectores como filas:
Para la suma de dos productos cruzados, se cumple la siguiente identidad:
La regla del producto del cálculo diferencial se aplica a cualquier operación bilineal y, por tanto, también al producto cruz:
donde a y b son vectores que dependen de la variable real t .
El producto cruzado se utiliza en ambas formas del producto triple. El triple producto escalar de tres vectores se define como
Es el volumen con signo del paralelepípedo con aristas a , byc y , como tal, los vectores se pueden usar en cualquier orden que sea una permutación uniforme del orden anterior. Por lo tanto son iguales:
El triple producto vectorial es el producto vectorial de un vector con el resultado de otro producto vectorial, y se relaciona con el producto escalar mediante la siguiente fórmula
El mnemónico "BAC menos CAB" se utiliza para recordar el orden de los vectores en el miembro de la derecha. Esta fórmula se utiliza en física para simplificar los cálculos vectoriales. Un caso especial, relacionado con gradientes y útil en cálculo vectorial , es
donde ∇ 2 es el operador vectorial laplaciano .
Otras identidades relacionan el producto cruzado con el triple producto escalar:
donde I es la matriz identidad.
El producto cruzado y el producto escalar están relacionados por:
El lado derecho es el determinante de Gram de a y b , el cuadrado del área del paralelogramo definido por los vectores. Esta condición determina la magnitud del producto cruzado. Es decir, dado que el producto escalar se define, en términos del ángulo θ entre los dos vectores, como:
La relación dada anteriormente se puede reescribir de la siguiente manera:
Invocando la identidad trigonométrica pitagórica se obtiene:
que es la magnitud del producto cruzado expresado en términos de θ , igual al área del paralelogramo definido por a y b (ver definición arriba).
La combinación de este requisito y la propiedad de que el producto cruz sea ortogonal a sus constituyentes a y b proporciona una definición alternativa del producto cruz. [14]
Para el producto cruzado a × b = c , hay varios vectores b que dan el mismo valor de c . Como resultado, no es posible reordenar esta ecuación para obtener una solución única para b en términos de a y c . Sin embargo, es posible encontrar una familia de soluciones para b , que son
donde t es una constante arbitraria.
Esto se puede derivar usando la expansión del triple producto:
Reorganizar para resolver b para dar
El coeficiente del último término se puede simplificar a solo la constante arbitraria t para obtener el resultado que se muestra arriba.
La relación
se puede comparar con otra relación que involucra el lado derecho, a saber, la identidad de Lagrange expresada como [15]
donde a y b pueden ser vectores n -dimensionales. Esto también muestra que la forma de volumen de Riemann para superficies es exactamente el elemento de superficie del cálculo vectorial. En el caso donde n = 3 , la combinación de estas dos ecuaciones da como resultado la expresión de la magnitud del producto cruzado en términos de sus componentes: [16]
El mismo resultado se encuentra directamente usando los componentes del producto cruzado encontrado en
En R 3 , la ecuación de Lagrange es un caso especial de multiplicatividad | VW | = | v || w | de la norma en el álgebra de cuaterniones .
Es un caso especial de otra fórmula, también llamada a veces identidad de Lagrange, que es el caso tridimensional de la identidad Binet-Cauchy : [17] [18]
Si a = c y b = d , esto se simplifica a la fórmula anterior.
El producto cruz describe convenientemente los generadores infinitesimales de rotaciones en R 3 . Específicamente, si n es un vector unitario en R 3 y R ( φ , n ) denota una rotación alrededor del eje que pasa por el origen especificado por n , con un ángulo φ (medido en radianes, en sentido antihorario visto desde la punta de n ), entonces
para cada vector x en R 3 . Por tanto, el producto cruz con n describe el generador infinitesimal de las rotaciones alrededor de n . Estos generadores infinitesimales forman el álgebra de Lie so (3) del grupo de rotación SO(3) , y obtenemos el resultado de que el álgebra de Lie R 3 con producto cruzado es isomorfo al álgebra de Lie so (3).
El producto vectorial vectorial también se puede expresar como el producto de una matriz simétrica sesgada y un vector: [17]
Las columnas [ a ] ×,i de la matriz simétrica sesgada para un vector a también se pueden obtener calculando el producto cruzado con vectores unitarios . Eso es,
Además, si a se expresa como un producto cruzado:
La evaluación del producto cruzado da
Este resultado se puede generalizar a dimensiones superiores utilizando álgebra geométrica . En particular, en cualquier dimensión, los bivectores se pueden identificar con matrices simétricas sesgadas, por lo que el producto entre una matriz simétrica sesgada y un vector es equivalente a la parte de grado 1 del producto de un bivector y un vector. [19] En tres dimensiones, los bivectores son duales con respecto a los vectores, por lo que el producto es equivalente al producto cruzado, con el bivector en lugar de su vector dual. En dimensiones superiores aún se puede calcular el producto, pero los bivectores tienen más grados de libertad y no son equivalentes a los vectores. [19]
También suele ser mucho más fácil trabajar con esta notación, por ejemplo, en geometría epipolar .
De las propiedades generales del producto cruz se sigue inmediatamente que
La expansión del triple producto mencionada anteriormente (regla bac-cab) se puede demostrar fácilmente utilizando esta notación.
Como se mencionó anteriormente, el álgebra de Lie R 3 con producto cruzado es isomorfo al álgebra de Lie so(3) , cuyos elementos pueden identificarse con las matrices simétricas sesgadas de 3×3. El mapa a → [ a ] × proporciona un isomorfismo entre R 3 y so(3) . Según este mapa, el producto cruzado de 3 vectores corresponde al conmutador de matrices simétricas sesgadas de 3x3.
El producto cruzado también se puede definir en términos del tensor de Levi-Civita E ijk y un producto escalar η mi , que son útiles para convertir notación vectorial para aplicaciones de tensor:
donde los índices corresponden a componentes vectoriales. Esta caracterización del producto vectorial a menudo se expresa de manera más compacta utilizando la convención de suma de Einstein como
en el que los índices repetidos se suman entre los valores 1 a 3.
En una base ortonormal orientada positivamente η mi = δ mi (el delta de Kronecker ) y (el símbolo de Levi-Civita ). En ese caso, esta representación es otra forma de representación simétrica sesgada del producto vectorial:
En mecánica clásica : representar el producto vectorial mediante el símbolo de Levi-Civita puede hacer que las simetrías mecánicas sean obvias cuando los sistemas físicos son isotrópicos . (Un ejemplo: considere una partícula en un potencial de la Ley de Hooke en tres espacios, libre para oscilar en tres dimensiones; ninguna de estas dimensiones es "especial" en ningún sentido, por lo que las simetrías residen en el momento angular representado por el producto cruzado, que quedan claros en la declaración de Levi-Civita antes mencionada). [ cita necesaria ]
La palabra "xyzzy" se puede utilizar para recordar la definición del producto cruzado.
Si
dónde:
entonces:
La segunda y tercera ecuaciones se pueden obtener a partir de la primera simplemente rotando verticalmente los subíndices, x → y → z → x . El problema, por supuesto, es cómo recordar la primera ecuación, y hay dos opciones disponibles para este propósito: recordar las dos diagonales relevantes del esquema de Sarrus (las que contienen i ), o recordar la secuencia xyzzy.
Dado que la primera diagonal en el esquema de Sarrus es solo la diagonal principal de la matriz de 3 × 3 antes mencionada, las primeras tres letras de la palabra xyzzy se pueden recordar muy fácilmente.
De manera similar al dispositivo mnemotécnico anterior, se puede visualizar una "cruz" o X entre los dos vectores de la ecuación. Esto puede resultar útil para recordar la fórmula correcta de productos cruzados.
Si
entonces:
Si queremos obtener la fórmula para, simplemente eliminamos y de la fórmula y eliminamos los dos componentes siguientes:
Al hacer esto para los dos elementos siguientes, se debe "envolver" la matriz de modo que después del componente z venga el componente x. Para mayor claridad, al realizar esta operación para , los siguientes dos componentes deben ser z y x (en ese orden). Mientras que para los dos siguientes componentes se deben tomar como x e y.
Entonces , si visualizamos el operador de cruz apuntando desde un elemento de la izquierda a un elemento de la derecha, podemos tomar el primer elemento de la izquierda y simplemente multiplicarlo por el elemento al que apunta la cruz en la matriz de la derecha. . Luego restamos el siguiente elemento hacia abajo a la izquierda, multiplicado por el elemento al que apunta la cruz aquí también. Esto da como resultado nuestra fórmula:
Podemos hacer esto de la misma manera para y para construir sus fórmulas asociadas.
El producto cruzado tiene aplicaciones en diversos contextos. Por ejemplo, se utiliza en geometría computacional, física e ingeniería. A continuación se incluye una lista no exhaustiva de ejemplos.
El producto vectorial aparece en el cálculo de la distancia de dos líneas oblicuas (líneas que no están en el mismo plano) entre sí en un espacio tridimensional.
El producto cruzado se puede utilizar para calcular la normal de un triángulo o polígono, una operación que se realiza con frecuencia en gráficos por computadora . Por ejemplo, la curvatura de un polígono (en sentido horario o antihorario) alrededor de un punto dentro del polígono se puede calcular triangulando el polígono (como los radios de una rueda) y sumando los ángulos (entre los radios) usando el producto vectorial para realizar un seguimiento de los signo de cada ángulo.
En geometría computacional del plano , el producto cruz se utiliza para determinar el signo del ángulo agudo definido por tres puntos y . Corresponde a la dirección (hacia arriba o hacia abajo) del producto cruzado de los dos vectores coplanares definidos por los dos pares de puntos y . El signo del ángulo agudo es el signo de la expresión.
que es la longitud con signo del producto cruzado de los dos vectores.
En el sistema de coordenadas "diestros", si el resultado es 0, los puntos son colineales ; si es positivo, los tres puntos constituyen un ángulo de rotación positivo alrededor de a , en caso contrario, un ángulo negativo. Desde otro punto de vista, el signo de indica si se encuentra a la izquierda o a la derecha de la línea.
El producto vectorial se utiliza para calcular el volumen de un poliedro como un tetraedro o un paralelepípedo .
El momento angular L de una partícula con respecto a un origen dado se define como:
donde r es el vector de posición de la partícula con respecto al origen, p es el momento lineal de la partícula.
De la misma manera, el momento M de una fuerza F B aplicada en el punto B alrededor del punto A viene dado por:
En mecánica el momento de una fuerza también se llama torque y se escribe como
Dado que la posición r , el momento lineal p y la fuerza F son todos vectores verdaderos , tanto el momento angular L como el momento de una fuerza M son pseudovectores o vectores axiales .
El producto cruz aparece frecuentemente en la descripción de movimientos rígidos. Dos puntos P y Q de un cuerpo rígido se pueden relacionar mediante:
donde es la posición del punto, es su velocidad y es la velocidad angular del cuerpo .
Dado que la posición y la velocidad son vectores verdaderos , la velocidad angular es un pseudovector o vector axial .
El producto cruz se utiliza para describir la fuerza de Lorentz experimentada por una carga eléctrica en movimiento q e :
Dado que la velocidad v , la fuerza F y el campo eléctrico E son todos vectores verdaderos , el campo magnético B es un pseudovector .
En cálculo vectorial , el producto cruzado se utiliza para definir la fórmula para el operador vectorial curl .
El truco de reescribir un producto cruzado en términos de una multiplicación de matrices aparece frecuentemente en geometría epipolar y de múltiples vistas, en particular cuando se derivan restricciones coincidentes.
El producto cruzado se puede definir en términos del producto exterior. Se puede generalizar a un producto externo en otras dimensiones que no sean tres. [20] Esta generalización permite una interpretación geométrica natural del producto vectorial. En álgebra exterior, el producto exterior de dos vectores es un bivector. Un bivector es un elemento plano orientado, de la misma manera que un vector es un elemento lineal orientado. Dados dos vectores a y b , se puede ver el bivector a ∧ b como el paralelogramo orientado abarcado por a y b . Luego, el producto vectorial se obtiene tomando la estrella de Hodge del bivector a ∧ b , asignando 2 vectores a vectores:
Esto puede considerarse como el elemento multidimensional orientado "perpendicular" al bivector. En un espacio d- dimensional, la estrella de Hodge toma un k -vector a un ( d – k ) -vector; por tanto, sólo en d = 3 dimensiones el resultado es un elemento de dimensión uno (3–2 = 1), es decir, un vector. Por ejemplo, en d = 4 dimensiones, el producto cruzado de dos vectores tiene dimensión 4–2 = 2, lo que da un bivector. Por tanto, sólo en tres dimensiones el producto vectorial define una estructura algebraica para multiplicar vectores.
Cuando las leyes físicas se escriben como ecuaciones, es posible realizar una elección arbitraria del sistema de coordenadas, incluida la lateralidad. Se debe tener cuidado de no escribir nunca una ecuación en la que los dos lados no se comporten de la misma manera en todas las transformaciones que deban considerarse. Por ejemplo, si un lado de la ecuación es producto cruzado de dos vectores polares , hay que tener en cuenta que el resultado es un vector axial . Por lo tanto, por coherencia, el otro lado también debe ser un vector axial. [ cita necesaria ] De manera más general, el resultado de un producto cruzado puede ser un vector polar o un vector axial, dependiendo del tipo de sus operandos (vectores polares o vectores axiales). Es decir, los vectores polares y los vectores axiales están interrelacionados de las siguientes maneras bajo la aplicación del producto vectorial:
o simbólicamente
Debido a que el producto vectorial también puede ser un vector polar, es posible que no cambie de dirección con una transformación de imagen especular. Esto sucede, según las relaciones anteriores, si uno de los operandos es un vector polar y el otro es un vector axial (por ejemplo, el producto cruzado de dos vectores polares). Por ejemplo, un producto triple vectorial que involucra tres vectores polares es un vector polar.
Es posible un enfoque sin uso de las manos utilizando álgebra exterior.
Sea ( i , j , k ) una base ortonormal. Los vectores i , j y k no dependen de la orientación del espacio. Incluso pueden definirse en ausencia de orientación alguna. Por tanto, no pueden ser vectores axiales. Pero si i y j son vectores polares, entonces k es un vector axial para i × j = k o j × i = k . Esto es una paradoja.
"Axial" y "polar" son calificadores físicos de vectores físicos ; es decir, vectores que representan cantidades físicas como la velocidad o el campo magnético. Los vectores i , j y k son vectores matemáticos, ni axiales ni polares. En matemáticas, el producto cruzado de dos vectores es un vector. No hay contradicción.
Hay varias formas de generalizar el producto cruzado a dimensiones superiores.
El producto cruz puede verse como uno de los productos de Lie más simples y, por lo tanto, se generaliza mediante álgebras de Lie , que se axiomatizan como productos binarios que satisfacen los axiomas de multilinealidad, simetría sesgada y la identidad de Jacobi. Existen muchas álgebras de Lie y su estudio es un campo importante de las matemáticas, llamado teoría de Lie .
Por ejemplo, el álgebra de Heisenberg da otra estructura de álgebra de Lie sobre la base del producto:
El producto cruzado también se puede describir en términos de cuaterniones . En general, si un vector [ a 1 , a 2 , a 3 ] se representa como el cuaternión a 1 i + a 2 j + a 3 k , el producto cruzado de dos vectores se puede obtener tomando su producto como cuaterniones y eliminando la parte real del resultado. La parte real será el negativo del producto escalar de los dos vectores.
Se puede obtener un producto vectorial para vectores de 7 dimensiones de la misma manera usando octoniones en lugar de cuaterniones. La no existencia de productos cruzados no triviales con valores vectoriales de dos vectores en otras dimensiones está relacionada con el resultado del teorema de Hurwitz de que las únicas álgebras de división normadas son las que tienen dimensiones 1, 2, 4 y 8.
En dimensión general, no existe un análogo directo del producto cruzado binario que produzca específicamente un vector. Sin embargo, existe el producto exterior, que tiene propiedades similares, excepto que el producto exterior de dos vectores ahora es un vector 2 en lugar de un vector ordinario. Como se mencionó anteriormente, el producto vectorial se puede interpretar como el producto exterior en tres dimensiones utilizando el operador estrella de Hodge para asignar 2 vectores a vectores. El dual de Hodge del producto exterior produce un ( n − 2 ) -vector, que es una generalización natural del producto vectorial en cualquier número de dimensiones.
El producto exterior y el producto escalar se pueden combinar (mediante suma) para formar el producto geométrico en álgebra geométrica.
Como se mencionó anteriormente, el producto cruz se puede interpretar en tres dimensiones como el dual de Hodge del producto exterior. En cualquier n dimensiones finitas, el dual de Hodge del producto exterior de n − 1 vectores es un vector. Entonces, en lugar de una operación binaria, en dimensiones finitas arbitrarias, el producto cruz se generaliza como el dual de Hodge del producto exterior de algunos n − 1 vectores dados. Esta generalización se llama producto externo . [21]
Interpretar el espacio vectorial tridimensional del álgebra como la subálgebra de 2 vectores (no el de 1 vector) del álgebra geométrica tridimensional, donde , y , el producto cruzado corresponde exactamente al producto del conmutador en álgebra geométrica y ambos Utiliza el mismo símbolo . El producto del conmutador se define para 2 vectores y en álgebra geométrica como:
¿ Dónde está el producto geométrico? [22]
El producto del conmutador podría generalizarse a multivectores arbitrarios en tres dimensiones, lo que da como resultado un multivector que consta únicamente de elementos de grados 1 (1-vectores/vectores verdaderos) y 2 (2-vectores/pseudovectores). Mientras que el producto del conmutador de dos vectores 1 es de hecho el mismo que el producto exterior y produce un vector 2, el conmutador de un vector 1 y un vector 2 produce un vector verdadero, correspondiente a las contracciones izquierda y derecha en álgebra geométrica. El producto del conmutador de dos 2 vectores no tiene un producto equivalente correspondiente, por lo que el producto del conmutador se define en primer lugar para 2 vectores. Además, el producto triple del conmutador de tres 2 vectores es el mismo que el producto triple del vector de los mismos tres pseudovectores en álgebra vectorial. Sin embargo, el producto triple del conmutador de tres vectores 1 en álgebra geométrica es, en cambio, el negativo del producto triple vectorial de los mismos tres vectores verdaderos en álgebra vectorial.
Las generalizaciones a dimensiones superiores las proporciona el mismo producto conmutador de 2 vectores en álgebras geométricas de dimensiones superiores, pero los 2 vectores ya no son pseudovectores. Así como el producto conmutador/producto cruzado de 2 vectores en tres dimensiones corresponde al álgebra de Lie más simple, las subálgebras de 2 vectores del álgebra geométrica de dimensiones superiores equipadas con el producto conmutador también corresponden a las álgebras de Lie. [23] También como en tres dimensiones, el producto del conmutador podría generalizarse aún más a multivectores arbitrarios.
En el contexto del álgebra multilineal , el producto vectorial puede verse como el tensor (1,2) (un tensor mixto , específicamente un mapa bilineal ) obtenido de la forma de volumen tridimensional , [nota 2] a (0,3 )-tensor, elevando un índice .
En detalle, la forma de volumen tridimensional define un producto tomando el determinante de la matriz dada por estos 3 vectores. Por dualidad , esto es equivalente a una función (fijar dos entradas cualesquiera da una función evaluando la tercera entrada) y en presencia de un producto interno (como el producto escalar; más generalmente, una forma bilineal no degenerada), tenemos un isomorfismo y, por lo tanto, esto produce un mapa que es el producto cruzado: un tensor (0,3) (3 entradas vectoriales, salida escalar) se ha transformado en un tensor (1,2) (2 entradas vectoriales, 1 salida vectorial) "levantando un índice".
Traduciendo el álgebra anterior a geometría, la función "volumen del paralelepípedo definido por " (donde los dos primeros vectores son fijos y el último es una entrada), que define una función , se puede representar únicamente como el producto escalar con un vector: este vector es el producto cruzado. Desde esta perspectiva, el producto cruzado está definido por el triple producto escalar ,
De la misma manera, en dimensiones superiores se pueden definir productos cruzados generalizados elevando índices de la forma de volumen n -dimensional, que es un tensor. Las generalizaciones más directas del producto cruzado son definir:
Todos estos productos son multilineales y asimétricos, y pueden definirse en términos del determinante y la paridad .
El producto ario se puede describir de la siguiente manera: los vectores dados definen su producto cruzado generalizado como:
Este es el único producto alterno multilineal que se evalúa como , etc. para permutaciones cíclicas de índices.
En coordenadas, se puede dar una fórmula para este análogo ario del producto vectorial en R n mediante:
Esta fórmula es idéntica en estructura a la fórmula determinante para el producto cruzado normal en R 3 excepto que la fila de vectores base es la última fila del determinante en lugar de la primera. La razón de esto es asegurar que los vectores ordenados ( v 1 , ..., v n −1 , Λnorte –1
yo = 0vi ) tienen una orientación positiva con respecto a ( e 1 , ..., e n ). Si n es impar, esta modificación deja el valor sin cambios, por lo que esta convención concuerda con la definición normal del producto binario. Sin embargo, en el caso de que n sea par, se debe mantener la distinción. Esta forma -aria disfruta de muchas de las mismas propiedades que el producto vectorial vectorial: es alternante y lineal en sus argumentos, es perpendicular a cada argumento y su magnitud da el hipervolumen de la región delimitada por los argumentos. Y al igual que el producto vectorial vectorial, se puede definir de forma independiente de las coordenadas como el dual de Hodge del producto de cuña de los argumentos. Además, el producto satisface la identidad de Filippov,
y así dota a R n+1 de una estructura de álgebra de n-Lie (ver Proposición 1 de [24] ).
En 1773, Joseph-Louis Lagrange utilizó la forma componente de los productos punto y cruz para estudiar el tetraedro en tres dimensiones. [25] [nota 3]
En 1843, William Rowan Hamilton introdujo el producto cuaternión , y con él los términos vector y escalar . Dados dos cuaterniones [0, u ] y [0, v ] , donde u y v son vectores en R 3 , su producto de cuaternión se puede resumir como [− u ⋅ v , u × v ] . James Clerk Maxwell utilizó las herramientas de los cuaterniones de Hamilton para desarrollar sus famosas ecuaciones de electromagnetismo , y por esta y otras razones los cuaterniones durante un tiempo fueron una parte esencial de la educación física.
En 1844, Hermann Grassmann publicó un álgebra geométrica no ligada a la dimensión dos o tres. Grassmann desarrolló varios productos, incluido un producto cruzado representado entonces por [uv] . [26] ( Ver también: álgebra exterior . )
En 1853, Augustin-Louis Cauchy , contemporáneo de Grassmann, publicó un artículo sobre claves algebraicas que se utilizaban para resolver ecuaciones y tenían las mismas propiedades de multiplicación que el producto cruz. [27] [28]
En 1878, William Kingdon Clifford publicó Elements of Dynamic , en el que se atestigua el término producto vectorial . En el libro, se define que este producto de dos vectores tiene magnitud igual al área del paralelogramo del que son dos lados y dirección perpendicular a su plano. [29] ( Ver también: Álgebra de Clifford . )
En apuntes de conferencias de 1881, Gibbs representó el producto cruzado por y lo llamó producto sesgado . [30] [31] En 1901, el alumno de Gibb, Edwin Bidwell Wilson, editó y amplió estas notas de clase en el libro de texto Análisis vectorial . Wilson mantuvo el término producto sesgado , pero observó que los términos alternativos producto cruzado [nota 4] y producto vectorial eran más frecuentes. [32]
En 1908, Cesare Burali-Forti y Roberto Marcolongo introdujeron la notación de producto vectorial u ∧ v . [26] Esto se usa en Francia y otras áreas hasta el día de hoy, ya que el símbolo ya se usa para denotar la multiplicación y el producto cartesiano .
Si se requieren sólo tres propiedades básicas del producto vectorial... resulta que un producto vectorial de vectores existe sólo en el espacio euclidiano de 3 y 7 dimensiones.