ket·bra·완비성에서 출발해 자기수반 연산자의 스펙트럼 분해와 연산자 함수까지 유한차원 예제로 직접 계산합니다.

대학원 고급 양자역학 · Sakurai · PART 1 · Sakurai의 출발점: 추상 상태공간01 / 03

같은 Hamiltonian을 행렬로 대각화할 때와 고유상태의 projector 합으로 쓸 때 계산은 달라 보이지만 물리는 정확히 같습니다.

왜 고급 양자역학은 파동함수보다 추상 상태벡터와 연산자에서 다시 시작할까요?

이번 글의 답좌표 파동함수는 상태벡터를 위치 기저로 본 한 표현일 뿐입니다. 추상 형식은 기저에 의존하지 않는 물리를 드러내고, 스펙트럼 정리는 측정·시간발전·연산자 함수를 하나의 언어로 묶습니다.

01직관부터 완전 전개 계산까지

SAKURAI, STEP BY STEP

힐베르트 공간과 스펙트럼: 기호를 외우기 전에 질문부터 세우기

학부 양자역학에서는 미분방정식을 풀어 파동함수를 구하는 일이 중심이었습니다. 그러나 Sakurai 수준에서는 먼저 ‘무엇이 물리이고 무엇이 표현인가’를 분리합니다. 물리적 상태는 복소 Hilbert 공간의 ray이고, 관측량은 적절한 정의역을 가진 자기수반 연산자입니다. 위치표현 ψ(x)는 |ψ⟩에 ⟨x|를 작용한 좌표에 불과합니다. 이 관점을 익히면 spin, 연속 스펙트럼, 산란, 대칭성을 같은 구조로 다룰 수 있습니다.

BEFORE YOU START

이 글을 읽기 전에 확인할 세 가지

01

학부 양자역학 전체

02

복소 선형대수

03

Dirac 표기와 스핀 1/2

CORE CONCEPT

ray

서로 0이 아닌 복소수배만큼 다른 ket은 같은 물리 상태를 나타낸다는 상태 공간의 동치류입니다.

CORE CONCEPT

projector

특정 고유부분공간에 속한 상태 성분만 남기는 P²=P=P†인 연산자입니다.

CORE CONCEPT

스펙트럼 정리

자기수반 연산자를 실수 고유값과 서로 직교하는 spectral projector의 합 또는 적분으로 나타내는 정리입니다.

CONCEPT ROUTE

관찰에서 식과 예측으로 가는 흐름

각 화살표는 단순한 목차가 아니라 다음 단계가 왜 필요한지를 보여줍니다.

01Hilbert 공간

상태의 추상 공간

02자기수반 연산자

실수 측정값

03spectral projector

고유부분공간 분해

04연산자 함수

시간발전·resolvent

$$ \hat A=\sum_a a\hat P_a,\qquad \hat P_a\hat P_b=\delta_{ab}\hat P_a,\qquad f(\hat A)=\sum_a f(a)\hat P_a $$

DERIVE THE EQUATION

핵심 식을 네 단계로 읽고 유도합니다

$$ \hat A=\sum_a a\hat P_a,\qquad \hat P_a\hat P_b=\delta_{ab}\hat P_a,\qquad f(\hat A)=\sum_a f(a)\hat P_a $$
01

정규직교 고유기저의 완비성 I=Σₙ|aₙ⟩⟨aₙ|을 A의 양쪽에 삽입하고 A|aₙ⟩=aₙ|aₙ⟩을 사용합니다.

02

A=AI=Σₙaₙ|aₙ⟩⟨aₙ|을 얻고, 같은 고유값을 갖는 항들을 묶어 Pₐ=Σμ|a,μ⟩⟨a,μ|로 정의합니다.

03

projector의 직교성 PₐP_b=δ_abPₐ와 완비성 ΣₐPₐ=I를 확인하면 A의 모든 거듭제곱이 Aᵏ=ΣₐaᵏPₐ가 됩니다.

04

함수 f를 멱급수로 전개해 대입하면 f(A)=Σₐf(a)Pₐ가 되며, 특히 U(t)=e^{-iAt/ℏ}를 즉시 계산할 수 있습니다.

THREE WORKED PROBLEMS

대입에서 끝내지 않고 결과의 뜻까지 확인합니다

각 예제는 식 세우기 → 계산 → 단위·극한 점검 → 물리적 해석의 순서로 읽으세요.

01

