En álgebra lineal , un pseudoescalar es una cantidad que se comporta como un escalar , excepto que cambia de signo bajo una inversión de paridad [1] [2] mientras que un escalar verdadero no.
Un pseudoescalar, cuando se multiplica por un vector ordinario , se convierte en un pseudovector (o vector axial ); una construcción similar crea el pseudotensor . Un pseudoescalar también resulta de cualquier producto escalar entre un pseudovector y un vector ordinario. El ejemplo prototípico de pseudoescalar es el triple producto escalar , que puede escribirse como el producto escalar entre uno de los vectores del triple producto y el producto cruzado entre los otros dos vectores, donde este último es un pseudovector.
En física , un pseudoescalar denota una cantidad física análoga a un escalar . Ambas son cantidades físicas que asumen un valor único que es invariante bajo rotaciones adecuadas . Sin embargo, bajo la transformación de paridad , los pseudoescalares invierten sus signos mientras que los escalares no. Así como las reflexiones a través de un plano son la combinación de una rotación con la transformación de paridad, los pseudoescalares también cambian de signo bajo las reflexiones.
Una de las ideas más poderosas de la física es que las leyes físicas no cambian cuando se cambia el sistema de coordenadas utilizado para describir estas leyes. El hecho de que un pseudoescalar invierta su signo cuando se invierten los ejes de coordenadas sugiere que no es el mejor objeto para describir una cantidad física. En el espacio 3D, las cantidades descritas por un pseudovector son tensores antisimétricos de orden 2, que son invariantes bajo inversión. El pseudovector puede ser una representación más simple de esa cantidad, pero sufre el cambio de signo bajo inversión. De manera similar, en el espacio 3D, el dual de Hodge de un escalar es igual a una constante multiplicada por el pseudotensor tridimensional de Levi-Civita (o pseudotensor de "permutación"); mientras que el dual de Hodge de un pseudoescalar es un tensor antisimétrico (puro) de orden tres. El pseudotensor de Levi-Civita es un pseudotensor completamente antisimétrico de orden 3. Dado que el dual del pseudoescalar es el producto de dos "pseudocantidades", el tensor resultante es un tensor verdadero y no cambia de signo tras una inversión de ejes. La situación es similar a la situación de los pseudovectores y tensores antisimétricos de orden 2. El dual de un pseudovector es un tensor antisimétrico de orden 2 (y viceversa). El tensor es una cantidad física invariante bajo una inversión de coordenadas, mientras que el pseudovector no es invariante.
La situación se puede extender a cualquier dimensión. Generalmente en un espacio n -dimensional, el dual de Hodge de un tensor de orden r será un pseudotensor antisimétrico de orden ( n − r ) y viceversa. En particular, en el espacio-tiempo de cuatro dimensiones de la relatividad especial, un pseudoescalar es el dual de un tensor de cuarto orden y es proporcional al pseudotensor de Levi-Civita de cuatro dimensiones .
Un pseudoescalar en álgebra geométrica es un elemento de grado más alto del álgebra. Por ejemplo, en dos dimensiones hay dos vectores de base ortogonales, y el elemento de base de mayor grado asociado es
Entonces un pseudoescalar es múltiplo de e 12 . El elemento e 12 se eleva a −1 y conmuta con todos los elementos pares, comportándose por lo tanto como el escalar imaginario i en los números complejos . Son estas propiedades escalares las que dan origen a su nombre.
En este contexto, un pseudoescalar cambia de signo bajo una inversión de paridad, ya que si
es un cambio de base que representa una transformación ortogonal , entonces
donde el signo depende del determinante de la transformación. Los pseudoescalares en álgebra geométrica corresponden, por tanto, a los pseudoescalares en física.
