- Notación Bra-Ket
-
La notación bra-ket,[1] [2] también conocida como notación de Dirac por su inventor Paul Dirac, es la notación estándar para describir los estados cuánticos en la teoría de la mecánica cuántica. Puede también ser utilizada para denotar vectores abstractos y funcionales lineales en las matemáticas puras. Es así llamada porque el producto interior de dos estados es denotado por el "paréntesis angular" (angle bracket, en inglés), , consistiendo en una parte izquierda, , llamada el bra, y una parte derecha, , llamada el ket.[2]
Contenido
Bra y kets
En mecánica cuántica, el estado de un sistema físico se identifica con un vector en el espacio de Hilbert complejo, . Cada vector se llama un ket, y se denota como . Cada ket tiene un bra dual, escrito como , esto es una funcional lineal continua de a los números complejos C, definido como
- para todos los kets
para todos los kets donde () denota el producto interior definido en el espacio de Hilbert. La notación está justificada por el teorema de representación de Riesz, que establece que un espacio de Hilbert y su espacio dual son isométricamente isomorfos. Así, cada bra corresponde a exactamente un ket, y viceversa.
Incidentemente, la notación bra-ket puede ser utilizada incluso si el espacio vectorial no es un espacio de Hilbert. En cualquier espacio de Banach B, los vectores pueden ser notados como kets y los funcionales lineales continuos por los bras. Sobre cualquier espacio vectorial sin topología, se puede también denotar los vectores con kets y los funcionales lineales por los bras. En estos contextos más generales, el braket no tiene el significado de un producto interno, porque el teorema de representación de Riesz no se aplica.
La aplicación del bra al ket da lugar a un número complejo, que se denota:
- .
En mecánica cuántica, ésta es la amplitud de probabilidad para que el estado ψ colapse en el estado φ.
Propiedades
Los bras y kets se pueden manipular de las maneras siguientes:
- Dado cualquier bra y ket y , y números complejos c1 y c2, entonces, puesto que los cores son funcionales lineales,
- dado cualquier ket , cores y , y números complejos c1 y c2, entonces, por la definición de la adición y la multiplicación escalar de funcionales lineales,
- dados cualesquiera kets y , y números complejos c1 y c2, de las propiedades del producto interno (con c* denotando la conjugación compleja de c),
es dual a
- dado cualquier bra y el ket , una propiedad axiomática del producto interno da
-
- .
Operadores lineales
Si A: H → H es un operador lineal, se puede aplicar A al ket para obtener el ket . Los operadores lineales son ubicuos en la teoría de la mecánica cuántica. Por ejemplo, se utilizan operadores lineales hermíticos para representar cantidades físicas observables, tales como la energía o el momento, mientras que los operadores lineales unitarios representan procesos transformativos como la rotación o la progresión del tiempo. Los operadores pueden también ser vistos como actuando en los bras del lado derecho. La aplicación del operador A al bra da lugar al bra , definido como funcional lineal en H por la regla
- .
Esta expresión se escribe comúnmente como
Una manera conveniente de definir operadores lineales en H es dada por el producto exterior: si es un bra y es un ket, el producto externo
denota un operador que mapea el ket al bra (donde es un escalar que multiplica el vector ). Una de las aplicaciones del producto externo es para construir un operador de proyección o proyector dado un ket de norma 1, la proyección ortogonal sobre el subespacio generado por es
Bras y kets compuestos
Dos espacios de Hilbert V y W pueden formar un tercer espacio por producto tensorial. En mecánica cuántica, esto se utiliza para describir conjuntos compuestos. Si un conjunto se compone de dos subconjuntos descritos por V y W respectivamente, entonces el espacio de Hilbert del conjunto entero es el producto tensorial de los dos espacios. La excepción a esto es si los subconjuntos son realmente partículas idénticas; en ese caso, la situación es un poco más complicada.
Si es un ket en V y es un ket en W, el producto tensorial de los dos kets es un ket en . Esto se escribe como
- o o .
Las representaciones en términos de bras y kets
En mecánica cuántica, es a menudo conveniente trabajar con las proyecciones de los vectores de estado sobre una base particular, más bien que con los vectores mismos. Este proceso es muy similiar al uso de vectores coordinados en álgebra lineal. Por ejemplo, el espacio de Hilbert de partículas puntuales de espín cero es generado por una base de posición , donde el índice x se extiende sobre el conjunto de los vectores de posición. Partiendo de cualquier ket en este espacio de Hilbert, se puede definir una función escalar compleja de x, conocida como función de onda
- .
Es entonces usual definir operadores lineales que actúan sobre funciones de ondas en términos de operadores lineales que actúan en kets, como
- .
Aunque el operador A en el lado izquierdo de esta ecuación, por convención, se etiqueta de la misma manera que el operador en el lado derecho, debe considerarse que los dos son entidades conceptualmente diversas: el primero actúa sobre funciones de ondas, y el segundo actúa sobre kets. Por ejemplo, el operador de momento p tiene la forma siguiente
- .
Se encuentra de vez en cuando una expresión como
- .
Esto es un abuso de notación, aunque bastante común. El operador diferencial debe ser entendido como un operador abstracto, actuando en kets, que tiene el efecto de diferenciar funciones de ondas una vez que la expresión se proyecta en la base de posición. Para otros detalles, véase espacio equipado de Hilbert.
Notas
- ↑ Cohen-Tannoudji, Claude; Bernard Diu, Franck Laloë (1977). Quantum Mechanics. vol.1 (3ª edición). París, Francia: Hermann. pp. 898. ISBN 0-471-16432-1.
- ↑ a b Muñoz Sudupe, A.; Sanchéz del Río (2003). Física Cuántica. vol.1 (3ª edición). Gran Canaria, España: Pirámide. pp. 1019. ISBN M. 40.469-2003. «Los estados del sistema , que notamos y se denominan kets... los funconales lineales de en C se denotan y se denominan bras. [pg. 1019.]»
Véase también
Wikimedia foundation. 2010.