2×2 Hermitian 행렬의 spectral projector

$$ \begin{aligned}\hat A&=\begin{pmatrix}2&1\\1&2\end{pmatrix},\quad a_+=3,\ a_-=1\\P_+&=\frac12\begin{pmatrix}1&1\\1&1\end{pmatrix},\quad P_-=\frac12\begin{pmatrix}1&-1\\-1&1\end{pmatrix}\\A&=3P_++1P_-\end{aligned} $$

행렬을 직접 곱하면 P₊²=P₊, P₋²=P₋, P₊P₋=0, P₊+P₋=I가 확인됩니다. 대각화란 좌표를 바꾸는 기술이고, projector 분해는 어느 기저에서도 성립하는 연산자 관계입니다.

02

Pauli 연산자의 지수함수

$$ \begin{aligned}(\boldsymbol n\!\cdot\!\boldsymbol\sigma)^2&=I,\quad P_\pm=\frac12(I\pm\boldsymbol n\!\cdot\!\boldsymbol\sigma)\\e^{-i\theta\boldsymbol n\cdot\boldsymbol\sigma/2}&=e^{-i\theta/2}P_++e^{i\theta/2}P_-\\&=I\cos\frac\theta2-i(\boldsymbol n\!\cdot\!\boldsymbol\sigma)\sin\frac\theta2\end{aligned} $$

2준위 시간발전과 spin 회전에서 매번 행렬 지수의 멱급수를 곱할 필요가 없습니다. 고유값 ±1에 지수함수를 취하면 표준 SU(2) 회전식이 바로 나옵니다.

03

관측량 함수의 기대값

$$ \begin{aligned}|\psi\rangle&=\sqrt{\frac14}|a_1\rangle+e^{i\phi}\sqrt{\frac34}|a_2\rangle\\\langle A^2\rangle&=\sum_n a_n^2\langle\psi|P_n|\psi\rangle\\&=\frac14a_1^2+\frac34a_2^2\end{aligned} $$

A의 함수만 측정할 때 서로 다른 고유공간 사이의 상대위상 φ는 결과 분포에 나타나지 않습니다. 위상 정보를 보려면 A와 가환하지 않는 다른 관측량을 측정해야 합니다.

스스로 확인하기 · 왜 고급 양자역학은 파동함수보다 추상 상태벡터와 연산자에서 다시 시작할까요?

좌표 파동함수는 상태벡터를 위치 기저로 본 한 표현일 뿐입니다. 추상 형식은 기저에 의존하지 않는 물리를 드러내고, 스펙트럼 정리는 측정·시간발전·연산자 함수를 하나의 언어로 묶습니다.

02문제와 물리적 직관

학부 양자역학에서는 미분방정식을 풀어 파동함수를 구하는 일이 중심이었습니다. 그러나 Sakurai 수준에서는 먼저 ‘무엇이 물리이고 무엇이 표현인가’를 분리합니다. 물리적 상태는 복소 Hilbert 공간의 ray이고, 관측량은 적절한 정의역을 가진 자기수반 연산자입니다. 위치표현 ψ(x)는 |ψ⟩에 ⟨x|를 작용한 좌표에 불과합니다. 이 관점을 익히면 spin, 연속 스펙트럼, 산란, 대칭성을 같은 구조로 다룰 수 있습니다.

먼저 구분할 세 가지 개념
  • ray — 서로 0이 아닌 복소수배만큼 다른 ket은 같은 물리 상태를 나타낸다는 상태 공간의 동치류입니다.
  • projector — 특정 고유부분공간에 속한 상태 성분만 남기는 P²=P=P†인 연산자입니다.
  • 스펙트럼 정리 — 자기수반 연산자를 실수 고유값과 서로 직교하는 spectral projector의 합 또는 적분으로 나타내는 정리입니다.

03수학적 모형과 핵심 방정식

이산 비축퇴 스펙트럼을 가진 자기수반 연산자 A는 고유 projector Pₙ=|aₙ⟩⟨aₙ|의 합으로 A=ΣₙaₙPₙ처럼 분해됩니다. 축퇴가 있으면 한 고유값에 속한 부분공간 전체의 projector Pₐ를 사용합니다. 이때 f(A)=Σₐf(a)Pₐ가 되어 지수함수·제곱근·resolvent 같은 연산자 함수를 고유값에 함수만 취해 계산할 수 있습니다.

