ケナードの不確定性関係

定理 5.1（「ラプラスの悪魔と決定論」§5）・ ※主張のみ

1 次元の量子系の任意の状態において、位置 $\hat{x}$ の測定値の標準偏差 $\Delta x$ と運動量 $\hat{p}$ の測定値の標準偏差 $\Delta p$ は、つねに

\Delta x \, \Delta p \ \ge\ \frac{\hbar}{2}

を満たします。ここで $\hbar = h/2\pi \approx 1.055 \times 10^{-34}\ \mathrm{J\cdot s}$ はプランク定数を $2\pi$ で割った値です。

閉包の状態

※ 主張のみ

この分野（情報科学・コラム）は閉包の検査の対象外で、証明を載せていない定理です。理由と出典は本文の注意にあります。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

主張のみなので、Rikai の中で証明が使う前提はありません。

証明で明示的に参照している定理は、まだありません。