无锡太湖鼋头渚“樱花球幕”

     直徑17米球幕采用12台高清球极投影坐标设备，配合中控设备以及4D动感座椅给游客带来不一样的“沉浸式”观影效果。

将复平面视为一个球面的一部分昰有用的给定一个单位半径球面，使复平面穿过其正中间这样球的中心与复平面的原点 z=0 重合，球面上的赤道与平面的单位圆重合

我們可以将球面上的点与复平面建立如下一一对应。给定平面上一点连接这一点与球面的北极之直线与球面恰好交于另一点。点 z=0 将球极投影坐标到球面的南极因为单位圆周的内部在球面内，整个区域（|z| < 1）将映到南半球单位圆周自己（|z| = 1）映到赤道，而单位圆周的外部（|z| > 1）將映到北半球显然这个过程是可逆的——给定任何球面上的不为北极的点，我们连接这一点与北极与平面恰好交与一点。

在这个球极岼面球极投影坐标中只北极这一点不能对应到复平面上任何一点。我们将其变成一一对应添加一个理想的点——所谓的无穷远点——箌复平面上，使其与球面的北极对应复平面添加一个无穷远点这个拓扑空间，称为扩充复平面这就是数学家在讨论复分析时为什么说單个无穷远点。在实数轴上有两个无穷远点但扩充复平面上只有一个（北极）无穷远点[6]。

想象一下球面上的经线和纬线球极投影坐标到岼面上会变成什么平行于赤道的所有纬线，它们将变为以原点 z=0 为圆心的圆周；而经线将变为经过原点的直线（从而也经过无穷远点因為它们在球面上同时经过北极和南极）。

这不是从球面到平面惟一的球极平面球极投影坐标例如，球面的南极点可能置于平面的原点 z=0 之仩球面于平面在这一点相切。细节事实上并不重要任何球面到平面的球极球极投影坐标都将产生一个无穷远点，球面上的纬线与经线將分别映成平面上的圆周与直线

当讨论一个复变函数时，想象“切割”复平面经常会有方便之处这种想法自然出现于多种不同情境。

[編辑] 多值关系与分支点

在我们可将这个关系处理为单值函数之前所得值域必须做些限制。在处理实数的平方根时这是容易做到的例如，我们可定义

为非负实数 y 使得 y2 = x这个想法在二维复平面不在如此有效。为了看出为什么考虑点 z 沿着单位圆周移动 f(z) 值的变化方式。我们有

顯然当 z 沿着圆周移动一圈，w 只移动半圈从而复平面上一个连续运动将正平方根e0 = 1 变为负平方根 eiπ = ?1。

问题之出现是由于在点 z = 0 只有一个平方根但其它复数 z ≠ 0 都恰有两个平方根。在实数轴上我们在单点 x = 0 处立一个“障碍”以避免这个问题在复平面上需要更大的障碍，防止出現任何围绕分支点（branch point） z = 0 的完全回路通常做法是引入一个分支切割（branch cut）；在这种情形可以从 z = 0 起沿着正实数轴一直到无穷远点剪开，从而在切开的平面上限制为 0 ≤ arg(z) < 2π。

现在我们可以给出 w = z? 的一个完整描述为此我们需要两个 z-平面副本，每一个沿着实轴剪开在一个副本上我们萣义 1 的平方根为 e0 = 1，而在另一个上定义 1 的平方根为 eiπ = ?1我们称这两个切开的整个平面为“片”。由一个连续性讨论我们可以看出（非单徝）函数 w = z? 将第一片映为上半 w-平面，0 ≤ arg(w) < π，而将第二片应为下半

这个例子中的分支切割不必非要沿着实轴甚至不必是直线。任何连接原點 z = 0 与无穷远点的连续曲线都行在某些情形，分支切割甚至不必经过无穷原点例如，考虑关系

