无穷远点，又称为理想点，是一个加在实数轴上后得到实射影直线formula_1的点。实射影直线与扩展的实数轴不是一样的，扩展的实数轴有两个不同的无穷远点。无穷远点也可以加在复平面formula_2上，于是把它变成一个闭曲面，称为黎曼球面formula_3。（把球面穿一个孔，并把所得到的边拉开来，便得到一个平面；相反的过程便把复平面变为formula_3：在平面外加上一个点，并把平面向这个点包起来，便得到球面。）这个结构可以推广到任何拓扑空间。所得到的空间称为原空间的单点紧化。因此，圆形是直线的单点紧化