>>81
実解析的多様体は次元に無関係に複素多様体に実解析的に埋め込める。
これは実解析的多様体の定義と複素多様体の定義を読めばわかるはず
(両方とも局所座標の貼り合わせでできていると思うこと)
実は可算基を持つ連結な実解析的多様体は(十分次元の高い)ユークリッド空間に
埋め込めることが知られている。これは多様体がコンパクトな場合にはMorreyが、
一般にはGrauert (Ann. of Math. 1958)が示した事実。