Tema 1

Física cuántica II

Formalismo de Dirac
 Índice

Esquema. . . . . . . . . . . . . . . . . . . . . . . 2

Ideas clave . . . . . . . . . . . . . . . . . . . . . . 3

1.1 Introducción y objetivos . . . . . . . . . . . . . 3

1.2 Fundamentos de la teoría. . . . . . . . . . . . . 4

1.3 Formalismo de Dirac . . . . . . . . . . . . . . . 5

1.4 El espacio de los kets y operadores . . . . . . . . . 5

1.5 El espacio bra y el producto interno . . . . . . . . . 7

1.6 Operadores . . . . . . . . . . . . . . . . . . 10

1.7 Espacio de kets . . . . . . . . . . . . . . . . . 12

1.8 Representación matricial . . . . . . . . . . . . . 16

1.9 Cuaderno de ejercicios . . . . . . . . . . . . . . 19

1.10 Referencias bibliográficas . . . . . . . . . . . . 20

 Esquema

Fundamentos de la teoría cuántica

Relación de completitud

Espacios de Hilbert

Formalismo de Dirac

Representación matricial

Bras
kets

Operadores: autoestados y autovalores Operador unitario

Producto interno Operador hermítico

Operadores lineales

Física cuántica II
2
Tema 1. Esquema
 Ideas clave

1.1 Introducción y objetivos

En este capítulo vamos a estudiar la base axiomática de la teoría cuántica de un modo
más formal, introduciendo el denominado formalismo de Dirac. En lugar de partir de
la función de onda, se postula que un sistema cuántico está representado por un vec‐
tor en un espacio vectorial sobre el cuerpo de los números complejos, en el que se ha
definido un producto interno. Surge así el formalismo de los kets y de los bras. Intro‐
duciremos también todo lo relativo a los operadores, definiendo lo que se entiende
por operador adjunto y consiguientemente lo que se entiende por operador hermí‐
tico, que es el que está asociado a los observables. Estudiaremos los autoestados y
autovalores de los operadores y demostraremos que los autovalores de un operador
hermítico son números reales, mientras que los autoestados correspondientes a au‐
tovalores distintos son ortogonales. Mostraremos qué se entiende por completitud.
Estudiaremos también la representación matricial de los operadores y la estructura
en vectores fila y columna de los bras y de los kets.

Con más detalle, los objetivos del tema son:

▸ Comprender el formalismo axiomático de la teoría cuántica.

▸ Conocer qué son los kets y qué son los operadores y cómo actúan.

▸ Conocer el espacio dual de los bras y cómo se define el producto interno.

▸ Saber cómo actúan los operadores, qué es el adjunto de un operador y qué son
los operadores hermíticos.

▸ Entender las relaciones entre los autovalores, los autoestados, la ortogonalidad

y la completitud o clausura.

▸ Saber la forma de la representación matricial de los operadores.

Física cuántica II
3
Tema 1. Ideas clave
1.2 Fundamentos de la teoría
Vamos a recapitular los fundamentos de la teoría cuántica, recordando algunos puntos
que ya se estudiaron en Física Cuántica I.

En Mecánica Clásica se puede definir la posición de una partícula en cualquier instante

de tiempo. Como esta partícula sigue una trayectoria (y esta es la clave) se puede defi‐
nir una velocidad, como la derivada respecto del tiempo, y una aceleración como una
derivada temporal segunda. A partir de estas magnitudes cinemáticas se introduce la
dinámica con la segunda ley de Newton.

Ahora bien, ¿qué sucede en la teoría cuántica? Pues sucede que ya no podemos hablar
de trayectorias, puesto que las partículas pueden tener comportamiento ondulatorio,
conforme a la hipótesis de De Broglie, que fue confirmada experimentalmente.

Entonces lo que se necesita es una ecuación de ondas para la materia. Pero esta ecua‐
ción no puede ser la ecuación de ondas ordinaria (con segundas derivadas espaciales
y temporales). Entonces resulta que la nueva ecuación de ondas, para la materia, ha
de tener una derivada respecto al tiempo de primer orden. Pero para que las solucio‐
nes sean ondulatorias debe aparecer la unidad imaginaria, y por lo tanto, la función
de onda ha de ser compleja.

