Postulados de la mec�nica cu�ntica

Ir a la navegaci�nIr a la b�squeda
La formulaci�n matem�tica rigurosa de la mec�nica cu�ntica fue desarrollada por
Paul Adrien Maurice Dirac y John von Neumann. Dicha formulaci�n can�nica se basa en
un conjunto de media docena de postulados (dependiendo de las formulaciones). Este
art�culo presenta una enumeraci�n m�s o menos can�nica de dichos postulados
fundamentales en que se resume dicha formulaci�n.

�ndice
1 Introducci�n
1.1 Nomenclatura usada
2 Postulado I
3 Postulado II
4 Postulado III
4.1 Relaci�n de indeterminaci�n
5 Postulado IV
6 Postulado V
7 Postulado VI
8 V�ase tambi�n
9 Referencias
10 Bibliograf�a
Introducci�n
Los postulados de la mec�nica cu�ntica de forma rigurosa requieren la introducci�n
de ciertos objetos matem�ticos complejos como los espacios de Hilbert de dimensi�n
no finita (para el conjunto de estados), operadores lineales definidos sobre dicho
espacio que permiten formalizar el concepto de medida de una magnitud f�sica,
conceptos algebraicos como el de vector propio, valor propio y otros conceptos de
teor�a espectral adem�s de varios conceptos de probabilidad avanzada (conjuntos
borelianos, �lgebras de Borel, etc.)

Nomenclatura usada
{\displaystyle |\psi \rangle \rightarrow } {\displaystyle |\psi \rangle \rightarrow
} Estado cu�ntico
{\displaystyle A\rightarrow } {\displaystyle A\rightarrow } Observable
{\displaystyle \lambda _{i}\rightarrow } {\displaystyle \lambda _{i}\rightarrow }
Autovalor
{\displaystyle a_{i}\rightarrow } {\displaystyle a_{i}\rightarrow } Autovector
{\displaystyle \mathbb {I} \rightarrow } {\displaystyle \mathbb {I} \rightarrow }
Matriz identidad
{\displaystyle \hbar \ {\stackrel {\mathrm {def} }{=}}\ {\frac {h}
{2\pi }}=\,\,\,1.054\ 571\ 68(18)\times 10^{-34}\ {\mbox{J}}\cdot {\mbox{s}}}
{\displaystyle \hbar \ {\stackrel {\mathrm {def} }{=}}\ {\frac {h}
{2\pi }}=\,\,\,1.054\ 571\ 68(18)\times 10^{-34}\ {\mbox{J}}\cdot {\mbox{s}}}
Constante reducida de Planck (h-barra)
{\displaystyle [A,B]=AB-BA\rightarrow } {\displaystyle [A,B]=AB-BA\rightarrow }
Conmutador

Postulado I
Art�culo principal: Notaci�n braket
Todo estado cu�ntico est� representado por un vector normalizado, llamado en
algunos casos "vector de estado" perteneciente a un espacio de Hilbert complejo y
separable {\displaystyle \scriptstyle {\mathcal {H}}} {\displaystyle \scriptstyle
{\mathcal {H}}} (espacios compactos con estructura vectorial y de funciones
acotadas). Fijada una base del espacio de Hilbert unitaria {\displaystyle \{|
u_{n}\rangle \}_{n=1}^{N}} {\displaystyle \{|u_{n}\rangle \}_{n=1}^{N}} tal que,1?

{\displaystyle \left\{|u_{n}\rangle \in {\mathcal {H}}\quad ;\quad \ \langle

u_{n},u_{m}\rangle =\delta _{nm}\quad ;\quad \forall \psi \in {\mathcal
{H}}\rightarrow \psi =\sum _{i=1}^{N}{c_{i}u_{i}}\right\}} {\displaystyle \left\{|
u_{n}\rangle \in {\mathcal {H}}\quad ;\quad \ \langle u_{n},u_{m}\rangle =\delta
_{nm}\quad ;\quad \forall \psi \in {\mathcal {H}}\rightarrow \psi =\sum _{i=1}^{N}
{c_{i}u_{i}}\right\}}

se puede representar el estado de las siguientes formas vectoriales:

