# 演算子と物理量：エルミート演算子と交換関係から不確定性関係へ

> 物理量がエルミート演算子で表される理由を期待値の実数性から導き、正準交換関係の意味、ロバートソンの不等式によるハイゼンベルクの不確定性原理の証明、固有値・固有状態と測定による波動関数の収縮までを一続きに扱う。
> https://rikai.mugen-giken.com/physics/quantum-mechanics/operators-and-observables

## 0. この記事の要点

- 物理量（観測量）は状態空間上の**エルミート演算子**で表されます。これは天下り的な約束ではなく、「期待値がどんな状態でも実数である」ことを要求すると強制されます。
- 測定で得られる値は演算子の**固有値**です。エルミート演算子の固有値が実数であること、異なる固有値の固有ベクトルが直交することが、この対応を支えています。
- 位置と運動量は正準交換関係 $[\hat X, \hat P] = i\hbar\hat I$ を満たします。この関係は有限次元では絶対に実現できず、量子力学が無限次元の状態空間を必要とする理由になっています。
- 任意の 2 つの観測量について $\Delta A\,\Delta B \ge \frac{1}{2}\bigl|\langle [\hat A,\hat B]\rangle\bigr|$（ロバートソンの不等式）が成り立ちます。ハイゼンベルクの不確定性原理はその特別な場合で、コーシー・シュワルツの不等式から数行で出ます。
- 2 つの観測量が同時に確定した値を持ちうるのは、それらが可換なときに限られます。
- 測定は状態を固有空間へ**射影**します（波動関数の収縮）。これはシュレーディンガー方程式による時間発展とは別立ての公理であり、シュテルン・ゲルラッハの連続測定で直接確かめられます。

## 1. 動機：観測量はなぜ「行列」になったのか

古典力学では、物理量は相空間上の関数です。位置 $x$、運動量 $p$ を決めれば、エネルギー $H(x,p)$ も角運動量も一意に決まった実数として読み出せます。「測る」とは、すでにそこにある値を写し取ることでした。この描像は [ハミルトン形式の力学](/physics/mechanics/hamiltonian-mechanics) で完成された形にまとめられています（<Ref to="physics/mechanics/hamiltonian-mechanics#def-phase-space" text="位相空間と正準座標" />）。

ところが原子のスペクトルは、この描像と正面から衝突しました。水素原子は連続した任意の振動数の光を出さず、とびとびの線スペクトルだけを出します（[量子力学の誕生](/physics/quantum-mechanics/birth-of-quantum-mechanics)）。相空間上の連続関数からは、とびとびの値の集合は自然には出てきません。

1925 年、ハイゼンベルクは「観測にかからない量（電子の軌道半径など）を理論から追放し、観測にかかる量（遷移振動数と強度）だけで力学を書き直す」という方針を取りました。すると力学変数は 1 つの数ではなく、**2 つの状態の組で添字づけられた量の配列** $x_{nm}$ になります。配列どうしの積は行列の積になり、順序を入れ替えると値が変わります。ボルンとヨルダンはこの非可換性の正体を突き止め、位置と運動量の間に

$$
\hat P\hat X - \hat X\hat P = \frac{\hbar}{i}\hat I
$$

という関係があることを見出しました。これが本記事の主役の一つ、正準交換関係です。

一方 [シュレーディンガー方程式と波動関数](/physics/quantum-mechanics/schrodinger-equation) では、エネルギーと運動量を

$$
E \;\longrightarrow\; i\hbar\frac{\partial}{\partial t},\qquad
\boldsymbol{p} \;\longrightarrow\; -i\hbar\nabla
$$

と「置き換える」規則を使いました（<Ref to="physics/quantum-mechanics/schrodinger-equation#prop-momentum" text="運動量演算子の導出" />）。この置き換えは、当座は方程式を作るための便法にすぎません。しかしハイゼンベルクの行列とシュレーディンガーの微分作用素は、同じ 1 つの構造の 2 つの姿です。その構造とは、**物理量は状態空間に作用する線形演算子である**ということです。

なぜ線形演算子なのか。理由は 2 つあります。第 1 に、量子力学の状態は重ね合わせができる、つまり状態空間はベクトル空間です。物理量から確率を読み出す規則がこの線形構造と両立するためには、物理量は線形な対象でなければなりません。第 2 に、線形演算子には**固有値**という、離散的になりうる「値の集合」が最初から備わっています。とびとびのエネルギー準位を説明したいという要請に、固有値はぴったり応えます。

この章で答えるのは次の 3 つの問いです。

1. 物理量に対応する演算子は、どんな性質を持たなければならないか。
2. 演算子どうしが可換でないことは、物理的に何を意味するのか。
3. 「測定する」とは、状態に対してどんな操作なのか。

## 2. 準備：状態空間とディラック記法

系の状態は、複素ヒルベルト空間 $\mathcal H$ の（ノルム 1 の）ベクトルで表されます。ベクトルを $|\psi\rangle$（ケット）と書き、内積を $\langle\phi|\psi\rangle$ と書きます。内積は第 1 引数について反線形、第 2 引数について線形とします。つまり複素数 $c$ について

$$
\langle c\phi|\psi\rangle = \bar{c}\,\langle\phi|\psi\rangle,\qquad
\langle\phi|c\psi\rangle = c\,\langle\phi|\psi\rangle,\qquad
\overline{\langle\phi|\psi\rangle} = \langle\psi|\phi\rangle .
$$

ノルムは $\|\psi\| = \sqrt{\langle\psi|\psi\rangle}$ です。内積空間の一般論は [内積空間とグラム・シュミット直交化](/mathematics/linear-algebra/inner-product-spaces) にまとめてあります（<Ref to="mathematics/linear-algebra/inner-product-spaces#def-inner-product" text="内積空間の定義" />）。

1 次元の 1 粒子系では $\mathcal H = L^2(\mathbb{R})$、すなわち $\int_{-\infty}^{\infty}|\psi(x)|^2\,dx < \infty$ を満たす関数の空間で、内積は

$$
\langle\phi|\psi\rangle = \int_{-\infty}^{\infty}\overline{\phi(x)}\,\psi(x)\,dx
$$

です。$\mathcal H$ 上の線形写像 $\hat A$ を演算子と呼び、$\langle\phi|\hat A|\psi\rangle := \langle\phi|\hat A\psi\rangle$ を行列要素と呼びます。有限次元の場合、正規直交基底 $\{|e_k\rangle\}$ をとれば $A_{jk} = \langle e_j|\hat A|e_k\rangle$ がまさに行列成分です。

<Aside type="note">
以下では、微分や積分の順序交換、部分積分の境界項が消えること（$|x|\to\infty$ で $\psi\to 0$）を自由に使います。厳密には演算子の定義域を指定する必要があり、その注意点は <Ref to="rem-domain" /> にまとめます。当面は、無限遠で急速に減衰する滑らかな関数（シュワルツ空間 $\mathcal S(\mathbb{R})$）の上で議論していると思ってください。
</Aside>

## 3. 物理量はエルミート演算子である

<Definition id="def-adjoint" title="随伴演算子">
演算子 $\hat A$ に対し、すべての $|\phi\rangle, |\psi\rangle \in \mathcal H$ について

$$
\langle \hat A\phi\,|\,\psi\rangle = \langle \phi\,|\,\hat A^{*}\psi\rangle
$$

を満たす演算子 $\hat A^{*}$ を $\hat A$ の**随伴演算子**と呼びます。
</Definition>

有限次元で正規直交基底をとると、$(\hat A^{*})_{jk} = \overline{A_{kj}}$、すなわち随伴は行列の共役転置に対応します。定義から $(\hat A\hat B)^{*} = \hat B^{*}\hat A^{*}$ と $(\hat A^{*})^{*} = \hat A$ が従います。前者は $\langle \hat A\hat B\phi|\psi\rangle = \langle \hat B\phi|\hat A^{*}\psi\rangle = \langle\phi|\hat B^{*}\hat A^{*}\psi\rangle$ から読み取れます。

<Definition id="def-hermitian" title="エルミート演算子">
$\hat A^{*} = \hat A$ を満たす演算子、すなわちすべての $|\phi\rangle,|\psi\rangle$ について

$$
\langle \hat A\phi\,|\,\psi\rangle = \langle \phi\,|\,\hat A\psi\rangle
$$

が成り立つ演算子を**エルミート演算子**（対称演算子）と呼びます。
</Definition>

量子力学の基本的な約束は「観測量はエルミート演算子で表される」というものですが、これは次の命題によって、より素朴な要求から導かれます。状態 $|\psi\rangle$（$\|\psi\|=1$）における物理量 $\hat A$ の期待値を $\langle\hat A\rangle_\psi := \langle\psi|\hat A|\psi\rangle$ と定めるとき、期待値は測定値の平均ですから実数でなければなりません。

<Proposition id="prop-observable-hermitian" title="期待値の実数性とエルミート性">
$\mathcal H$ を複素内積空間、$\hat A$ を $\mathcal H$ 上の線形演算子とします。このとき次は同値です。

1. すべての $|\psi\rangle\in\mathcal H$ について $\langle\psi|\hat A|\psi\rangle \in \mathbb{R}$。
2. $\hat A$ はエルミートである。
</Proposition>

<Proof of="prop-observable-hermitian">
**(2) から (1)。** $\hat A$ がエルミートとすると、内積の共役対称性 $\overline{\langle\phi|\psi\rangle} = \langle\psi|\phi\rangle$ より

$$
\overline{\langle\psi|\hat A\psi\rangle} = \langle \hat A\psi|\psi\rangle = \langle\psi|\hat A\psi\rangle
$$

となります。最後の等号が <Ref to="def-hermitian" /> です。自分自身の複素共役に等しい数は実数ですから、(1) が成り立ちます。

**(1) から (2)。** $\hat B := \hat A - \hat A^{*}$ とおきます。<Ref to="def-adjoint" /> より $\langle\psi|\hat A^{*}\psi\rangle = \langle \hat A\psi|\psi\rangle = \overline{\langle\psi|\hat A\psi\rangle}$ ですから、仮定 (1)（$\langle\psi|\hat A\psi\rangle$ が実数）を使うと

$$
\langle\psi|\hat B\psi\rangle = \langle\psi|\hat A\psi\rangle - \overline{\langle\psi|\hat A\psi\rangle} = 0
\qquad(\forall\,|\psi\rangle).
$$

