射影空间是空间在组 所有一般线性的中的齐次变换空间担心，但不是在所有的变换下组包含作为一个子组.
射影空间是一维空间矢量 子空间给定的矢量空间。对于真实的 矢量空格，的符号 或表示真实的投射的维度空间（即空间一维的矢量 子空间属于)和表示复杂的投射的的空间复杂的维（即一维空间复杂的 矢量 子空间属于).也可以看作是由以下内容组成的集合连同其点在无穷远处.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“投影空间。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/ProjectiveSpace.html
