상태를 벡터로, 관측량을 Hermitian 행렬로 표현해 고유값·기저변환·기대값과 분산을 직접 계산합니다.

학부 양자역학 I·II · PART 1 · 양자역학의 언어를 준비하기03 / 03

같은 스핀 상태를 z축으로 측정하면 확실한 결과가 나오지만 x축으로 측정하면 두 결과가 반반 나타날 수 있습니다.

행렬의 고유값 문제가 어떻게 실제 측정 결과와 확률이 될까요?

이번 글의 답Hermitian 연산자의 고유값은 가능한 측정값이고, 상태를 그 고유벡터 기저로 전개한 계수의 절댓값 제곱은 각 결과의 확률입니다. 기대값은 가능한 결과의 확률가중 평균입니다.

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

QUANTUM MECHANICS, FROM ZERO

선형대수 준비: 기호를 외우기 전에 질문부터 세우기

양자역학의 핵심 계산은 ‘미분방정식을 푼다’보다 넓습니다. 먼저 어떤 벡터공간에 상태가 놓이고, 어떤 연산자가 무엇을 측정하며, 어느 기저에서 계산할지를 정해야 합니다. 2×2 행렬만 완전히 이해해도 스핀과 두 상태 계의 대부분을 읽을 수 있습니다.

BEFORE YOU START

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

01

미적분의 미분·적분

02

복소수와 오일러 공식

03

고전역학의 에너지와 운동량

CORE CONCEPT

Hermitian 연산자

켤레전치와 자신이 같아 실수 고유값과 직교 고유벡터를 갖는 관측량 연산자입니다.

CORE CONCEPT

고유기저

한 연산자의 정규직교 고유벡터들로 상태공간을 전개한 좌표계입니다.

CORE CONCEPT

분산

측정값이 기대값 주변에 얼마나 퍼지는지 나타내는 (ΔA)²=⟨A²⟩−⟨A⟩²입니다.

CONCEPT ROUTE

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

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

01상태벡터

복소 좌표

02Hermitian 행렬

관측량

03고유기저 전개

투영 계수

04확률·평균

Born 규칙

$$ \hat A|a_n\rangle=a_n|a_n\rangle,\qquad P(a_n)=|\langle a_n|\psi\rangle|^2,\qquad \langle A\rangle=\langle\psi|\hat A|\psi\rangle $$

DERIVE THE EQUATION

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

$$ \hat A|a_n\rangle=a_n|a_n\rangle,\qquad P(a_n)=|\langle a_n|\psi\rangle|^2,\qquad \langle A\rangle=\langle\psi|\hat A|\psi\rangle $$
01

A|aₙ⟩=aₙ|aₙ⟩을 풀어 고유값과 정규화된 고유벡터를 구합니다.

02

완비성 I=Σₙ|aₙ⟩⟨aₙ|를 상태에 넣어 |ψ⟩=Σₙcₙ|aₙ⟩, cₙ=⟨aₙ|ψ⟩를 얻습니다.

03

정규화 Σ|cₙ|²=1에서 Born 규칙 P(aₙ)=|cₙ|²을 적용합니다.

04

평균 ΣaₙP(aₙ)가 행렬식 ⟨ψ|A|ψ⟩와 같음을 보이고 A²도 같은 방식으로 계산해 분산을 구합니다.

THREE WORKED PROBLEMS

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

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

01

Pauli σx의 고유값과 고유벡터

$$ \begin{aligned}\det(\sigma_x-\lambda I)&=\det\begin{pmatrix}-\lambda&1\\1&-\lambda\end{pmatrix}=\lambda^2-1=0\\\lambda_\pm&=\pm1\\|+x\rangle&=\frac1{\sqrt2}\begin{pmatrix}1\\1\end{pmatrix},\quad|-x\rangle=\frac1{\sqrt2}\begin{pmatrix}1\\-1\end{pmatrix}\end{aligned} $$

Hermitian 행렬의 두 고유값은 실수이고 고유벡터는 서로 직교합니다. 실제 스핀 관측량은 Sx=(ℏ/2)σx이므로 측정값은 ±ℏ/2입니다.

02

|+z⟩ 상태에서 x축 스핀 측정

$$ \begin{aligned}|+z\rangle&=\begin{pmatrix}1\\0\end{pmatrix}=\frac1{\sqrt2}|+x\rangle+\frac1{\sqrt2}|-x\rangle\\P(+x)&=|\langle+x|+z\rangle|^2=\frac12\\P(-x)&=\frac12\end{aligned} $$

z축에서 확정된 상태도 x축 고유기저에서는 두 성분의 중첩입니다. ‘스핀이 측정 전부터 어느 x값을 숨겨 갖고 있다’고 가정하지 않고 상태의 투영으로 확률을 계산합니다.

03

σx 측정의 기대값과 분산

$$ \begin{aligned}\langle\sigma_x\rangle&=\langle+z|\sigma_x|+z\rangle=0\\\langle\sigma_x^2\rangle&=\langle+z|I|+z\rangle=1\\(\Delta\sigma_x)^2&=1-0^2=1\end{aligned} $$

기대값 0은 각 측정이 0이라는 뜻이 아닙니다. 실제 결과는 ±1이고 장기간 평균만 0입니다. 분산 1이 바로 결과의 퍼짐을 알려줍니다.