En esta asignatura vamos a presentar la teoría cuántica de una forma más axiomática
y formal. Pero la clave reside en que un sistema físico cuántico vendrá caracteriza‐
do por un vector en un espacio vectorial sobre el cuerpo de los números complejos,
denominado espacio de Hilbert.

También se han desarrollado teorías cuánticas que, en lugar de emplear números com‐
plejos, utilizan cuaterniones. En cualquier caso, la teoría más sencilla emplea números
complejos (los números reales no son suficientes, aunque en última instancia lo único
que es susceptible de ser medido son los número reales). Por lo demás, la validez de
los axiomas y postulados de la teoría queda justificada por su enorme potencia pa‐
ra explicar todos los fenómenos cuánticos conocidos hasta la fecha. Podríamos decir
que los resultados justifican los principios. Para una muy buena exposición histórica
de los comienzos de la teoría y de cómo se fue formulando la teoría cuántica, puede

Física cuántica II
4
Tema 1. Ideas clave
consultarse (Bombal Gordón, 1999).

Te recomendamos visualizar la vídeo‐píldora sobre los fundamentos de la teoría cuán‐

tica:

Ŏ Accede al vídeo: Fundamentos de la teoría cuántica.

1.3 Formalismo de Dirac

En este tema vamos a estudiar un formalismo de la Mecánica Cuántica mucho más
general y abstracto que el que se estudió recurriendo a la función de onda, poniendo
de manifiesto cuáles son los axiomas y postulados de la teoría. Veremos en él su po‐
tencia y fertilidad y cómo el concepto de función de onda aparece de forma natural.
Este formalismo consta de los llamados bras, kets y operadores. Para una exposición
teórica e histórica del formalismo de Dirac, puede consultarse (Borrelli, 2010).

1.4 El espacio de los kets y operadores

En Mecánica Cuántica se considera un espacio vectorial sobre el conjunto de los núme‐
ros complejos. Su dimensión depende del sistema bajo consideración. Así, por ejem‐
plo, en el caso de los átomos de plata en un experimento de Stern‐Gerlach la dimen‐
sión es dos, pues corresponde a partículas de espín 1/2. Existen otros sistemas cuya
dimensión es mayor, incluso algunos cuya dimensión es infinita. Este infinito puede
ser numerable, es decir, el de los números naturales, o bien ser el infinito del conti‐
nuo, tal como veremos al estudiar el espacio de posiciones o momentos, en cuyo caso
el espacio vectorial complejo se conoce como espacio de Hilbert.

Un vector de dicho espacio vectorial complejo se denomina ket y se representa me‐

Física cuántica II
5
Tema 1. Ideas clave
diante la notación |𝛼⟩. Se postula que este vector contiene toda la información de un
sistema cuántico.

Postulado 1: kets

Los kets son vectores de un espacio vectorial complejo y se representan mediante

la notación |𝛼⟩. Contienen toda la información de un sistema cuántico.

Los kets gozan de las siguientes propiedades:

▸ Se pueden sumar |𝛼⟩ + |𝛽⟩.

▸ Y se pueden multiplicar por un número complejo 𝑐, 𝑐|𝛼⟩.

En el caso de que el número complejo por el que se multiplica el ket sea cero, se
obtiene el llamado ket nulo.

Otro postulado es que, si tenemos un ket que representa un estado cuántico y lo multi‐
plicamos por un número complejo, el resultado sigue representando al mismo estado
cuántico.

Postulado 2: Sistema cuántico

Dado un ket que representa un estado cuántico, si lo multiplicamos por un nú‐

mero complejo, el resultado sigue representando al mismo estado cuántico. Se
habla entonces de rayos, en lugar de vectores, en términos matemáticos.

Un observable viene representado en Mecánica Cuántica por un operador, que deno‐

