一般逆関数定理の定式化, 完了しました. 微分多様体の基礎 6 〜バナッハ多様体の基礎 II〜 上の pdf にあります. pdf で,『一般逆関数定理』で検索すれば出てきます. 定式化は, 以下の通りです: i = 1 or 2, 1 ≦ r ≦ ω とする. X, Y を C^r_i 級多様体で, X …