进一步我们限制在 S 的上半球面,仅将边界赤道上的对径点等同。这说明 RP 闭 n-维圆盘 D 将边界 ∂D = S 上的对径点等同。
英语百科
Real projective space 实射影空间
In mathematics, real projective space, or RP, is the topological space of lines passing through the origin 0 in R. It is a compact, smooth manifold of dimension n, and is a special case Gr(1, R) of a Grassmannian space.