复平面

数学中，复平面（）是用水平的'与垂直的'建立起来的复数的几何表示。可视为一个具有特定代数结构笛卡儿平面（实平面），一个复数的实部用沿着 x-轴的位移表示，虚部用沿着 y-轴的位移表示。
复平面有时也叫做阿尔冈平面，因为它用于阿尔冈图中。这是以让-罗贝尔·阿尔冈（1768-1822）命名的，尽管它们最先是挪威-丹麦土地测量员和数学家卡斯帕尔·韦塞尔（1745-1818）叙述的。阿尔冈图经常用来标示复平面上函数的极点与零点的位置。
复平面的想法提供了一个复数的几何解释。在加法下，它们像向量一样相加；两个复数的乘法在极坐标下的表示最简单——乘积的长度或模长是两个绝对值或模长的乘积，乘积的角度或辐角是两个角度或辐角的和。特别地，用一个模长为 1 的复数相乘即为一个旋转。
记号约定.
在复分析中复数通常用符号formula_1表示，它可以分为实部 (formula_2) 与虚部 (formula_3)：
这里formula_2与formula_3是实数，formula_7是虚单位。在这种通常记法下复数formula_1对应与笛卡儿平面中的点formula_9。
笛卡儿平面中的点formula_9在极坐标中也能表示为
在笛卡儿平面中可能假设反正切函数formula_12取值于formula_13到formula_14弧度（当formula_15时，对formula_9定义“真正的”反正切函数需要一点考虑。在复平面上它们的极坐标具有如下形式（第三个等号源自欧拉公式）
这里
这里formula_19是复数formula_1的绝对值或模长；formula_21，formula_1的辐角，通常取值于区间formula_23；最后一个等式（formula_24）得自欧拉公式。注意formula_1的辐角是多值的，因为复指数函数是周期为formula_26。从而，如果formula_21是formula_28的一个值，其它值由formula_29给出，这里formula_30是任何formula_31整数。
围道积分理论是复分析的重要组成部分。在此情形，沿着闭曲线的积分方向是要紧的——沿着相反的方向所得的积分值乘以 −1。习惯上“正方向”是逆时针方向。例如，沿着单位圆我们从点formula_32开始，向左上移动经过formula_33，然后向左下经过 −1，右下经过formula_34，最后向右上移动到达起点formula_32，这就是单位圆的正方向。
几乎所有复分析专注复函数——即将复平面的一个子集映到复平面某个另外的（可能相交甚至重合）子集。这里习惯说formula_36的定义域位于 "z"-平面上，并称formula_36的值域或像作为 "w"-平面中的一个点集。用符号记成
并经常将函数formula_39视为 "z"-平面（带有坐标formula_9）到 "w"-平面（带有坐标formula_41） 的变换。
球极平面投影.
将复平面视为一个球面的一部分是有用的。给定一个单位半径球面，使复平面穿过其正中间，这样球的中心与复平面的原点formula_42重合，球面上的赤道与平面的单位圆重合。
我们可以将球面上的点与复平面建立如下一一对应。给定平面上一点，连接这一点与球面的北极之直线与球面恰好交于另一点。点formula_42将投影到球面的南极。因为单位圆周的内部在球面内，整个区域（formula_44）将映到南半球。单位圆周自己（formula_45）映到赤道，而单位圆周的外部（formula_46）将映到北半球。显然这个过程是可逆的——给定任何球面上的不为北极的点，我们连接这一点与北极，与平面恰好交与一点。
在这个球极平面投影中只北极这一点，不能对应到复平面上任何一点。我们将其变成一一对应，添加一个理想的点——所谓的无穷远点——到复平面上，使其与球面的北极对应。复平面添加一个无穷远点这个拓扑空间，称为扩充复平面。这就是数学家在讨论复分析时为什么说单个无穷远点。在实数轴上有两个无穷远点，但扩充复平面上只有一个（北极）无穷远点。
想象一下球面上的经线和纬线投影到平面上会变成什么。平行于赤道的所有纬线，它们将变为以原点formula_42为圆心的圆周；而经线将变为经过原点的直线（从而也经过无穷远点，因为它们在球面上同时经过北极和南极）。
这不是从球面到平面惟一的球极平面投影。例如，球面的南极点可能置于平面的原点formula_42之上，球面于平面在这一点相切。细节事实上并不重要，任何球面到平面的球极投影都将产生一个无穷远点，球面上的纬线与经线将分别映成平面上的圆周与直线。
切割复平面.
当讨论一个复变函数时，想象“切割”复平面经常会有方便之处。这种想法自然出现于多种不同情境。
多值关系与分支点.
考虑简单的二值关系
在我们可将这个关系处理为单值函数之前，所得值域必须做些限制。在处理实数的平方根时这是容易做到的。例如，我们可定义
为非负实数formula_3使得formula_52。这个想法在二维复平面不再如此有效。为了看出为什么，考虑点formula_1沿着单位圆周移动formula_36值的变化方式。我们有
显然，当formula_1沿着圆周移动一圈，formula_57只移动半圈。从而复平面上一个连续运动将正平方根formula_58变为负平方根formula_59。
问题之出现是由于在点formula_42只有一个平方根，但其它复数formula_61都恰有两个平方根。在实数轴上我们在单点formula_62处立一个“障碍”以避免这个问题。在复平面上需要更大的障碍，防止出现任何围绕formula_42的完全回路。通常做法是引入一个分支切割（）；在这种情形可以从formula_42起沿着正实数轴一直到无穷远点剪开，从而在切开的平面上限制为formula_65。
现在我们可以给出formula_66的一个完整描述。为此我们需要两个 "z"-平面副本，每一个沿着实轴剪开。在一个副本上我们定义 1 的平方根为formula_58，而在另一个上定义 1 的平方根为formula_59。我们称这两个切开的整个平面为“片”。由一个连续性讨论，我们可以看出（非单值）函数formula_66将第一片映为上半 "w"-平面，formula_70，而将第二片应为下半 "w"-平面，formula_71)。
这个例子中的分支切割不必非要沿着实轴，甚至不必是直线。任何连接原点formula_42与无穷远点的连续曲线都行。在某些情形，分支切割甚至不必经过无穷原点。例如，考虑关系
这里多项式formula_74在formula_75为零，所以formula_76显然由两个分支点。我们可沿着实轴从 −1 到 1 切开平面，formula_77在所得的片上是单值函数。或者，从formula_32沿着正实轴经过无穷远点，然后沿着负实轴到达另一分支点formula_79切开。
这种情况使用如上所述的球极平面投影最容易看清。在球面上一种切割是沿着连接赤道上两点formula_79与formula_32穿过南半球并经过南极点的经线；第二种切割是经过北半球，连接同样两个赤道点并经过北极（即无穷远点）的经线。
亚纯函数定义域的限制.
亚纯函数是在其定义域中除了有限或可数无穷个点之外全纯从而解析的复函数。函数不能定义的那些点称为亚纯函数的极点。有时所有极点位于一条直线上，在这种情形说这个函数在“切开的平面上全纯”。这里是一个简单的例子。
Γ函数，其定义为
这里formula_83是欧拉-马歇罗尼常数，当formula_84等于零或负整数时，无穷乘积的分母恰有一个为零，故formula_85只有单极点 0, −1, −2, −3, ...。因为所有极点在负实数轴上，从formula_42到无穷远点，这个函数可以描述为
“在切开的复平面上全纯，切割是沿着负实轴从 0（包含）到无穷远点。”
或者，formula_85也能描述为
“在切开的复平面formula_88并除去点formula_42上全纯。”
注意这种切割与我们能刚才遇到的分支截断稍有不同，因为这事实上在切开的复平面上除去了实轴。分支截断留下实轴作为切开复平面的一边（formula_90），但与另一边（formula_91）完全分开。
当然，为了构造formula_85一个全纯区域事实上不必完全将从formula_42到formula_94的整个线段除去。我们只需将平面在可数无穷个点 {0, −1, −2, −3, ...} 处穿孔。但这个穿孔平面上的闭回路可能围绕一个或多个formula_85的极点，由留数定理得到的围道积分不必为零。通过切开复平面我们不仅确保formula_85在这些限制的区域上全纯，而且也确保 formula_97在切开的复平面的任何闭曲线上围道积分恒等于零。而这在一些数学论证中可能非常重要。
收敛区域的分类.
许多复函数是用无穷级数或连分数定义的。分析这些无穷长表达式的一个基本考虑是确定它们收敛为一个有限值的复平面区域。平面上一个切割可能对这个过程有帮助，如下例所示。
考虑由无穷级数定义的函数
因为formula_99对任何复数formula_84成立，显然formula_101是一个formula_84的偶函数，所以可以限制在半个复平面上分析。又因为当
时级数没有定义，有理由沿着整个虚轴切开平面，使这个级数在实部不为零的收敛，当formula_84是纯虚数时需做更细致的检验。
这个例子中切割不过是方便之举，因为无穷和无定义的点是离散的，且切开的平面可被一个合适的穿孔平面替代。在某些情形，切割是必须的，不止是为了方便。考虑无穷周期连分数
可以formula_101收敛到一个有限值当且仅当formula_84不是formula_108的负实数。换句话说，这个连分数的收敛区域是切开的复平面，这里切割沿着负实轴从formula_109直到无穷远点。
将切开的平面重新黏合.
我们已经见到关系
怎样通过将formula_111的定义域分割成两个不连通的片变成一个单值函数。还可以将这两片黏合在一起形成一个黎曼曲面，在它上面formula_112可以定义为一个全纯函数，其像是整个 "w"-平面（除去点formula_113）。具体做法如下：
考虑两个切开的复平面副本，切割沿着正实轴从formula_114到无穷远点。在一片上定义formula_115，所以由定义formula_116。在第二片上定义formula_117，同样由定义有formula_118。现在将第二片翻转，从而虚轴与第一片虚轴方向相反，实轴指向相同的方向，将两片“黏合”起来（从而第一片标为“formula_119”的边与第二片标为“formula_120”的边相连，而第二片标为“formula_121”的边与第一片标为“formula_122” 的边相连）。得到一个黎曼曲面，formula_112在这个曲面上单值全纯。
为了理解为什么formula_111在这个区域上是单值，想象沿着单位圆绕一圈，从第一片上的formula_125 开始。当formula_126是我们仍然在第一片上；当formula_121我们转移到第二片，沿着分支点 formula_42在第二片上再绕一圈回到我们的起点，由我们的黏合方式，这里formula_129等价于formula_119。换句话说，当变量formula_84沿着分支点绕两周，formula_84在 "w"-片面的像只绕一周。
形式微分说明
由此我们可说formula_111的导数在黎曼曲面上除了formula_42之外任何地方都存在且为有限（即formula_111在formula_42之外全纯）。
上面讨论过的函数
的黎曼曲面如何构造呢？我们同样从两个 "z"-平面副本开始，但这一次每个沿着实轴从formula_139到formula_125切开——它们是 formula_141的两个分支点。我们将其中一个翻转，从而两个虚轴指向相反，将这两个切片的对应边黏合。通过沿着以formula_125为中心的单位圆绕一圈，我们可以验证formula_143在所得的曲面上是单值函数。从第一片上formula_144开始，沿着圆周绕半圈遇到formula_114的切割。切割强迫我们转到第二片，从而当 formula_84沿着分支点formula_139 绕 一整圈，formula_148恰好绕了半圈，formula_148的符号反过来了（由于formula_150），而我们的路径到达这个曲面的第二片上的formula_144。继续半周我们遇到了另一个边的切割，在formula_114处，在绕分支点两周之后最终到达我们的起点（第一片上的formula_144）。
这个例子中标记formula_154的自然方式是在第一片上令formula_155，第二片为formula_156。两片的虚轴方向相反，从而一片上逆时针意义的正旋转仍然是另一片上的闭回路运动（记住第二片翻转了）。想象这个曲面嵌入一个三维空间，两片都平行于 "xy"-平面。则这个平面上出现一个铅直洞，在此处两个切割连接起来。如果当切割是从 formula_139沿负实轴到无穷，然后沿正实轴到formula_125，又是如何呢？同样可以构造一个黎曼曲面，但这一次“洞”是水平的。 从拓扑上说，这两个黎曼曲面是等价的，它们都是亏格为 1 的可定向二维曲面。
其它含义.
本文中上面几节将“复平面”处理为复数的几何类比。尽管术语“复平面”这种用法具有长期与数学悠久的历史，但并不意味着是惟一的称之为“复平面”的数学概念。至少有三种其它可能。