情報科学 › 機械学習の数学 › なぜ機械学習に数学が必要か
最小二乗損失に対する勾配降下法の収束
の列ベクトルは線形独立とし、、 とおく。このとき は対称正定値であり、その固有値を重複を込めて と並べる。 を 系 3.4 の唯一の最小点、 を定数とし、点列を で定める。
- すべての初期点 に対して となるための必要十分条件は である。
- のとき、 とおくと であり、すべての で が成り立つ。
- を最小にする学習率は であり、そのとき である。ここで は の条件数である。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 26 件、定義なども含めて 28 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 4 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
グラム行列の核✓補題 3.3・なぜ機械学習に数学が必要か
二乗損失の二次展開✓補題 3.1・なぜ機械学習に数学が必要か
- コーシー・シュワルツの不等式✓定理 4.2・内積空間とグラム・シュミット直交化
実対称行列の直交対角化✓系 4.3・スペクトル定理
エルミート行列の固有値と固有ベクトル✓補題 3.3・スペクトル定理
スペクトル定理(エルミート行列)✓定理 4.2・スペクトル定理
固有値の存在✓系 4.6・固有値と固有ベクトル
- 特性多項式の次数と係数✓命題 4.3・固有値と固有ベクトル
- 固有値の判定条件✓命題 3.3・固有値と固有ベクトル この先をたどる →
- エルミート行列の固有値と固有ベクトル✓補題 3.3・スペクトル定理(上で展開済み)
- 不変部分空間の直交補空間✓補題 4.1・スペクトル定理(上で展開済み)
直交分解定理✓定理 7.1・内積空間とグラム・シュミット直交化
- 正規直交基底の存在✓系 6.2・内積空間とグラム・シュミット直交化 この先をたどる →
- 正規直交基底による展開✓定理 5.3・内積空間とグラム・シュミット直交化
- ユニタリ行列の特徴づけ✓命題 3.2・スペクトル定理(上で展開済み)
不変部分空間の直交補空間✓補題 4.1・スペクトル定理
- 随伴の基本性質✓命題 2.2・スペクトル定理(上で展開済み)
- 正規直交基底による展開✓定理 5.3・内積空間とグラム・シュミット直交化
ユニタリ行列の特徴づけ✓命題 3.2・スペクトル定理
- 随伴の基本性質✓命題 2.2・スペクトル定理(上で展開済み)
これを使っている定理
証明で明示的に参照している定理は、まだありません。