양자역학의 수학적 기초
위키백과 ― 우리 모두의 백과사전.
브라-켓 표기법을 이용해 기술한 양자역학의 가설은 다음과 같다.
- 양자 역학계의 상태는 가분(seperable) 복소 힐베르트 공간의 단위벡터로 표시한다. 그 벡터를 상태벡터(state vector)라고 한다.
- 관측가능량(observable)은 그 힐베르트 공간의 선형 에르미트연산자로 표시한다.
- 계가 상태 |ψ>이 있을 때, 관측가능량(observable) A의 측정으로, 고유값 a가 측정될 확률은
-
- |<a|ψ>|2
-
- 해밀토니안이라 불리는, 계의 에너지에 대응하는 특별한 관측가능량(observable) H가 있다. 상태벡터의 시간전개는 슈뢰딩거 방정식으로 주어진다.
-
- i (h/2π) d/dt |ψ(t)> = H |ψ(t)>
-
이 수학적 틀에서 하이젠베르크의 불확정성원리는 비가환 연산자에 대한 정리가 된다.
또, 연속적이거나 이산적인 관측가능량 모두를 넣어도 좋고, 연속의 경우에는 힐베르트 공간은 함수의 제곱이 적분가능한 파동함수의 공간이다.