Diferencia entre revisiones de «Vector axial»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
Sora.cc05 (discusión · contribs.)
Función de sugerencias de enlaces: 2 enlaces añadidos.
Sin resumen de edición
Línea 1: Línea 1:
{{en obras}}
[[Archivo:Uitwendig product onder inversie.svg|thumb|En la inversión del signo de dos vectores, su producto vectorial es invariante.]]
Un '''vector axial''' o '''pseudovector''' es una [[magnitud física]] que presenta propiedades de [[Covariancia y contravariancia|covariancia]] o transformación bajo [[Grupo de isometría|reflexiones]] anómalas, presentando violaciones aparentes de la [[Paridad (física)|paridad física]].


[[File:BIsAPseudovector.svg|thumb|right|300px|Un bucle de alambre (negro), que transporta una [[corriente eléctrica]] '''I''', crea un [[campo magnético]] '''B''' (azul). Si la posición y la corriente del cable se reflejan a través del plano indicado por la línea discontinua, el campo magnético resultante en la imagen reflejada (tal como aparecería en un espejo) ''no'' sería el correcto, y de acuerdo con las leyes de la física debe ''invertirse su sentido'' (tal como aparece representado). En consecuencia, la posición y la corriente en cualquier punto del cable son vectores ''verdaderos'', pero el campo magnético ''B'' es un pseudovector.<ref name=Tischchenko>{{cite book|page=343|title=Linearity and the mathematics of several variables|author1=Stephen A. Fulling|author2=Michael N. Sinyakov|author3=Sergei V. Tischchenko|url=https://books.google.com/books?id=Eo3mcd_62DsC&q=pseudovector+%22magnetic+field%22&pg=RA1-PA343
Algunos ejemplos de vectores axiales son el [[momento angular]], el [[momento de fuerza]], la [[velocidad angular]] y el [[campo magnético]]. Están ligados a efectos de giro, y normalmente se definen mediante el producto vectorial. Su módulo representa el valor numérico de la magnitud, luego la dirección señala el eje de rotación y el sentido del vector se hace corresponder con el sentido de giro a través del convenio de la mano derecha.
|isbn=981-02-4196-8|year=2000|publisher=World Scientific}}</ref>]]