そこで任意の $|\psi\rangle,|\phi\rangle$ をとり、まず $|\psi\rangle+|\phi\rangle$ に上式を適用します。$\hat B$ の線形性と内積の双線形性から

$$
0 = \langle\psi|\hat B\psi\rangle + \langle\psi|\hat B\phi\rangle + \langle\phi|\hat B\psi\rangle + \langle\phi|\hat B\phi\rangle
= \langle\psi|\hat B\phi\rangle + \langle\phi|\hat B\psi\rangle .
$$

次に $|\psi\rangle + i|\phi\rangle$ に適用します。第 1 引数の反線形性で $\langle i\phi| = -i\langle\phi|$ となることに注意すると

$$
0 = \langle\psi|\hat B\psi\rangle + i\langle\psi|\hat B\phi\rangle - i\langle\phi|\hat B\psi\rangle + (-i)(i)\langle\phi|\hat B\phi\rangle
= i\bigl(\langle\psi|\hat B\phi\rangle - \langle\phi|\hat B\psi\rangle\bigr),
$$

すなわち $\langle\psi|\hat B\phi\rangle = \langle\phi|\hat B\psi\rangle$ です。1 つ前の式と足し合わせると $2\langle\psi|\hat B\phi\rangle = 0$、つまり任意の $|\psi\rangle,|\phi\rangle$ で $\langle\psi|\hat B\phi\rangle = 0$。ここで $|\psi\rangle = \hat B|\phi\rangle$ と選べば $\|\hat B\phi\|^2 = 0$、よって $\hat B = 0$、すなわち $\hat A = \hat A^{*}$ です。
</Proof>

<Remark id="rem-complex-essential">
この証明で「複素」内積空間であることは本質的です。実内積空間では反例があります。$\mathbb{R}^2$ の $90^\circ$ 回転 $R = \begin{pmatrix}0 & -1\\ 1 & 0\end{pmatrix}$ は、任意の $\boldsymbol{v}$ に対し $\langle \boldsymbol{v}, R\boldsymbol{v}\rangle = 0$（回転後のベクトルは元と直交する）で常に実数ですが、$R^{\mathsf{T}} = -R \ne R$ なので対称ではありません。上の証明で $|\psi\rangle + i|\phi\rangle$ を代入する一手が使えないことが、違いを生んでいます。量子力学が複素数を使うことは、こうした場面で効いてきます。
</Remark>

期待値だけでなく、個々の測定値も演算子から読み取れます。その根拠が次の定理です。

<Theorem id="thm-hermitian-spectrum" title="エルミート演算子の固有値と固有ベクトル">
$\hat A$ を複素内積空間 $\mathcal H$ 上のエルミート演算子とします。

1. $\hat A$ の固有値はすべて実数である。すなわち $\hat A|\psi\rangle = a|\psi\rangle$、$|\psi\rangle \ne 0$ ならば $a\in\mathbb{R}$。
2. 異なる固有値に属する固有ベクトルは直交する。すなわち $\hat A|\psi\rangle = a|\psi\rangle$、$\hat A|\phi\rangle = b|\phi\rangle$、$a \ne b$ ならば $\langle\phi|\psi\rangle = 0$。
</Theorem>

<Proof of="thm-hermitian-spectrum">
**(1)。** $\hat A|\psi\rangle = a|\psi\rangle$、$|\psi\rangle\ne 0$ とします。左から $\langle\psi|$ を掛けると

$$
\langle\psi|\hat A\psi\rangle = a\,\langle\psi|\psi\rangle .
$$

一方 <Ref to="def-hermitian" /> より $\langle\psi|\hat A\psi\rangle = \langle \hat A\psi|\psi\rangle = \overline{a}\,\langle\psi|\psi\rangle$（第 1 引数の反線形性）。2 式を引いて $(a - \overline{a})\langle\psi|\psi\rangle = 0$ を得ます。$|\psi\rangle\ne 0$ なので $\langle\psi|\psi\rangle = \|\psi\|^2 > 0$、したがって $a = \overline{a}$、つまり $a$ は実数です。

**(2)。** 行列要素 $\langle\phi|\hat A\psi\rangle$ を 2 通りに計算します。$\hat A|\psi\rangle = a|\psi\rangle$ をそのまま使えば $\langle\phi|\hat A\psi\rangle = a\langle\phi|\psi\rangle$。エルミート性で左に移せば $\langle\phi|\hat A\psi\rangle = \langle \hat A\phi|\psi\rangle = \overline{b}\,\langle\phi|\psi\rangle$ で、(1) より $b$ は実数なので $\overline{b} = b$。よって $(a-b)\langle\phi|\psi\rangle = 0$。仮定 $a\ne b$ から $\langle\phi|\psi\rangle = 0$ です。
</Proof>

(1) は「測定値は実数である」という当然の要請を保証し、(2) は「異なる測定値に対応する状態は互いに識別可能である」ことを意味します。さらに有限次元（あるいは適当な条件下の無限次元）では、エルミート演算子の固有ベクトルは $\mathcal H$ の正規直交基底をなします。これが [スペクトル定理](/mathematics/linear-algebra/spectral-theorem)（<Ref to="mathematics/linear-algebra/spectral-theorem#thm-spectral" text="スペクトル定理（エルミート行列）" />）で、測定の公理（<Ref to="ax-measurement" />）の土台になります。

<Example id="ex-position-momentum-hamiltonian" title="位置・運動量・ハミルトニアンのエルミート性">
$\mathcal H = L^2(\mathbb{R})$ 上で
$(\hat X\psi)(x) = x\,\psi(x)$、$(\hat P\psi)(x) = -i\hbar\,\psi'(x)$ とします。

**位置。** $x$ は実数なので $\overline{x\phi(x)} = x\overline{\phi(x)}$ であり、

$$
\langle\phi|\hat X\psi\rangle = \int \overline{\phi(x)}\,x\psi(x)\,dx
= \int \overline{x\phi(x)}\,\psi(x)\,dx = \langle \hat X\phi|\psi\rangle .
$$

**運動量。** 部分積分し、$|x|\to\infty$ で $\phi,\psi\to 0$ を使うと境界項が消えて

