ユークリッド空間 → 全微分 → ヤコビ行列 → 正則行列 → 局所性 → 逆関数定理
入口
ユークリッド空間
目標
逆関数定理
進捗
ルート設計中
多変数関数の舞台を用意する
関数を局所的に線形写像で近似する
全微分を行列として読む
線形近似がつぶれない条件を見る
一点の近くでだけ成り立つ性質を扱う
微分が正則なら局所的な逆写像をもつ