射影空間

射影空間是一個空間，它在所有一般線性齊次變換的群 下是不變的，但不在包含 作為子群的任何群的所有變換下不變。

射影空間是給定向量空間的一維向量子空間的空間。對於實向量空間，符號 或 表示維度為 的實射影空間（即 的一維向量子空間的空間），而 表示復維度為 的復射影空間（即 的一維復向量子空間的空間）。 也可以被視為由 及其無窮遠點組成的集合。