4. 多様体 微分可能多様体の定義. M をハウスドルフ位相空間 M,m を

4. 多様体 微分可能多様体の定義. M をハウスドルフ位相空間 M,m を