第一章 复数

第一节 复数的定义与四则运算

复数的定义

形如

的数称为复数,其中 为虚数单位,规定

称为 的实部,记作 ; 称为 的虚部,记作 。

  • 当 时, 为实数;当 且 时, 称为纯虚数;
  • 两个复数相等当且仅当实部与虚部分别相等:

全体复数组成的集合记作

称为复数集。实数集 是 的子集,即 。

复数的四则运算

设 ,。

加法与减法:

乘法(按多项式展开并用 ):

除法(,分子分母同乘分母的共轭):

其中 为 的共轭复数,满足

例:设 ,,则

复数集是一个数域

数域:设 是含 的数集,若 中任意两个数的和、差、积、商(除数不为零)仍属于 ,则称 为一个数域。

复数集 在加法与乘法下满足:

  • 加法与乘法分别满足交换律与结合律,且乘法对加法满足分配律;
  • 存在加法单位元 与乘法单位元 ;
  • 任意 有加法逆元 ,任意 有乘法逆元
  • 加、减、乘、除(除数非零)运算在 内封闭。

因此 是一个数域,并且是包含 与 的最小数域。、 也都是数域,而整数集 不是数域(如 )。

[!note] 与实数的区别 复数不能比较大小, 上不存在与运算相容的全序关系;复数的大小通常用模 来度量。

第二节 复数的几何表示

复平面与向量表示

在平面直角坐标系中,用横轴表示实部、纵轴表示虚部,则每个复数 与点 一一对应,也与从原点出发的向量 一一对应。这样建立的平面称为复平面(或 平面),横轴称为实轴,纵轴称为虚轴。

complex_plane.png 图 1 复数 的几何表示

模与辐角

复数 到原点的距离称为模:

非零复数对应向量与正实轴正向的夹角 称为 的辐角,记作 。由于夹角可相差 的整数倍,辐角是多值的:

其中落在 内的那一个称为辐角主值,记作 。 的辐角无意义。

由 并结合点所在象限,可得主值的计算公式:

模与辐角满足 ,(集合意义下)。

三角形式

由 ,非零复数可写成

称为复数的三角形式,其中 ,。

三角形式下的乘法与除法

设 ,,由和角公式得

即:积的模等于模的积,积的辐角等于辐角的和。几何上,乘法相当于把 对应的向量先伸缩 倍,再逆时针旋转 。

complex_mult.png 图 2 三角形式乘法的几何意义:模相乘、辐角相加

棣莫弗公式

在乘法公式中取 ,用数学归纳法可得棣莫弗(de Moivre)公式:

由除法公式可进一步得到 为负整数时公式仍成立。

例:取 ,左边展开为

与右边 比较实部与虚部,即得三倍角公式

指数形式与欧拉公式

由欧拉公式

非零复数可写成更简洁的指数形式

欧拉公式的简易证明:将 按泰勒级数展开(此处不讨论级数的敛散性),并利用 的幂的周期性 :

其中两个括号分别是 与 的泰勒展开。

在指数形式下,乘法、除法与棣莫弗公式可统一写成

复数的开方

设 ,求 使 。由 得

即

由于 每增加 对应同一个 ,只需取 ,得到 个不同的 次方根:

几何意义: 的 个 次方根均匀分布在以原点为中心、半径为 的圆周上,构成一个内接正 边形的 个顶点。

roots_of_unity.png 图 3 三次单位根 (),满足

例:三次单位根为

且有 。

共轭复数

设 ,称 为 的共轭复数。几何上, 与 关于实轴对称。

共轭运算的基本性质:

用三角形式或指数形式表示,共轭就是辐角取相反数:

球极投影与扩充复平面

在复数集 中引入一个无穷远点 ,得到扩充复平面 。

为给 一个直观的几何模型,取单位球面 ,令其北极 、南极 ,并把 的赤道平面看作复平面。任取复平面上一点 ,连接 与 的直线与球面交于异于 的唯一一点 ,于是

构成一一对应,称为球极投影。当 沿任意方向趋于无穷远时, 都趋于 ,因此自然地把 对应到 。

riemann_sphere.png 图 4 球极投影:复平面与黎曼球面()

这个球面称为黎曼球面。在球极投影下,扩充复平面与球面在拓扑上等价,无穷远点不再是一个特殊的例外。

第三节 平面点集与平面曲线

邻域与距离

中两点 的距离为 。以 为中心、 为半径的邻域与去心邻域分别为

点与点集的关系

设 ,。关于 :

  • 内点:若存在 使 ,则 是 的内点; 的全体内点记作 。
  • 外点:若存在 使 ,则 是 的外点。
  • 边界点:若对任意 , 中既含 的点又含非 的点,则 是 的边界点;全体边界点记作 。
  • 聚点:若对任意 都有 ,则 是 的聚点;全体聚点称为 的导集,记作 。
  • 孤立点:若 且存在 使 ,则 是 的孤立点。孤立点必属于 ,是边界点但不是聚点。

