射影空間の定義ってどんなのですか?
群や位相空間みたいなしっかりした定義はありますか?