taremos 𝐴, que actúa, por la izquierda sobre un ket, dando como resultado otro ket,
de la forma:
𝐴 ⋅ (|𝛼⟩) = 𝐴|𝛼⟩ (1)

En general, la acción de un operador sobre un ket, que es otro ket, no tiene por qué
ser proporcional al ket de partida, es decir, al producto de un número complejo por el
ket original.

Física cuántica II
6
Tema 1. Ideas clave
Si esto último sucede, entonces se dice que el ket es un autoestado del operador y el
número complejo es un autovalor.

Los autoestados |𝑎′ ⟩,|𝑎″ ⟩, etc, tienen la propiedad de que:

𝐴|𝑎′ ⟩ = 𝑎′ |𝑎′ ⟩, (2)

𝐴|𝑎″ ⟩ = 𝑎″ |𝑎″ ⟩, (3)

etc.

Ejemplo 1. Espín un medio

En el caso de un sistema con espín 1/2 tendríamos:

ℏ
𝑆𝑧 |𝑆𝑧 , ±⟩ = ± |𝑆𝑧 , ±⟩ (4)
2

En el caso general de que dispongamos de un sistema con 𝑁 dimensiones, tendríamos

que un ket podría expandirse como combinación lineal de los autovectores:

|𝛼⟩ = 𝑐𝑎′ |𝑎′ ⟩ (5)

∑′
𝑎

donde los 𝑐𝑎′ son coeficientes complejos.

Por último, te recomendamos visualizar la siguiente vídeo‐píldora para recordar pro‐

piedades básicas de los números complejos:

Ŏ Accede al vídeo: Números complejos.

1.5 El espacio bra y el producto interno

En correspondencia al espacio de los kets, existe el espacio de los bras, que se repre‐
sentan por ⟨𝛼|, y que es el espacio dual. Existe una correspondencia unívoca entre

Física cuántica II
7
Tema 1. Ideas clave
ellos:
⟨𝛼| ↔ |𝛼⟩ (6)

⟨𝑎′ |, ⟨𝑎″ |, .. ↔ |𝑎′ ⟩, |𝑎″ ⟩, ... (7)

⟨𝛼| + ⟨𝛽| ↔ |𝛼⟩ + |𝛽⟩ (8)

A esto se le denomina una correspondencia dual. El dual de un número complejo por

un ket 𝑐|𝛼⟩ es el bra multiplicado por el complejo conjugado del número ⟨𝛼|𝑐 ∗ .

Se define el producto interno de los bras y los kets y se representa multiplicando un

bra por la izquierda y un ket por la derecha, con la siguiente notación:

⟨𝛼|𝛽⟩ = (⟨𝛼|) ⋅ (|𝛽⟩) (9)

En general, el producto interno de bras y kets es un número complejo. Postulamos que

el producto interno de bras y kets es tal que:

⟨𝛼|𝛽⟩ = ⟨𝛽|𝛼⟩∗ (10)

es decir, que un producto interno es igual al complejo conjugado de los bras y los kets
cambiados de sentido.

Postulado 3: Complejo conjugado

El producto interno de un bra y un ket es igual al complejo conjugado de dichos

bras y kets cambiados de sentido.

Nótese que, a diferencia del producto interno o producto escalar ordinario de vecto‐
res, no se cumple que: 𝑎⃗ ⋅ 𝑏⃗ = 𝑏⃗ ⋅ 𝑎.
⃗ El producto interno ⟨𝛼|𝛼⟩ es un número real, lo
cual se deduce fácilmente de la Ecuación (10), puesto que si un número es igual a su
complejo conjugado, entonces ha de ser un número real.

Otro postulado es:

Física cuántica II
8
Tema 1. Ideas clave
 Postulado 4: Métrica definida positiva

Se dice que la métrica está definida positiva porque el producto interno de un

bra consigo mismo como ket es mayor o igual a cero, cumpliéndose la igualdad
solamente en el caso de que el vector sea nulo:

⟨𝛼|𝛼⟩ ≥ 0 (11)

Este postulado posee gran relevancia por cuanto resulta clave en la interpretación
probabilística de la Mecánica Cuántica, como estudiaremos más adelante.

