そもそも無限次元多様体とはどうやって定義するんだろう？
無限次元ユークリッド空間に局所的に同相なの？
よくわからんなあ。