附录A 三翻四复外文参考文献.docVIP

附录A 外文参考文献（译文） 复 数 系 §1 实数 我们用表示所有实数组成的集。作者假定读者熟悉实数系及其性质，特别地，假定读者具备下面的知识：的序，上确界和下确界的定义和性质，以及的完备性（中的每一个有上界的集必有上确界）。我们也假定读者熟知的序列的收敛性与无穷级数。最后，一个人只有在单变量是函数方面有了坚实的基础之后，才可以着手学习复变函数。虽然在学习解析函数理论之前，传统上是先学习多变数实函数。但是对于本书来说，本质上这不是必要的条件，因为本书中任何地方都不需要这个领域里深入的结果。 §2 复数域 我们把复数集定义为所有有序对的集，其中,是实数。加法和乘法由下式定义：， 。 容易验证，这样定义后，满足域（field）的所有公理。这就是说，满足加法和乘法的结合律、交换律、分配律；和分别是加法和乘法的单位元素，并且内的每一个非零元素有加法和乘法的逆元素。 对于复数，我们将写为。这个映照→定义了一个到的域同构，所以我们可以把考虑为的一个子集。如果令，那么。从现在起，我们对复数就不在使用有序数对的记号了。 注意到，所以方程在内有根。事实上，对于内的每个，。更一般地，如果和是复数，我们得到。令和是实数和(和都不为0)，我们得到 这样我们就有了一个复数的倒数的公式。 当我们写时，我们称，为的实部和虚部，并且用，表示。 作为本节的结尾，我们在内引进两个运算。这两个运算不是域的运算。如果，那么我们定义为的绝对值，为的共轭数。注意： 2.1 特别地，如果，那么 下面是绝对值和共轭数的基本性质，其证明留给读者。 2.2 ， 。 2.3 ， 2.4 2.5 2.6 读者在证明后面三个式子时，应当尽量避免将和展开为它们的实部和虚部，而最好利用（2.1），（2.2）和（2.3）。 习题 求下列各复数的实部和虚部： 求下列个复数的绝对值和共轭数： 证明：当且仅当时，才是实数。 若和是复数，证明下列等式： 设是的有理函数，如果的所有系数是实数，则 §3. 复平面 从复数的定义易见，中的每一点都可以和平面上唯一确定的点相等同。复数的加法恰好就是向量空间的加法。如果和是中的点，那么从和到画两条直线，这两条直线形成了以0、、为三个顶点的平行四边形的两条边，平行四边形的第四个顶点就是。 注意，恰好是和之间的距离，理会到这一点，上节习题4中的最后一个等式说的就是平行四边形法则：平行四边形各边长的平方和等于其对角线的平方和。 距离函数的基本性质是它满足三角形不等式（见下一章）。在这种情况下，对复数，这个不等式变为 利用，容易看出，我们只需证明： 3.1 ， 为了证明这个不等式，首先看出，对于中的任意， 3.2 因此，。于是 ， 由此推出（3.1）。（这个式子称为三角不等式，因为如果我们把和表示在平面上，（3.1）式表明，三角形[0, ,]的一边的长度小于另外两边的长度之和。或者说两点间的最短距离是直线）。在遇到一个不等式时，人们总应当问一问等号成立的必要充分条件是什么，考察一个三角形并考虑到（3.1）的几何意义，我们就引出条件，对某一。（或者如果，则）。显然，当这两点和原点共线时，等号成立。事实上，如果我们看一下（3.1）式的证明，便知道成立的必要充分条件是。这等价于（即是非复数）。如果，两边乘以，我们得到，令 那么，。 由归纳法，我们也有 3.3 不等式 3.4 也是有用的。 既然我们给出了绝对值的几何意义，让我们再来看一看，平面上一点的共轭复数是什么。这是容易的，事实上，是关于轴（即实轴）的对称点。 习题 证明（3.4）并给出等号成立的必要充分条件。 证明：（3.3）中的等号成立，当且仅当，对任意整数和，，只要，就有。 §4 复数的极坐标表示与复数的方根 考虑复平面的点。这个点有极坐标。显然，是正实轴与从0到的直线段的夹角。注意，在上述等式中的可以代之以加上的任意整数倍，角称为的幅角，记为。由于的不确定性，“”不是一个函数。我们引进记号 4.1 设，那么 由正弦和余弦的和角公式，我们得到 4.2 换句话说（什么实函数把乘积变成和？）。由归纳法，对于，我们有 4.3 特别地，对于每个整数，有 4.4 进而若，则；所以如果，那么对于一切整数，正的、负的、或0，（4.4）也成立。作为（4.4）的一个特别情形，我们得到de Moivre公式： 现在我们可以来考虑下面的问题了。对于给定的一个复数，和一个整数，你能否找到满足的数？这样的你能找到多少个？由于（4.4）式，解答这个问题是容易的。设；由（4.4），就满足要求。但是这个解不是唯一解，因为也满足。事实