闭包 ,且 。

开集、闭集与区域

  • 开集: 中每一点都是内点,即 ;
  • 闭集: 包含其全部聚点,即 ;等价地 为开集,或 ;
  • 区域(开域):连通的开集,其中连通指 中任意两点可用完全含于 内的折线连接;
  • 闭域:区域连同其边界,即 ;
  • 有界集:存在 使 。

例:

  • 是区域、有界开集,其边界 为单位圆周;
  • 是闭域、有界闭集;
  • 是上半平面,为无界区域;
  • 环形域 是区域,且为多连通区域。

平面曲线

连续曲线:设

其中 是 上的连续函数,则点集 称为连续曲线, 与 称为曲线的端点。

简单曲线(若尔当曲线):若连续曲线 满足:当 (端点除外)时 ,即曲线自身不相交,则称其为简单曲线;若进一步有 ,则称为简单闭曲线。

光滑曲线:若 在 上有连续导数,且

则称 为光滑曲线。此时曲线上每一点都有切线,且切线方向随参数连续变化;向量 即为该点处的切向量, 为切线方向。

逐段光滑曲线:由有限条光滑曲线首尾相接而成的曲线称为逐段光滑曲线(分段光滑曲线),在连接点处允许出现角点。复变函数的积分与留数所讨论的曲线通常都要求逐段光滑。

[!note] 若尔当定理 任一简单闭曲线 把复平面分成两个区域:有界的内部与无界的外部, 是它们的公共边界。

jordan_curve.png 图 5 简单闭曲线 的内部与外部(箭头为逆时针正方向)

曲线与区域在复平面上的方程

利用 , 以及 ,可把直角坐标下的方程改写成复数形式。

1. 直线(一般式): 化为

推导:代入 、,得 ,即 。

例:直线 的复数形式为 ,即

2. 圆:以 为圆心、 为半径的圆可表示为

3. 直线的参数方程: 对应

其中 是直线上已知点, 是方向向量对应的复数。

4. 圆的参数方程: 对应

5. 其他常用曲线与区域:

  • 线段 :,;
  • 以 为起点、方向为 的射线:,;
  • 椭圆:,;
  • 上半平面:;右半平面:。

各方程的对应关系汇总如下:

图形直角坐标方程复数方程
直线,
圆
直线(参数式),
圆(参数式)

第四节 复变函数

复变函数的定义

设 。若对每个 ,按一定法则 都有确定的复数 与之对应,则称 是定义在 上的复变函数,记作

称为 的定义域。若每个 只对应一个 ,称 为单值函数;若对应多个 ,则称为多值函数(如 、)。以下如无特别说明均指单值函数。

像集与原像集

设 ,,。

  • 像集: 在 下的像为

特别地 称为 的值域。

  • 原像集: 的原像为

单射、满射与反函数:

  • 若 ,则称 为单射(一一映射);
  • 若 ,则称 为满射;
  • 既单射又满射的映射称为双射,此时存在反函数 。

例:设 。

  • 单位圆周 的像为 ,单位圆盘 的像为 ;
  • 对 ,由 得原像

即实轴与虚轴的并集。

分量表示

设 ,,则

其中

是两个二元实值函数。于是一个复变函数等价于一对二元实函数 ,可写成实映射的形式

反之,任意给定一对二元实函数 ,就确定了一个复变函数 。

例:对 ,由

得

几何意义: 把 平面上的点、曲线或区域按法则 变换到 平面上。 平面称为原像平面, 平面称为像平面。

几种常见的复变函数变换

1. 平移:,把每一点沿向量 平移。

2. 旋转与伸缩:。设 ,则 ,,即把图形伸缩 倍并旋转 。

3. 倒置换(反演):。其分量表示为

即

性质:

  • 把单位圆周 映为自身,并把单位圆内部 与外部 互换;
  • 具有保圆性:把圆周或直线映为圆周或直线;特别地,过原点的直线映为过原点的直线,不过原点的直线映为过原点的圆;
  • 表示关于单位圆的对称(反演),与 相差一个共轭。

4. 茹科夫斯基函数(Joukowski 函数):

取 ,则

性质:

  • 把圆周 映为椭圆,其半轴分别为 与 ;
  • 由于 与 给出同一像,圆周 与 映为同一个椭圆;
  • 当 时椭圆退化为实轴上的线段 ,且被往返覆盖两次;
  • 把 的外部单叶地映为 平面去掉线段 的区域;
  • 在空气动力学中,用它把接近圆的轮廓映为机翼截面(茹科夫斯基翼型),是共形映射的经典例子。

joukowski.png 图 6 茹科夫斯基函数:圆周 映为椭圆, 映为线段