Notación bra-ket

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

La notación bra-ket,[1] [2] también conocida como notación de 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), \langle\phi|\psi\rangle, consistiendo en una parte izquierda, \langle\phi|, llamada el bra, y una parte derecha, |\psi\rangle, llamada el ket.[2]

La notación fue introducida en 1939 por Paul Dirac Paul Dirac[3] , aunque la notación tiene precursores en el uso del lingüista y matemático alemán Hermann Grassmann de la notación [φ|ψ] para sus productos internos casi 100 años antes.[4] [5]

Bra y kets[editar]

En mecánica cuántica, el estado de un sistema físico se identifica con un vector en el espacio de Hilbert complejo, \mathcal{H}. Cada vector se llama un ket, y se denota como |\psi\rangle. Cada ket |\psi\rangle tiene un bra dual, escrito como \langle\phi|, esto es una funcional lineal continua de \mathcal{H} a los números complejos C, definido como

\langle\psi|\rho\rangle = \bigg( |\psi\rangle \;,\; |\rho\rangle \bigg) para todos los kets |\rho\rangle

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 \langle\phi| al ket |\psi\rangle da lugar a un número complejo, que se denota:

\langle\phi|\psi\rangle.

En mecánica cuántica, ésta es la amplitud de probabilidad para que el estado ψ colapse en el estado φ.

Propiedades[editar]

Los bras y kets se pueden manipular de las maneras siguientes:

  • Dado cualquier bra \langle\phi| y ket |\psi_1\rangle y |\psi_2\rangle, y números complejos c1 y c2, entonces, puesto que los núcleos son funcionales lineales,
\langle\phi| \; \bigg( c_1|\psi_1\rangle + c_2|\psi_2\rangle \bigg) = c_1\langle\phi|\psi_1\rangle + c_2\langle\phi|\psi_2\rangle.
  • dado cualquier ket |\psi\rangle, núcleos \langle\phi_1| y \langle\phi_2|, y números complejos c1 y c2, entonces, por la definición de la adición y la multiplicación escalar de funcionales lineales,
\bigg(c_1 \langle\phi_1| + c_2 \langle\phi_2|\bigg) \; |\psi\rangle = c_1 \langle\phi_1|\psi\rangle + c_2\langle\phi_2|\psi\rangle.

c_1|\psi_1\rangle + c_2|\psi_2\rangle

es dual a  c_1^* \langle\psi_1| + c_2^* \langle\psi_2|.

  • dado cualquier bra \langle\phi| y el ket |\psi\rangle, una propiedad axiomática del producto interno da
\langle\phi|\psi\rangle = \langle\psi|\phi\rangle^*.

Operadores lineales[editar]

Si A: HH es un operador lineal, se puede aplicar A al ket |\psi\rangle para obtener el ket (A|\psi\rangle). 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 \langle\phi| da lugar al bra (\langle\phi|A), definido como funcional lineal en H por la regla

\bigg(\langle\phi|A\bigg) \; |\psi\rangle = \langle\phi| \; \bigg(A|\psi\rangle\bigg).

Esta expresión se escribe comúnmente como:

\langle\phi|A|\psi\rangle.

Una manera conveniente de definir operadores lineales en H es dada por el producto exterior: si \langle\phi| es un bra y |\psi\rangle es un ket, el producto externo

 |\phi\rang \lang \psi|

denota un operador que mapea el ket |\rho\rangle al ket |\phi\rangle\langle\psi|\rho\rangle (donde \langle\psi|\rho\rangle es un escalar que multiplica al ket |\phi\rangle). Una de las aplicaciones del producto externo es para construir un operador de proyección o proyector dado un ket |\psi\rangle de norma 1, la proyección ortogonal sobre el subespacio generado por |\psi\rangle es

|\psi\rangle\langle\psi|

Bras y kets compuestos[editar]

Dos espacios de Hilbert V y W pueden formar un tercer espacio V \otimes W 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 |\psi\rangle es un ket en V y |\phi\rangle es un ket en W, el producto tensorial de los dos kets es un ket en V \otimes W. Esto se escribe como


|\psi\rangle|\phi\rangle o |\psi\rangle \otimes |\phi\rangle o |\psi \phi\rangle.

Las representaciones en términos de bras y kets[editar]

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 \lbrace|\mathbf{x}\rangle\rbrace, donde el índice x se extiende sobre el conjunto de los vectores de posición. Partiendo de cualquier ket |\psi\rangle en este espacio de Hilbert, se puede definir una función escalar compleja de x, conocida como función de onda

\psi(\mathbf{x}) \equiv \lang \mathbf{x}|\psi\rang.

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

A \psi(\mathbf{x}) \equiv \lang \mathbf{x}|A|\psi\rang.

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

\mathbf{p} \psi(\mathbf{x}) \equiv \lang \mathbf{x} |\mathbf{p}|\psi\rang = - i \hbar \nabla \psi(x) .

Se encuentra de vez en cuando una expresión como

 - i \hbar \nabla |\psi\rang.

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[editar]

  1. Cohen-Tannoudji, Claude; Bernard Diu, Franck Laloë (1977). Quantum Mechanics. vol.1 (3ª edición). París, Francia: Hermann. p. 898. ISBN 0-471-16432-1. 
  2. 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. p. 1019. ISBN M. 40.469-2003 |isbn= incorrecto (ayuda). «Los estados del sistema , que notamos |\psi\rangle y se denominan kets... los funconales lineales de \mathcal{H} en C se denotan \langle\psi | y se denominan bras. [pg. 1019.]» 
  3. PAM Dirac (1939). «A new notation for quantum mechanics». Mathematical Proceedings of the Cambridge Philosophical Society 35 (3). pp. 416–418. doi:10.1017/S0305004100021162. 
  4. H. Grassmann (1862). Extension Theory. History of Mathematics Sources. American Mathematical Society, London Mathematical Society, 2000 translation by Lloyd C. Kannenberg. 
  5. Cajori, Florian (1929). A History Of Mathematical Notations Volume II. Open Court Publishing. p.  134. ISBN 978-0-486-67766-8. 

Véase también[editar]