$$ \hat A=\sum_a a\hat P_a,\qquad \hat P_a\hat P_b=\delta_{ab}\hat P_a,\qquad f(\hat A)=\sum_a f(a)\hat P_a $$
스펙트럼 정리는 관측량을 서로 직교하는 고유부분공간의 projector와 측정값의 조합으로 분해합니다.

04유도와 계산 전략

공식은 외우는 대상이 아니라 가정과 정의에서 따라 나오는 결과입니다. 아래 순서를 따라 각 항의 출처와 계산 조건을 확인합니다.

식을 전개하는 네 단계
  • 정규직교 고유기저의 완비성 I=Σₙ|aₙ⟩⟨aₙ|을 A의 양쪽에 삽입하고 A|aₙ⟩=aₙ|aₙ⟩을 사용합니다.
  • A=AI=Σₙaₙ|aₙ⟩⟨aₙ|을 얻고, 같은 고유값을 갖는 항들을 묶어 Pₐ=Σμ|a,μ⟩⟨a,μ|로 정의합니다.
  • projector의 직교성 PₐP_b=δ_abPₐ와 완비성 ΣₐPₐ=I를 확인하면 A의 모든 거듭제곱이 Aᵏ=ΣₐaᵏPₐ가 됩니다.
  • 함수 f를 멱급수로 전개해 대입하면 f(A)=Σₐf(a)Pₐ가 되며, 특히 U(t)=e^{-iAt/ℏ}를 즉시 계산할 수 있습니다.

05적용 범위·한계·다음 연결

무한차원에서는 ‘Hermitian’과 ‘self-adjoint’가 항상 같지 않으며 정의역이 물리적 내용을 바꿀 수 있습니다. 연속 스펙트럼의 |x⟩는 Hilbert 공간 안의 정규화 가능한 벡터가 아니라 rigged Hilbert space에서 다루는 generalized eigenvector입니다. 이 글의 유한차원 계산은 그 구조를 안전하게 익히는 출발점입니다.

다음 과목과 연구로 이어지는 연결
  • 다음 글에서 spectral projector를 측정 확률과 상태 갱신 규칙에 적용합니다.
  • 시간발전 연산자와 Green 함수는 각각 Hamiltonian의 지수함수와 resolvent이므로 같은 스펙트럼 계산을 사용합니다.
  • DFT의 Kohn–Sham 대각화와 점유 projector도 이 스펙트럼 언어 위에 놓입니다.

06이 글의 용어 사전

본문을 읽다가 “그래서 이 말이 정확히 뭐지?”라는 질문이 생기면 여기에서 다시 확인할 수 있습니다.

rayphysical ray
서로 0이 아닌 복소수배만큼 다른 ket은 같은 물리 상태를 나타낸다는 상태 공간의 동치류입니다.
projectorprojection operator
특정 고유부분공간에 속한 상태 성분만 남기는 P²=P=P†인 연산자입니다.
스펙트럼 정리spectral theorem
자기수반 연산자를 실수 고유값과 서로 직교하는 spectral projector의 합 또는 적분으로 나타내는 정리입니다.
생성자generator
연속 변환을 무한소 수준에서 만들며 대응하는 보존량과 연결되는 Hermitian 연산자입니다.
표현representation
추상 대칭 연산을 상태공간에서 작용하는 행렬이나 연산자로 구현한 것입니다.
propagator
초기 상태가 주어진 시간 뒤 어떤 상태로 이동하는지를 나타내는 시간발전 kernel입니다.

07참고자료와 더 읽을거리

  1. Sakurai & Napolitano, Modern Quantum Mechanics, 3rd ed. — 추상 형식, 동역학, 대칭성, 근사법, 산란과 상대론적 양자역학을 다루는 대학원 기준 교재입니다.
  2. MIT OpenCourseWare, Quantum Theory I — Sakurai를 주교재로 Hilbert 공간, 합성계, 대칭성, 경로적분과 근사법을 전개합니다.
  3. MIT OpenCourseWare, Quantum Theory II — 고급 산란, 동일입자와 상대론적 양자이론으로 이어지는 두 번째 대학원 과목입니다.
  4. KAIST 물리학과 대학원 교과과정 — PH503·PH504 양자역학 I·II와 고체·통계·장론 과목 사이의 공식 연결을 확인합니다.
NEXT ADVANCED QUANTUM NOTE측정 이론과 연속 스펙트럼: projector에서 δ 정규화까지 →