Step 1: 편차 연산자 정의
편차 연산자를 다음과 같이 정의한다:
f^=x^−⟨x⟩,g^=p^−⟨p⟩그러면 분산은:
(Δx)2=⟨f^2⟩=⟨f∣f⟩,(Δp)2=⟨g^2⟩=⟨g∣g⟩여기서 ∣f⟩=f^∣Ψ⟩, ∣g⟩=g^∣Ψ⟩이다.
Step 2: 슈바르츠 부등식 적용
힐베르트 공간에서 슈바르츠 부등식은:
⟨f∣f⟩⟨g∣g⟩≥∣⟨f∣g⟩∣2따라서:
(Δx)2(Δp)2≥∣⟨f∣g⟩∣2=∣⟨f^g^⟩∣2Step 3: 복소수 분해
⟨f^g^⟩를 실수부와 허수부로 분해한다. f^g^를 대칭 부분과 반대칭 부분으로 나누면:
f^g^=21{f^,g^}+21[f^,g^]여기서 {f^,g^}=f^g^+g^f^는 반교환자(anticommutator), [f^,g^]=f^g^−g^f^는 교환자(commutator)이다.
f^와 g^가 에르미트 연산자이므로:
- ⟨{f^,g^}⟩는 실수
- ⟨[f^,g^]⟩는 순허수
따라서:
∣⟨f^g^⟩∣2=41∣⟨{f^,g^}⟩∣2+41∣⟨[f^,g^]⟩∣2Step 4: 교환 관계 대입
f^와 g^의 교환 관계는 x^, p^의 교환 관계와 동일하다:
[f^,g^]=[x^−⟨x⟩,p^−⟨p⟩]=[x^,p^]=iℏ따라서:
(Δx)2(Δp)2≥41∣⟨{f^,g^}⟩∣2+41∣iℏ∣2≥4ℏ2Step 5: 최종 결과
양변에 제곱근을 취하면:
Δx⋅Δp≥2ℏ