積の定理
に対し
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 3 件、定義なども含めて 3 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 1 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
行列式の特徴づけ✓定理 4.2・行列式とその性質
- 符号の基本性質✓補題 2.2・行列式とその性質
転置不変性と三角行列✓命題 3.3・行列式とその性質
- 符号の基本性質✓補題 2.2・行列式とその性質
これを使っている定理 証明で参照している 20 件
- 安定的に自由な可逆イデアルは単項✓補題 8.4・Cohen–Macaulay 環と正則局所環
- 対称デザインのブロックの交わり✓系 4.7・有限幾何とデザイン
- 2 次曲線の分類✓定理 6.1・2 次曲線
- 回転行列の合成✓命題 6.3・平面ベクトルと座標
- Cayley–Menger の公式✓定理 8.1・空間座標と空間ベクトル
- 正則性の判定✓定理 7.1・行列式とその性質
- 相似不変量✓命題 2.2・対角化とジョルダン標準形
- シュール補行列✓定理 4.2・行列の固有値評価と不等式
- アダマールの不等式✓定理 5.1・行列の固有値評価と不等式
- トレースとノルムの性質✓命題 3.3・代数体の整数環と Dedekind 整域
- LU 分解の存在と一意性✓定理 2.2・Gauss 消去と LU 分解
- QR 反復は直交相似変換である✓命題 2.2・固有値の計算 II
- Kahan の必要条件✓定理 3.5・定常反復法
- 番号づけによる判定✓補題 4.2・定常反復法
- Young の定理✓定理 4.3・定常反復法
- 古典的 Jacobi 法の収束✓定理 4.3・対称固有値問題と特異値分解の計算
- 線形写像によるルベーグ測度の変換✓定理 3.4・ℝ^d の変数変換公式と極座標
- 回転不変性と相似✓系 3.5・ℝ^d の変数変換公式と極座標
- ハミルトン流はシンプレクティック✓補題 7.4・正準変換とポアソン括弧
- 相空間の体積の保存（リウヴィルの定理）✓系 7.5・正準変換とポアソン括弧