양자역학의 수학적 형식화

(English Wikipedia 의 Mathematical Formulation of Quantum Mechanics 를 단순 번역중입니다.)

폰 노이만의 연구에 따르면 양자역학의 수학적 뼈대는 다음과 같은 공리들로 이루어져 있음.

 

1. 어떤 물리계(physical system)가 주어졌고, 그 계는 분리가능 복소 힐버트 내적공간으로 이해할 수 있다. 이를 \(\mathcal{H}\) 라고 표기하기로 한다. (분리가능하다는 조건을 넣은 이유는 셀 수 있는 만큼의 횟수(countably many)의 관측만 수행하면 상태를 유일하게 결정하기 위해 충분하기 때문이다.)
2. 계의 상태는 \(\mathcal{H}\) 의 일차원 부분공간(ray)으로 나타낸다. 즉, \(\mathcal{H}\) 의 일차원 부분공간 각각은 물리계가 취할 수 있는 각 상태들과 일대일 대응관계가 있다. (혹은 규격화했을 때 같아지는 벡터들끼리 모아서 equivalence class 를 만들고 이를 상태의 정의로 사용해도 좋다.)
3. 복합계의 상태는 복합계를 이루는 개별 힐버트공간의 텐서곱으로 이해할 수 있다.
4. 양자상태에 작용하는 대칭성은 모두 유니타리 연산자이거나 반유니타리 연산자로 표현된다.(위그너의 정리)
5. 물리적 관측가능량은 \(\mathcal{H}\) 의 densly-defined self adjoint operator 들로 표현된다.
6. \(| \psi > \in \mathcal{H}\) 로 표현되는 양자상태에 관해 이 상태가 연산자 \(A\)  에 대응하는 물리량을 얼마나 가질 것인가에 관해 그 기대값은 \(<\psi | A | \psi >\) 로 주어진다.
7. Spectral 이론에 따르면 상태 \(| \psi >\) 에 대한 관측가능량 A 에 대해 확률측도를 부여할 수 있다. 또한 임의의 상태에 대해서 관측가능량 A 가 취할 수 있는 값은 반드시 A 의 스펙트럼에 속해야 한다는 것을 보일 수 있다. A 가 오직 불연속 스펙트럼을 가질 뿐인 특별한 상황에서 관측되는 A 값은 A 의 고유치이다.
8. 보다 일반적으로, 어떤 상태는 소위 density operator 라고 하는 것으로 표현될 수 있다. density operator 는 trace class 로서 규격화 가능한 음이 아닌 self-adjoint operator 를 의미한다. 이를 rho 라고 쓰자. 그러면 관측가능량 A 가 상태 rho 에 대해 가지는 기대값은 tr(A\rho) 이다. 만약 \rho \psi 가 \psi 에 의해 스팬되는 1차원 부분공간으로의 orthogonal projector 라면 tr(A \rho \psi) = <\psi |A|\psi> 이다. 밀도연산자는 1차원 orthogonal projectoor 들의 convex hull 에 속하는 연산자들이다. 역으로, 1차원 orthogonal projector 들은 밀도연산자들의 집합의 극점들이다. 물리학자들은 이러한 1차원 직교투영 연산자들을 순수상태라고 부르고 나머지 밀도연산자들을 혼합상태라고 부르기도 한다.

 

이 명제들을 공리로 인정하고나면 이것을 바탕으로 하이젠베르크의 불확정성의 원리를 이끌어낼 수 있다.

 

 

메모

The important mathematical requirement that observables be represented by
hermitian matrices (operators) in the formalism of matrix mechanics is due to
the physical requirement that measured values of observable quantities must be
real. http://www.worldscibooks.com/etextbook/7271/7271_chap02.pdf