Presentamos a continuación una definición importante:

Definición 1: Ortogonalidad

Un bra y un ket se dice que son ortogonales si se cumple que su producto interno
es nulo, esto es:
⟨𝛼|𝛽⟩ = 0 . (12)

De esta definición y de la Ecuación (10) se deduce que se cumple también que:

⟨𝛽|𝛼⟩ = 0 . (13)

Definido el producto interno, podemos definir la norma de un ket como:

√⟨𝛼|𝛼⟩, (14)

que es equivalente a la norma de un vector en el espacio euclídeo ordinario |𝑎⃗| =

√𝑎⃗ ⋅ 𝑎.
⃗ Definida la norma, podemos formar vectores de norma unidad, de los que se
dice que están normalizados, mediante la operación:

1
|𝛼 ′ ⟩ = |𝛼⟩, (15)
( √⟨𝛼|𝛼⟩ )

tal que se cumple que:

⟨𝛼 ′ |𝛼 ′ ⟩ = 1, (16)

Física cuántica II
9
Tema 1. Ideas clave
es decir, que su norma es igual a la unidad.

1.6 Operadores
Como hemos dicho, los observables en Mecánica Cuántica están representados por
operadores, tales como el operador espín. Denotaremos por 𝑋 e 𝑌 a operadores ge‐
nerales, y por 𝐴 y 𝐵 a operadores asociados a observables.

Un operador, en general, actúa por la izquierda sobre un ket, originando otro ket:

𝑋 ⋅ (|𝛼⟩) = 𝑋|𝛼⟩. (17)

Dos operadores son idénticos 𝑋 = 𝑌 si se cumple que, para un ket arbitrario:

𝑋|𝛼⟩ = 𝑌 |𝛼⟩. (18)

Se llama operador nulo a aquel tal que:

𝑋|𝛼⟩ = 0. (19)

Los operadores gozan de la propiedad conmutativa y de la propiedad asociativa con

respecto a la suma:
𝑋 + 𝑌 = 𝑌 + 𝑋, (20)

𝑋 + (𝑌 + 𝑍) = (𝑋 + 𝑌 ) + 𝑍 . (21)

En Mecánica Cuántica consideraremos solamente operadores lineales, que son aque‐

llos que cumplen la propiedad:

𝑋 (𝑐𝛼 |𝛼⟩ + 𝑐𝛽 |𝛽⟩) = 𝑐𝛼 𝑋|𝛼⟩ + 𝑐𝛽 𝑋|𝛽⟩ . (22)

Los operadores actúan por la derecha sobre los bras, en la forma ⟨𝛼|𝑋. En general
no se cumple que 𝑋|𝛼⟩ y ⟨𝛼|𝑋 sean duales. El dual de 𝑋|𝛼⟩ es ⟨𝛼|𝑋 † , donde 𝑋 † se

Física cuántica II
10
Tema 1. Ideas clave
conoce como hermítico conjugado o adjunto.

Definición 2: Operador hermítico

Un operador es hermítico si es igual a su adjunto:

𝑋 = 𝑋† . (23)

En cuanto a la multiplicación de operadores, no se satisface la propiedad conmutativa,

en general:
𝑋𝑌 ≠ 𝑌 𝑋 . (24)

Sí se cumple, en cambio, la propiedad asociativa:

𝑋 (𝑌 𝑍) = (𝑋𝑌 ) 𝑍 . (25)

El adjunto del producto de dos operadores es igual al producto invertido de los adjun‐
tos de dichos operadores, es decir:

(𝑋𝑌 )† = 𝑌 † 𝑋 † . (26)

Podemos multiplicar un ket por un bra, que se denomina producto externo es: |𝛼⟩⟨𝛽|,
que como veremos es un operador, mientras que el producto de un bra por un ket
⟨𝛼|𝛽⟩ es un número (en general, complejo). Hay productos, por el contrario, que no
tienen sentido, tales como |𝛼⟩|𝛽⟩ o ⟨𝛼|⟨𝛽|. Para probar que el producto externo de un
ket por un bra es un operador veamos lo siguiente:

