微分多様体の基礎 1 更新しました. section 20, テイラーの公式の定式化です. 係数体は R or C です. 定式化には 3種類あって, U が ノルム空間 E の開集合, F が分離多ノルム空間の時, [1] f : U → F が n 回微分可能で D^n f が 点 a ∈ U において微分可能…