微分多様体の基礎 4 〜バナッハ多様体の基礎 I 〜

スキャナーで読み込み直して、更新しました。

主な目的は、定式化の一般化です。

微分多様体の基礎 6 に合わせました。

こちらのファイルです。