質問: 実射影空間rp^nが可微分多様体であることを証明して頂きたいです。 実射影空間rp^nが可微分多様体であることを証明して頂きたいです。
回答: 以下の3頁目の2の 2. rp n はコンパクトな可微分多様体であることを証明せよ.をご参照下さい。 幾何学ii 演習の解説(10/1)より https://www.ms.u-tokyo.ac.jp/~kohno/lectures/10_1.pdf