Clifford 関係式

補題 8.3（「行列 Lie 群と指数写像」§8）・ ✓公理まで証明済み

$c(v)=\varepsilon(v)-\iota(v)\in\operatorname{End}(\Lambda)$ とおくと、 $v,w\in\mathbb{R}^n$ について

c(v)c(w)+c(w)c(v)=-2\langle v,w\rangle\,I

が成り立つ。特に $|u|=1$ なら $c(u)^2=-I$ で、 $c(u)$ は直交変換である。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

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

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。