查看“︁复平面”︁的源代码

{{noteTA
|G1=Math
}}
[[File:Complex conjugate picture.svg|right|thumb|<math>z</math> 与其共轭 <math>\bar{z}</math> 在复平面中的几何表示。从原点到点 ''z'' 的淡蓝色直线是 ''z'' 的模长或绝对值。角 <math>\varphi</math> 是 ''z'' 的辐角]]

[[数学]]中，'''复平面'''（{{lang-en|Complex plane}}）是用水平的'''{{vanchor|实轴}}'''与垂直的'''{{vanchor|虚轴}}'''建立起来的[[複數 (數學)|複數]]的几何表示。可视为一个具有特定代数结构'''[[笛卡儿平面]]（[[实平面]]）'''，一个复数的[[實部|实部]]用沿着 x-轴的位移表示，[[虚部]]用沿着 y-轴的位移表示<ref>尽管这是术语“复平面”最通常的数学意义，但不是惟一意义。其它包括{{le|裂复数|split-complex number|分裂复平面}}与[[二元数]]，以[[商环#其它复平面|商环]]引入。</ref>。

复平面有时也叫做'''阿尔冈平面'''，因为它用于'''阿尔冈图'''中。这是以[[让-罗贝尔·阿尔冈]]（1768-1822）命名的，尽管它们最先是挪威-丹麦土地测量员和数学家[[卡斯帕尔·韦塞尔]]（1745-1818）叙述的<ref>韦塞尔研究报告1797年提交到丹麦学院；阿尔冈的论文1806年发表。（Whittaker & Watson, 1927, p. 9）</ref>。阿尔冈图经常用来标示复平面上[[函数]]的[[极点 (复分析)|极点]]与[[零点]]的位置。

复平面的想法提供了[[复数 (数学)#复数运算的几何解释|一个复数的几何解释]]。在[[加法]]下，它们像[[向量]]一样相加；两个复数的[[乘法]]在[[极坐标]]下的表示最简单——乘积的长度或模长是两个[[绝对值]]或模长的乘积，乘积的角度或[[辐角]]是两个角度或辐角的和。特别地，用一个模长为 1 的复数相乘即为一个[[旋转]]。

== 记号约定 ==

在[[复分析]]中复数通常用符号<math>z</math>表示，它可以分为实部 (<math>x</math>) 与虚部 (<math>y</math>)：

:<math>
z = x + iy\,
</math>

这里<math>x</math>与<math>y</math>是实数，<math>i</math>是[[虛數單位|虚单位]]。在这种通常记法下复数<math>z</math>对应与[[笛卡儿坐标系|笛卡儿平面]]中的点<math>(x,y)</math>。

笛卡儿平面中的点<math>(x,y)</math>在[[极坐标]]中也能表示为
:<math>
(x, y) = (r\cos\theta, r\sin\theta)\qquad\left(r = \sqrt{x^2+y^2}; \quad \theta=\arctan\frac{y}{x}\right).\,
</math>

在笛卡儿平面中可能假设[[反正切函數]]<math>\arctan</math>取值于<math>-\pi</math>到<math>\pi</math>[[弧度]]（当<math>x\leq 0</math>时，对<math>(x,y)</math>定义“真正的”反正切函数需要一点考虑<ref>詳細定義見[[复数 (数学)#从笛卡尔坐标形式到极坐标形式的转换|複數]]條目，用到的反正切函數的變種稱為[[Atan2]]。</ref>。在复平面上它们的极坐标具有如下形式（第三个等号源自[[欧拉公式]]）
:<math>
z = x + iy = |z|\left(\cos\theta + i\sin\theta\right) = |z|e^{i\theta}\,
</math>
这里
:<math>
|z| =  \sqrt{x^2+y^2}; \quad \theta = \arg(z) = -i\ln\frac{z}{|z|}.\,
</math><ref>可以直接由[[幂级数#例子|幂级数]] ''e''<sup>''z''</sup> 出发，证明（Whittaker & Watson, 1927, ''Appendix''）复指数函数、三角函数与复对数函数所有熟知的性质。特别地，log''r'' 的主值，这里 |''r''|=1，可不引用任何几何或三角构造算出来。参见[[辐角 (连分数)|此文]]。</ref>

这里<math>|z|</math>是复数<math>z</math>的绝对值或模长；<math>\theta</math>，<math>z</math>的[[辐角]]，通常取值于区间<math>0\leq \theta<2\pi</math>；最后一个等式（<math>|z|e^{i\theta}</math>）得自[[欧拉公式]]。注意<math>z</math>的辐角是多值的，因为[[指数函数#在複平面上|复指数函数]]是周期为<math>2\pi i</math>。从而，如果<math>\theta</math>是<math>\arg z</math>的一个值，其它值由<math>\arg z =\theta+2n\pi</math>给出，这里<math>n</math>是任何<math>\neq 0</math>整数<ref>(Whittaker & Watson, 1927, p. 10)</ref>。

[[曲线积分#複曲线积分|围道积分]]理论是复分析的重要组成部分。在此情形，沿着闭曲线的积分方向是要紧的——沿着相反的方向所得的积分值乘以 −1。习惯上“正方向”是逆时针方向。例如，沿着[[单位圆]]我们从点<math>z=1</math>开始，向左上移动经过<math>z=i</math>，然后向左下经过 −1，右下经过<math>-i</math>，最后向右上移动到达起点<math>z=1</math>，这就是单位圆的正方向。

几乎所有复分析专注[[复分析#复函数|复函数]]——即将复平面的一个子集映到复平面某个另外的（可能相交甚至重合）子集。这里习惯说<math>f(z)</math>的[[定义域]]位于 ''z''-平面上，并称<math>f(z)</math>的[[值域]]或像作为 ''w''-平面中的一个点集。用符号记成

:<math>
z = x + iy;\qquad f(z) = w = u + iv,\,
</math>

并经常将函数<math>f</math>视为 ''z''-平面（带有坐标<math>(x,y)</math>）到 ''w''-平面（带有坐标<math>(u,v)</math>） 的变换。

== 球极平面投影 ==
{{main|球极平面投影}}
将复平面视为一个[[球面]]的一部分是有用的。给定一个单位半径球面，使复平面穿过其正中间，这样球的中心与复平面的原点<math>z=0</math>重合，球面上的[[赤道]]与平面的[[单位圆]]重合。

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

在这个球极平面投影中只北极这一点，不能对应到复平面上任何一点。我们将其变成一一对应，添加一个理想的点——所谓的[[无穷远点]]——到复平面上，使其与球面的北极对应。复平面添加一个无穷远点这个拓扑空间，称为[[扩充复平面]]。这就是数学家在讨论复分析时为什么说单个无穷远点。在实数轴上有两个无穷远点，但扩充复平面上只有一个（北极）无穷远点<ref>(Flanigan, 1983, p. 305)</ref>。

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

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

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

=== 多值关系与分支点 ===
考虑简单的二值关系
:<math>
w = f(z) = \pm\sqrt{z} = z^{\frac{1}{2}}.\,
</math>

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

:<math>
y = g(x) = \sqrt{x}\ = x^{\frac{1}{2}}\,
</math>

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

:<math>
z = e^{i\theta}\qquad\Rightarrow\qquad w=z^{\frac{1}{2}} = e^{\frac{i\theta}{2}}\qquad(0\leq\theta\leq 2\pi).\,
</math>

显然，当<math>z</math>沿着圆周移动一圈，<math>w</math>只移动半圈。从而复平面上一个连续运动将正平方根<math>e^0=1</math>变为负平方根<math>e^{i\pi}=-1</math>。
;
问题之出现是由于在点<math>z=0</math>只有一个平方根，但其它复数<math>z\neq 0</math>都恰有两个平方根。在实数轴上我们在单点<math>x=0</math>处立一个“障碍”以避免这个问题。在复平面上需要更大的障碍，防止出现任何围绕{{le|分支点|branch point}}<math>z=0</math>的完全回路。通常做法是引入一个'''分支切割'''（{{lang|en|branch cut}}）；在这种情形可以从<math>z=0</math>起沿着正实数轴一直到无穷远点剪开，从而在切开的平面上限制为<math>0\leq \arg z <2\pi</math>。

现在我们可以给出<math>w=z^{\frac{1}{2}}</math>的一个完整描述。为此我们需要两个 ''z''-平面副本，每一个沿着实轴剪开。在一个副本上我们定义 1 的平方根为<math>e^0=1</math>，而在另一个上定义 1 的平方根为<math>e^{i\pi}=-1</math>。我们称这两个切开的整个平面为“片”。由一个连续性讨论，我们可以看出（非单值）函数<math>w=z^{\frac{1}{2}}</math>将第一片映为上半 ''w''-平面，<math>0\leq \arg w <\pi</math>，而将第二片应为下半 ''w''-平面，<math>\pi\leq \arg w <2\pi</math>)<ref name="Moretti">(Moretti, 1964, pp. 113-119)</ref>。

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

:<math>
w = g(z) = \left(z^2 - 1\right)^{\frac{1}{2}}.\,
</math>

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

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

=== 亚纯函数定义域的限制 ===

亚纯函数是在其定义域中除了有限或[[可数集合|可数无穷]]个点之外[[全纯函数|全纯]]从而[[解析函数|解析]]的复函数<ref>另见[[证明亚纯函数全纯]]。</ref>。函数不能定义的那些点称为亚纯函数的[[极点 (复分析)|极点]]。有时所有极点位于一条直线上，在这种情形说这个函数在“切开的平面上全纯”。这里是一个简单的例子。

[[Γ函数]]，其定义为

:<math>
\Gamma (z) = \frac{e^{-\gamma z}}{z} \prod_{n=1}^\infty \left[\left(1+\frac{z}{n}\right)^{-1}e^{\frac{z}{n}}\right]\,
</math>
这里<math>
\gamma
</math>是[[欧拉-马歇罗尼常数]]，当<math>
z
</math>等于零或负整数时，[[无穷乘积]]的分母恰有一个为零，故<math>
\Gamma(z)
</math>只有单极点 0, −1, −2, −3, ...<ref>可以证明无穷乘积 Γ(''z'') 在分母不为零的任何有界区域中[[一致收敛]]，从而定义了复平面上一个亚纯函数。(Whittaker & Watson, 1927, pp. 235-236)</ref>。因为所有极点在负实数轴上，从<math>z=0</math>到无穷远点，这个函数可以描述为

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

或者，<math>
\Gamma(z)
</math>也能描述为

“在切开的复平面<math>
-\pi<\arg z <\pi
</math>并除去点<math>z=0</math>上全纯。”

注意这种切割与我们能刚才遇到的分支截断稍有不同，因为这事实上在切开的复平面上除去了实轴。分支截断留下实轴作为切开复平面的一边（<math>
0\leq \theta
</math>），但与另一边（<math>
0<2\pi
</math>）完全分开。

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

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

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

:<math>
f(z) = \sum_{n=1}^\infty \left(z^2 + n\right)^{-2}.\,
</math>

因为<math>
z^2=(-z)^2
</math>对任何复数<math>
z
</math>成立，显然<math>
f(z)
</math>是一个<math>
z
</math>的[[偶函数]]，所以可以限制在半个复平面上分析。又因为当
:<math>
z^2 + n = 0 \quad \Leftrightarrow \quad z = \pm i\sqrt{n},\,
</math>

时级数没有定义，有理由沿着整个虚轴切开平面，使这个级数在实部不为零的收敛，当<math>
z
</math>是纯虚数时需做更细致的检验<ref>当 Re(''z'') &gt; 0 时，通过与 ''ζ''(2) 比较，这个和在任何有界区域上一致收敛，这里 ''ζ''(''s'') 时[[黎曼zeta函数]]。</ref>。

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

:<math>
f(z) = 1 + \cfrac{z}{1 + \cfrac{z}{1 + \cfrac{z}{1 + \cfrac{z}{\ddots}}}}.\,
</math>

可以{{le|收敛问题|convergence problem|证明}}<math>
f(z)
</math>收敛到一个有限值当且仅当<math>
z
</math>不是<math>
z<- \frac{1}{4}
</math>的负实数。换句话说，这个连分数的收敛区域是切开的复平面，这里切割沿着负实轴从<math>
-\frac{1}{4}
</math>直到无穷远点<ref>(Wall, 1948, p. 39)</ref>。

== 将切开的平面重新黏合 ==
{{Main|黎曼曲面}}

我们已经[[#多值关系与分支点|见到]]关系
:<math>
w = f(z) = \pm\sqrt{z} = z^{\frac{1}{2}},\,
</math>
怎样通过将<math>
f
</math>的定义域分割成两个不连通的片变成一个单值函数。还可以将这两片黏合在一起形成一个'''[[黎曼曲面]]'''，在它上面<math>
f(z)=z^{\frac{1}{2}}
</math>可以定义为一个全纯函数，其像是整个 ''w''-平面（除去点<math>
w=0
</math>）。具体做法如下：

考虑两个切开的复平面副本，切割沿着正实轴从<math>
z=0
</math>到无穷远点。在一片上定义<math>
0\leq \arg z<2\pi
</math>，所以由定义<math>
1^{\frac{1}{2}}=e^0=1
</math>。在第二片上定义<math>
2\pi\leq \arg z<4\pi
</math>，同样由定义有<math>
1^{\frac{1}{2}}=e^{i\pi}=-1
</math>。现在将第二片翻转，从而虚轴与第一片虚轴方向相反，实轴指向相同的方向，将两片“黏合”起来（从而第一片标为“<math>
\theta=0
</math>”的边与第二片标为“<math>
\theta<4\pi
</math>”的边相连，而第二片标为“<math>
\theta=2\pi
</math>”的边与第一片标为“<math>
\theta<2\pi
</math>” 的边相连）。得到一个黎曼曲面，<math>
f(z)=z^{\frac{1}{2}}
</math>在这个曲面上单值全纯<ref name="Moretti"/>。

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

形式微分说明
:<math>
f(z) = z^{\frac{1}{2}} \quad\Rightarrow\quad f^\prime (z) = {\textstyle \frac{1}{2}}z^{-\frac{1}{2}}\,
</math>
由此我们可说<math>
f
</math>的导数在黎曼曲面上除了<math>z=0</math>之外任何地方都存在且为有限（即<math>
f
</math>在<math>z=0</math>之外全纯）。

[[#多值关系与分支点|上面讨论]]过的函数
:<math>
w = g(z) = \left(z^2 - 1\right)^{\frac{1}{2}},\,
</math>
的黎曼曲面如何构造呢？我们同样从两个 ''z''-平面副本开始，但这一次每个沿着实轴从<math>
z=-1
</math>到<math>
z=1
</math>切开——它们是 <math>
g(z)
</math>的两个分支点。我们将其中一个翻转，从而两个虚轴指向相反，将这两个切片的对应边黏合。通过沿着以<math>
z=1
</math>为中心的单位圆绕一圈，我们可以验证<math>
g
</math>在所得的曲面上是单值函数。从第一片上<math>
z=2
</math>开始，沿着圆周绕半圈遇到<math>
z=0
</math>的切割。切割强迫我们转到第二片，从而当 <math>
z
</math>沿着分支点<math>
z=-1
</math> 绕 一整圈，<math>
w
</math>恰好绕了半圈，<math>
w
</math>的符号反过来了（由于<math>
e^{i\pi}=-1
</math>），而我们的路径到达这个曲面的第二片上的<math>
z=2
</math>。继续半周我们遇到了另一个边的切割，在<math>
z=0
</math>处，在绕分支点两周之后最终到达我们的起点（第一片上的<math>
z=2
</math>）。

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

== 其它含义 ==
本文中上面几节将“复平面”处理为复数的几何类比。尽管术语“复平面”这种用法具有长期与数学悠久的历史，但并不意味着是惟一的称之为“复平面”的数学概念。至少有三种其它可能。
# 1 + 1 维[[闵可夫斯基空间]]，也称为'''分裂复平面'''，代数[[分裂复数]]可分解为两个实数部分，容易将其关联到笛卡儿平面里的点<math>
(x,y)
</math> 。
# 实数上的[[二元数]]集合也能与笛卡儿平面中的点<math>
(x,y)
</math>一一对应，给出了另一个“复平面”。
# 向量空间 '''C'''×'''C'''，复数与自身的[[笛卡儿积]]，是一个其坐标为复数的二维向量空间，在这种意义下也是一个“复平面”。

== 另见 ==
* [[星座图 (数字通信)|星座图]]
* [[拉普拉斯变换]]
* [[黎曼球面]]
* [[黎曼曲面]]
* [[S平面]]
* [[Z-变换]]

== 注释 ==
<!--This article uses the Cite.php citation mechanism. If you would like more information on how to add references to this article, please see http://meta.wikimedia.org/wiki/Cite/Cite.php --> 
{{reflist}}

== 参考文献 ==
* Francis J. Flanigan, ''Complex Variables: Harmonic and Analytic Functions'', Dover, 1983 ISBN 0-486-61388-7.
* Gino Moretti, ''Functions of a Complex Variable'', Prentice-Hall, Inc., 1964.
* H. S. Wall, ''Analytic Theory of Continued Fractions'', D. Van Nostrand Company, Inc., 1948; reprinted (1973) by Chelsea Publishing Company ISBN 0-8284-0207-8.
* [[E. T. Whittaker]] and [[G. N. Watson]], ''A Course in Modern Analysis'', fourth edition, Cambridge University Press, 1927.

== 外部链接 ==
{{Commonscat|Complex plane|复平面}}
* {{MathWorld|urlname=ArgandDiagram|title=Argand Diagram}}

{{複數}}
[[Category:复分析|F]]
[[Category:复数|F]]
[[Category:控制论|F]]