En [[física]] y [[matemáticas]], un '''vector axial''' o '''seudovector''' (también escrito como '''pseudovector''')<ref name="IEV-u282">{{cite web|title=Details for IEV number 102-03-33: "axial vector"|website=International Electrotechnical Vocabulary|url=https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=102-03-33|language=ja|access-date=2023-11-07}}</ref> es una magnitud que se comporta como un [[vector]] en muchas situaciones, pero su [[Orientación (geometría)|orientación]] no cumple alguna de las reglas de las [[transformación geométrica|transformaciones euclídeas]] (como [[movimiento de rotación|rotaciones]], [[Traslación (geometría)|traslaciones]] o [[Reflexión (matemática)|reflexiones]]), o cuando se cambia la [[Orientabilidad|orientación del espacio]]. Por ejemplo, el [[momento angular]] es un pseudovector porque a menudo se describe como un vector, pero con solo cambiar la posición de referencia (modificando el [[posición|vector de posición]]), el momento angular puede invertir su sentido, lo que no se supone que suceda con los vectores verdaderos (también conocidos como ''vectores polares'').<ref name="IEV-o617">{{cite web|title=Details for IEV number 102-03-34: "polar vector"|website=International Electrotechnical Vocabulary|url=https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=102-03-34|language=ja|access-date=2023-11-07}}</ref>
== Descripción ==
{{Referencias|t=20220407114655}}
La explicación de este extraño comportamiento es que realmente no cualquier 3-tupla de componentes forma un [[vector (física)#Requerimientos físicos de las magnitudes vectoriales|vector físico]]. En particular, cualquier magnitud física definida mediante el [[producto vectorial]] de dos vectores físicos genuinos es un vector axial o pseudovector. Las componentes de un vector axial <math>\mathbf{a} = (a_1, a_2, a_3)</math> tridimensional admiten ser expresadas como:
{{ecuación|
<math>a_i = \sum_{j,k} \varepsilon_{ijk} b_j c_k</math>
||left}}
Donde:
:<math>\varepsilon_{ijk}\,</math> es el [[símbolo de Levi-Civita]], totalmente antisimétrico.
:<math>\mathbf{b} = (b_1, b_2, b_3)</math> es un vector ordinario no-axial.
:<math>\mathbf{c} = (c_1, c_2, c_3)</math> es un vector ordinario no-axial.
En [[teoría de la relatividad|mecánica relativista]] los vectores axiales son tratados como la parte espacial de un tensor antisimétrico. Más concretamente un vector axial resulta ser la parte espacial del [[dual de Hodge]] del correspondiente tensor antisimétrico.
{{ecuación|
<math>\begin{pmatrix} a^0 \\ \mathbf{a} \end{pmatrix} = *\mathbf{A}, \qquad
\mathbf{A} = \frac{1}{2!} A_{ij}\ dx^i\land dx^j


Un ejemplo de seudovector es la normal a un [[Plano (geometría)|plano]] orientado. Teniendo en cuenta de un plano puede definirse mediante dos vectores no paralelos '''a''' y '''b''',<ref name=FeynmanLectures> [https://feynmanlectures.caltech.edu/I_52.html RP Feynman: §52-5 Polar and axial vectors, Feynman Lectures in Physics, Vol. 1]</ref> el vector {{nowrap|'''a''' × '''b'''}} es normal al plano (pero hay dos posibles normales, una a cada lado del plano, y mediante la [[regla de la mano derecha]] se determinará cuál se elige), por lo que es un seudovector. Esto tiene consecuencias en los gráficos por computadora, donde debe tenerse en cuenta esta circunstancia cuando se transforman las [[Normal (geometría)|normales a las superficies]]. En tres dimensiones, el [[rotacional]] de un [[campo vectorial]] polar en un punto y el [[producto vectorial]] de dos vectores polares también son seudovectores.<ref name=Tarapov>{{cite book|title=Vector and tensor analysis with applications|author1=Aleksandr Ivanovich Borisenko|author2=Ivan Evgenʹevich Tarapov|url=https://books.google.com/books?id=CRIjIx2ac6AC&q=%22C+is+a+pseudovector.+Note+that%22&pg=PA125|page=125|isbn=0-486-63833-2|year=1979|edition=Reprint of 1968 Prentice-Hall|publisher=Courier Dover}}</ref>

Varias cantidades en física se comportan como seudovectores en lugar de vectores polares, incluidos el [[campo magnético]] y la [[velocidad angular]]. En matemáticas, en tres dimensiones, los seudovectores son equivalentes a los [[bivector]]es, de donde se pueden derivar las reglas de transformación de los seudovectores. De manera más general, en [[álgebra geométrica]] de ''n'' dimensiones, los seudovectores son los elementos del álgebra con dimensión {{nowrap|''n'' − 1}}, a los que les corresponde la notación ⋀<sup>''n''−1</sup>''R''<sup>''n''</sup>. El prefijo ''seudo'' se puede generalizar aún más para describir conceptos como ''[[seudoscalar]]'' o ''[[seudotensor]]'', a los que les corresponde un cambio de signo adicional bajo rotaciones impropias en comparación con un [[Escalar (matemática)|escalar]] o un [[tensor]] verdaderos.

==Ejemplos en física==
Los ejemplos de seudovectores en física incluyen el [[momento de fuerza|momento de una fuerza]],<ref name=FeynmanLectures/> la [[velocidad angular]], el [[momento angular]],<ref name=FeynmanLectures/> el [[campo magnético]],<ref name=FeynmanLectures/> la [[vorticidad]] y el [[momento magnético]].

[[Image:Impulsmoment van autowiel onder inversie.svg|thumb|Cada rueda del automóvil de la izquierda que se aleja de un observador posee un momento angular (representado por un seudovector) que apunta hacia la izquierda. Lo mismo ocurre con la imagen especular del automóvil. El hecho de que las flechas apunten en la misma dirección, en lugar de ser imágenes especulares entre sí, indica que la magnitud se representa mediante un seudovector]]

Considérese el seudovector del [[momento angular]] {{nowrap|1='''L'''= Σ('''r''' × '''p''')}}. Conduciendo en un automóvil y mirando hacia adelante, cada una de las ruedas tiene un vector de momento angular que apunta hacia la izquierda. Si el mundo se refleja en un espejo que cambia el lado izquierdo y derecho del automóvil, el ''reflejo'' de este ''vector'' de momento angular (visto como un vector ordinario) apunta hacia la derecha, pero el ángulo ''real'' del vector de impulso de la rueda (que todavía gira hacia adelante en el reflejo) sigue apuntando hacia la izquierda, según corresponde al signo adicional del giro en el reflejo de un seudovector.

La distinción entre vectores polares (o vectores verdaderos) y seudovectores adquiere importancia para comprender el efecto de la [[simetría en física|simetría]] en el análisis de sistemas físicos. Considérese un bucle de corriente eléctrica en el plano {{nowrap|1=''z''= 0}}, que en su interior genera un campo magnético orientado en la dirección ''z''. Este sistema es [[simetría|simétrico]] (invariante) con respecto a reflexiones especulares a través del plano dado, sin que el sentido del campo magnético se vea afectado por la reflexión. Pero se esperaría que al reflejar a través del plano dado el campo magnético como un vector este quedaría invertido, circunstancia que se corrige al darse cuenta de que el campo magnético es un seudovector, al que un cambio de signo adicional permite mantener con el sentido correcto.

En física, los pseudovectores son generalmente el resultado de tomar el [[producto vectorial]] de dos vectores polares o el [[Rotacional|curl]] de un campo de vector polar. El producto cruzado y el rizo se definen, por convención, según la regla de la mano derecha, pero podrían haberse definido con la misma facilidad en términos de la regla de la mano izquierda. Todo el cuerpo de física que trata con pseudovectores (diestros) y la regla de la mano derecha podría reemplazarse mediante el uso de pseudovectores (zurdos) y la regla de la mano izquierda sin problemas. Los pseudovectores (izquierdos) así definidos tendrían dirección opuesta a los definidos por la regla de la mano derecha.

Si bien las relaciones vectoriales en física se pueden expresar sin coordenadas, se requiere un sistema de coordenadas para expresar vectores y pseudovectores como cantidades numéricas. Los vectores se representan como tripletes ordenados de números: p.e. <math>\mathbf{a}=(a_x,a_y,a_z)</math> y los pseudovectores también se representan de esta forma. Al transformar entre sistemas de coordenadas de mano izquierda y derecha, las representaciones de pseudovectores no se transforman como vectores, y tratarlas como representaciones vectoriales provocará un cambio de signo incorrecto, por lo que se debe tener cuidado de realizar un seguimiento de qué tripletes ordenados representan vectores, y que representan pseudovectores. Este problema no existe si el producto cruzado de dos vectores se reemplaza por el [[producto exterior]] de los dos vectores, lo que produce un [[bivector]] que es un tensor de segundo rango y está representado por una matriz de 3×3. Esta representación del tensor 2 se transforma correctamente entre dos sistemas de coordenadas cualesquiera, independientemente de su lateralidad.

==Detalles==
{{See also|Covariance and contravariance of vectors|Euclidean vector}}

La definición de "vector" en física (incluidos tanto los vectores polares como los pseudovectores) es más específica que la definición matemática de "vector" (es decir, cualquier elemento de un [[espacio vectorial]] abstracto). Según la definición física, se requiere que un "vector" tenga [[Tupla|components]] que se "transforme" de cierta manera bajo un [[Rotación (matemáticas)|proper rotation]]: en particular, si todo en el universo girara, el vector rotaría exactamente de la misma manera. (El sistema de coordenadas está fijo en esta discusión; en o




En otras palabras, esta es la perspectiva de [[Transformación activa y pasiva|active transformations]].) Matemáticamente, si todo en el universo sufre una rotación descrita por una [[matriz de rotación]] ''R'', de modo que una [[desplazamiento (vector)]] '''x''' se transforma en {{nowrap|1='''x'''{{prime}}= ''R'''''x'''}}, entonces cualquier "vector " '''v''' debe transformarse de manera similar a {{nowrap|1='''v'''{{prime}}= ''R'''''v'''}}. Este importante requisito es lo que distingue a un ''vector'' (que podría estar compuesto, por ejemplo, por los componentes ''x'', ''y'' y ''z'' de [[velocidad]]) de cualquier otro triplete de cantidades físicas (por ejemplo, la longitud, el ancho y la altura de una caja rectangular "no pueden" considerarse los tres componentes de un vector, ya que al girar la caja no se transforman adecuadamente estos tres componentes).

(En el lenguaje de [[geometría diferencial]], este requisito equivale a definir un ''vector'' como un [[tensor]] de rango uno de [[Covarianza y contravarianza|contravariant]]. En este marco más general, los tensores de rango superior también pueden tener arbitrariamente muchos rangos covariantes y contravariantes mixtos en el mismo tiempo, indicado por índices elevados y reducidos dentro del [[Convenio de suma de Einstein]].)

Un ejemplo básico y bastante concreto es el de los vectores fila y columna bajo el habitual operador de multiplicación de matrices: en un orden producen el producto escalar, que es simplemente un escalar y, como tal, un tensor de rango cero, mientras que en el otro orden producen el [[ dyadic product]]. , que es una matriz que representa un tensor mixto de rango dos, con un índice contravariante y otro covariante. Como tal, la no conmutatividad del álgebra matricial estándar se puede utilizar para realizar un seguimiento de la distinción entre vectores covariantes y contravariantes. De hecho, así es como se llevaba la contabilidad antes de que surgiera la notación tensorial más formal y generalizada. Todavía se manifiesta en cómo los vectores base de los espacios tensoriales generales se exhiben para manipulación práctica.

La discusión hasta ahora solo se refiere a rotaciones propias, es decir, rotaciones alrededor de un eje. Sin embargo, también se pueden considerar [[rotación impropia]], es decir, un reflejo especular posiblemente seguido de una rotación adecuada. (Un ejemplo de rotación impropia es [[simetría central]] en el espacio tridimensional). Supongamos que todo en el universo sufre una rotación impropia descrita por la matriz de rotación impropia ''R'', de modo que un vector de posición ''x'' es transformado a {{nowrap|1='''x'''{{prime}}= ''R'''''x'''}}. Si el vector '''v'''' es un vector polar, se transformará a {{nowrap|1='''v'''{{prime}}= ''R'''''v'''}}. Si es un pseudovector, se transformará a {{nowrap|1='''v'''{{prime}}= −''R'''''v'''}}.

Las reglas de transformación para vectores polares y pseudovectores se pueden expresar de forma compacta como

: <math>
\begin{align}
\mathbf{v}' &= R\mathbf{v} & & \text{(polar vector)} \\
\mathbf{v}' &= (\det R)(R\mathbf{v}) & & \text{(pseudovector)}
\end{align}
</math>
</math>
||left}}


donde los símbolos son los descritos anteriormente y la matriz de rotación ''R'' puede ser propia o impropia. El símbolo det indica [[determinante (matemática)]]; esta fórmula funciona porque el determinante de las matrices de rotación propia e impropia es +1 y −1, respectivamente.
== Transformación de los vectores bajo reflexión ==
Bajo una operación de reflexión un vector axial cambia de signo, A diferencia de un vector ordinario en que sólo cambia de signo la componente perpendicular al plano de reflexión considerado. La [[imagen especular]] de una rueda de coche en movimiento se ve girar en el espejo con idéntico sentido de rotación a pesar de que las partes izquierda-derecha del vehículo han sido intercambiadas por la reflexión: el hecho de que tras una transformación de paridad el momento angular del sistema permanezca invariante es un reflejo de su carácter pseudovectorial.


===Comportamiento en suma, resta y multiplicación escalar===
== Ejemplos ==

* El [[momento angular]] y el [[par de una fuerza]] de la [[mecánica newtoniana]] son vectores axiales.
Supongamos que '''v'''<sub>1</sub> y '''v'''<sub>2</sub> son pseudovectores conocidos, y '''v'''<sub>3</sub> se define como su suma, {{nowrap|1='''v'''<sub>3</sub>= '''v'''<sub>1</sub> + '''v'''<sub>2</sub>}}. Si el universo se transforma mediante una matriz de rotación ''R'', entonces '''v''<sub>3</sub> se transforma en
* El [[campo magnético]] se trata como un vector axial en [[electromagnetismo]] clásico.

: <math>
\begin{align}
\mathbf{v_3}'= \mathbf{v_1}'+\mathbf{v_2}' &= (\det R)(R\mathbf{v_1}) + (\det R)(R\mathbf{v_2}) \\
&= (\det R)(R(\mathbf{v_1}+\mathbf{v_2}))=(\det R)(R\mathbf{v_3}).
\end{align}
</math>

Entonces '''v''<sub>3</sub> también es un pseudovector. De manera similar, se puede demostrar que la diferencia entre dos pseudovectores es un pseudovector, que la suma o diferencia de dos vectores polares es un vector polar, que al multiplicar un vector polar por cualquier número real se obtiene otro vector polar, y que al multiplicar un pseudovector por cualquier número real El número produce otro pseudovector.

Por otro lado, supongamos que se sabe que '''v''<sub>1</sub> es un vector polar, se sabe que '''v''<sub>2</sub> es un pseudovector y que '''v''<sub>3</sub> se define como su suma, {{nowrap|1='''v'''<sub>3</sub>= '''v'''<sub>1</sub> + '''v'''<sub>2</sub>}}. Si el universo se transforma mediante una matriz de rotación impropia ''R'', entonces '''v''<sub>3</sub> se transforma a

: <math>
\mathbf{v_3}'= \mathbf{v_1}'+\mathbf{v_2}'= (R\mathbf{v_1}) + (\det R)(R\mathbf{v_2})= R(\mathbf{v_1}+(\det R) \mathbf{v_2}).
</math>

Por lo tanto, '''v'''<sub>3</sub> no es un vector polar ni un pseudovector (aunque sigue siendo un vector, según la definición física). Para una rotación impropia, '''v''''<sub>3</sub> en general ni siquiera mantiene la misma magnitud:

: <math>|\mathbf{v_3}|=|\mathbf{v_1}+\mathbf{v_2}|, \text{but } \left|\mathbf{v_3}'\right|= \left|\mathbf{v_1}'-\mathbf{v_2}'\right|</math>.

Si la magnitud de '''v'''<sub>3</sub> describiera una cantidad física mensurable, eso significaría que las leyes de la física no parecerían las mismas si el universo se viera en un espejo. De hecho, esto es exactamente lo que sucede en el [[interacción débil]]: ciertas desintegraciones radiactivas tratan a "izquierda" y "derecha" de manera diferente, un fenómeno que puede atribuirse a la suma de un vector polar con un pseudovector en la teoría subyacente. (Ver [[paridad (física)]].)

===Comportamiento bajo productos cruzados===

[[Image:Uitwendig product onder inversie.svg|thumb|Under inversion the two vectors change sign, but their cross product is invariant [black are the two original vectors, grey are the inverted vectors, and red is their mutual cross product].]]
Para una matriz de rotación ''R'', ya sea propia o impropia, la siguiente ecuación matemática siempre es cierta:
:<math>(R\mathbf{v_1})\times(R\mathbf{v_2})= (\det R)(R(\mathbf{v_1}\times\mathbf{v_2}))</math>,
donde '''v''<sub>1</sub> y '''v''<sub>2</sub> son vectores tridimensionales. (Esta ecuación se puede demostrar mediante un argumento geométrico o mediante un cálculo algebraico).

Supongamos que '''v'''<sub>1</sub> y '''v'''<sub>2</sub> son vectores polares conocidos, y '''v'''<sub>3</sub> se define como su producto cruzado, {{nowrap|1='''v'''<sub>3</sub>= '''v'''<sub>1</sub> × '''v'''<sub>2</sub>}}. Si el universo se transforma mediante una matriz de rotación ''R'', entonces '''v''<sub>3</sub> se transforma en
:<math>\mathbf{v_3}'= \mathbf{v_1}' \times \mathbf{v_2}'= (R\mathbf{v_1}) \times (R\mathbf{v_2})= (\det R)(R(\mathbf{v_1} \times \mathbf{v_2}))= (\det R)(R\mathbf{v_3}).</math>
Entonces '''v''<sub>3</sub> es un pseudovector. De manera similar, se puede mostrar:
*vector polar × vector polar = pseudovector
*pseudovector × pseudovector = pseudovector
*vector polar × pseudovector = vector polar
*pseudovector

× vector polar = vector polar
Esto es isomorfo a la suma módulo 2, donde "polar" corresponde a 1 y "pseudo" a 0.

===Ejemplos===

De la definición, queda claro que un vector de desplazamiento es un vector polar. El vector velocidad es un vector de desplazamiento (un vector polar) dividido por el tiempo (un escalar), por lo que también lo es un vector polar. Del mismo modo, el vector momento es el vector velocidad (un vector polar) multiplicado por la masa (un escalar), al igual que un vector polar. El momento angular es el producto cruzado de un desplazamiento (un vector polar) y un momento (un vector polar) y, por tanto, es un pseudovector. El par es el momento angular (un pseudovector) dividido por el tiempo (un escalar), por lo que también lo es un pseudovector. Siguiendo de esta manera, es sencillo clasificar cualquiera de los vectores comunes en física como pseudovector o vector polar. (Existen vectores que violan la paridad en la teoría de las interacciones débiles, que no son ni vectores polares ni pseudovectores. Sin embargo, estos ocurren muy raramente en física).

==La regla de la mano derecha==

Anteriormente, se han analizado los pseudovectores utilizando [[Transformación activa y pasiva|active transformation]]. Un enfoque alternativo, más parecido a los [[Transformación activa y pasiva|passive transformation]], es mantener el universo fijo, pero cambiar "[[regla de la mano derecha]]" por "regla de la mano izquierda" en todas partes de matemáticas y física, incluso en la definición de [[producto vectorial]] y [[Rotacional|curl]]. Cualquier vector polar (por ejemplo, un vector de traslación) no cambiaría, pero los pseudovectores (por ejemplo, el vector del campo magnético en un punto) cambiarían de signo. Sin embargo, no habría consecuencias físicas, excepto en los fenómenos [[Paridad (física)|parity-violating]], como ciertos [[radiactividad]].<ref>See [https://feynmanlectures.caltech.edu/I_52.html Feynman Lectures, 52-7, "Parity is not conserved!"].</ref>

==Formalización==
Una forma de formalizar pseudovectores es la siguiente: si ''V'' es un espacio vectorial ''n''-[[Dimensión de un espacio vectorial|dimensional]], entonces un ''pseudovector'' de ''V'' es un elemento del (''n' '&nbsp;−&nbsp;1)-ésimo [[Producto exterior|exterior power]] de ''V'': ⋀<sup>''n''−1</sup>(''V''). Los pseudovectores de ''V'' forman un espacio vectorial con la misma dimensión que ''V''.

Esta definición no es equivalente a la que requiere un cambio de signo en rotaciones impropias, pero es general para todos los espacios vectoriales. En particular, cuando ''n'' es [[Números pares e impares|even]], dicho pseudovector no experimenta un cambio de signo, y cuando el [[Característica (matemática)|characteristic]] del [[Cuerpo (matemáticas)|field]] subyacente de ''V'' es 2, un cambio de signo no tiene ningún efecto. De lo contrario, las definiciones son equivalentes, aunque se debe tener en cuenta que sin una estructura adicional (específicamente, ya sea [[ volume form]] o [[Orientación (espacio vectorial)|orientation]]), no existe una identificación natural de ⋀<sup>''n''−1</sup>(''V'') con ''V''. .

Otra forma de formalizarlos es considerándolos como elementos de un [[Teoría de representación|representation space]] para <math>\text{O}(n)</math>. Los vectores se transforman en el [[ fundamental representation]] de <math>\text{O}(n)</math> con datos dados por <math>(\mathbb{R}^n, \rho_{\text{fund}}, \text{O}(n))</math>, de modo que para cualquier matriz <math>R</math> en <math>\text{O}(n)</math>, se tiene <math>\rho_{\text{fund}}(R)= R</math>. Los pseudovectores se transforman en una representación pseudofundamental <math>(\mathbb{R}^n, \rho_{\text{pseudo}}, \text{O}(n))</math>, con <math>\rho_{\text{pseudo}}(R)= \det(R)R</math>. Otra forma de ver este homomorfismo impar para <math>n</math> es que en este caso <math>\text{O}(n) \cong \text{SO}(n)\times \mathbb{Z}_2</math>. Entonces <math>\rho_{\text{pseudo}}</math> es un producto directo de homomorfismos de grupo; es el producto directo del homomorfismo fundamental en <math>\text{SO}(n)</math> con el homomorfismo trivial en <math>\mathbb{Z}_2</math>.

==Álgebra geométrica==
En [[álgebra geométrica]] los elementos básicos son vectores, y estos se usan para construir una jerarquía de elementos usando las definiciones de productos en esta álgebra. En particular, el álgebra construye pseudovectores a partir de vectores.

La multiplicación básica en álgebra geométrica es [[álgebra geométrica]], denotada simplemente yuxtaponiendo dos vectores como en '''ab'''. Este producto se expresa como:

:<math> \mathbf {ab}= \mathbf {a \cdot b} +\mathbf {a \wedge b} \ , </math>

donde el término principal es el vector habitual [[producto escalar]] y el segundo término se llama [[Producto exterior|wedge product or exterior product]]. Utilizando los postulados del álgebra, se pueden evaluar todas las combinaciones de productos punto y cuña. Se proporciona una terminología para describir las diversas combinaciones. Por ejemplo, un [[Multivector|multivector]] es una suma de productos de cuña de ''k'' de varios valores de ''k''. Un producto de cuña con pliegues en ''k'' también se denomina [[Cuchilla (vector)|''k''-blade]].

En el contexto actual, el "pseudovector" es una de estas combinaciones. Este término se adjunta a un multivector diferente dependiendo de los [[dimensión]] del espacio (es decir, el número de vectores [[dependencia e independencia lineal]] en el espacio). En tres dimensiones, el [[bivector]] o de 2 palas más general se puede expresar como el producto de cuña de dos vectores y es un pseudovector.<ref name=Pezzaglia>
{{cite book|title=Deformations of mathematical structures II|chapter-url=https://books.google.com/books?id=KfNgBHNUW_cC&pg=PA131|page=131 ''ff''|isbn=0-7923-2576-1|author=William M Pezzaglia Jr.|editor=Julian Ławrynowicz|year=1992|publisher=Springer|chapter=Clifford algebra derivation of the characteristic hypersurfaces of Maxwell's equations}}
</ref> En cuatro dimensiones, sin embargo, los pseudovectores son [[Multivector|trivectors]].<ref name=DeSabbata>

In four dimensions, such as a [[ Dirac algebra]], the pseudovectors are [[Multivector|trivectors]]. {{cite book|title=Geometric algebra and applications to physics|author1=Venzo De Sabbata|author2=Bidyut Kumar Datta|url=https://books.google.com/books?id=AXTQXnws8E8C&q=bivector+trivector+pseudovector+%22geometric+algebra%22&pg=PA64|isbn=978-1-58488-772-0|year=2007|page=64|publisher=CRC Press}}

</ref> En general, es una hoja {{nowrap|(''n'' − 1)}}, donde ''n'' es la dimensión del espacio y el álgebra.<ref name=Baylis01>

{{cite book|chapter-url=https://books.google.com/books?id=oaoLbMS3ErwC&q=%22pseudovectors+%28grade+n+-+1+elements%29%22&pg=PA100|page=100|author=William E Baylis|title=Lectures on Clifford (geometric) algebras and applications|isbn=0-8176-3257-3|year=2004|chapter=§4.2.3 Higher-grade multivectors in ''Cℓ''<sub>n</sub>: Duals|publisher=Birkhäuser}}

</ref> Un espacio de ''n'' dimensiones tiene ''n'' vectores de base y también pseudovectores de ''n''. Cada pseudovector de base se forma a partir del producto exterior (cuña) de todos menos uno de los "n" vectores de base. Por ejemplo, en cuatro dimensiones donde los vectores base se consideran {'''e'''<sub>1</sub>, '''e'''<sub>2</sub>, '''e'''<sub>3</sub>, '''e'''<sub>4</sub> }, los pseudovectores se pueden escribir como: {'''e'''<sub>234</sub>, '''e'''<sub>134</sub>, '''e'''<sub>124</sub>, '''e'''<sub>123</sub>}.

===Transformaciones en tres dimensiones===
Baylis ha comparado las propiedades de transformación del pseudovector en tres dimensiones con las del [[producto vectorial]].<ref name=Baylis>

{{cite book|author=William E Baylis|title=Theoretical methods in the physical sciences: an introduction to problem solving using Maple V|url=https://archive.org/details/theoreticalmetho0000bayl|page=[https://archive.org/details/theoreticalmetho0000bayl/page/234 234], see footnote|isbn=0-8176-3715-X|year=1994|publisher=Birkhäuser}}

</ref> Dice: "Los términos ''vector axial'' y ''pseudovector'' a menudo se tratan como sinónimos, pero es muy útil poder distinguir un bivector de su dual


." Parafraseando a Baylis: Dados dos vectores polares (es decir, vectores verdaderos) '''a''' y '''b''' en tres dimensiones, el producto cruzado compuesto por '''a''' y '''b'' es el vector normal a su plano dado por {{nowrap|1='''c'''= '''a''' × '''b'''}} Dado un conjunto de [[base (álgebra)]] ortonormales diestros {{nowrap|{'''e'''<sub>ℓ</sub> }<nowiki/>}}, el producto cruzado se expresa en términos de sus componentes como:

:<math>\mathbf {a} \times \mathbf{b}= \left(a^2b^3 - a^3b^2\right) \mathbf {e}_1 + \left(a^3b^1 - a^1b^3\right) \mathbf {e}_2 + \left(a^1b^2 - a^2b^1\right) \mathbf {e}_3 ,</math>

donde los superíndices etiquetan los componentes del vector. Por otro lado, el plano de los dos vectores está representado por el [[producto exterior]] o producto de cuña, denotado por {{nowrap|'''a''' ∧ '''b'''}}. En este contexto de álgebra geométrica, este [[bivector]] se llama pseudovector y es el ''[[Dual de Hodge]]'' del producto vectorial.<ref name=Li>

{{cite book|title=Computer algebra and geometric algebra with applications|page=330|chapter-url=https://books.google.com/books?id=uxofVAQE3LoC&q=%22is+termed+the+dual+of+x%22&pg=PA330|author1=R Wareham, J Cameron|author2=J Lasenby|name-list-style=amp|chapter=Application of conformal geometric algebra in computer vision and graphics|isbn=3-540-26296-2|year=2005|publisher=Springer}} In three dimensions, a dual may be ''right-handed'' or ''left-handed''; see {{cite book|title=Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry|author1=Leo Dorst|author2=Daniel Fontijne|author3=Stephen Mann|chapter-url=https://books.google.com/books?id=-1-zRTeCXwgC&pg=PA82|page=82|chapter=Figure 3.5: Duality of vectors and bivectors in 3-D|isbn=978-0-12-374942-0|year=2007|publisher=Morgan Kaufmann|edition=2nd}}

</ref> El ''dual'' de '''e''<sub>1</sub> se introduce como {{nowrap|'''e'''<sub>23</sub> ≡}} {{nowrap|'''e'''<sub>2</sub>'''e'''<sub>3</sub> {{=}}}} {{nowrap|'''e'''<sub>2</sub> ∧ '''e'''<sub>3</sub>}}, y así sucesivamente. Es decir, el dual de '''e''<sub>1</sub> es el subespacio perpendicular a '''e''<sub>1</sub>, es decir, el subespacio abarcado por '''e''<sub>2</sub> y '''e''<sub>3</sub>. . Con este entendimiento,<ref name=Perwass>

{{cite book|title=Geometric Algebra with Applications in Engineering|author=Christian Perwass|chapter-url=https://books.google.com/books?id=8IOypFqEkPMC&pg=PA17|page=17|chapter=§1.5.2 General vectors|isbn=978-3-540-89067-6|year=2009|publisher=Springer}}

</ref>

:<math> \mathbf{a} \wedge \mathbf{b}= \left(a^2b^3 - a^3b^2\right) \mathbf {e}_{23} + \left(a^3b^1 - a^1b^3\right) \mathbf {e}_{31} + \left(a^1b^2 - a^2b^1\right) \mathbf {e}_{12} \ . </math>

Para obtener más información, consulte ''{{section link|Hodge star operator|Three dimensions}}''. El producto cruzado y el producto cuña están relacionados por:

:<math>\mathbf {a} \ \wedge \ \mathbf{b}= \mathit i \ \mathbf {a} \ \times \ \mathbf{b} \ ,</math>

donde {{nowrap|''i'' {{=}} '''e'''<sub>1</sub> ∧ '''e'''<sub>2</sub> ∧ '''e'''<sub>3</sub>}} se denomina ''[[ Pseudoscalar (Clifford algebra)#Unit pseudoscalar|unit pseudoscalar]]''.<ref name=Hestenes>
{{cite book|title=New foundations for classical mechanics: Fundamental Theories of Physics|isbn=0-7923-5302-1|edition=2nd|year=1999|publisher=Springer|chapter=The vector cross product|author-link= David Hestenes
|author=David Hestenes|chapter-url=https://books.google.com/books?id=AlvTCEzSI5wC&pg=PA60|page=60 }}
</ref><ref name=Datta>

{{cite book|title=Geometric algebra and applications to physics|chapter=The pseudoscalar and imaginary unit|chapter-url=https://books.google.com/books?id=AXTQXnws8E8C&pg=PA53|page=53 ''ff''|author1=Venzo De Sabbata|author2=Bidyut Kumar Datta|isbn=978-1-58488-772-0|publisher=CRC Press|year=2007}}

</ref> Tiene la propiedad:<ref name=Sobczyk>

{{cite book|title=Geometric algebra with applications in science and engineering|author1=Eduardo Bayro Corrochano|author2=Garret Sobczyk|url=https://books.google.com/books?id=GVqz9-_fiLEC&pg=PA126|page=126|isbn=0-8176-4199-8|publisher=Springer|year=2001}}

</ref>

:<math>\mathit{i}^2= -1 \ . </math>

Utilizando las relaciones anteriores, se ve que si los vectores '''a''' y '''b''' se invierten cambiando los signos de sus componentes dejando fijos los vectores base, tanto el pseudovector como el producto vectorial son invariantes. Por otro lado, si los componentes son fijos y los vectores base '''e'''<sub>ℓ</sub> están invertidos, entonces el pseudovector es invariante, pero el producto cruz cambia de signo. Este comportamiento de los productos cruzados es consistente con su definición como elementos similares a vectores que cambian de signo al transformarse de un sistema de coordenadas diestro a zurdo, a diferencia de los vectores polares.

===Nota sobre el uso===
Además, cabe señalar que no todos los autores en el campo del álgebra geométrica utilizan el término pseudovector, y algunos autores siguen la terminología que no distingue entre pseudovector y producto cruzado.<ref name=Jancewicz>

For example, {{cite book|author=Bernard Jancewicz|title=Multivectors and Clifford algebra in electrodynamics|url=https://books.google.com/books?id=seFyL-UWoj4C&pg=PA11|page=11|isbn=9971-5-0290-9|year=1988|publisher=World Scientific}}

</ref> Sin embargo, debido a que el producto cruzado no se generaliza a otras dimensiones que no sean tres dimensiones,<ref name=Tischchenko1>

{{cite book|title=Linearity and the mathematics of several variables|author1=Stephen A. Fulling|author2=Michael N. Sinyakov|author3=Sergei V. Tischchenko|page=340|url=https://books.google.com/books?id=Eo3mcd_62DsC&pg=RA1-PA340|isbn=981-02-4196-8|publisher=World Scientific|year=2000}}

</ref>
La noción de pseudovector basada en el producto vectorial tampoco puede extenderse a un espacio de cualquier otro número de dimensiones. El pseudovector como hoja {{nowrap|1=(''n'' – 1)}} en un espacio de ''n'' dimensiones no está restringido de esta manera.

Otra nota importante es que los pseudovectores, a pesar de su nombre, son "vectores" en el sentido de ser elementos de un [[espacio vectorial]]. La idea de que "un pseudovector es diferente de un vector" solo es cierta con una definición diferente y más específica del término "vector" como se analizó anteriormente.

==Véase también==
*[[Producto exterior]]
*[[Álgebra de Clifford]]
*[[Antivector]], una generalización del pseudovector en el álgebra de Clifford
*[[Orientabilidad]], y la discusión sobre espacios no orientables
*[[Densidad tensorial]]

==Referencias==
{{listaref|2}}

==Bibliografía==
*{{cite book|first1=George B.|last1=Arfken|first2=Hans J.|last2=Weber|title=Mathematical Methods for Physicists|publisher=Harcourt|date=2001|isbn=0-12-059815-9}}
*{{cite book|first1=Chris|last1=Doran|first2=Anthony|last2=Lasenby|title=Geometric Algebra for Physicists|publisher=Cambridge University Press|date=2007|isbn=978-0-521-71595-9}}
*{{cite book|author-link=Richard Feynman|first=Richard|last=Feynman|title=Feynman Lectures on Physics|title-link=Feynman Lectures on Physics|volume=1|chapter-url=https://feynmanlectures.caltech.edu/I_52.html|chapter=§52-5: Polar and axial vectors|page=52–6}}
* [http://www.encyclopediaofmath.org/index.php/Axial_vector ''Vector axial'' en Encyclopaedia of Mathematics]
*{{cite book|author-link=John David Jackson (physicist)|first=J. D.|last=Jackson|title=Classical Electrodynamics|publisher=Wiley|date=1999|isbn=0-471-30932-X}}
*{{cite book|first=Susan M.|last=Lea|title=Mathematics for Physicists|publisher=Thompson|date=2004|isbn=0-534-37997-4}}
* {{cite book|title=Lectures on Clifford (geometric) algebras and applications|editor1-first=Rafał|editor1-last=Abłamowicz|editor2-first=Garret|editor2-last=Sobczyk|page=100 ''ff''|chapter=4. Applications of Clifford algebras in physics|first=William E|last=Baylis|isbn=0-8176-3257-3|publisher=Birkhäuser|year=2004|chapter-url=https://books.google.com/books?id=oaoLbMS3ErwC&pg=PA100}}: El dual del producto cuña {{nowrap|'''a''' ∧ '''b'''}} es el producto cruzado {{nowrap|'''a''' × '''b'''}}.
*{{Citation|last1=Weinreich|first1=Gabriel|title=Geometrical Vectors|publisher=The University of Chicago Press|series=Chicago Lectures in Physics|year=1998|isbn=9780226890487|pages=126}}


== Referencias ==
{{listaref}}
=== Enlaces externos ===
=== Enlaces externos ===
*{{MathWorld|Pseudovector|Pseudovector}}
*{{MathWorld|Pseudovector|Pseudovector}}


{{Control de autoridades}}
{{Control de autoridades}}
[[Categoría:Magnitudes físicas]]
[[Categoría:Álgebra lineal]]
[[Categoría:Cálculo vectorial]]
[[Categoría:Cálculo vectorial]]
[[Categoría:Vectores]]
[[Categoría:Vectores]]
[[Categoría:Magnitudes físicas]]

Revisión del 11:09 13 may 2024

Un bucle de alambre (negro), que transporta una corriente eléctrica I, crea un campo magnético B (azul). Si la posición y la corriente del cable se reflejan a través del plano indicado por la línea discontinua, el campo magnético resultante en la imagen reflejada (tal como aparecería en un espejo) no sería el correcto, y de acuerdo con las leyes de la física debe invertirse su sentido (tal como aparece representado). En consecuencia, la posición y la corriente en cualquier punto del cable son vectores verdaderos, pero el campo magnético B es un pseudovector.[1]

En física y matemáticas, un vector axial o seudovector (también escrito como pseudovector)[2]​ es una magnitud que se comporta como un vector en muchas situaciones, pero su orientación no cumple alguna de las reglas de las transformaciones euclídeas (como rotaciones, traslaciones o reflexiones), o cuando se cambia la orientación del espacio. Por ejemplo, el momento angular es un pseudovector porque a menudo se describe como un vector, pero con solo cambiar la posición de referencia (modificando el vector de posición), el momento angular puede invertir su sentido, lo que no se supone que suceda con los vectores verdaderos (también conocidos como vectores polares).[3]

Un ejemplo de seudovector es la normal a un plano orientado. Teniendo en cuenta de un plano puede definirse mediante dos vectores no paralelos a y b,[4]​ el vector a × b es normal al plano (pero hay dos posibles normales, una a cada lado del plano, y mediante la regla de la mano derecha se determinará cuál se elige), por lo que es un seudovector. Esto tiene consecuencias en los gráficos por computadora, donde debe tenerse en cuenta esta circunstancia cuando se transforman las normales a las superficies. En tres dimensiones, el rotacional de un campo vectorial polar en un punto y el producto vectorial de dos vectores polares también son seudovectores.[5]

Varias cantidades en física se comportan como seudovectores en lugar de vectores polares, incluidos el campo magnético y la velocidad angular. En matemáticas, en tres dimensiones, los seudovectores son equivalentes a los bivectores, de donde se pueden derivar las reglas de transformación de los seudovectores. De manera más general, en álgebra geométrica de n dimensiones, los seudovectores son los elementos del álgebra con dimensión n − 1, a los que les corresponde la notación ⋀n−1Rn. El prefijo seudo se puede generalizar aún más para describir conceptos como seudoscalar o seudotensor, a los que les corresponde un cambio de signo adicional bajo rotaciones impropias en comparación con un escalar o un tensor verdaderos.

Ejemplos en física

Los ejemplos de seudovectores en física incluyen el momento de una fuerza,[4]​ la velocidad angular, el momento angular,[4]​ el campo magnético,[4]​ la vorticidad y el momento magnético.

Cada rueda del automóvil de la izquierda que se aleja de un observador posee un momento angular (representado por un seudovector) que apunta hacia la izquierda. Lo mismo ocurre con la imagen especular del automóvil. El hecho de que las flechas apunten en la misma dirección, en lugar de ser imágenes especulares entre sí, indica que la magnitud se representa mediante un seudovector

Considérese el seudovector del momento angular L= Σ(r × p). Conduciendo en un automóvil y mirando hacia adelante, cada una de las ruedas tiene un vector de momento angular que apunta hacia la izquierda. Si el mundo se refleja en un espejo que cambia el lado izquierdo y derecho del automóvil, el reflejo de este vector de momento angular (visto como un vector ordinario) apunta hacia la derecha, pero el ángulo real del vector de impulso de la rueda (que todavía gira hacia adelante en el reflejo) sigue apuntando hacia la izquierda, según corresponde al signo adicional del giro en el reflejo de un seudovector.

La distinción entre vectores polares (o vectores verdaderos) y seudovectores adquiere importancia para comprender el efecto de la simetría en el análisis de sistemas físicos. Considérese un bucle de corriente eléctrica en el plano z= 0, que en su interior genera un campo magnético orientado en la dirección z. Este sistema es simétrico (invariante) con respecto a reflexiones especulares a través del plano dado, sin que el sentido del campo magnético se vea afectado por la reflexión. Pero se esperaría que al reflejar a través del plano dado el campo magnético como un vector este quedaría invertido, circunstancia que se corrige al darse cuenta de que el campo magnético es un seudovector, al que un cambio de signo adicional permite mantener con el sentido correcto.

En física, los pseudovectores son generalmente el resultado de tomar el producto vectorial de dos vectores polares o el curl de un campo de vector polar. El producto cruzado y el rizo se definen, por convención, según la regla de la mano derecha, pero podrían haberse definido con la misma facilidad en términos de la regla de la mano izquierda. Todo el cuerpo de física que trata con pseudovectores (diestros) y la regla de la mano derecha podría reemplazarse mediante el uso de pseudovectores (zurdos) y la regla de la mano izquierda sin problemas. Los pseudovectores (izquierdos) así definidos tendrían dirección opuesta a los definidos por la regla de la mano derecha.

Si bien las relaciones vectoriales en física se pueden expresar sin coordenadas, se requiere un sistema de coordenadas para expresar vectores y pseudovectores como cantidades numéricas. Los vectores se representan como tripletes ordenados de números: p.e. y los pseudovectores también se representan de esta forma. Al transformar entre sistemas de coordenadas de mano izquierda y derecha, las representaciones de pseudovectores no se transforman como vectores, y tratarlas como representaciones vectoriales provocará un cambio de signo incorrecto, por lo que se debe tener cuidado de realizar un seguimiento de qué tripletes ordenados representan vectores, y que representan pseudovectores. Este problema no existe si el producto cruzado de dos vectores se reemplaza por el producto exterior de los dos vectores, lo que produce un bivector que es un tensor de segundo rango y está representado por una matriz de 3×3. Esta representación del tensor 2 se transforma correctamente entre dos sistemas de coordenadas cualesquiera, independientemente de su lateralidad.

Detalles

La definición de "vector" en física (incluidos tanto los vectores polares como los pseudovectores) es más específica que la definición matemática de "vector" (es decir, cualquier elemento de un espacio vectorial abstracto). Según la definición física, se requiere que un "vector" tenga components que se "transforme" de cierta manera bajo un proper rotation: en particular, si todo en el universo girara, el vector rotaría exactamente de la misma manera. (El sistema de coordenadas está fijo en esta discusión; en o



En otras palabras, esta es la perspectiva de active transformations.) Matemáticamente, si todo en el universo sufre una rotación descrita por una matriz de rotación R, de modo que una desplazamiento (vector) x se transforma en xPlantilla:Prime= Rx, entonces cualquier "vector " v debe transformarse de manera similar a vPlantilla:Prime= Rv. Este importante requisito es lo que distingue a un vector (que podría estar compuesto, por ejemplo, por los componentes x, y y z de velocidad) de cualquier otro triplete de cantidades físicas (por ejemplo, la longitud, el ancho y la altura de una caja rectangular "no pueden" considerarse los tres componentes de un vector, ya que al girar la caja no se transforman adecuadamente estos tres componentes).

(En el lenguaje de geometría diferencial, este requisito equivale a definir un vector como un tensor de rango uno de contravariant. En este marco más general, los tensores de rango superior también pueden tener arbitrariamente muchos rangos covariantes y contravariantes mixtos en el mismo tiempo, indicado por índices elevados y reducidos dentro del Convenio de suma de Einstein.)

Un ejemplo básico y bastante concreto es el de los vectores fila y columna bajo el habitual operador de multiplicación de matrices: en un orden producen el producto escalar, que es simplemente un escalar y, como tal, un tensor de rango cero, mientras que en el otro orden producen el dyadic product. , que es una matriz que representa un tensor mixto de rango dos, con un índice contravariante y otro covariante. Como tal, la no conmutatividad del álgebra matricial estándar se puede utilizar para realizar un seguimiento de la distinción entre vectores covariantes y contravariantes. De hecho, así es como se llevaba la contabilidad antes de que surgiera la notación tensorial más formal y generalizada. Todavía se manifiesta en cómo los vectores base de los espacios tensoriales generales se exhiben para manipulación práctica.

La discusión hasta ahora solo se refiere a rotaciones propias, es decir, rotaciones alrededor de un eje. Sin embargo, también se pueden considerar rotación impropia, es decir, un reflejo especular posiblemente seguido de una rotación adecuada. (Un ejemplo de rotación impropia es simetría central en el espacio tridimensional). Supongamos que todo en el universo sufre una rotación impropia descrita por la matriz de rotación impropia R, de modo que un vector de posición x es transformado a xPlantilla:Prime= Rx. Si el vector v' es un vector polar, se transformará a vPlantilla:Prime= Rv. Si es un pseudovector, se transformará a vPlantilla:Prime= −Rv.

Las reglas de transformación para vectores polares y pseudovectores se pueden expresar de forma compacta como

donde los símbolos son los descritos anteriormente y la matriz de rotación R puede ser propia o impropia. El símbolo det indica determinante (matemática); esta fórmula funciona porque el determinante de las matrices de rotación propia e impropia es +1 y −1, respectivamente.

Comportamiento en suma, resta y multiplicación escalar

Supongamos que v'1 y v2 son pseudovectores conocidos, y v3 se define como su suma, v3= v1 + v2. Si el universo se transforma mediante una matriz de rotación R, entonces v3 se transforma en

Entonces 'v3 también es un pseudovector. De manera similar, se puede demostrar que la diferencia entre dos pseudovectores es un pseudovector, que la suma o diferencia de dos vectores polares es un vector polar, que al multiplicar un vector polar por cualquier número real se obtiene otro vector polar, y que al multiplicar un pseudovector por cualquier número real El número produce otro pseudovector.

Por otro lado, supongamos que se sabe que v1 es un vector polar, se sabe que v2 es un pseudovector y que v3 se define como su suma, v3= v1 + v2. Si el universo se transforma mediante una matriz de rotación impropia R, entonces v3 se transforma a

Por lo tanto, v3 no es un vector polar ni un pseudovector (aunque sigue siendo un vector, según la definición física). Para una rotación impropia, v'3 en general ni siquiera mantiene la misma magnitud:

.

Si la magnitud de v3 describiera una cantidad física mensurable, eso significaría que las leyes de la física no parecerían las mismas si el universo se viera en un espejo. De hecho, esto es exactamente lo que sucede en el interacción débil: ciertas desintegraciones radiactivas tratan a "izquierda" y "derecha" de manera diferente, un fenómeno que puede atribuirse a la suma de un vector polar con un pseudovector en la teoría subyacente. (Ver paridad (física).)

Comportamiento bajo productos cruzados

Under inversion the two vectors change sign, but their cross product is invariant [black are the two original vectors, grey are the inverted vectors, and red is their mutual cross product].

Para una matriz de rotación R, ya sea propia o impropia, la siguiente ecuación matemática siempre es cierta:

,

donde v1 y v2 son vectores tridimensionales. (Esta ecuación se puede demostrar mediante un argumento geométrico o mediante un cálculo algebraico).

Supongamos que v'1 y v2 son vectores polares conocidos, y v3 se define como su producto cruzado, v3= v1 × v2. Si el universo se transforma mediante una matriz de rotación R, entonces v3 se transforma en

Entonces 'v3 es un pseudovector. De manera similar, se puede mostrar:

  • vector polar × vector polar = pseudovector
  • pseudovector × pseudovector = pseudovector
  • vector polar × pseudovector = vector polar
  • pseudovector

× vector polar = vector polar Esto es isomorfo a la suma módulo 2, donde "polar" corresponde a 1 y "pseudo" a 0.

Ejemplos

De la definición, queda claro que un vector de desplazamiento es un vector polar. El vector velocidad es un vector de desplazamiento (un vector polar) dividido por el tiempo (un escalar), por lo que también lo es un vector polar. Del mismo modo, el vector momento es el vector velocidad (un vector polar) multiplicado por la masa (un escalar), al igual que un vector polar. El momento angular es el producto cruzado de un desplazamiento (un vector polar) y un momento (un vector polar) y, por tanto, es un pseudovector. El par es el momento angular (un pseudovector) dividido por el tiempo (un escalar), por lo que también lo es un pseudovector. Siguiendo de esta manera, es sencillo clasificar cualquiera de los vectores comunes en física como pseudovector o vector polar. (Existen vectores que violan la paridad en la teoría de las interacciones débiles, que no son ni vectores polares ni pseudovectores. Sin embargo, estos ocurren muy raramente en física).

La regla de la mano derecha

Anteriormente, se han analizado los pseudovectores utilizando active transformation. Un enfoque alternativo, más parecido a los passive transformation, es mantener el universo fijo, pero cambiar "regla de la mano derecha" por "regla de la mano izquierda" en todas partes de matemáticas y física, incluso en la definición de producto vectorial y curl. Cualquier vector polar (por ejemplo, un vector de traslación) no cambiaría, pero los pseudovectores (por ejemplo, el vector del campo magnético en un punto) cambiarían de signo. Sin embargo, no habría consecuencias físicas, excepto en los fenómenos parity-violating, como ciertos radiactividad.[6]

Formalización

Una forma de formalizar pseudovectores es la siguiente: si V es un espacio vectorial n-dimensional, entonces un pseudovector de V es un elemento del (n' ' − 1)-ésimo exterior power de V: ⋀n−1(V). Los pseudovectores de V forman un espacio vectorial con la misma dimensión que V.

Esta definición no es equivalente a la que requiere un cambio de signo en rotaciones impropias, pero es general para todos los espacios vectoriales. En particular, cuando n es even, dicho pseudovector no experimenta un cambio de signo, y cuando el characteristic del field subyacente de V es 2, un cambio de signo no tiene ningún efecto. De lo contrario, las definiciones son equivalentes, aunque se debe tener en cuenta que sin una estructura adicional (específicamente, ya sea volume form o orientation), no existe una identificación natural de ⋀n−1(V) con V. .

Otra forma de formalizarlos es considerándolos como elementos de un representation space para . Los vectores se transforman en el fundamental representation de con datos dados por , de modo que para cualquier matriz en , se tiene . Los pseudovectores se transforman en una representación pseudofundamental , con . Otra forma de ver este homomorfismo impar para es que en este caso . Entonces es un producto directo de homomorfismos de grupo; es el producto directo del homomorfismo fundamental en con el homomorfismo trivial en .

Álgebra geométrica

En álgebra geométrica los elementos básicos son vectores, y estos se usan para construir una jerarquía de elementos usando las definiciones de productos en esta álgebra. En particular, el álgebra construye pseudovectores a partir de vectores.

La multiplicación básica en álgebra geométrica es álgebra geométrica, denotada simplemente yuxtaponiendo dos vectores como en ab. Este producto se expresa como:

donde el término principal es el vector habitual producto escalar y el segundo término se llama wedge product or exterior product. Utilizando los postulados del álgebra, se pueden evaluar todas las combinaciones de productos punto y cuña. Se proporciona una terminología para describir las diversas combinaciones. Por ejemplo, un multivector es una suma de productos de cuña de k de varios valores de k. Un producto de cuña con pliegues en k también se denomina k-blade.

En el contexto actual, el "pseudovector" es una de estas combinaciones. Este término se adjunta a un multivector diferente dependiendo de los dimensión del espacio (es decir, el número de vectores dependencia e independencia lineal en el espacio). En tres dimensiones, el bivector o de 2 palas más general se puede expresar como el producto de cuña de dos vectores y es un pseudovector.[7]​ En cuatro dimensiones, sin embargo, los pseudovectores son trivectors.[8]​ En general, es una hoja (n − 1), donde n es la dimensión del espacio y el álgebra.[9]​ Un espacio de n dimensiones tiene n vectores de base y también pseudovectores de n. Cada pseudovector de base se forma a partir del producto exterior (cuña) de todos menos uno de los "n" vectores de base. Por ejemplo, en cuatro dimensiones donde los vectores base se consideran {e1, e2, e3, e4 }, los pseudovectores se pueden escribir como: {e234, e134, e124, e123}.

Transformaciones en tres dimensiones

Baylis ha comparado las propiedades de transformación del pseudovector en tres dimensiones con las del producto vectorial.[10]​ Dice: "Los términos vector axial y pseudovector a menudo se tratan como sinónimos, pero es muy útil poder distinguir un bivector de su dual


." Parafraseando a Baylis: Dados dos vectores polares (es decir, vectores verdaderos) a' y b en tres dimensiones, el producto cruzado compuesto por a y b es el vector normal a su plano dado por c= a × b Dado un conjunto de base (álgebra) ortonormales diestros {e }, el producto cruzado se expresa en términos de sus componentes como:

donde los superíndices etiquetan los componentes del vector. Por otro lado, el plano de los dos vectores está representado por el producto exterior o producto de cuña, denotado por 'ab. En este contexto de álgebra geométrica, este bivector se llama pseudovector y es el Dual de Hodge del producto vectorial.[11]​ El dual de e1 se introduce como e23 e2e3 = e2e3, y así sucesivamente. Es decir, el dual de e1 es el subespacio perpendicular a e1, es decir, el subespacio abarcado por e2 y e3. . Con este entendimiento,[12]

Para obtener más información, consulte Plantilla:Section link. El producto cruzado y el producto cuña están relacionados por:

donde i = e1e2e3 se denomina unit pseudoscalar.[13][14]​ Tiene la propiedad:[15]

Utilizando las relaciones anteriores, se ve que si los vectores a y b se invierten cambiando los signos de sus componentes dejando fijos los vectores base, tanto el pseudovector como el producto vectorial son invariantes. Por otro lado, si los componentes son fijos y los vectores base e están invertidos, entonces el pseudovector es invariante, pero el producto cruz cambia de signo. Este comportamiento de los productos cruzados es consistente con su definición como elementos similares a vectores que cambian de signo al transformarse de un sistema de coordenadas diestro a zurdo, a diferencia de los vectores polares.

Nota sobre el uso

Además, cabe señalar que no todos los autores en el campo del álgebra geométrica utilizan el término pseudovector, y algunos autores siguen la terminología que no distingue entre pseudovector y producto cruzado.[16]​ Sin embargo, debido a que el producto cruzado no se generaliza a otras dimensiones que no sean tres dimensiones,[17]​ La noción de pseudovector basada en el producto vectorial tampoco puede extenderse a un espacio de cualquier otro número de dimensiones. El pseudovector como hoja (n – 1) en un espacio de n dimensiones no está restringido de esta manera.

Otra nota importante es que los pseudovectores, a pesar de su nombre, son "vectores" en el sentido de ser elementos de un espacio vectorial. La idea de que "un pseudovector es diferente de un vector" solo es cierta con una definición diferente y más específica del término "vector" como se analizó anteriormente.

Véase también

Referencias

  1. Stephen A. Fulling; Michael N. Sinyakov; Sergei V. Tischchenko (2000). Linearity and the mathematics of several variables. World Scientific. p. 343. ISBN 981-02-4196-8. 
  2. «Details for IEV number 102-03-33: "axial vector"». International Electrotechnical Vocabulary (en japonés). Consultado el 7 de noviembre de 2023. 
  3. «Details for IEV number 102-03-34: "polar vector"». International Electrotechnical Vocabulary (en japonés). Consultado el 7 de noviembre de 2023. 
  4. a b c d RP Feynman: §52-5 Polar and axial vectors, Feynman Lectures in Physics, Vol. 1
  5. Aleksandr Ivanovich Borisenko; Ivan Evgenʹevich Tarapov (1979). Vector and tensor analysis with applications (Reprint of 1968 Prentice-Hall edición). Courier Dover. p. 125. ISBN 0-486-63833-2. 
  6. See Feynman Lectures, 52-7, "Parity is not conserved!".
  7. William M Pezzaglia Jr. (1992). «Clifford algebra derivation of the characteristic hypersurfaces of Maxwell's equations». En Julian Ławrynowicz, ed. Deformations of mathematical structures II. Springer. p. 131 ff. ISBN 0-7923-2576-1. 
  8. In four dimensions, such as a Dirac algebra, the pseudovectors are trivectors. Venzo De Sabbata; Bidyut Kumar Datta (2007). Geometric algebra and applications to physics. CRC Press. p. 64. ISBN 978-1-58488-772-0. 
  9. William E Baylis (2004). «§4.2.3 Higher-grade multivectors in Cℓn: Duals». Lectures on Clifford (geometric) algebras and applications. Birkhäuser. p. 100. ISBN 0-8176-3257-3. 
  10. William E Baylis (1994). Theoretical methods in the physical sciences: an introduction to problem solving using Maple V. Birkhäuser. p. 234, see footnote. ISBN 0-8176-3715-X. 
  11. R Wareham, J Cameron; J Lasenby (2005). «Application of conformal geometric algebra in computer vision and graphics». Computer algebra and geometric algebra with applications. Springer. p. 330. ISBN 3-540-26296-2.  Parámetro desconocido |name-list-style= ignorado (ayuda) In three dimensions, a dual may be right-handed or left-handed; see Leo Dorst; Daniel Fontijne; Stephen Mann (2007). «Figure 3.5: Duality of vectors and bivectors in 3-D». Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry (2nd edición). Morgan Kaufmann. p. 82. ISBN 978-0-12-374942-0. 
  12. Christian Perwass (2009). «§1.5.2 General vectors». Geometric Algebra with Applications in Engineering. Springer. p. 17. ISBN 978-3-540-89067-6. 
  13. David Hestenes (1999). «The vector cross product». New foundations for classical mechanics: Fundamental Theories of Physics (2nd edición). Springer. p. 60. ISBN 0-7923-5302-1. 
  14. Venzo De Sabbata; Bidyut Kumar Datta (2007). «The pseudoscalar and imaginary unit». Geometric algebra and applications to physics. CRC Press. p. 53 ff. ISBN 978-1-58488-772-0. 
  15. Eduardo Bayro Corrochano; Garret Sobczyk (2001). Geometric algebra with applications in science and engineering. Springer. p. 126. ISBN 0-8176-4199-8. 
  16. For example, Bernard Jancewicz (1988). Multivectors and Clifford algebra in electrodynamics. World Scientific. p. 11. ISBN 9971-5-0290-9. 
  17. Stephen A. Fulling; Michael N. Sinyakov; Sergei V. Tischchenko (2000). Linearity and the mathematics of several variables. World Scientific. p. 340. ISBN 981-02-4196-8. 

Bibliografía

Enlaces externos