Forma ket:
{\displaystyle {\text{rep}}_{\vec {u}}\left(|\psi \rangle
\right)={\begin{pmatrix}c_{1}\\c_{2}\\\vdots \end{pmatrix}}={\begin{pmatrix}\langle
u_{1}|\psi \rangle \\\langle u_{2}|\psi \rangle \\\vdots \end{pmatrix}}}
{\displaystyle {\text{rep}}_{\vec {u}}\left(|\psi \rangle
\right)={\begin{pmatrix}c_{1}\\c_{2}\\\vdots \end{pmatrix}}={\begin{pmatrix}\langle
u_{1}|\psi \rangle \\\langle u_{2}|\psi \rangle \\\vdots \end{pmatrix}}}
Forma bra:
{\displaystyle {\text{rep}}_{\vec {u}}\left(\langle \psi |\right)=\left(c_{1}^{*}\
c_{2}^{*}\ \cdots \right)=\left(\langle \psi |u_{1}\rangle \ \langle \psi |
u_{2}\rangle \ \cdots \right),} {\displaystyle {\text{rep}}_{\vec {u}}\left(\langle
\psi |\right)=\left(c_{1}^{*}\ c_{2}^{*}\ \cdots \right)=\left(\langle \psi |
u_{1}\rangle \ \langle \psi |u_{2}\rangle \ \cdots \right),}

donde la "*" significa complejo conjugado. El espacio de kets y bras forman

espacios vectoriales duales uno de otro. Puesto que todo espacio de Hilbert es
reflexivo ambos espacios son isomorfos y por tanto constituyen descripciones
esencialmente semejantes.

El estado f�sico de un sistema cu�ntico s�lo adquiere forma matem�tica concreta

cuando se escoge una base en la cual representarlo. M�s aun, el estado cu�ntico no
debe ser identificado con una forma matem�tica concreta, sino con una clase de
equivalencia de formas matem�ticas que representan el mismo estado f�sico. Por
ejemplo, todos los kets de la forma {\displaystyle e^{i\theta }|\psi \rangle }
{\displaystyle e^{i\theta }|\psi \rangle } para todo ?, a�n siendo vectores
diferentes del espacio de Hilbert representan el mismo estado cu�ntico.

El ket normalizado debe cumplir: {\displaystyle \|\psi \|^{2}=\langle \psi |\psi

\rangle =1} {\displaystyle \|\psi \|^{2}=\langle \psi |\psi \rangle =1}. La
elecci�n del ket normalizado que representa al estado no es �nica ya que
{\displaystyle |\psi \rangle } {\displaystyle |\psi \rangle } y {\displaystyle
e^{i\theta }|\psi \rangle } {\displaystyle e^{i\theta }|\psi \rangle } representan
el mismo estado ya que la medida de cualquier magnitud en ellos es id�ntica. Las
funciones de onda son una de las representaciones posibles de los estados sobre el
espacio L2(R3), cuya definici�n rigurosa requiere el uso de espacios de Hilbert
equipados.

Postulado II
Los observables de un sistema est�n representados por operadores lineales
herm�ticos (autoadjuntos). El conjunto de autovalores (valores propios) del
observable {\displaystyle {\mathcal {O}}} {\displaystyle {\mathcal {O}}} recibe el
nombre de espectro y sus autovectores (vectores propios), exactos o aproximados,
definen una base en el espacio de Hilbert.

En la misma base unitaria {\displaystyle \{|u_{n}\rangle \}_{n=1}^{N}}

{\displaystyle \{|u_{n}\rangle \}_{n=1}^{N}}, los representantes de un observable
{\displaystyle {\mathcal {O}}} {\displaystyle {\mathcal {O}}} se definen como:

{\displaystyle {\text{rep}}_{\vec {u}}{\mathcal {O}}=\left[{\begin{array}

{ccc}o_{11}&\dots &o_{1n}\\\vdots &o_{ij}&\vdots \\o_{n1}&\dots
&o_{nn}\\\end{array}}\right]=\left[{\begin{array}{ccc}<u_{1}|{\mathcal {O}}|
u_{1}>&\dots &<u_{1}|{\mathcal {O}}|u_{n}>\\\vdots &<u_{i}|{\mathcal {O}}|
u_{j}>&\vdots \\<u_{n}|{\mathcal {O}}|u_{1}>&\dots &<u_{n}|{\mathcal {O}}|
u_{n}>\\\end{array}}\right]} {\displaystyle {\text{rep}}_{\vec {u}}{\mathcal
{O}}=\left[{\begin{array}{ccc}o_{11}&\dots &o_{1n}\\\vdots &o_{ij}&\vdots
\\o_{n1}&\dots &o_{nn}\\\end{array}}\right]=\left[{\begin{array}{ccc}<u_{1}|
{\mathcal {O}}|u_{1}>&\dots &<u_{1}|{\mathcal {O}}|u_{n}>\\\vdots &<u_{i}|{\mathcal
{O}}|u_{j}>&\vdots \\<u_{n}|{\mathcal {O}}|u_{1}>&\dots &<u_{n}|{\mathcal {O}}|
u_{n}>\\\end{array}}\right]}

