黎曼球面
黎曼球面(Riemann sphere)是在复平面上添加一个无穷远点得到的空间,记作 。它可以与三维单位球面一一对应。这里所有模趋于无穷的方向都趋向同一个点,不能把它理解成实数轴两端各有一个带符号的无穷。
这个空间使 可以补上零与无穷远的值:零映到无穷远,无穷远映到零。分式函数的极点因此可以作为取值为无穷远的正常球面点处理。
从北极投向复平面
取单位球面 ,北极为 ,把平面 认作复平面。对球面上非北极点 ,连接 并延长,与平面相交的复坐标为 这称为球极投影。北极本身对应 。
为了求逆,写平面点为 ,令 。直线上的点为 。代入球面方程,得到 除去北极对应的 ,另一解为 ,所以 分母始终为正。将三坐标平方相加,分子为 ,验证所得点确在单位球面上。再代入投影公式恢复 ,证明对应可逆。
一个可逐项核对的点
取 ,则 ,对应 三坐标平方和是 ;反向投影给出 零对应南极 ,单位圆上的点满足 ,因而对应赤道。圆内点在南半球,圆外点在北半球。
变式。 取 ,有 ,球面点为 。当 且 ,三个坐标依次趋于零、零、一,靠近北极。若改成 或 ,只要模趋于无穷,仍得到同一北极。
无穷远附近的局部坐标
无穷远点的基本邻域是某个大圆外部连同该点: 用倒数坐标 ,这一邻域变成零附近的圆盘 。因此“在无穷远附近分析函数”可以转化成“在零附近分析 ”。两个坐标片的过渡函数 在重叠处全纯,这赋予球面一维复流形结构。
例如 满足 右端在 全纯,值为二,故 。而 在该坐标下为 ,在无穷远有二阶极点。
极限与运算的边界
在球面意义下, 等价于其模趋于无穷;沿正实轴和负实轴接近零不会产生两个不同的球面极限。但 、 仍不能作为普通复数算术随意运算:它们的极限可能依赖具体函数。
黎曼球面是紧致空间,这一点可由它与单位球面的对应理解。它没有把复平面在欧氏距离下变成有界平面;改变的是空间及其拓扑。莫比乌斯变换正是在这个球面上无处缺失的一类可逆全纯映射。
参考文献
Jiří Lebl,Guide to Cultivating Complex Analysis,1.9,2026-07-11,§1.3(球极投影、无穷远邻域与倒数坐标)。