到一个平面；相反的过程便把复平面变为formula_3：在平面外加上一个点，并把平面向这个点包起来，便得到球面。）这个结构可以推广到任何拓扑空间。所得到的空间称为原空间的单点紧化。因此，圆形是直线的单点紧化，而球面则是平面的单点紧化。现在考虑实射影平面formula_5上的一对平行直线。由于这对直线是平行的，因此它们相交于无穷远点，这个点位于formula_5的无穷远直线上。更进一步，这两条直线都formula_5上的射影直线：每一条都有自己的无穷远点。当一对射影直线平行时，它们相交于它们公共的无穷