$$
\begin{aligned}
\langle\phi|\hat P\psi\rangle
&= \int \overline{\phi}\,(-i\hbar\psi')\,dx
= \Bigl[-i\hbar\,\overline{\phi}\,\psi\Bigr]_{-\infty}^{\infty} + i\hbar\int \overline{\phi}'\,\psi\,dx \\
&= \int \overline{(-i\hbar\phi')}\,\psi\,dx = \langle \hat P\phi|\psi\rangle .
\end{aligned}
$$

2 行目では $\overline{-i\hbar\,\phi'} = +i\hbar\,\overline{\phi}'$ を使いました。虚数単位が付いていなければ（つまり $d/dx$ 単体では）符号が合わずエルミートになりません。運動量演算子の $-i$ は、この 1 点のために必要です。

**ハミルトニアン。** $\hat H = \hat P^2/(2m) + V(\hat X)$（$V$ は実数値関数）とすると、$(\hat P^2)^{*} = \hat P^{*}\hat P^{*} = \hat P^2$、$V(\hat X)^{*} = V(\hat X)$（実数値関数の掛け算）なので $\hat H$ もエルミートです。エルミート演算子の実係数の和はエルミートだからです。
</Example>

<Remark id="rem-domain">
無限次元では「エルミート（対称）」と「自己共役」は別の概念です。厳密には演算子 $\hat A$ には定義域 $D(\hat A)$ が付随し、$\hat A^{*}$ の定義域は $D(\hat A^{*}) \supseteq D(\hat A)$ となることがあります。両者が一致するとき自己共役といい、スペクトル定理や時間発展 $e^{-i\hat Ht/\hbar}$ のユニタリ性はこの強い条件を必要とします。

これは形式的なこだわりではありません。半直線 $[0,\infty)$ 上の $L^2$ 空間で $\hat P = -i\hbar\,d/dx$ を考えると、$\hat P$ は（原点と無限遠で消える滑らかな関数の上で）対称ですが、**自己共役な拡張を 1 つも持ちません**。方程式 $\hat P^{*}u = i\hbar u$ の解 $u = e^{-x}$ は 2 乗可積分ですが、$\hat P^{*}u = -i\hbar u$ の解 $u = e^{x}$ は可積分でなく、欠損指数が $(1,0)$ と非対称になるためです。「半直線上を動く粒子の運動量」という素朴な物理量は、実は存在しません。一方、有限区間 $[0,L]$ では欠損指数が $(1,1)$ となり、$\psi(L) = e^{i\theta}\psi(0)$ という位相 $\theta$ で分類される自己共役拡張の族が現れます。詳しくは Reed–Simon 第 VIII 章を参照してください。
</Remark>

## 4. 正準交換関係

<Definition id="def-commutator" title="交換子">
2 つの演算子 $\hat A,\hat B$ に対し

$$
[\hat A,\hat B] := \hat A\hat B - \hat B\hat A
$$

を**交換子**と呼びます。$[\hat A,\hat B] = 0$ のとき $\hat A$ と $\hat B$ は**可換**であるといいます。
</Definition>

<Lemma id="lem-commutator-rules" title="交換子の代数的性質">
任意の演算子 $\hat A,\hat B,\hat C$ と複素数 $\alpha,\beta$ について次が成り立ちます。

1. （双線形性）$[\alpha\hat A + \beta\hat B, \hat C] = \alpha[\hat A,\hat C] + \beta[\hat B,\hat C]$、および第 2 引数についても同様。
2. （反対称性）$[\hat A,\hat B] = -[\hat B,\hat A]$。
3. （ライプニッツ則）$[\hat A,\hat B\hat C] = [\hat A,\hat B]\hat C + \hat B[\hat A,\hat C]$、$[\hat A\hat B,\hat C] = \hat A[\hat B,\hat C] + [\hat A,\hat C]\hat B$。
4. （ヤコビ恒等式）$[\hat A,[\hat B,\hat C]] + [\hat B,[\hat C,\hat A]] + [\hat C,[\hat A,\hat B]] = 0$。
</Lemma>

<Proof of="lem-commutator-rules">
(1)(2) は定義を書き下すだけです。(3) は右辺を展開すると

$$
(\hat A\hat B - \hat B\hat A)\hat C + \hat B(\hat A\hat C - \hat C\hat A)
= \hat A\hat B\hat C - \hat B\hat A\hat C + \hat B\hat A\hat C - \hat B\hat C\hat A
= \hat A\hat B\hat C - \hat B\hat C\hat A = [\hat A,\hat B\hat C]
$$

で、中間の 2 項が打ち消し合います。もう一方も同様に $\hat A[\hat B,\hat C] + [\hat A,\hat C]\hat B = \hat A\hat B\hat C - \hat C\hat A\hat B = [\hat A\hat B,\hat C]$ です。(4) は 3 つの二重交換子をすべて展開すると 12 個の項が現れ、$\hat A\hat B\hat C$ 型の 6 通りの並び方がそれぞれ $+1$ と $-1$ で 2 回ずつ現れて消えます。たとえば $\hat A\hat B\hat C$ は第 1 項 $[\hat A,[\hat B,\hat C]]$ の展開で $+\hat A\hat B\hat C$、第 3 項 $[\hat C,[\hat A,\hat B]]$ の展開で $-\hat A\hat B\hat C$ として現れます。
</Proof>

(3) は「交換子は微分のように働く」ことを述べています。実際 $[\hat A,\cdot\,]$ は積に対してライプニッツ則を満たす写像、すなわち**微分演算**です。この見方は次の計算で威力を発揮します。

<Theorem id="thm-ccr" title="正準交換関係">
$\mathcal H = L^2(\mathbb{R})$ 上で $(\hat X\psi)(x) = x\psi(x)$、$(\hat P\psi)(x) = -i\hbar\psi'(x)$ とします。このとき任意の微分可能な $\psi$ について

$$
[\hat X,\hat P]\,\psi = i\hbar\,\psi,
$$

すなわち演算子の等式として $[\hat X,\hat P] = i\hbar\hat I$ が成り立ちます。
</Theorem>

<Proof of="thm-ccr">
定義に従って両方の順序で作用させます。

$$
(\hat X\hat P\psi)(x) = x\cdot\bigl(-i\hbar\psi'(x)\bigr) = -i\hbar\,x\psi'(x).
$$

もう一方は、$\hat P$ が積 $x\psi(x)$ に作用するので、積の微分法則を使って

$$
(\hat P\hat X\psi)(x) = -i\hbar\,\frac{d}{dx}\bigl(x\psi(x)\bigr)
= -i\hbar\bigl(\psi(x) + x\psi'(x)\bigr).
$$

差をとると $x\psi'$ の項が打ち消し合い

$$
([\hat X,\hat P]\psi)(x) = -i\hbar x\psi'(x) + i\hbar\psi(x) + i\hbar x\psi'(x) = i\hbar\,\psi(x)
$$

を得ます。$\psi$ は任意だったので $[\hat X,\hat P] = i\hbar\hat I$ です。非可換性の源が「積の微分法則の余分な 1 項」であることに注意してください。
</Proof>

この関係は見かけよりずっと強い制約です。

<Corollary id="cor-no-finite-dim" title="正準交換関係は有限次元では実現できない">
$n \ge 1$ とします。$n$ 次正方複素行列 $A, B$ で $AB - BA = i\hbar I_n$（$\hbar \ne 0$）を満たすものは存在しません。
</Corollary>

<Proof of="cor-no-finite-dim">
トレースを使います。まず任意の $n$ 次行列 $A,B$ について

$$
\operatorname{tr}(AB) = \sum_{j=1}^{n}\sum_{k=1}^{n} A_{jk}B_{kj}
= \sum_{k=1}^{n}\sum_{j=1}^{n} B_{kj}A_{jk} = \operatorname{tr}(BA)
$$

です（有限和なので和の順序交換が自由にできます）。したがってトレースの線形性より

$$
\operatorname{tr}(AB - BA) = \operatorname{tr}(AB) - \operatorname{tr}(BA) = 0 .
$$

一方 $\operatorname{tr}(i\hbar I_n) = i\hbar n \ne 0$（$\hbar\ne 0$、$n\ge 1$）。両辺のトレースが一致しないので、そのような $A,B$ は存在しません。
</Proof>

つまり、位置と運動量が両方とも定義できる量子系の状態空間は、**必ず無限次元**でなければなりません。さらに強く、$\hat X$ と $\hat P$ はどちらも有界演算子ではありえません（<Ref to="thm-wintner" />）。<Ref to="rem-domain" /> で見た定義域の問題が避けて通れないのは、このためです。逆にスピンのように有限次元で完結する自由度では、正準交換関係の形をした関係は現れません（[角運動量とスピン](/physics/quantum-mechanics/angular-momentum-and-spin)）。

<Example id="ex-commutators" title="交換子の計算">
<Ref to="lem-commutator-rules" /> の (3) と <Ref to="thm-ccr" /> だけで、必要な交換子はほぼ全部計算できます。

**(a) $[\hat X,\hat P^2]$。** ライプニッツ則で $\hat P^2 = \hat P\cdot\hat P$ を分解します。

$$
[\hat X,\hat P^2] = [\hat X,\hat P]\hat P + \hat P[\hat X,\hat P]
= i\hbar\hat P + \hat P\,i\hbar = 2i\hbar\hat P .
$$

**(b) $[\hat X^n,\hat P]$。** 同じくライプニッツ則を繰り返して
$[\hat X^n,\hat P] = \sum_{k=0}^{n-1}\hat X^{k}[\hat X,\hat P]\hat X^{n-1-k} = i\hbar\,n\hat X^{n-1}$。
$\hat X$ どうしは可換なので順序を気にせずまとめられます。

**(c) $[\hat P, V(\hat X)]$。** $V$ が微分可能な実数値関数のとき、位置表示で直接計算します。

$$
\bigl([\hat P,V]\psi\bigr)(x) = -i\hbar\frac{d}{dx}\bigl(V(x)\psi(x)\bigr) - V(x)\bigl(-i\hbar\psi'(x)\bigr)
= -i\hbar\,V'(x)\psi(x).
$$

よって $[\hat P, V(\hat X)] = -i\hbar\,V'(\hat X)$。(b) は $V(x)=x^n$ の場合の別解になっています（符号は反対称性 $[\hat X^n,\hat P] = -[\hat P,\hat X^n]$ で合います）。
</Example>

<Remark id="rem-poisson">
古典力学では、相空間上の関数 $f,g$ に対しポアソン括弧 $\{f,g\} = \dfrac{\partial f}{\partial x}\dfrac{\partial g}{\partial p} - \dfrac{\partial f}{\partial p}\dfrac{\partial g}{\partial x}$ が定義され、$\{x,p\} = 1$ が成り立ちます（[正準変換とポアソン括弧](/physics/mechanics/canonical-transformations) の <Ref to="physics/mechanics/canonical-transformations#def-poisson" text="ポアソン括弧の定義" />）。ポアソン括弧も交換子も、双線形・反対称・ライプニッツ則・ヤコビ恒等式を満たします（<Ref to="lem-commutator-rules" />）。つまり両者は同じ代数構造（リー代数）を持ちます。

そこで **正準量子化**、すなわち対応

$$
\{f,g\} \;\longmapsto\; \frac{1}{i\hbar}[\hat f,\hat g]
$$

を課すと、$\{x,p\}=1$ から直ちに $[\hat X,\hat P] = i\hbar$ が出ます。<Ref to="thm-ccr" /> はこの処方が矛盾なく実装できることの確認でもあります。

ただしこの対応を「すべての」物理量に一斉に課すことはできません。線形性、$1\mapsto\hat I$、$x\mapsto\hat X$、$p\mapsto\hat P$、そしてすべての多項式についてのポアソン括弧と交換子の対応、これらを同時に満たす量子化写像は存在しないことが知られています（フルーネヴォルト・ファンホーフの定理）。3 次以上の多項式で破綻が生じます。一方、$\hat X,\hat P$ をワイル形式（ユニタリ群 $e^{ia\hat X},e^{ib\hat P}$ の関係）で表したときの既約表現は、可分ヒルベルト空間上では $L^2(\mathbb{R})$ 上のシュレーディンガー表現と本質的に 1 通りしかありません（ストーン・フォンノイマンの定理）。ハイゼンベルクの行列力学とシュレーディンガーの波動力学が同じ理論である、という主張の数学的な内実がこれです。
</Remark>

## 5. 不確定性関係

<Definition id="def-uncertainty" title="期待値と不確定性">
$\hat A$ をエルミート演算子、$|\psi\rangle$ を $\|\psi\|=1$ の状態とします。

$$
\langle \hat A\rangle_\psi := \langle\psi|\hat A|\psi\rangle,\qquad
\Delta_\psi \hat A := \sqrt{\bigl\langle (\hat A - \langle\hat A\rangle_\psi)^2\bigr\rangle_\psi}
$$

をそれぞれ $\hat A$ の**期待値**、**不確定性**（標準偏差）と呼びます。以下、状態が文脈から明らかなときは添字 $\psi$ を省きます。
</Definition>

根号の中が非負であることを確かめておきます。$\bar a := \langle\hat A\rangle_\psi$ は <Ref to="prop-observable-hermitian" /> より実数なので $\hat A - \bar a\hat I$ もエルミートです。したがって

$$
\bigl\langle(\hat A-\bar a)^2\bigr\rangle_\psi
= \langle\psi|(\hat A-\bar a)(\hat A-\bar a)\psi\rangle
= \bigl\langle (\hat A-\bar a)\psi\,\bigl|\,(\hat A-\bar a)\psi\bigr\rangle
= \bigl\|(\hat A-\bar a)\psi\bigr\|^2 \ge 0
$$

となり（2 番目の等号で <Ref to="def-hermitian" /> を使いました）、展開すれば $\langle\hat A^2\rangle - \langle\hat A\rangle^2$ に等しいこともわかります。この式は次の命題を即座に与えます。

<Proposition id="prop-sharp-value" title="不確定性がゼロになるのは固有状態のときに限る">
$\hat A$ をエルミート演算子、$|\psi\rangle$ を $\|\psi\|=1$ の状態とします。$\Delta_\psi\hat A = 0$ であることと、$|\psi\rangle$ が $\hat A$ の固有ベクトルであること（固有値は $\langle\hat A\rangle_\psi$）は同値です。
</Proposition>

<Proof of="prop-sharp-value">
上の計算より $(\Delta_\psi\hat A)^2 = \|(\hat A - \bar a)\psi\|^2$、ただし $\bar a = \langle\hat A\rangle_\psi$。ノルムが $0$ であることとベクトルが $0$ であることは同値なので、$\Delta_\psi\hat A = 0 \iff (\hat A-\bar a)|\psi\rangle = 0 \iff \hat A|\psi\rangle = \bar a|\psi\rangle$ です。$\|\psi\|=1\ne0$ なので $|\psi\rangle$ は固有ベクトルです。逆に $\hat A|\psi\rangle = a|\psi\rangle$ なら $\bar a = \langle\psi|a\psi\rangle = a$ となり、同じ式で $\Delta_\psi\hat A = 0$ が従います。
</Proof>

「物理量が確定した値を持つ状態」とは「その物理量の固有状態」のことである、という基本的な対応がこれです。では 2 つの物理量が**同時に**確定値を持てるでしょうか。答えを与えるのが次の定理です。

<Theorem id="thm-robertson" title="ロバートソンの不確定性関係">
$\hat A,\hat B$ をエルミート演算子、$|\psi\rangle$ を $\|\psi\|=1$ の状態とし、$|\psi\rangle$ が $\hat A\hat B$ と $\hat B\hat A$ の定義域に属するとします。このとき

$$
\Delta_\psi \hat A \cdot \Delta_\psi \hat B \;\ge\; \frac{1}{2}\Bigl|\bigl\langle [\hat A,\hat B]\bigr\rangle_\psi\Bigr| .
$$
</Theorem>

<Proof of="thm-robertson">
$\bar a = \langle\hat A\rangle_\psi$、$\bar b = \langle\hat B\rangle_\psi$ とおき（<Ref to="prop-observable-hermitian" /> よりいずれも実数）、

$$
\tilde A := \hat A - \bar a\hat I,\qquad \tilde B := \hat B - \bar b\hat I
$$

とします。実数の定数倍の $\hat I$ を引いてもエルミート性は保たれます。また <Ref to="lem-commutator-rules" /> の双線形性より $\hat I$ は任意の演算子と可換なので

$$
[\tilde A,\tilde B] = [\hat A,\hat B]
$$

です。ここで $|f\rangle := \tilde A|\psi\rangle$、$|g\rangle := \tilde B|\psi\rangle$ とおくと、<Ref to="def-uncertainty" /> の直後で確かめた式から

$$
\|f\|^2 = (\Delta_\psi\hat A)^2,\qquad \|g\|^2 = (\Delta_\psi\hat B)^2 .
$$

**第 1 段：コーシー・シュワルツの不等式。** 内積空間で一般に成り立つ <Ref to="mathematics/linear-algebra/inner-product-spaces#thm-cauchy-schwarz" text="コーシー・シュワルツの不等式" /> より

$$
\|f\|^2\,\|g\|^2 \;\ge\; \bigl|\langle f|g\rangle\bigr|^2 .
$$

**第 2 段：虚部だけ残す。** 複素数 $z$ について $|z|^2 = (\operatorname{Re}z)^2 + (\operatorname{Im}z)^2 \ge (\operatorname{Im}z)^2$ ですから

$$
\bigl|\langle f|g\rangle\bigr|^2 \;\ge\; \bigl(\operatorname{Im}\langle f|g\rangle\bigr)^2 .
$$

**第 3 段：虚部を交換子で書く。** $\tilde A$ のエルミート性（<Ref to="def-hermitian" />）より

$$
\langle f|g\rangle = \langle \tilde A\psi|\tilde B\psi\rangle = \langle\psi|\tilde A\tilde B\psi\rangle,
\qquad
\overline{\langle f|g\rangle} = \langle g|f\rangle = \langle\psi|\tilde B\tilde A\psi\rangle .
$$

したがって

$$
2i\operatorname{Im}\langle f|g\rangle = \langle f|g\rangle - \overline{\langle f|g\rangle}
= \bigl\langle [\tilde A,\tilde B]\bigr\rangle_\psi = \bigl\langle [\hat A,\hat B]\bigr\rangle_\psi .
$$

**結論。** 3 つを合わせると

$$
(\Delta_\psi\hat A)^2(\Delta_\psi\hat B)^2 \;\ge\; \bigl(\operatorname{Im}\langle f|g\rangle\bigr)^2
= \left|\frac{1}{2i}\bigl\langle[\hat A,\hat B]\bigr\rangle_\psi\right|^2
= \frac{1}{4}\Bigl|\bigl\langle[\hat A,\hat B]\bigr\rangle_\psi\Bigr|^2 .
$$

両辺の平方根をとれば（左辺は非負）主張を得ます。
</Proof>

<Corollary id="cor-heisenberg" title="ハイゼンベルクの不確定性原理">
1 次元の 1 粒子系の任意の状態 $|\psi\rangle$（$\|\psi\|=1$、$\hat X\hat P$ と $\hat P\hat X$ の定義域に属する）について

$$
\Delta_\psi \hat X \cdot \Delta_\psi \hat P \;\ge\; \frac{\hbar}{2}.
$$
</Corollary>

<Proof of="cor-heisenberg">
<Ref to="thm-robertson" /> で $\hat A = \hat X$、$\hat B = \hat P$ とします。<Ref to="thm-ccr" /> より $[\hat X,\hat P] = i\hbar\hat I$ なので

$$
\bigl\langle[\hat X,\hat P]\bigr\rangle_\psi = i\hbar\,\langle\psi|\psi\rangle = i\hbar .
$$

よって右辺は $\frac{1}{2}|i\hbar| = \hbar/2$ です。この値は状態によらない定数であることに注意してください。
</Proof>

不等式の右辺が状態によらない定数になるのは、交換子が $\hat I$ の定数倍という特別な形をしているからです。一般の観測量では右辺は状態に依存し、$0$ になることもあります。

<Example id="ex-gaussian-minimum" title="等号を達成する状態はガウス波束">
<Ref to="cor-heisenberg" /> の等号がいつ成り立つかを調べます。証明の第 1 段（コーシー・シュワルツ）で等号が成り立つのは $|g\rangle = \lambda|f\rangle$（$\lambda\in\mathbb{C}$）と 1 次従属になるとき、第 2 段で等号が成り立つのは $\operatorname{Re}\langle f|g\rangle = 0$ のときです。後者は $\langle f|g\rangle = \lambda\|f\|^2$ より $\operatorname{Re}\lambda = 0$、すなわち $\lambda = i\mu$（$\mu\in\mathbb{R}$）を意味します。したがって等号条件は

$$
(\hat P - \bar p)|\psi\rangle = i\mu\,(\hat X - \bar x)|\psi\rangle .
$$

記述を簡単にするため $\bar x = \bar p = 0$ とします（一般の場合は平行移動すればよい）。位置表示では

$$
-i\hbar\,\psi'(x) = i\mu\,x\,\psi(x)
\quad\Longleftrightarrow\quad
\frac{\psi'(x)}{\psi(x)} = -\frac{\mu}{\hbar}\,x .
$$

両辺を積分して $\log\psi = -\dfrac{\mu x^2}{2\hbar} + \text{const}$、すなわち

$$
\psi(x) = C\exp\!\left(-\frac{\mu x^2}{2\hbar}\right).
$$

2 乗可積分になるためには $\mu > 0$ が必要です。$\sigma^2 := \hbar/(2\mu)$ とおいて規格化すると

$$
\psi(x) = \frac{1}{(2\pi\sigma^2)^{1/4}}\exp\!\left(-\frac{x^2}{4\sigma^2}\right),
\qquad
|\psi(x)|^2 = \frac{1}{\sqrt{2\pi\sigma^2}}\exp\!\left(-\frac{x^2}{2\sigma^2}\right),
$$

つまり確率密度は分散 $\sigma^2$ のガウス分布です。ここから $\Delta\hat X = \sigma$ です。

運動量側を計算します。$\psi$ は実関数なので $\langle\hat P\rangle = \int\overline{\psi}(-i\hbar\psi')\,dx = -i\hbar\bigl[\psi^2/2\bigr]_{-\infty}^{\infty} = 0$。次に部分積分（境界項は消える）で

$$
\langle\hat P^2\rangle = \int \overline{\psi}\,(-\hbar^2\psi'')\,dx = \hbar^2\int |\psi'(x)|^2\,dx .
$$

$\psi'(x) = -\dfrac{x}{2\sigma^2}\psi(x)$ なので

$$
\int|\psi'|^2\,dx = \frac{1}{4\sigma^4}\int x^2|\psi(x)|^2\,dx = \frac{1}{4\sigma^4}\cdot\sigma^2 = \frac{1}{4\sigma^2},
$$

ここで $\int x^2|\psi|^2dx = \sigma^2$（分散 $\sigma^2$ のガウス分布の 2 次モーメント）を使いました。よって $\langle\hat P^2\rangle = \hbar^2/(4\sigma^2)$、$\Delta\hat P = \hbar/(2\sigma)$。結局

$$
\Delta\hat X\cdot\Delta\hat P = \sigma\cdot\frac{\hbar}{2\sigma} = \frac{\hbar}{2}
$$

で、確かに等号が成り立ちます。$\sigma$ を小さくすれば位置は鋭くなりますが運動量の広がりは $1/\sigma$ で増え、積は変わりません。
</Example>

<Figure caption="ガウス波束の位置分布（左）と運動量分布（右）。実線は幅 σ が小さい波束、破線は σ が大きい波束で、位置で鋭い方は運動量では広がる。積 ΔX・ΔP はどちらも ħ/2 で等しい。">
<svg viewBox="0 0 720 272" width="100%" role="img" aria-label="位置分布が鋭い波束は運動量分布が広がることを示す 2 枚のグラフ">
  <g stroke="currentColor" stroke-opacity="0.35" stroke-width="1" fill="none">
    <line x1="34" y1="210" x2="340" y2="210" />
    <line x1="394" y1="210" x2="700" y2="210" />
    <line x1="185" y1="216" x2="185" y2="48" stroke-dasharray="3 4" />
    <line x1="545" y1="216" x2="545" y2="48" stroke-dasharray="3 4" />
  </g>
  <polyline fill="none" stroke="var(--sl-color-accent)" stroke-width="2.4" stroke-linejoin="round" points="40.0,210.0 44.0,210.0 48.1,210.0 52.1,210.0 56.1,210.0 60.1,210.0 64.2,210.0 68.2,210.0 72.2,210.0 76.2,210.0 80.3,210.0 84.3,210.0 88.3,210.0 92.4,210.0 96.4,210.0 100.4,210.0 104.4,210.0 108.5,210.0 112.5,209.9 116.5,209.9 120.6,209.7 124.6,209.4 128.6,208.8 132.6,207.6 136.7,205.6 140.7,202.2 144.7,196.9 148.8,189.0 152.8,178.1 156.8,163.8 160.8,146.3 164.9,126.4 168.9,105.6 172.9,85.9 176.9,69.6 181.0,58.8 185.0,55.0 189.0,58.8 193.1,69.6 197.1,85.9 201.1,105.6 205.1,126.4 209.2,146.3 213.2,163.8 217.2,178.1 221.2,189.0 225.3,196.9 229.3,202.2 233.3,205.6 237.4,207.6 241.4,208.8 245.4,209.4 249.4,209.7 253.5,209.9 257.5,209.9 261.5,210.0 265.6,210.0 269.6,210.0 273.6,210.0 277.6,210.0 281.7,210.0 285.7,210.0 289.7,210.0 293.8,210.0 297.8,210.0 301.8,210.0 305.8,210.0 309.9,210.0 313.9,210.0 317.9,210.0 321.9,210.0 326.0,210.0 330.0,210.0" />
  <polyline fill="none" stroke="currentColor" stroke-width="1.8" stroke-opacity="0.75" stroke-dasharray="7 5" stroke-linejoin="round" points="40.0,208.3 44.0,207.8 48.1,207.2 52.1,206.5 56.1,205.6 60.1,204.5 64.2,203.2 68.2,201.6 72.2,199.8 76.2,197.7 80.3,195.2 84.3,192.3 88.3,189.0 92.4,185.3 96.4,181.1 100.4,176.5 104.4,171.4 108.5,165.7 112.5,159.7 116.5,153.2 120.6,146.3 124.6,139.0 128.6,131.5 132.6,123.8 136.7,116.0 140.7,108.2 144.7,100.5 148.8,93.0 152.8,85.9 156.8,79.3 160.8,73.2 164.9,67.9 168.9,63.4 172.9,59.8 176.9,57.1 181.0,55.5 185.0,55.0 189.0,55.5 193.1,57.1 197.1,59.8 201.1,63.4 205.1,67.9 209.2,73.2 213.2,79.3 217.2,85.9 221.2,93.0 225.3,100.5 229.3,108.2 233.3,116.0 237.4,123.8 241.4,131.5 245.4,139.0 249.4,146.3 253.5,153.2 257.5,159.7 261.5,165.7 265.6,171.4 269.6,176.5 273.6,181.1 277.6,185.3 281.7,189.0 285.7,192.3 289.7,195.2 293.8,197.7 297.8,199.8 301.8,201.6 305.8,203.2 309.9,204.5 313.9,205.6 317.9,206.5 321.9,207.2 326.0,207.8 330.0,208.3" />
  <polyline fill="none" stroke="var(--sl-color-accent)" stroke-width="2.4" stroke-linejoin="round" points="400.0,209.2 404.0,208.9 408.1,208.6 412.1,208.1 416.1,207.6 420.1,206.8 424.2,206.0 428.2,204.9 432.2,203.5 436.2,201.9 440.3,200.0 444.3,197.7 448.3,195.0 452.4,191.8 456.4,188.2 460.4,184.0 464.4,179.3 468.5,174.1 472.5,168.3 476.5,161.9 480.6,155.1 484.6,147.7 488.6,139.9 492.6,131.8 496.7,123.5 500.7,115.1 504.7,106.6 508.8,98.4 512.8,90.4 516.8,82.9 520.8,76.0 524.9,69.9 528.9,64.7 532.9,60.5 536.9,57.5 541.0,55.6 545.0,55.0 549.0,55.6 553.1,57.5 557.1,60.5 561.1,64.7 565.1,69.9 569.2,76.0 573.2,82.9 577.2,90.4 581.2,98.4 585.3,106.6 589.3,115.1 593.3,123.5 597.4,131.8 601.4,139.9 605.4,147.7 609.4,155.1 613.5,161.9 617.5,168.3 621.5,174.1 625.6,179.3 629.6,184.0 633.6,188.2 637.6,191.8 641.7,195.0 645.7,197.7 649.7,200.0 653.8,201.9 657.8,203.5 661.8,204.9 665.8,206.0 669.9,206.8 673.9,207.6 677.9,208.1 681.9,208.6 686.0,208.9 690.0,209.2" />
  <polyline fill="none" stroke="currentColor" stroke-width="1.8" stroke-opacity="0.75" stroke-dasharray="7 5" stroke-linejoin="round" points="400.0,210.0 404.0,210.0 408.1,210.0 412.1,210.0 416.1,210.0 420.1,210.0 424.2,210.0 428.2,210.0 432.2,210.0 436.2,210.0 440.3,210.0 444.3,210.0 448.3,210.0 452.4,210.0 456.4,210.0 460.4,210.0 464.4,210.0 468.5,210.0 472.5,210.0 476.5,210.0 480.6,209.9 484.6,209.8 488.6,209.5 492.6,208.8 496.7,207.5 500.7,205.2 504.7,201.3 508.8,195.0 512.8,185.5 516.8,172.2 520.8,155.0 524.9,134.5 528.9,112.2 532.9,90.4 536.9,71.9 541.0,59.4 545.0,55.0 549.0,59.4 553.1,71.9 557.1,90.4 561.1,112.2 565.1,134.5 569.2,155.0 573.2,172.2 577.2,185.5 581.2,195.0 585.3,201.3 589.3,205.2 593.3,207.5 597.4,208.8 601.4,209.5 605.4,209.8 609.4,209.9 613.5,210.0 617.5,210.0 621.5,210.0 625.6,210.0 629.6,210.0 633.6,210.0 637.6,210.0 641.7,210.0 645.7,210.0 649.7,210.0 653.8,210.0 657.8,210.0 661.8,210.0 665.8,210.0 669.9,210.0 673.9,210.0 677.9,210.0 681.9,210.0 686.0,210.0 690.0,210.0" />
  <g fill="currentColor" font-size="14">
    <text x="185" y="34" text-anchor="middle">位置の確率分布</text>
    <text x="545" y="34" text-anchor="middle">運動量の確率分布</text>
    <text x="185" y="234" text-anchor="middle">位置 x</text>
    <text x="545" y="234" text-anchor="middle">運動量 p</text>
  </g>
  <g font-size="13" fill="currentColor">
    <line x1="150" y1="258" x2="186" y2="258" stroke="var(--sl-color-accent)" stroke-width="2.4" />
    <text x="194" y="262">σ が小さい波束</text>
    <line x1="380" y1="258" x2="416" y2="258" stroke="currentColor" stroke-opacity="0.75" stroke-width="1.8" stroke-dasharray="7 5" />
    <text x="424" y="262">σ が大きい波束</text>
  </g>
</svg>
</Figure>

<Example id="ex-spin-uncertainty" title="スピン 1/2 での不確定性関係">
2 次元の状態空間で、スピン演算子を $\hat S_j = \frac{\hbar}{2}\sigma_j$ と表します。ここで

$$
\sigma_x = \begin{pmatrix}0 & 1\\ 1 & 0\end{pmatrix},\quad
\sigma_y = \begin{pmatrix}0 & -i\\ i & 0\end{pmatrix},\quad
\sigma_z = \begin{pmatrix}1 & 0\\ 0 & -1\end{pmatrix}
$$

はパウリ行列です。直接計算すると $\sigma_x\sigma_y = i\sigma_z$、$\sigma_y\sigma_x = -i\sigma_z$ なので $[\hat S_x,\hat S_y] = i\hbar\hat S_z$ です。<Ref to="thm-robertson" /> より

$$
\Delta \hat S_x\cdot\Delta \hat S_y \ge \frac{\hbar}{2}\bigl|\langle \hat S_z\rangle\bigr| .
$$

状態を $|{\uparrow_z}\rangle = \begin{pmatrix}1\\0\end{pmatrix}$ にとると $\langle\hat S_z\rangle = \hbar/2$ なので右辺は $\hbar^2/4$ です。左辺を計算します。$\sigma_x|{\uparrow_z}\rangle = \begin{pmatrix}0\\1\end{pmatrix}$ なので $\langle\hat S_x\rangle = \frac{\hbar}{2}\langle{\uparrow_z}|\sigma_x|{\uparrow_z}\rangle = 0$、また $\sigma_x^2 = I$ より $\langle\hat S_x^2\rangle = \hbar^2/4$。よって $\Delta\hat S_x = \hbar/2$、同様に $\Delta\hat S_y = \hbar/2$ で、積はちょうど $\hbar^2/4$。等号が成り立ちます。

$z$ 方向のスピンが確定した状態では、$x$ 方向と $y$ 方向のスピンは最大限に不確定です。<Ref to="prop-sharp-value" /> と合わせれば、$|{\uparrow_z}\rangle$ が $\hat S_x$ の固有状態でないことがその理由だとわかります。
</Example>

<Remark id="rem-uncertainty-meaning">
$\Delta_\psi\hat A$ は、**同じ状態 $|\psi\rangle$ に用意した多数の系それぞれについて $\hat A$ を 1 回ずつ測ったときの測定値のばらつき**です。1 つの系に対して $\hat A$ と $\hat B$ を続けて測ったときの「測定による乱れ」ではありません。ハイゼンベルクが 1927 年の論文で $\gamma$ 線顕微鏡の思考実験から論じたのは後者（測定誤差と擾乱の関係）で、<Ref to="thm-robertson" /> が述べているのは前者（状態が持つ広がり）です。この 2 つは別の主張で、測定誤差と擾乱についての正しい普遍的不等式は小澤（2003）によって定式化されました。<Ref to="thm-robertson" /> は状態の性質だけで決まり、測定装置には一切言及していないことを確認してください。
</Remark>

## 6. 同時測定と測定の公理

<Theorem id="thm-simultaneous" title="可換なエルミート演算子は同時対角化できる">
$\mathcal H$ を有限次元の複素内積空間、$\hat A,\hat B$ を $\mathcal H$ 上のエルミート演算子とします。次は同値です。

1. $[\hat A,\hat B] = 0$。
2. $\hat A$ と $\hat B$ の同時固有ベクトルからなる $\mathcal H$ の正規直交基底が存在する。
</Theorem>

<Proof of="thm-simultaneous">
**(2) から (1)。** そのような正規直交基底を $\{|e_k\rangle\}$ とし、$\hat A|e_k\rangle = a_k|e_k\rangle$、$\hat B|e_k\rangle = b_k|e_k\rangle$ とします。すると

$$
\hat A\hat B|e_k\rangle = a_kb_k|e_k\rangle = \hat B\hat A|e_k\rangle
$$

がすべての $k$ で成り立ちます。$[\hat A,\hat B]$ は線形演算子で、基底のすべての元を $0$ に写すので、$\mathcal H$ 全体で $0$ です。

**(1) から (2)。** [スペクトル定理](/mathematics/linear-algebra/spectral-theorem) より $\hat A$ の固有値は実数で、$\mathcal H$ は $\hat A$ の固有空間の直交直和 $\mathcal H = \bigoplus_{a} V_a$ に分解されます（$V_a = \ker(\hat A - a\hat I)$）。

まず $\hat B$ が各 $V_a$ を保つことを示します。$|v\rangle\in V_a$ とすると、仮定 $\hat A\hat B = \hat B\hat A$ より

$$
\hat A\bigl(\hat B|v\rangle\bigr) = \hat B\bigl(\hat A|v\rangle\bigr) = \hat B\,(a|v\rangle) = a\bigl(\hat B|v\rangle\bigr),
$$

すなわち $\hat B|v\rangle$ も固有値 $a$ の固有ベクトル（または $0$）なので $\hat B|v\rangle \in V_a$ です。

次に $\hat B$ の $V_a$ への制限 $\hat B|_{V_a}$ を考えます。これは $V_a$ 上の線形演算子で、$V_a$ に属する任意の $|\phi\rangle,|\psi\rangle$ について $\langle\hat B\phi|\psi\rangle = \langle\phi|\hat B\psi\rangle$（$\mathcal H$ 全体で成り立つ式の特別な場合）なのでエルミートです。ふたたびスペクトル定理より、$V_a$ には $\hat B|_{V_a}$ の固有ベクトルからなる正規直交基底が存在します。それらは $V_a$ の元なので $\hat A$ の固有値 $a$ の固有ベクトルでもあり、同時固有ベクトルです。

最後に、異なる $a$ に対する $V_a$ どうしは <Ref to="thm-hermitian-spectrum" /> の (2) より直交します。したがって各 $V_a$ で作った正規直交基底をすべて合わせると $\mathcal H$ の正規直交基底になります。
</Proof>

物理的に読み替えれば、2 つの観測量が同時に確定値を持つ状態が（基底をなすほど十分に）存在するのは、それらが可換なときに限ります。可換な観測量の組で、その同時固有状態が状態を一意に指定するものを**可換観測量の完全集合**と呼びます。水素原子で $\hat H,\hat{\boldsymbol{L}}^2,\hat L_z$ を選ぶのがその典型例です（[角運動量とスピン](/physics/quantum-mechanics/angular-momentum-and-spin)）。

以上を踏まえて、測定に関する公理を述べます。

<Axiom id="ax-measurement" title="測定の公理">
観測量 $\hat A$ をエルミート演算子とし、そのスペクトル分解を

$$
\hat A = \sum_{a} a\,\hat P_a,\qquad
\hat P_a\hat P_{a'} = \delta_{aa'}\hat P_a,\qquad
\sum_a \hat P_a = \hat I
$$

とします（$\hat P_a$ は固有値 $a$ の固有空間への直交射影）。状態 $|\psi\rangle$（$\|\psi\|=1$）に対し $\hat A$ を測定するとき、

1. **得られる値**は固有値 $a$ のいずれかである。
2. **ボルン則**：値 $a$ が得られる確率は $p(a) = \|\hat P_a|\psi\rangle\|^2 = \langle\psi|\hat P_a|\psi\rangle$ である。
3. **射影仮説（波動関数の収縮）**：値 $a$ を得た直後の状態は $|\psi'\rangle = \hat P_a|\psi\rangle \,/\, \bigl\|\hat P_a|\psi\rangle\bigr\|$ である。
</Axiom>

3 番目が、シュレーディンガー方程式による滑らかでユニタリな時間発展とはまったく異質な、非連続・非ユニタリな変化です。ここが量子力学の解釈問題の中心にあります。

<Proposition id="prop-born-consistency" title="ボルン則と期待値・不確定性の整合">
<Ref to="ax-measurement" /> の設定のもとで、$\|\psi\| = 1$ ならば次が成り立ちます。

1. $\displaystyle\sum_a p(a) = 1$。
2. 測定値の平均は $\displaystyle\sum_a a\,p(a) = \langle\hat A\rangle_\psi$。
3. 測定値の分散は $\displaystyle\sum_a \bigl(a - \langle\hat A\rangle_\psi\bigr)^2 p(a) = (\Delta_\psi\hat A)^2$。
</Proposition>

<Proof of="prop-born-consistency">
(1)：$\sum_a p(a) = \sum_a\langle\psi|\hat P_a|\psi\rangle = \langle\psi|\bigl(\sum_a\hat P_a\bigr)|\psi\rangle = \langle\psi|\hat I|\psi\rangle = \|\psi\|^2 = 1$。射影の完全性 $\sum_a\hat P_a = \hat I$ を使いました。$p(a) = \|\hat P_a\psi\|^2 \ge 0$ なので、$p$ は確かに確率分布です。

(2)：同様に和と内積を交換して

$$
\sum_a a\,p(a) = \Bigl\langle\psi\Bigl|\Bigl(\sum_a a\hat P_a\Bigr)\Bigr|\psi\Bigr\rangle = \langle\psi|\hat A|\psi\rangle = \langle\hat A\rangle_\psi .
$$

(3)：$\bar a := \langle\hat A\rangle_\psi$ とおくと、スペクトル分解と射影の性質 $\hat P_a\hat P_{a'} = \delta_{aa'}\hat P_a$ から

$$
(\hat A - \bar a\hat I)^2 = \Bigl(\sum_a (a-\bar a)\hat P_a\Bigr)^2 = \sum_{a}(a-\bar a)^2\hat P_a
$$

です（交差項 $a\ne a'$ は $\hat P_a\hat P_{a'} = 0$ で消えます）。両辺の $|\psi\rangle$ による期待値をとれば

$$
(\Delta_\psi\hat A)^2 = \sum_a (a-\bar a)^2\langle\psi|\hat P_a|\psi\rangle = \sum_a (a-\bar a)^2 p(a)
$$

を得ます。
</Proof>

(2) は「$\langle\psi|\hat A|\psi\rangle$ を期待値と呼んでよい」ことの根拠であり、(3) は「$\Delta_\psi\hat A$ が測定値のばらつきそのものである」ことの根拠です。<Ref to="def-uncertainty" /> の定義が単なる記号遊びでないことが、ここで確認されます。

<Figure caption="測定の公理が定める操作。値の選ばれ方は確率的で、選ばれた直後に状態は対応する固有空間へ射影される。">
<Mermaid code={`flowchart TD
  S["測定前の状態 ψ"] --> M["観測量 A を測定"]
  M -->|"確率 p(a1)"| R1["値 a1 を得る / 状態は P1 ψ を規格化したもの"]
  M -->|"確率 p(a2)"| R2["値 a2 を得る / 状態は P2 ψ を規格化したもの"]
  R1 --> C1["直後の再測定では確率 1 で a1"]
  R2 --> C2["直後の再測定では確率 1 で a2"]`} />
</Figure>

図の下段は射影仮説の直接の帰結です。実際、収縮後の状態 $|\psi'\rangle = \hat P_a|\psi\rangle/\|\hat P_a\psi\|$ に $\hat P_a$ を作用させると $\hat P_a^2 = \hat P_a$ より $\hat P_a|\psi'\rangle = |\psi'\rangle$ となり、ボルン則から $p'(a) = \|\psi'\|^2 = 1$ です。同じ量をすぐ測り直すと同じ値が出る、という測定の再現性が公理に組み込まれています。

<Example id="ex-sequential-stern-gerlach" title="シュテルン・ゲルラッハ装置の連続測定">
銀原子のビームに対して、$z$ 方向の磁場勾配を持つ装置（SG$z$）で $\hat S_z$ を測ると、$\pm\hbar/2$ の 2 本に分かれます。$+\hbar/2$ の側だけを取り出せば、射影仮説より状態は $|{\uparrow_z}\rangle$ です。

このビームを次に SG$x$（$\hat S_x$ の測定）に通します。$\hat S_x$ の固有状態は $|{\uparrow_x}\rangle = \frac{1}{\sqrt2}(|{\uparrow_z}\rangle + |{\downarrow_z}\rangle)$、$|{\downarrow_x}\rangle = \frac{1}{\sqrt2}(|{\uparrow_z}\rangle - |{\downarrow_z}\rangle)$ です。逆に解くと

$$
|{\uparrow_z}\rangle = \frac{1}{\sqrt2}\bigl(|{\uparrow_x}\rangle + |{\downarrow_x}\rangle\bigr)
$$

なので、ボルン則より $\pm\hbar/2$ がそれぞれ確率 $|1/\sqrt2|^2 = 1/2$ で得られます。ここで $+\hbar/2$ 側だけを取り出すと、状態は $|{\uparrow_x}\rangle$ に収縮します。

最後にもう一度 SG$z$ に通します。もし「$z$ 成分が上向き」という性質が保存されていれば、すべて $+\hbar/2$ に出るはずです。しかし $|{\uparrow_x}\rangle = \frac{1}{\sqrt2}(|{\uparrow_z}\rangle + |{\downarrow_z}\rangle)$ なので、実際には**再び 50 対 50 に分かれます**。$\hat S_x$ の測定が $\hat S_z$ の情報を消してしまったのです。

これは <Ref to="thm-simultaneous" /> の帰結として理解できます。$[\hat S_x,\hat S_z] = -i\hbar\hat S_y \ne 0$ なので $\hat S_x$ と $\hat S_z$ は同時固有状態を持ちません。したがって「$\hat S_z$ が上向きかつ $\hat S_x$ が右向き」という状態は存在せず、片方を確定させれば他方は不確定になります。
</Example>

<Remark id="rem-collapse">
射影仮説は「いつ・どこで収縮が起きるのか」を指定しません。装置も原理的には量子系ですから、系と装置を合わせた全体はシュレーディンガー方程式に従って発展するはずで、そこには収縮は現れません。この緊張が観測問題です。

現代の標準的な扱いでは、系が巨視的な環境と相互作用することで重ね合わせの干渉項が急速に失われる過程（デコヒーレンス）を考えます。デコヒーレンスは「なぜ古典的な選択肢が特別なのか」をユニタリな発展の枠内で説明しますが、「なぜそのうち 1 つだけが実現するのか」には答えません。多世界解釈・ボーム力学・自発的収縮理論などは、この残りの部分に対する異なる態度です。計算をする分には <Ref to="ax-measurement" /> がそのまま使え、実験と一致します。
</Remark>

## 7. 時間発展と交換子：エーレンフェストの定理

交換子は測定の話だけでなく、時間発展も支配します。

<Theorem id="thm-ehrenfest" title="エーレンフェストの定理">
$\hat H$ を（時間に依存しない）ハミルトニアン、$|\psi(t)\rangle$ をシュレーディンガー方程式 $i\hbar\,\partial_t|\psi(t)\rangle = \hat H|\psi(t)\rangle$ の解で $\|\psi(t)\|=1$ とします。$\hat A$ を時間に陽に依存しないエルミート演算子とし、必要な微分と内積の交換が許されるとすると

$$
\frac{d}{dt}\langle\hat A\rangle_{\psi(t)} = \frac{i}{\hbar}\bigl\langle[\hat H,\hat A]\bigr\rangle_{\psi(t)} .
$$
</Theorem>

<Proof of="thm-ehrenfest">
シュレーディンガー方程式より $|\dot\psi\rangle = -\frac{i}{\hbar}\hat H|\psi\rangle$ です。積の微分法則で

$$
\frac{d}{dt}\langle\psi|\hat A|\psi\rangle = \langle\dot\psi|\hat A\psi\rangle + \langle\psi|\hat A\dot\psi\rangle .
$$

第 1 項は内積の第 1 引数についての反線形性（係数が複素共役になる）から

$$
\langle\dot\psi|\hat A\psi\rangle = \overline{\left(-\frac{i}{\hbar}\right)}\langle \hat H\psi|\hat A\psi\rangle
= \frac{i}{\hbar}\langle \hat H\psi|\hat A\psi\rangle
= \frac{i}{\hbar}\langle\psi|\hat H\hat A\psi\rangle,
$$

最後の等号で $\hat H$ のエルミート性（<Ref to="def-hermitian" />）を使いました。第 2 項は第 2 引数について線形なので

$$
\langle\psi|\hat A\dot\psi\rangle = -\frac{i}{\hbar}\langle\psi|\hat A\hat H\psi\rangle .
$$

両者を足すと

$$
\frac{d}{dt}\langle\hat A\rangle = \frac{i}{\hbar}\langle\psi|(\hat H\hat A - \hat A\hat H)|\psi\rangle = \frac{i}{\hbar}\bigl\langle[\hat H,\hat A]\bigr\rangle
$$

を得ます。
</Proof>

<Corollary id="cor-ehrenfest-newton" title="期待値が満たすニュートンの運動方程式">
$\hat H = \dfrac{\hat P^2}{2m} + V(\hat X)$（$V$ は微分可能な実数値関数）のとき

$$
\frac{d}{dt}\langle\hat X\rangle = \frac{\langle\hat P\rangle}{m},
\qquad
\frac{d}{dt}\langle\hat P\rangle = -\bigl\langle V'(\hat X)\bigr\rangle .
$$
</Corollary>

<Proof of="cor-ehrenfest-newton">
まず $[\hat H,\hat X]$ を計算します。$V(\hat X)$ は $\hat X$ と可換なので寄与せず、<Ref to="ex-commutators" /> の (a) と反対称性から

$$
[\hat H,\hat X] = \frac{1}{2m}[\hat P^2,\hat X] = -\frac{1}{2m}[\hat X,\hat P^2] = -\frac{2i\hbar\hat P}{2m} = -\frac{i\hbar}{m}\hat P .
$$

<Ref to="thm-ehrenfest" /> に代入して

$$
\frac{d}{dt}\langle\hat X\rangle = \frac{i}{\hbar}\left(-\frac{i\hbar}{m}\right)\langle\hat P\rangle = \frac{\langle\hat P\rangle}{m}.
$$

次に $[\hat H,\hat P]$。$\hat P^2$ は $\hat P$ と可換なので <Ref to="ex-commutators" /> の (c) から

$$
[\hat H,\hat P] = [V(\hat X),\hat P] = -[\hat P,V(\hat X)] = i\hbar\,V'(\hat X),
$$

よって $\dfrac{d}{dt}\langle\hat P\rangle = \dfrac{i}{\hbar}\cdot i\hbar\,\langle V'(\hat X)\rangle = -\langle V'(\hat X)\rangle$ です。
</Proof>

期待値は形式上ニュートンの運動方程式（[ニュートン力学の基礎](/physics/mechanics/newtonian-mechanics) の <Ref to="physics/mechanics/newtonian-mechanics#ax-second-law" text="第 2 法則" />）に従います。ただし右辺は $\langle V'(\hat X)\rangle$ であって $V'(\langle\hat X\rangle)$ ではありません。両者が一致するのは $V$ が高々 2 次の多項式のとき（自由粒子・一様な力・調和振動子）で、このとき波束の中心は厳密に古典軌道を描きます。それ以外の場合、波束の広がりが大きいほど古典力学からのずれが大きくなります。

もう 1 つ重要な帰結があります。$[\hat H,\hat A] = 0$ ならば <Ref to="thm-ehrenfest" /> より $\langle\hat A\rangle$ は時間によらず一定です。すなわち**ハミルトニアンと可換な観測量は保存量**です。古典力学で対称性が保存則を生む仕組み（[対称性と保存則](/physics/mechanics/noethers-theorem) の <Ref to="physics/mechanics/noethers-theorem#thm-noether" text="ネーターの定理" />）が、量子力学では「対称変換の生成子が $\hat H$ と可換」という形で現れます。$\hat A = \hat H$ とすればエネルギー保存 $d\langle\hat H\rangle/dt = 0$ が直ちに従います。

## 8. 演習

<Exercise id="exr-commutator-basics" difficulty="易">
<Ref to="lem-commutator-rules" /> と <Ref to="thm-ccr" /> のみを使って、次を示してください。

(1) $[\hat X,\hat P^3] = 3i\hbar\hat P^2$

(2) $[\hat X^2,\hat P^2] = 2i\hbar(\hat X\hat P + \hat P\hat X)$

<Solution>
(1) ライプニッツ則 $[\hat A,\hat B\hat C] = [\hat A,\hat B]\hat C + \hat B[\hat A,\hat C]$ を $\hat P^3 = \hat P\cdot\hat P^2$ に使い、<Ref to="ex-commutators" /> の (a) を代入します。

$$
[\hat X,\hat P^3] = [\hat X,\hat P]\hat P^2 + \hat P[\hat X,\hat P^2]
= i\hbar\hat P^2 + \hat P\cdot 2i\hbar\hat P = 3i\hbar\hat P^2 .
$$

(2) 今度は左側にライプニッツ則を使います。

$$
[\hat X^2,\hat P^2] = \hat X[\hat X,\hat P^2] + [\hat X,\hat P^2]\hat X
= \hat X\cdot 2i\hbar\hat P + 2i\hbar\hat P\cdot\hat X = 2i\hbar(\hat X\hat P + \hat P\hat X).
$$

$\hat X\hat P \ne \hat P\hat X$ なので、この 2 項をまとめて $4i\hbar\hat X\hat P$ と書いてはいけません。
</Solution>
</Exercise>

<Exercise id="exr-hermitian-products" difficulty="標準">
$\hat A,\hat B$ をエルミート演算子とします。

(1) 積 $\hat A\hat B$ がエルミートであるための必要十分条件は $[\hat A,\hat B]=0$ であることを示してください。

(2) $\hat A\hat B + \hat B\hat A$ と $i[\hat A,\hat B]$ はいずれもエルミートであることを示してください。

<Solution>
(1) <Ref to="def-adjoint" /> の直後で述べた性質 $(\hat A\hat B)^{*} = \hat B^{*}\hat A^{*}$ と、$\hat A^{*}=\hat A$、$\hat B^{*}=\hat B$ より $(\hat A\hat B)^{*} = \hat B\hat A$ です。したがって「$\hat A\hat B$ がエルミートである」ことは $\hat A\hat B = \hat B\hat A$ と同値で、これは <Ref to="def-commutator" /> より $[\hat A,\hat B] = 0$ と同値です。

(2) 随伴は反線形（$(c\hat C)^{*} = \bar c\,\hat C^{*}$）で和を保つので

$$
(\hat A\hat B + \hat B\hat A)^{*} = \hat B\hat A + \hat A\hat B = \hat A\hat B + \hat B\hat A,
$$

$$
\bigl(i[\hat A,\hat B]\bigr)^{*} = -i\,(\hat A\hat B - \hat B\hat A)^{*} = -i(\hat B\hat A - \hat A\hat B) = i[\hat A,\hat B].
$$

(2) の後者は、非可換な観測量から新しい観測量を作る標準的な方法です。$[\hat S_x,\hat S_y]=i\hbar\hat S_z$ で $\hat S_z$ がエルミートなのはこの一般則の実例です。
</Solution>
</Exercise>

<Exercise id="exr-schrodinger-relation" difficulty="標準">
<Ref to="thm-robertson" /> の証明で、第 2 段の「虚部だけ残す」不等式を使わずに実部の情報も保つと、より強い

$$
(\Delta_\psi\hat A)^2(\Delta_\psi\hat B)^2 \ge
\left(\frac{1}{2}\bigl\langle \{\hat A,\hat B\}\bigr\rangle - \langle\hat A\rangle\langle\hat B\rangle\right)^2
+ \left(\frac{1}{2i}\bigl\langle[\hat A,\hat B]\bigr\rangle\right)^2
$$

が得られることを示してください（シュレーディンガーの不確定性関係）。ここで $\{\hat A,\hat B\} := \hat A\hat B + \hat B\hat A$ は反交換子です。

<Solution>
証明の記号をそのまま使います。$|f\rangle = \tilde A|\psi\rangle$、$|g\rangle = \tilde B|\psi\rangle$、$\tilde A = \hat A - \bar a$、$\tilde B = \hat B - \bar b$ とすると、コーシー・シュワルツの不等式は

$$
(\Delta_\psi\hat A)^2(\Delta_\psi\hat B)^2 = \|f\|^2\|g\|^2 \ge |\langle f|g\rangle|^2
= \bigl(\operatorname{Re}\langle f|g\rangle\bigr)^2 + \bigl(\operatorname{Im}\langle f|g\rangle\bigr)^2
$$

です。虚部は証明の第 3 段そのままで $\operatorname{Im}\langle f|g\rangle = \frac{1}{2i}\langle[\hat A,\hat B]\rangle$。実部は

$$
2\operatorname{Re}\langle f|g\rangle = \langle f|g\rangle + \overline{\langle f|g\rangle}
= \langle\psi|(\tilde A\tilde B + \tilde B\tilde A)|\psi\rangle = \bigl\langle\{\tilde A,\tilde B\}\bigr\rangle .
$$

反交換子を展開すると、$\bar a,\bar b$ は実数の定数なので

$$
\{\tilde A,\tilde B\} = \{\hat A,\hat B\} - 2\bar b\hat A - 2\bar a\hat B + 2\bar a\bar b\hat I,
$$

期待値をとって $\langle\{\tilde A,\tilde B\}\rangle = \langle\{\hat A,\hat B\}\rangle - 2\bar a\bar b$。したがって

$$
\operatorname{Re}\langle f|g\rangle = \frac{1}{2}\bigl\langle\{\hat A,\hat B\}\bigr\rangle - \langle\hat A\rangle\langle\hat B\rangle
$$

となり、上のコーシー・シュワルツの不等式に代入すれば主張が出ます。第 1 項を捨てれば <Ref to="thm-robertson" /> に戻ります。
</Solution>
</Exercise>

<Exercise id="exr-infinite-well" difficulty="難">
幅 $L$ の無限に深い井戸型ポテンシャル（$0 \le x \le L$ の外では波動関数が $0$）の基底状態

$$
\psi_1(x) = \sqrt{\frac{2}{L}}\,\sin\frac{\pi x}{L}\qquad (0\le x\le L)
$$

について $\Delta\hat X$ と $\Delta\hat P$ を計算し、<Ref to="cor-heisenberg" /> と比べてください。必要なら
$\displaystyle\int_0^L x^2\sin^2\frac{\pi x}{L}\,dx = L^3\left(\frac{1}{6} - \frac{1}{4\pi^2}\right)$ を使ってかまいません。

<Solution>
**位置。** $|\psi_1|^2$ は $x = L/2$ について対称なので $\langle\hat X\rangle = L/2$ です。2 次のモーメントは与えられた積分から

$$
\langle\hat X^2\rangle = \frac{2}{L}\cdot L^3\left(\frac16 - \frac{1}{4\pi^2}\right) = L^2\left(\frac13 - \frac{1}{2\pi^2}\right).
$$

よって

$$
(\Delta\hat X)^2 = L^2\left(\frac13 - \frac{1}{2\pi^2}\right) - \frac{L^2}{4} = L^2\left(\frac{1}{12} - \frac{1}{2\pi^2}\right).
$$

数値では $1/12 = 0.08333$、$1/(2\pi^2) = 0.05066$ なので $(\Delta\hat X)^2 = 0.03267\,L^2$、$\Delta\hat X = 0.1808\,L$。

**運動量。** $\psi_1$ は実関数で両端で $0$ なので

$$
\langle\hat P\rangle = \int_0^L \psi_1(-i\hbar\psi_1')\,dx = -\frac{i\hbar}{2}\bigl[\psi_1^2\bigr]_0^L = 0 .
$$

また $\psi_1'' = -(\pi/L)^2\psi_1$ なので $\hat P^2\psi_1 = -\hbar^2\psi_1'' = \dfrac{\hbar^2\pi^2}{L^2}\psi_1$、すなわち $\psi_1$ は $\hat P^2$ の固有状態で

$$
\langle\hat P^2\rangle = \frac{\hbar^2\pi^2}{L^2},\qquad \Delta\hat P = \frac{\hbar\pi}{L}.
$$

**積。**

$$
\Delta\hat X\cdot\Delta\hat P = 0.1808\,L\cdot\frac{\hbar\pi}{L} = 0.5679\,\hbar \approx 1.14\times\frac{\hbar}{2}.
$$

確かに $\hbar/2$ より大きく、<Ref to="cor-heisenberg" /> と整合します。等号にならないのは、<Ref to="ex-gaussian-minimum" /> で見たとおり等号を実現するのはガウス型の波動関数だけで、正弦波はそうでないからです。

なお <Ref to="rem-domain" /> で述べたとおり、有限区間で $\hat P$ を自己共役に定義するには境界条件の指定が要ります。ここでは $\psi_1$ が両端で消えることを使って部分積分の境界項を落としており、その範囲で計算は正当です。
</Solution>
</Exercise>

## 参考文献

- J. J. Sakurai, J. Napolitano, *Modern Quantum Mechanics*, 3rd ed., Cambridge University Press, 2020 — 第 1 章（Fundamental Concepts）に、シュテルン・ゲルラッハ実験から演算子形式・交換関係・不確定性関係までの筋道がまとめられています。
- P. A. M. Dirac, *The Principles of Quantum Mechanics*, 4th ed., Oxford University Press, 1958 — ブラケット記法と観測量の理論の原典。ポアソン括弧と交換子の対応もここで論じられています。
- 清水明『新版 量子論の基礎 — その本質のやさしい理解のために』サイエンス社、2004 — 物理量とエルミート演算子の対応、および測定の公理を、前提を明示した形で丁寧に扱っています。
- M. Reed, B. Simon, *Methods of Modern Mathematical Physics I: Functional Analysis*, revised ed., Academic Press, 1980 — 第 VIII 章「Unbounded operators」に、対称作用素と自己共役作用素の区別、欠損指数、自己共役拡張の理論があります。
- W. Heisenberg, "Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik", *Zeitschrift für Physik* **43** (1927), 172–198 — 不確定性原理の原論文。
- H. P. Robertson, "The Uncertainty Principle", *Physical Review* **34** (1929), 163–164 — <Ref to="thm-robertson" /> の原論文。
- M. Ozawa, "Universally valid reformulation of the Heisenberg uncertainty principle on noise and disturbance in measurement", *Physical Review A* **67** (2003), 042105 — 測定誤差と擾乱についての不等式（[arXiv:quant-ph/0207121](https://arxiv.org/abs/quant-ph/0207121)）。

## Appendix: 正準交換関係は有界演算子では実現できない

<Ref to="cor-no-finite-dim" /> は「有限次元では無理」と述べましたが、実はもっと強い結論が成り立ちます。ノルム $\|\hat A\| = \sup_{\|\psi\|=1}\|\hat A\psi\|$ が有限である演算子を有界演算子と呼びます。有界演算子の全体では、積のノルムについて $\|\hat A\hat B\| \le \|\hat A\|\,\|\hat B\|$ が成り立ちます。

<Theorem id="thm-wintner" title="ウィントナー・ヴィーラントの定理">
$\hbar \ne 0$ とします。ヒルベルト空間 $\mathcal H \ne \{0\}$ 上の**有界**演算子 $\hat A,\hat B$ で $[\hat A,\hat B] = i\hbar\hat I$ を満たすものは存在しません。
</Theorem>

<Proof of="thm-wintner">
そのような有界演算子 $\hat A,\hat B$ が存在したと仮定します。

**第 1 段。** すべての $n\ge 1$ について

$$
[\hat A^n,\hat B] = i\hbar\,n\,\hat A^{n-1}
$$

を $n$ についての帰納法で示します。$n=1$ は仮定そのものです。$n$ で成立するとして、<Ref to="lem-commutator-rules" /> の (3)（$[\hat A\hat B,\hat C] = \hat A[\hat B,\hat C] + [\hat A,\hat C]\hat B$ の形）を $\hat A^{n+1} = \hat A^{n}\cdot\hat A$ に適用すると

$$
[\hat A^{n+1},\hat B] = \hat A^{n}[\hat A,\hat B] + [\hat A^{n},\hat B]\hat A
= \hat A^{n}\,i\hbar + i\hbar n\hat A^{n-1}\hat A = i\hbar(n+1)\hat A^{n}.
$$

**第 2 段：$\hat A^n \ne 0$（すべての $n\ge 0$）。** もしある $n\ge 1$ で $\hat A^{n} = 0$ なら、第 1 段の左辺が $0$ になるので $i\hbar n\hat A^{n-1} = 0$、$\hbar\ne 0$、$n\ne 0$ より $\hat A^{n-1}=0$。これを繰り返すと $\hat A^{0} = \hat I = 0$ となり、$\mathcal H\ne\{0\}$ に矛盾します。

**第 3 段：ノルムの評価。** 第 1 段の両辺のノルムをとります。左辺には三角不等式と積の評価を使って

$$
\hbar\,n\,\|\hat A^{n-1}\| = \bigl\|[\hat A^{n},\hat B]\bigr\|
\le \|\hat A^{n}\hat B\| + \|\hat B\hat A^{n}\|
\le 2\|\hat A^{n}\|\,\|\hat B\|
\le 2\|\hat A\|\,\|\hat A^{n-1}\|\,\|\hat B\| .
$$

第 2 段より $\|\hat A^{n-1}\| \ne 0$ なので、両辺をこれで割ると

$$
\hbar\,n \le 2\|\hat A\|\,\|\hat B\|
$$

がすべての $n\ge 1$ で成り立つことになります。右辺は $n$ によらない有限の値なので、$n$ を十分大きくとれば矛盾します。
</Proof>

したがって、位置と運動量の少なくとも一方は必ず非有界です。実際にはどちらも非有界で、$\hat X$ の場合、$|x|$ がいくらでも大きい領域に支持を持つ規格化された関数を取れば $\|\hat X\psi\|$ はいくらでも大きくなります。非有界演算子は空間全体では定義できず、<Ref to="rem-domain" /> の定義域の議論が必然的に要求されます。数学的な煩雑さは正準交換関係が押し付けてくるものであって、避けて通れる種類のものではありません。