(|𝛽⟩⟨𝛼|) ⋅ (|𝛾⟩) = (|𝛽⟩) ⋅ (⟨𝛼|𝛾⟩) . (27)

Como vemos el producto externo |𝛽⟩⟨𝛼| actuando sobre un ket es equivalente al pro‐
ducto de un número ⟨𝛼|𝛾⟩ por un ket |𝛽⟩. Por lo tanto, el producto externo de un ket
por un bra es un operador.

Sea el operador:
𝑋 = |𝛽⟩⟨𝛼|, (28)

Física cuántica II
11
Tema 1. Ideas clave
el adjunto es:
𝑋 † = |𝛼⟩⟨𝛽|. (29)

Haciendo uso de la propiedad asociativa para la multiplicación tenemos que:

(⟨𝛽|) ⋅ (𝑋|𝛼⟩) = (⟨𝛽|𝑋) ⋅ (|𝛼⟩) = ⟨𝛽|𝑋|𝛼⟩ . (30)

Recordando que el dual de 𝑋|𝛼⟩ es 𝑋 † ⟨𝛼| se cumple que:

⟨𝛽|𝑋|𝛼⟩ = ⟨𝛼|𝑋 † |𝛽⟩∗ . (31)

Si el operador 𝑋 es hermítico, entonces se da que:

⟨𝛽|𝑋|𝛼⟩ = ⟨𝛼|𝑋|𝛽⟩∗ .

Definición 3: Operador unitario

Un operador 𝑈 se dice que es unitario si se cumple que:

𝑈 † 𝑈 = 𝐼. (32)

1.7 Espacio de kets

Como sabemos los observables en Mecánica Cuántica están asociados a operadores
hermíticos. Con ello vamos a demostrar el siguiente teorema:

Física cuántica II
12
Tema 1. Ideas clave
 Teorema 1: Los autovalores y autovectores de un operador hermítico

Los autovalores y autovectores de estos objetos matemáticos son números reales

y los autovectores con autovalores distintos son ortogonales. En efecto, sea |𝑎′ ⟩
un autovector del operador 𝐴. Entonces se cumple que:

𝐴|𝑎′ ⟩ = 𝑎′ |𝑎′ ⟩. (33)

Física cuántica II
13
Tema 1. Ideas clave
 También se cumple para los bras que:

⟨𝑎″ |𝐴 = 𝑎″∗ ⟨𝑎″ | . (34)

Si ahora multiplicamos la Ecuación (33) por la izquierda por ⟨𝑎″ | y la Ecuación (34)
por la derecha por |𝑎′ ⟩ y restamos, resulta:

′ ″∗ ″ ′
(𝑎 − 𝑎 ) ⟨𝑎 |𝑎 ⟩ = 0. (35)

′
Ahora, si 𝑎′ = 𝑎″ , como ⟨𝑎′ |𝑎′ ⟩ ≠ 0 entonces 𝑎′ = 𝑎 ∗
y como un número com‐
plejo que es igual a su conjugado es un número real, necesariamente, tenemos
que los autovalores son números reales.

Demostremos, seguidamente, la segunda parte del aserto del teorema. Si 𝑎′ ≠

𝑎″ entonces ⟨𝑎″ |𝑎′ ⟩ = 0, con lo que queda demostrado que los autovectores
correspondientes a autovalores distintos son ortogonales.

Si además los autovectores |𝑎′ ⟩ están normalizados, puesto que son ortogonales, el
conjunto de todos ellos {|𝑎′ ⟩} forma una base ortonormal, que se expresa de la si‐
guiente manera:
⟨𝑎″ |𝑎′ ⟩ = 𝛿𝑎′ 𝑎″ . (36)

Se puede demostrar, además, la relación de completitud, que consiste en que cual‐

quier vector (bra o ket) puede ser expresado como combinación lineal de los vectores
de una base ortonormal, en tanto que estos son autovectores de un operador hermí‐
tico; de la misma manera que en un espacio vectorial euclídeo ordinario.

Así pues, cualquier vector se puede expresar de la siguiente manera:

