↑は正しくないかもしれないのだろうか。

なぜなら、real analytic mfd として　ｆ＝（f_1,...,f_m）：X⊂C^m　の各f_kが Cauchy-Riemann　を満たす必要があるから。