En dimensi�n finita, los autovalores {\displaystyle \lambda _{i}} {\displaystyle

\lambda _{i}} se encuentran diagonalizando el representante del operador: igualando
a cero el siguiente determinante: {\displaystyle |{\mathcal {O}}-\lambda \mathbb
{I} |=0} {\displaystyle |{\mathcal {O}}-\lambda \mathbb {I} |=0} y los autovectores
resolviendo el siguiente sistema de n ecuaciones: {\displaystyle {\mathcal
{O}}o_{i}=\lambda _{i}o_{i}\qquad \forall i=1,2,\ldots ,n} {\displaystyle {\mathcal
{O}}o_{i}=\lambda _{i}o_{i}\qquad \forall i=1,2,\ldots ,n}

En la pr�ctica, el espacio de Hilbert de la mayor�a de sistemas reales es de

dimensi�n infinita y el c�lculo de autovalores y autovectores es un problema
matem�tico un poco m�s complicado que el que debe hacerse en dimensi�n finita.

Postulado III
Cuando un sistema est� en el estado normalizado {\displaystyle |\psi \rangle }
{\displaystyle |\psi \rangle }, la medida de un observable A (con espectro puntual)
dar� como resultado el valor propio a, con una probabilidad {\displaystyle
P_{A|\psi \rangle }=|\langle a|\psi \rangle |^{2}} {\displaystyle P_{A|\psi \rangle
}=|\langle a|\psi \rangle |^{2}}, donde {\displaystyle |a\rangle } {\displaystyle |
a\rangle } es el vector propio asociado al autovalor a (en notaci�n del espacio de
Hilbert esto se expresa como {\displaystyle A|a\rangle =a|a\rangle } {\displaystyle
A|a\rangle =a|a\rangle }).

Como consecuencia de este postulado el valor esperado ser�: {\displaystyle \langle

A\rangle _{|\psi \rangle }=\sum _{i}\lambda _{i}|\langle a_{i}|\psi \rangle |
^{2}=\langle \psi |A|\psi \rangle } {\displaystyle \langle A\rangle _{|\psi \rangle
}=\sum _{i}\lambda _{i}|\langle a_{i}|\psi \rangle |^{2}=\langle \psi |A|\psi
\rangle }

Se llama dispersi�n o incertidumbre a la ra�z cuadrada de la varianza. �sta se

calcula como:

{\displaystyle \Delta _{|\psi \rangle }A={\sqrt {\langle \psi |A^{2}|\psi \rangle

-\langle \psi |A|\psi \rangle ^{2}}}} {\displaystyle \Delta _{|\psi \rangle }
A={\sqrt {\langle \psi |A^{2}|\psi \rangle -\langle \psi |A|\psi \rangle ^{2}}}}

Si el observable tiene un espectro no necesariamente puntual o hacemos una medida

de primera especie (filtrante sobre �l) entonces la probabilidad de que la medida
est� dentro de un conjunto boreliano {\displaystyle \Delta \subset \sigma
(A)\subset (\mathbb {R} )} {\displaystyle \Delta \subset \sigma (A)\subset (\mathbb
{R} )} viene dada por:

{\displaystyle P_{A,\psi }(\Delta )=|\langle \psi |E_{A}(\Delta )|\psi \rangle |

^{2}} {\displaystyle P_{A,\psi }(\Delta )=|\langle \psi |E_{A}(\Delta )|\psi
\rangle |^{2}}

Donde {\displaystyle E_{A}(\Delta )} {\displaystyle E_{A}(\Delta )} es el proyector

ortogonal sobre un subespacio de vectores asociados a valores propios contenidos en
el conjunto boreliano {\displaystyle \Delta } \Delta .El caso particular tratado
anteriormente correpond�a a un conjunto boreliano tal que:

{\displaystyle \Delta \cap \sigma (A)=\{a\}} {\displaystyle \Delta \cap \sigma

(A)=\{a\}}

Relaci�n de indeterminaci�n
Art�culo principal: Relaci�n de indeterminaci�n de Heisenberg
El producto de las dispersiones de dos observables sobre el mismo estado est�
acotado.

{\displaystyle \Delta A\Delta B\geq {\frac {1}{2}}\langle \psi |[A,B]|\psi

\rangle } {\displaystyle \Delta A\Delta B\geq {\frac {1}{2}}\langle \psi |
[A,B]|\psi \rangle }

