線形変数変換

補題 5.2（「外積代数・Clifford 代数・超代数」§5）・ ✓公理まで証明済み

$L=(L_{ij})$ を $N$ 次の複素行列とし、 $\theta'_i=\sum_jL_{ij}\theta_j$ とおく。 $\theta'_1,\dots,\theta'_N$ の多項式 $f=p(\theta')$ について、 $p$ の $\theta'_1\cdots\theta'_N$ の係数を $c$ とすると、 $\int d\theta\,f=\det L\cdot c$ である。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる証明が使う定理・定義（直接 2 件）

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

行列式（ライプニッツの公式）定義 3.1・行列式とその性質
転置不変性と三角行列✓命題 3.3・行列式とその性質
- 符号の基本性質✓補題 2.2・行列式とその性質

これを使っている定理証明で参照している 1 件

Pfaffian の変換則✓定理 5.5・外積代数・Clifford 代数・超代数

線形変数変換

閉包の状態

前提をたどる 証明が使う定理・定義（直接 2 件）

これを使っている定理 証明で参照している 1 件

前提をたどる証明が使う定理・定義（直接 2 件）

これを使っている定理証明で参照している 1 件