스스로 확인하기 · 행렬의 고유값 문제가 어떻게 실제 측정 결과와 확률이 될까요?

Hermitian 연산자의 고유값은 가능한 측정값이고, 상태를 그 고유벡터 기저로 전개한 계수의 절댓값 제곱은 각 결과의 확률입니다. 기대값은 가능한 결과의 확률가중 평균입니다.

02문제와 물리적 직관

양자역학의 핵심 계산은 ‘미분방정식을 푼다’보다 넓습니다. 먼저 어떤 벡터공간에 상태가 놓이고, 어떤 연산자가 무엇을 측정하며, 어느 기저에서 계산할지를 정해야 합니다. 2×2 행렬만 완전히 이해해도 스핀과 두 상태 계의 대부분을 읽을 수 있습니다.

먼저 구분할 세 가지 개념
  • Hermitian 연산자 — 켤레전치와 자신이 같아 실수 고유값과 직교 고유벡터를 갖는 관측량 연산자입니다.
  • 고유기저 — 한 연산자의 정규직교 고유벡터들로 상태공간을 전개한 좌표계입니다.
  • 분산 — 측정값이 기대값 주변에 얼마나 퍼지는지 나타내는 (ΔA)²=⟨A²⟩−⟨A⟩²입니다.

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

복소 벡터 |ψ⟩는 ⟨ψ|ψ⟩=1로 정규화합니다. Hermitian 행렬 A=A†는 실수 고유값과 직교 고유벡터를 가지며 A=Σa a|a⟩⟨a|로 분해됩니다. 측정확률은 P(a)=|⟨a|ψ⟩|², 기대값은 ⟨A⟩=⟨ψ|A|ψ⟩입니다.

$$ \hat A|a_n\rangle=a_n|a_n\rangle,\qquad P(a_n)=|\langle a_n|\psi\rangle|^2,\qquad \langle A\rangle=\langle\psi|\hat A|\psi\rangle $$
고유벡터는 측정 기저, 고유값은 가능한 결과, 투영의 절댓값 제곱은 결과 확률입니다.

04유도와 계산 전략

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

식을 전개하는 네 단계
  • A|aₙ⟩=aₙ|aₙ⟩을 풀어 고유값과 정규화된 고유벡터를 구합니다.
  • 완비성 I=Σₙ|aₙ⟩⟨aₙ|를 상태에 넣어 |ψ⟩=Σₙcₙ|aₙ⟩, cₙ=⟨aₙ|ψ⟩를 얻습니다.
  • 정규화 Σ|cₙ|²=1에서 Born 규칙 P(aₙ)=|cₙ|²을 적용합니다.
  • 평균 ΣaₙP(aₙ)가 행렬식 ⟨ψ|A|ψ⟩와 같음을 보이고 A²도 같은 방식으로 계산해 분산을 구합니다.

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

유한차원 행렬은 개념을 선명하게 보여주지만 위치·운동량처럼 연속 고유값을 갖는 연산자는 무한차원 함수공간과 delta 정규화를 필요로 합니다. Part 2에서 같은 구조를 Hilbert 공간으로 일반화합니다.

다음 과목과 연구로 이어지는 연결
  • 스핀 1/2, qubit, 두 준위 원자와 결합 오비탈은 모두 2×2 Hermitian 행렬 문제입니다.
  • 슈뢰딩거 방정식은 Hamiltonian의 고유값 문제로 바뀌어 에너지와 정상상태를 줍니다.
  • DFT 행렬 대각화도 기저함수에서 Kohn–Sham Hamiltonian의 고유쌍을 찾는 계산입니다.

06이 글의 용어 사전

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

Hermitian 연산자Hermitian operator
켤레전치와 자신이 같아 실수 고유값과 직교 고유벡터를 갖는 관측량 연산자입니다.
고유기저eigenbasis
한 연산자의 정규직교 고유벡터들로 상태공간을 전개한 좌표계입니다.
분산variance
측정값이 기대값 주변에 얼마나 퍼지는지 나타내는 (ΔA)²=⟨A²⟩−⟨A⟩²입니다.
상태벡터state vector
한 양자계에서 가능한 모든 측정의 확률 정보를 담는 Hilbert 공간의 벡터입니다.
Hamiltonian
계의 에너지와 시간발전을 생성하는 Hermitian 연산자입니다.
중첩superposition
둘 이상의 허용 상태를 복소 계수로 선형 결합해 새로운 상태를 만드는 성질입니다.

07참고자료와 더 읽을거리

  1. KAIST 물리학과 교과과정 — PH301·PH302 양자역학 I·II와 수리물리학·고전역학의 공식 학부 교과 흐름을 확인합니다.
  2. MIT OpenCourseWare, Quantum Physics I — 파동함수, 1차원 퍼텐셜, 조화진동자, 산란과 수소 원자를 강의·문제 세트로 학습합니다.
  3. MIT OpenCourseWare, Quantum Physics II — 양자 동역학, 두 상태 계, 각운동량·스핀, 동일입자 형식의 학부 후반부 기준입니다.
  4. Griffiths & Schroeter, Introduction to Quantum Mechanics, 3rd ed. — 파동함수부터 대칭성·근사법·산란·양자 동역학까지 이어지는 학부 표준 목차입니다.
NEXT QUANTUM NOTEHilbert 공간과 Dirac 표기: 상태를 좌표와 구분하기 →