Para el caso de los observables t�picos de posici�n (X) y momento lineal (Px)
tenemos:

{\displaystyle \Delta X\Delta P_{x}\geq {\frac {\hbar }{2}}} {\displaystyle \Delta

X\Delta P_{x}\geq {\frac {\hbar }{2}}}

Esto es porque las variables X y Px son can�nicas conjugadas, es decir que el

conmutador {\displaystyle [X,P_{x}]=i\hbar } {\displaystyle [X,P_{x}]=i\hbar }.

Postulado IV
�ste es el postulado m�s conflictivo de la mec�nica cu�ntica ya que supone el
colapso instant�neo de nuestro conocimiento sobre el sistema al hacer una medida
filtrante[cita requerida].

Para cualquier estado puro {\displaystyle |\psi \rangle } {\displaystyle |\psi

\rangle } sobre el cual se hace una medida de primera especie de A y se obtiene el
valor {\displaystyle a_{i}\,} a_{i}\, (con las probabilidades dadas por el
Postulado III ) entonces el estado resultante se obtiene "filtrando" el estado
inicial al subespacio {\displaystyle M_{a_{i}}\,} {\displaystyle M_{a_{i}}\,}
propio de A asociado al valor de la medida {\displaystyle a_{i}\,} a_{i}\,
(matem�ticamente esta "filtraci�n" se obtiene mediante una proyecci�n ortogonal a
dicho subespacio). Si dicho subespacio propio tiene dimensi�n 1, el estado
"colapsa" al estado {\displaystyle |a_{i}\rangle } {\displaystyle |a_{i}\rangle }

{\displaystyle |\psi \rangle \to |a_{i}\rangle } {\displaystyle |\psi \rangle \to |

a_{i}\rangle }

Si no se ha destruido durante el proceso. Si el espacio es de dimensi�n

{\displaystyle \alpha >1} {\displaystyle \alpha >1} se obtiene un resultado del
tipo:

{\displaystyle |\psi \rangle \to \sum _{j=1}^{\alpha }|a_{i},\lambda _{j}\rangle }

{\displaystyle |\psi \rangle \to \sum _{j=1}^{\alpha }|a_{i},\lambda _{j}\rangle }

M�s en general, si el sistema se encuentra en un estado mezcla definido por una

matriz densidad {\displaystyle \rho \,} \rho \, y el resultado de una medida de
primera especie es el conjunto de valores de A contenido en el subconjunto
{\displaystyle \Delta \subset \sigma (A)} {\displaystyle \Delta \subset \sigma (A)}
del espectro del operador, entonces el estado final ser� un estado mezcla
"filtrado" dado por la siguiente proyecci�n ortogonal:2?

{\displaystyle \rho \to \rho _{A,\Delta }={\frac {1}{{\mbox{tr}}(\rho E_{A}

(\Delta )}}\sum _{a\in \Delta }E_{M_{a}}\rho E_{M_{a}}} {\displaystyle \rho \to
\rho _{A,\Delta }={\frac {1}{{\mbox{tr}}(\rho E_{A}(\Delta )}}\sum _{a\in \Delta }
E_{M_{a}}\rho E_{M_{a}}}

Postulado V
La evoluci�n temporal de un sistema se rige por la ecuaci�n de Schr�dinger:
{\displaystyle i\hbar {\frac {\partial }{\partial t}}|\psi (t)\rangle ={\hat
{H}}|\psi (t)\rangle } {\displaystyle i\hbar {\frac {\partial }{\partial t}}|\psi
(t)\rangle ={\hat {H}}|\psi (t)\rangle }

Donde H es el operador de Hamilton o hamiltoniano del sistema, que corresponde a

(al observable de) la energ�a del sistema.

Postulado VI
Los operadores de posici�n y momento lineal satisfacen las siguientes reglas de
conmutaci�n:

{\displaystyle [X_{i},X_{j}]=0\qquad [P_{i},P_{j}]=0\qquad [X_{i},P_{j}]=i\hbar

\delta _{ij}\mathbb {I} } {\displaystyle [X_{i},X_{j}]=0\qquad
[P_{i},P_{j}]=0\qquad [X_{i},P_{j}]=i\hbar \delta _{ij}\mathbb {I} }

La �ltima propiedad implica que el espacio de Hilbert del sistema debe ser de
dimensi�n infinita, ya que la traza del Conmutador de dos operadores definidos en
un espacio de dimensi�n finita es siempre nula, y para {\displaystyle i=j}
{\displaystyle i=j} la regla de conmutaci�n claramente no es nula.