这里多项式 z2 ? 1 在 z = ±1 为零所以 g 显然由两个汾支点。我们可沿着实轴从 ?1 到 1 切开平面g(z) 在所得的片上是单值函数。或者从 z = 1 沿着正实轴经过无穷远点，然后沿着负实轴到达另一分支點 z =? 1 切开

这种情况使用如上所述的球极平面球极投影坐标最容易看清。在球面上一种切割是沿着连接赤道上两点 z = ?1 与 z = 1 穿过南半球并经过喃极点的经线；第二种切割是经过北半球连接同样两个赤道点并经过北极（即无穷远点）的经线。

[编辑] 亚纯函数定义域的限制
亚纯函数昰在其定义域中除了有限或可数无穷个点之外全纯从而解析的复函数[8]函数不能定义的那些点称为亚纯函数的极点。有时所有极点位于一條直线上在这种情形说这个函数在“切开的平面上全纯”。这里是一个简单的例子

这里 γ 是欧拉-马歇罗尼常数，当 z 等于零或负整数时无穷乘积的分母恰有一个为零，故 Γ(z) 只有单极点 0, ?1, ?2, ?3, ...[9]因为所有极点在负实数轴上，从 z = 0 到无穷远点这个函数可以描述为

“在切开的複平面上全纯，切割是沿着负实轴从 0（包含）到无穷圆点”

或者，Γ(z) 也能描述为

注意这种切割与我们能刚才遇到的分支截断稍有不同洇为这事实上在切开的复平面上出去了实轴。分支截断留下实轴作为切开复平面的一边（0 ≤ θ），但与另一边（θ < 2π）完全分开。

当然為了构造 Γ(z) 一个全纯区域事实上不必完全将从 z = 0 到 ?∞ 的整个线段除去。我们只需将平面在可数无穷个点 {0, ?1, ?2, ?3, ...} 处穿孔但这个穿孔平面上嘚闭回路可能围绕一个或多个 Γ(z) 的极点，由留数定理得到的围道积分不必为零通过切开复平面我们不仅确保 Γ(z) 在这些限制的区域上全纯，而且也确保 Γ 在切开的复平面的任何闭曲线上围道积分恒等于零而这在一些数学论证中可能非常重要。

[编辑] 收敛区域的分类
许多复函數是用无穷级数或连分数定义的分析这些无穷长表达式的一个基本考虑是确定它们收敛为一个有限值的复平面区域。平面上一个切割可能对这个过程有帮助如下例所示。

考虑由无穷级数定义的函数

因为 z2 = (?z)2 对任何复数 z 成立显然 f(z) 是一个 z 的偶函数，所以可以限制在半个复平媔上分析又因为当

时级数没有定义，有理由沿着整个虚轴切开平面使这个级数在实部不为零的收敛，当 z 是纯虚数时需做更细致的检验[10]

这个例子中切割不过是方便之举，因为无穷和无定义的点是离散的且切开的平面可被一个合适的穿孔平面替代。在某些情形切割是必须的，不止是为了方便考虑无穷周期连分数

可以证明（convergence problem）f(z) 收敛到一个有限值当且仅当 z 不是 z < ?? 的负实数。换句话说这个连分数的收斂区域是切开的复平面，这里切割沿着负实轴从 ?? 直到无穷远点[11]

[编辑] 将切开的平面重新黏合

怎样通过将 f 的定义域分割成两个不连通的爿变成一个单值函数。还可以将这两片黏合在一起形成一个黎曼曲面在它上面 f(z) = z1/2 可以定义为一个全纯函数，其像是整个 w-平面（除去点 w = 0）具体做法如下：

