複素射影空間

今までみてきた P^mは実射影空間と呼ばれている。
R を C に置き換えたものを複素射影空間といい、 \bf{C}P_{m} という記号で表す。
同次座標の表し方、位相の入れ方、座標近傍系の定義などはすべて形式的には  P^{m}と同じように行う。
そうすると  \bf{C}^{m} \bf{R}^{2m}を同一視することにより、 \bf{C}P_{m} は 2m次元 C^{\infty}多様体になる。
本当は複素関数のまま扱って、 C^{\infty}級関数の代わりに正則関数を考えると複素多様体というものになるそうだが、松本「多様体の基礎」ではそれは対象外。