复变量函数的微积分,一.docVIP

PAGE PAGE 12 §3.7 复变量函数的微积分 一、复数域的建立 回忆导数、积分的定义，我们假设了函数，即实变量 的实值函数. 现在转而讨论复变量的复值函数的微积分. 1、 基本知识 —— 数系 自然数集 非负整数集 整数集 有理数集 实数集 实数的定义方式有三种： ① 无限不循环小数 —— 中学的定义方式； ② 有理数序列的极限 —— ，，； ③ Dedekind分割 —— ； 复数集 . （１） 复数系的建立、复数的表示法 数系的建立原则： ① 符合集合的包含关系 ； ② 符合数的运算规则 加法（减法）、乘法（除法）等； 将这些数集统记为，其中的元素（数）用、、、、、、、 表示， 归纳其运算，应满足如下规律 “加法” —— 封闭性 ； 结合律 ； 存在单位元 ； 存在逆元 ，使得 ； 交换律 ； 我们称满足上述运算规则的集合为关于加法一个“交换群”. 不难验证，关于加法都构成交换群. 减法作为加法的逆运算. “群的加法”理解成广义的，例如，数的乘法、矩阵的加法等等. 这样理解，使得数学成为更具有 概括性、抽象性. 我们看实数集中的乘法，不难验证，实数集中的乘法，使得构成一个交换群，关于封闭 性、结合律、交换律都不难验证；乘法的单位元是数、的逆元是 . 对于集合，若其中的元之间可定义加法与乘法运算，使得关于加法、关于乘法 分别构成交换群，并且加、乘运算满足分配律 ， 则称在加法与乘法运算之下构成一个“域”； 有理数集合在数的加法、乘法之下构成一个域，成为有理数域，它是最小的数域； 实数集合在数的加法、乘法之下构成一个域，称为实数域. 现在我们要再扩大实数域，得到“复数域”，目的是使得方程在新数域中有解. 引进一个记号 ，它不是实数. 记，，并称为复数. 复数直角坐标表示：复数与平面坐标为的点对应，. 于是，复数集与平面点集之间建立了一一对应关系. ：复平面 复数向量表示：复数点，于是，向量视为复数的向量 表示. 复数的模：向量的长度称为复数的模，记为. 复数的幅角：对复数，实轴正向与向量的夹角称为的辐角，记为. 称为幅角的主值，约定 ， ， . 复数的三角表示：复数，记 ， 则得到复数的三角表示式（也称极坐标表示） . 复数的共轭 称为复数的共轭复数. 则 ① 与互为共轭复数，且在复平面上关于实轴是对称的； ② ，. （2） 复数的运算 对于两个复数、，我们定义 ① 加法：； 负元：的负元定义为 ； 减法 ； ② 乘法：. 逆元：的逆元定义为 ，. 除法 ， . 以上定义的复数的四则运算满足我们给出的运算规则，如 交换律、结合律、分配律 等. ③ 复数乘法、除法的三角表示： 设、 乘法 ，； 这个公式的证明： ； 除法 ， ， . ④ 幂（包括乘方） 乘方（非负整数幂） 若为任意非负整数，则 ； （*） 负整数幂 若为任意负整数，且，则定义 ； 这时，令，则公式成为 ， 因此，在定义之下，公式（*）对于负幂次仍成立. 开方（分数幂，分子为1） 若 为任意正整数，定义为满足 的复数，则 ， ； （**） 注意 —— （1） 是实数（亦即复数的模）的开方，它定义为一个实数 ， 满足，若，则，显然，实数是唯一确定的， 称为的算术根（也称为的算术根），当就是非负实数时，由公式（**）中得到： . （2） 公式（**）的推导 —— 由定义，定义为满足的复数，设 （**）’ 得 ， 于是， ， 比较其模与幅角，得到 、、 于是， 、， 代入（**）’得 ， . 可以看到，在复数域中，一个复数开次方时，有个根，这个根均匀地分布在复平面上的、半径为 的圆周上，如图所示. 例1 求 解 设，于是 ， . 事实上，我们有4个根 、 、 、 . 有理数幂（分数幂） 对于正有理数 ，，则定义 ， 因而有 ， . （***） 2、 复平面的拓扑结构 —— 为了研究复平面的微积分，我们给出的拓扑结构，这要从中的一些集合开始. 开圆 ， ； 闭圆 ， ； 圆周 ， ； 点的邻域 ，