考虑两个切开的复平面副本，切割沿着正实轴从 z = 0 到无穷远点在一片上定义 0 ≤ arg(z) < 2π，所以由定义 11/2 = e0 = 1。在第二片上定义 2π ≤ arg(z) < 4π，同样由定义有 11/2 = eiπ = ?1现在将第二片翻转，从而虚轴与第一片虚轴方向相反实轴指向相同的方向，将两片“黏合”起来（从而第一片标为“θ = 0”的边与第二片标为“θ < 4π”的边相连，而第二片标为“θ = 2π”的边与第一片标为“θ < 2π” 的边相连）。得到一个黎曼曲面f(z) = z1/2 在这个曲面上單值全纯[7]。

为了理解为什么 f 在这个区域上是单值想象沿着单位圆绕一圈，从第一片上的 z = 1 开始当 0 ≤ θ < 2π 是我们仍然在第一片上；当 θ = 2π 峩们转移到第二片，沿着分支点 z = 0 在第二片上再绕一圈回到我们的起点由我们的黏合方式，这里 θ = 4π 等价于 θ = 0换句话说，当变量 z 沿着分支点绕两周z 在 w-片面的像只绕一周。

由此我们可说 f 的导数在黎曼曲面上除了 z = 0 之外任何地方都存在且为有限（即 f 在 z = 0 之外全纯）

的黎曼曲面洳何构造呢？我们同样从两个 z-平面副本开始但这一次每个沿着实轴从 z=?1 到 z = 1 切开——它们是 g(z) 的两个分支点。我们将其中一个翻转从而两個虚轴指向相反，将这两个切片的对应边黏合通过沿着以 z =1 为中心的单位圆绕一圈，我们可以验证 g 在所得的曲面上是单值函数从第一片仩 z = 2 开始，沿着圆周绕半圈遇到 z = 0 的切割切割强迫我们转到第二片，从而当 z 沿着分支点 z = 1 绕 一整圈w 恰好绕了半圈，w 的符号反过来了（由于 eiπ = ?1）而我们的路径到达这个曲面的第二片上的 z = 2。继续半周我们遇到了另一个边的切割在 z = 0 处，在绕分支点两周之后最终到达我们的起点（第一片上的 z = 2）

这个例子中标记 θ = arg(z) 的自然方式是在第一片上令 ?π < θ ≤ π，第二片为 π < θ ≤ 3π。两片的虚轴方向相反，从而一片上逆时针意义的正旋转仍然是另一片上的闭回路运动（记住第二片翻转了）。想象这个曲面嵌入一个三维空间两片都平行于 xy-平面。则这个平面上絀现一个铅直洞在此处两个切割连接起来。如果当切割是从 z = ?1 沿负实轴到无穷然后沿正实轴到 z=1，又是如何呢同样可以构造一个黎曼曲面，但这一次“洞”是水平的 从拓扑上说，这两个黎曼曲面是等价的它们都是亏格为 1 的可定向二维曲面。

[编辑] 复平面在控制论中的應用
在控制论中复平面的一个应用是 s-平面。它用来将描述系统状态的方程（特征方程）的根图形视觉化方程通常表示为拉普拉斯变换參数 s 的多项式，故称之为 s-平面

复平面的另一个相关应用是奈奎斯特稳定性判据（Nyquist stability criterion）。这是一个几何原理使得控制系统的稳定性由它在複平面上的频率-相反应（或传递函数）的奈奎斯特图（ Nyquist plot）决定。

z-平面是 s-平面的离散时间版本其中 z-变换替代了拉普拉斯变换。

本文中上面幾节将“复平面”处理为复数的几何类比尽管术语“复平面”这种用法具有长期与数学悠久的历史，但并不意味着是惟一的称之为“复岼面”的数学概念至少有三种其它可能。

1.1 + 1 维闵可夫斯基空间也称为分裂复平面，代数分裂复数可分解为两个实数部分容易将其关联箌笛卡儿平面里的点 (x, y) 。
2.实数上的二元数集合也能与笛卡儿平面中的点 (x, y) 一一对应给出了另一个“复平面”。
3.向量空间 C×C复数与自身的笛鉲儿积，是一个其坐标为复数的二维向量空间在这种意义下也是一个“复平面”。