2005-11-30 射影空間 多様体 の原点を通る直線全体の集合に対し、ある方法で位相、座標近傍系を定義すると m次元の 級可微分多様体となり、これを m次元射影空間といい、 と書くそうだ。 いろんな発展する話があるらしい。