|𝛼⟩ = 𝑐𝑎′ |𝑎′ ⟩. (37)

∑′
𝑎

Si multiplicamos, ahora, por la izquierda por ⟨𝑎″ | tenemos:

⟨𝑎″ |𝛼⟩ = 𝑐𝑎′ ⟨𝑎″ |𝑎′ ⟩ = 𝑐𝑎′ 𝛿𝑎′ 𝑎″ = 𝑐𝑎″ . (38)

∑′
∑′
𝑎 𝑎

Física cuántica II
14
Tema 1. Ideas clave
Con lo que hemos obtenido los coeficientes de la expansión. Por ende, podemos ex‐
presar la expansión en la forma:

|𝛼⟩ = ⟨𝑎′ |𝛼⟩|𝑎′ ⟩ = |𝑎′ ⟩⟨𝑎′ |𝛼⟩. (39)

∑′
∑′
𝑎 𝑎

En esta ecuación podemos considerar, en la primera parte, que tenemos un número

(complejo) multiplicando a un vector, o bien, en la segunda parte, que tenemos un
operador actuando sobre el vector |𝛼⟩. De todo esto se deduce que:

|𝑎′ ⟩⟨𝑎′ | = 1, (40)

∑′
𝑎

donde el segundo miembro ha de ser considerado como el operador identidad. A esta

relación se la conoce como relación de completitud o clausura.

Esta relación, la Ecuación (40), es extremadamente útil. Podemos insertarla al tratarse

del operador unidad de la siguiente manera:

2 2
⟨𝛼|𝛼⟩ = ⟨𝛼| |𝑎′ ⟩⟨𝑎′ | |𝛼⟩ = ′
|⟨𝑎 |𝛼⟩| = ∑ |𝑐𝑎′ | = 1, (41)
(∑′
𝑎
) ∑
𝑎′ 𝑎′

si el vector |𝛼⟩ está normalizado. Veamos, a continuación, qué ocurre si aplicamos el

operador |𝑎′ ⟩⟨𝑎′ | sobre |𝛼⟩:

|𝑎′ ⟩⟨𝑎′ |𝛼⟩ = 𝑐𝑎′ |𝑎′ ⟩ . (42)

Lo que vemos es que obtenemos un vector que es proporcional a |𝑎′ ⟩. Por lo tanto
|𝑎′ ⟩⟨𝑎′ | actúa como un operador de proyección. Si lo llamamos Λ𝑎′ = |𝑎′ ⟩⟨𝑎′ |, la
relación de completitud se expresa como:

Λ𝑎′ = 1 . (43)
∑′
𝑎

Por último, te recomendamos visualizar la vídeo‐píldora:

Ŏ Accede al vídeo: Relación de completitud.

Física cuántica II
15
Tema 1. Ideas clave
1.8 Representación matricial
Una vez estudiado el espacio de los kets, en un espacio de dimensión 𝑁, podemos
aplicar el operador dado por la Ecuación (40) a un operador:

𝑋= |𝑎″ ⟩⟨𝑎″ |𝑋|𝑎′ ⟩⟨𝑎′ |. (44)

∑′
∑
″
𝑎 𝑎

Los términos ⟨𝑎″ |𝑋|𝑎′ ⟩ son 𝑁 2 , equivalente a una matriz de orden 𝑁 × 𝑁, donde el
bra representa la fila y el ket la columna. La representación matricial es, entonces, de
la forma:
⎛ ⟨𝑎′ |𝑋|𝑎′ ⟩ ⟨𝑎′ |𝑋|𝑎″ ⟩ ... ⎞
⎜ ⎟
𝑋 = ⎜ ⟨𝑎″ |𝑋|𝑎′ ⟩ ⟨𝑎″ |𝑋|𝑎″ ⟩ ... ⎟ . (45)
⎜ ⎟
⎜ ... ... ... ⎟
⎝ ⎠
Para el operador adjunto 𝑋 † tenemos la siguiente relación:

