ブルバキ多様体の pdf を, research gate に公開しました. こちらです.

スカラー体が離散でない可換付値体の場合の解析関数の陰関数定理を定式化しました. 微分多様体の基礎 2 解析関数と言っても, ノルム空間 E から分離多ノルム空間 F への解析関数で, 一般に想定しているのは, 無限次元です. この pdf での陰関数定理は, 実又…