Mapa antilineal biyectivo entre dos espacios complejos de Hilbert
En matemáticas , una transformación antiunitaria es un mapa antilineal biyectivo
entre dos espacios de Hilbert complejos tales que
para todos y en , donde la barra horizontal representa el conjugado complejo . Si además se tiene se le llama operador antiunitario .
Los operadores antiunitarios son importantes en la mecánica cuántica porque se utilizan para representar ciertas simetrías , como la inversión del tiempo . [1] Su importancia fundamental en la física cuántica queda demostrada además por el teorema de Wigner .
Transformaciones de invariancia
En mecánica cuántica , las transformaciones de invariancia del espacio de Hilbert complejo dejan invariante el valor absoluto del producto escalar:
para todos y en .
Debido al teorema de Wigner, estas transformaciones pueden ser unitarias o antiunitarias.
Interpretación geométrica
Las congruencias del plano forman dos clases distintas. El primero conserva la orientación y se genera por traslaciones y rotaciones. La segunda no conserva la orientación y se obtiene de la primera clase aplicando una reflexión. En el plano complejo estas dos clases corresponden (hasta la traducción) a unitarios y antiunitarios, respectivamente.
Propiedades
- es válido para todos los elementos del espacio de Hilbert y un antiunitario .
- Cuando es antiunitario entonces es unitario. Esto se desprende de
- Para el operador unitario, el operador , donde es una conjugación compleja (con respecto a alguna base ortogonal), es antiunitario. Lo contrario también es cierto: para antiunitario el operador es unitario.
- Para antiunitario, la definición del operador adjunto se cambia para compensar la conjugación compleja, convirtiéndose en
- El adjunto de un antiunitario también es antiunitario y
(Esto no debe confundirse con la definición de operadores unitarios , ya que el operador antiunitario no es lineal complejo ).
Ejemplos
- El operador de conjugación complejo es un operador antiunitario en el plano complejo.
- El operador
donde es la segunda matriz de Pauli y es el operador de conjugación complejo, es antiunitario. Satisface .
Descomposición de un operador antiunitario en una suma directa de antiunitarios elementales de Wigner
Un operador antiunitario en un espacio de dimensión finita puede descomponerse como una suma directa de antiunitarios elementales de Wigner ,. El operador es simplemente una conjugación compleja simple en
Para , el operador actúa en un espacio de Hilbert complejo bidimensional. Se define por
Tenga en cuenta que para
por lo que no se puede descomponer más en 's, que cuadran con el mapa de identidad.
Tenga en cuenta que la descomposición anterior de operadores antiunitarios contrasta con la descomposición espectral de operadores unitarios. En particular, un operador unitario en un espacio de Hilbert complejo puede descomponerse en una suma directa de operadores unitarios que actúan en espacios complejos unidimensionales (espacios propios), pero un operador antiunitario sólo puede descomponerse en una suma directa de operadores elementales en 1- y Espacios complejos bidimensionales.
Referencias
- ^ Peskin, Michael Edward (2019). Una introducción a la teoría cuántica de campos. Daniel V. Schroeder. Boca Ratón. ISBN 978-0-201-50397-5. OCLC 1101381398.
{{cite book}}
: Mantenimiento CS1: falta el editor de la ubicación ( enlace )
- Wigner, E. "Forma normal de operadores antiunitarios", Journal of Mathematical Physics Vol 1, no 5, 1960, págs. 409–412
- Wigner, E. "Distinción fenomenológica entre operadores de simetría unitarios y antiunitarios", Journal of Mathematical Physics Vol 1, no 5, 1960, págs.414–416
Ver también