L-平滑性
は微分可能とする。定数 が存在して、すべての に対し
が成り立つとき、 は -平滑(勾配が -リプシッツ)であるという。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件
- 降下補題と 1 ステップの減少量✓補題 4.2・数学を学び直す意義
は微分可能とする。定数 が存在して、すべての に対し
が成り立つとき、 は -平滑(勾配が -リプシッツ)であるという。
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。