⟨𝑎″ |𝑋|𝑎′ ⟩ = ⟨𝑎′ |𝑋 † |𝑎″ ⟩∗ . (46)

Así que vemos que el adjunto o hermítico conjugado en la representación matricial es

simplemente la matriz traspuesta conjugada. Si el operador es hermítico, tenemos:

⟨𝑎″ |𝐴|𝑎′ ⟩ = ⟨𝑎′ |𝐴|𝑎″ ⟩∗ . (47)

Para operadores 𝑍 = 𝑋𝑌 mediante la representación matricial introducimos el ope‐

rador unidad:
‴ ‴
⟨𝑎″ |𝑍|𝑎′ ⟩ = ⟨𝑎″ |𝑋|𝑎 ⟩⟨𝑎 |𝑌 |𝑎′ ⟩ (48)
∑
‴
𝑎

Para ver cómo actúa un operador sobre un ket:

|𝛾⟩ = 𝑋|𝛼⟩, (49)

Física cuántica II
16
Tema 1. Ideas clave
Podemos expandir |𝛾⟩ multiplicando por la izquierda por ⟨𝑎′ | y a continuación insertar
el operador unidad

⟨𝑎′ |𝛾⟩ = ⟨𝑎′ |𝑋|𝛼⟩ = ⟨𝑎′ |𝑋|𝑎″ ⟩⟨𝑎″ |𝛼⟩ . (50)

∑
″
𝑎

Esto significa que un vector es igual al producto de una matriz por otro vector. Estos
vectores pueden ser representados como vectores columna:

⎛ ⟨𝑎′ |𝛼⟩ ⎞
⎜ ⎟
|𝛼⟩ = ⎜ ⟨𝑎″ |𝛼⟩ ⎟ , (51)
⎜ ⎟
⎜ ... ⎟
⎝ ⎠

e igualmente para el vector |𝛾⟩. Del modo análogo:

⟨𝛾| = ⟨𝛼|𝑋, (52)

que da:
⟨𝛾|𝑎′ ⟩ = ⟨𝛼|𝑎″ ⟩⟨𝑎″ |𝑋|𝑎′ ⟩, (53)
∑
″ 𝑎

que es equivalente al producto de un vector fila por una matriz. De manera que el
vector fila es:

⟨𝛼| = (⟨𝛼|𝑎′ ⟩, ⟨𝛼|𝑎″ ⟩, ...) = (⟨𝑎′ |𝛼⟩∗ , ⟨𝑎″ |𝛼⟩∗ , ...) . (54)

Con esta estructura podemos escribir el producto interno de la siguiente manera, in‐
sertando como siempre el operador unidad:

⎛ ⟨𝑎(1) |𝛽⟩ ⎞
⎜ ⎟
⟨𝛼|𝛽⟩ = ⟨𝛼|𝑎′ ⟩⟨𝑎′ |𝛽⟩ = (⟨𝑎(1) |𝛼⟩∗ , ⟨𝑎(2) |𝛼⟩∗ , ...) ⎜ ⟨𝑎(2) |𝛽⟩ ⎟ . (55)
∑ ⎜ ⎟
𝑎′ ⎜ ⎟
⎝ ... ⎠

Veamos el caso en que el operador sea hermítico (y por tanto asociado a un observa‐
ble):
𝐴= |𝑎″ ⟩⟨𝑎″ |𝐴|𝑎′ ⟩⟨𝑎′ |, (56)
∑′
∑
″
𝑎 𝑎

Física cuántica II
17
Tema 1. Ideas clave
como en su base de autovectores el operador 𝐴 es diagonal, tenemos:

⟨𝑎″ |𝐴|𝑎′ ⟩ = ⟨𝑎′ |𝐴|𝑎′ ⟩𝛿𝑎′ 𝑎″ = 𝑎′ 𝛿𝑎′ 𝑎″ . (57)

Y llevando esta expresión a la Ecuación (40):

𝐴= 𝑎′ |𝑎′ ⟩⟨𝑎′ | = 𝑎′ Λ𝑎′ . (58)

∑′
∑′
𝑎 𝑎

Ejemplo 2. Sistemas de espín un medio

