射影空间

射影空间是一个空间，它在所有一般线性齐次变换的群 下是不变的，但不在包含 作为子群的任何群的所有变换下不变。

射影空间是给定向量空间的一维向量子空间的空间。对于实向量空间，符号 或 表示维度为 的实射影空间（即 的一维向量子空间的空间），而 表示复维度为 的复射影空间（即 的一维复向量子空间的空间）。 也可以被视为由 及其无穷远点组成的集合。