Formulación matemática da mecânica cuántica
De Wikipedia, a enciclopedia livre
A formulación matemática rigorosa da mecânica cuántica foi desenvolvida por Paul Adrien Maurice Dirac e John von Neumann. Dita formulación canónica baseia-se em um conjunto em media dúzia de postulados (dependendo da formulaciones). Este artigo apresenta uma enumeración mais ou menos canónica de ditos postulados fundamentais.
Índice |
Postulado I
Todo o estado cuántico]] está representado por uma função vectorial normalizada, chamado em alguns casos "vector de estado", que deve cumprir as propriedades do produto escalar no espaço de Hilbert complexo e separable ξ (espaços compacto com estrutura vectorial e de funções). Fixada uma base do espaço de Hilbert unitaria
tal que,[1]
pode-se representar o estado das seguintes formas vectoriais:
- Forma ket:
- Forma bra:
onde a "*" significa Número_complexo#Valor absoluto ou módulo, conjugado e distância|complexo conjugado]].
O estado cuántico normalizado deve cumprir:
. A eleição do estado normalizado não é única já que
e
representam o mesmo estado já que a medida de qualquer magnitude neles é idêntica.
Postulado II
Os observables de um sistema estão representados por operadores lineales hermíticos (autoadjuntos). O conjunto de autovaloré (valores próprios) do observable
recebe o nome de espectro de um operador|espectro]] e seus autovectoré (vectores próprios), exactos ou aproximados, definem uma base no espaço de Hilbert.
Na mesma base unitaria
, os representantes de um observable
definem-se como:
Em dimensão finita, os autovalores λi encontram-se diagonalizando o representante do operador: igualando a zero o seguinte determinante:
e os autovectores resolvendo o seguinte sistema de n equações: 
Na prática, o espaço de Hilbert da maioria de sistemas reais é de dimensão infinita e o cálculo de autovalores e autovectores é um problema matemático um pouco mais complicado que o que deve se fazer em dimensão finita.
Postulado III
Quando um sistema está no estado
, a medida de um observable A dará como resultado o valor próprio a, com uma probabilidade
, onde
é o vector próprio sócio ao autovalor a (em notación do espaço de Hilbert isto se expressa como
).
Como consequência deste postulado o valor esperado será: 
Chamaremos desvio típica|dispersión]] ou incerteza à raiz quadrada da varianza. Esta se calcula assim: 
Princípio de incerteza
O produto das dispersiones de duas observables sobre o mesmo estado está acotado.
Para o caso dos observables típicos de posição]] (X) e momento (Px) temos:
Isto é porque as variables X e Px são canónicas conjugadas, isto é que o conmutador
.
Postulado IV
Para qualquer estado
sobre o qual se faz uma medida de A que filtra ao estado
, passa a se encontrar precisamente nesse estado
, se não se destruiu durante o processo.
Este é o postulado mais conflictivo da mecânica cuántica já que supõe o colapso instantáneo de nosso conhecimento sobre o sistema ao fazer uma medida filtrante.
Postulado V
A evolução temporária de um sistema rege-se pela equação de Schrödinger:
Onde H é o operador de Hamilton ou hamiltoniano do sistema, que corresponde à energia do sistema.
Postulado VI
O operadoré de posição]] e momento satisfazem as seguintes regras de conmutación:
Nomenclatura usada
Estado cuántico
Observable
Autovalor
Autovector
Matriz identidade
Constante reduzida de Planck (h-varra)
Conmutador
Veja-se também
- Mecânica cuántica
- Espaço de Hilbert, Hamiltoniano (mecânica cuántica).
- Observable, Espectro de um operador.
Referências
- ↑ Cohen-Tannoudji; Bernard Diu, Franck Laloë})
}}. Quantum Mechanics, vol.1, 3ª edição})
}}, Paris, França: Hermann, pp. 898. ISBN 0-471-16432-1.
em:Mathematical formulation of quantum mechanicstenho:הפוסטולטים של תורת הקוונטיםa:Leges motus quanticae



![\text{rep}_{\vec{ou}}\mathcal{Ou}=\left[\begin{array}{ccc}
ou_{11} & \dots & ou_{1n} \\
\vdots & ou_{ij} & \vdots \\
ou_{n1} & \dots & ou_{nn} \\
\end{array}\right] = \left[\begin{array}{ccc}
<u_1|\mathcal{Ou}|ou_1> & \dots & <u_1|\mathcal{Ou}|ou_n> \\
\vdots & <u_i|\mathcal{Ou}|ou_j> & \vdots \\
<u_n|\mathcal{Ou}|ou_1> & \dots & <u_n|\mathcal{Ou}|ou_n> \\
\end{array}\right]](http://images.encydia.com/math/e/3/7/e3783f571a5c65900b3e8899cfc69afb.png)
![\Delta A \Delta B \ge \frac{1}{2} \langle \psi | [A,B]| \psi \rangle](http://images.encydia.com/math/2/4/6/2466b21549649ec3e82c669833db6a3a.png)


![[X_i,X_j]=0 \qquad [P_i,P_j]=0 \qquad [X_i,P_j]=i\hbar \delta_{ij}\mathbb{I}](http://images.encydia.com/math/a/5/b/a5b085c96a0cfd593cc1153bc4bd5ff8.png)