En el caso de los estado de espín 1/2 los kets |𝑆𝑧 ; ±⟩ se suelen representar sim‐
plemente en la forma |±⟩. Es evidente que conforme a Ecuación (43) se tiene:

|+⟩⟨+| + |−⟩⟨−| = 1. (59)

Conforme a la Ecuación (58) podemos escribir el operador espín (componente 𝑧)

como:
ℏ
𝑆𝑧 = (|+⟩⟨+| − |−⟩⟨−|) . (60)
2
Como los autoestados son ortogonales, resulta, de la forma del operador, que la
relación de autovalores es:
ℏ
𝑆𝑧 |±⟩ = ± |±⟩.
2
Los operadores escalera, que no son hermíticos, se construyen de la siguiente
manera:
𝑆+ = ℏ|+⟩⟨−|, (61)

𝑆− = ℏ|−⟩⟨+|. (62)

Por ejemplo, al actuar 𝑆+ sobre |−⟩ sube el ket a |+⟩ y arroja un valor nulo si
actúa sobre el ket |+⟩; y análogamente sucede con el operador 𝑆− . Por ello se los
denomina operadores escalera. Si se representan los kets como:

⎛ 1 ⎞
|+⟩ = ⎜ ⎟ , (63)
⎜ 0 ⎟
⎝ ⎠

Física cuántica II
18
Tema 1. Ideas clave
 ⎛ 0 ⎞
|−⟩ = ⎜ ⎟ . (64)
⎜ 1 ⎟
⎝ ⎠
De esta manera, los operadores tienen la forma:

ℏ ⎛⎜ 1 0 ⎞⎟
𝑆𝑧 = , (65)
2 ⎜ 0 −1 ⎟
⎝ ⎠

⎛ 0 1 ⎞
𝑆+ = ℏ ⎜ ⎟, (66)
⎜ 0 0 ⎟
⎝ ⎠
⎛ 0 0 ⎞
𝑆− = ℏ ⎜ ⎟ (67)
⎜ 1 0 ⎟
⎝ ⎠

1.9 Cuaderno de ejercicios

Ejercicio 1. Calcular el bra correpondiente al ket: |𝜇⟩ = 2𝑖|𝛽1 ⟩ + (1 − 3𝑖) |𝛽2 ⟩.

Solución: ⟨𝜇| = −2𝑖⟨𝛽1 | + (1 − 3𝑖) ⟨𝛽2 |.

Ejercicio 2. Calcular el producto interno del ket del Ejercicio 1 con su bra, supo‐
niendo que tanto |𝛽1 ⟩ como |𝛽2 ⟩ son ortonormales. Solución: 14.

2𝑖 1 − 3𝑖
Ejercicio 3. Normalizar el ket del Ejercicio 1. Solución: |𝛽1 ⟩ + |𝛽2 ⟩.
√14 √14

Ejercicio 4. Sea el ket |𝛼⟩ = ∑𝑗 𝑐𝑗 (𝛼) |𝑎𝑗 ⟩, calcular su norma, suponiendo que
2
los |𝑎𝑗 ⟩ forman una base ortonormal. Solución: ‖|𝛼⟩‖ = √∑𝑖 |𝑐𝑖 (𝛼)| .

Física cuántica II
19
Tema 1. Ideas clave
 Ejercicio 5. Calcular el elemento matricial del operador 𝑌 = 𝑋|𝛼⟩⟨𝛽| utilizando
la relación de completitud. Solución: 𝑌𝑖𝑗 = ∑𝑘 𝑋𝑖𝑘 𝑐𝑘 (𝛼) 𝑐𝑗∗ (𝛽).

1.10 Referencias bibliográficas

Bombal Gordón, F. (1999). Los modelos matemáticos de la mecánica cuántica.

Borrelli, A. (2010). Dirac’s bra‐ket notation and the notion of a quantum state. In
Styles of Thinking in Science and Technology. Proceedings of the 3rd International
Conference of the European Society for the History of Science (pp. 361–371).

Física cuántica II
20
Tema 1. Ideas clave