ブラ-ケット記法

ブラ-ケット記法（ブラ-ケットきほう、英: bra-ket notation）は量子力学における量子状態を記述するための標準的な記法である。

正規直交基底とブラケット記法[編集]

正規直交基底のうち2つのラベルを α,β として、内積をブラ-ケット記法で表すと

$\langle \alpha |\beta \rangle =\delta _{\alpha \beta }$ $\langle \alpha |\beta \rangle =\delta _{{\alpha \beta }}$

となる（基底が連続的な場合は、クロネッカーのデルタ $\delta _{\alpha \beta }$ $\delta _{{\alpha \beta }}$ をディラックのデルタ関数 $\delta (\alpha -\beta )$ $\delta (\alpha -\beta )$ に置き換える）。

また正規直交基底の完全性は

$\sum _{\alpha }|\alpha \rangle \langle \alpha |=1$ $\sum _{\alpha }|\alpha \rangle \langle \alpha |=1$

と表現される（基底が連続的な場合は、総和 $\sum _{\alpha }$ $\sum _{\alpha }$ を積分 $\int d\alpha$ $\int d\alpha$ に置き換える）。

第二量子化とブラケット記法[編集]

第二量子化された粒子生成演算子 $a^{\dagger }$ $a^{\dagger }$ を用いて2粒子状態を

$|\alpha \beta \rangle =a_{\alpha }^{\dagger }a_{\beta }^{\dagger }|0\rangle$ $|\alpha \beta \rangle =a_{\alpha }^{\dagger }a_{\beta }^{\dagger }|0\rangle$

と定義する。この時 $a^{\dagger }$ $a^{\dagger }$ がフェルミ粒子を表す演算子なら、これらは反交換関係 $\{a_{\alpha }^{\dagger },a_{\beta }^{\dagger }\}=0$ $\{a_{\alpha }^{\dagger },a_{\beta }^{\dagger }\}=0$ を満たすので、

$|\alpha \beta \rangle =a_{\alpha }^{\dagger }a_{\beta }^{\dagger }|0\rangle =-a_{\beta }^{\dagger }a_{\alpha }^{\dagger }|0\rangle =-|\beta \alpha \rangle$ $|\alpha \beta \rangle =a_{\alpha }^{\dagger }a_{\beta }^{\dagger }|0\rangle =-a_{\beta }^{\dagger }a_{\alpha }^{\dagger }|0\rangle =-|\beta \alpha \rangle$

となり、反対称化されている。

また $a^{\dagger }$ $a^{\dagger }$ がボース粒子を表す演算子であれば、これらは交換関係 $[a_{\alpha }^{\dagger },a_{\beta }^{\dagger }]=0$ $[a_{\alpha }^{\dagger },a_{\beta }^{\dagger }]=0$ を満たすので、

$|\alpha \beta \rangle =a_{\alpha }^{\dagger }a_{\beta }^{\dagger }|0\rangle =a_{\beta }^{\dagger }a_{\alpha }^{\dagger }|0\rangle =|\beta \alpha \rangle$ $|\alpha \beta \rangle =a_{\alpha }^{\dagger }a_{\beta }^{\dagger }|0\rangle =a_{\beta }^{\dagger }a_{\alpha }^{\dagger }|0\rangle =|\beta \alpha \rangle$