复数，数的概念扩展

历史

最早有关复数方根的文献出于公元1世纪希腊数学家海伦，他考虑的是平顶金字塔不可能问题。

16世纪意大利米兰学者卡尔达诺（Jerome Cardan，1501—1576）在1545年发表的《重要的艺术》一书中，公布了一元三次方程的一般解法，被后人称之为“卡当公式”。他是第一个把负数的平方根写到公式中的数学家，并且在讨论是否可能把10分成两部分，使它们的乘积等于40时，他把答案写成，尽管他认为和这两个表示式是没有意义的、想象的、虚无飘渺的，但他还是把10分成了两部分，并使它们的乘积等于40。给出“虚数”这一名称的是法国数学家笛卡尔（1596—1650），他在《几何学》（1637年发表）中使“虚的数”与“实的数”相对应，从此，虚数才流传开来。

数系中发现一颗新星——虚数，于是引起了数学界的一片困惑，很多大数学家都不承认虚数。德国数学家莱布尼茨（1646—1716）在1702年说：“虚数是神灵遁迹的精微而奇异的隐避所，它大概是存在和虚妄两界中的两栖物”。然而，真理性的东西一定可以经得住时间和空间的考验，最终占有自己的一席之地。法国数学家达朗贝尔（1717—1783）在1747年指出，如果按照多项式的四则运算规则对虚数进行运算，那么它的结果总是a+bi的形式（a、b都是实数）。法国数学家棣莫弗（1667—1754）在1722年发现了著名的棣莫佛定理。欧拉在1748年发现了有名的关系式，并且是他在《微分公式》（1777年）一文中第一次用i来表示-1的平方根，首创了用符号i作为虚数的单位。“虚数”实际上不是想象出来的，而它是确实存在的。挪威的测量学家韦塞尔（1745—1818）在1797年试图给于这种虚数以直观的几何解释，并首先发表其作法，然而没有得到学术界的重视。

十八世纪末，复数渐渐被大多数人接受，当时卡斯帕尔·韦塞尔提出复数可看作平面上的一点。数年后，高斯再提出此观点并大力推广，复数的研究开始高速发展。诧异的是，早于1685年约翰·沃利斯已经在De Algebra tractatus提出此一观点。

卡斯帕尔·韦塞尔的文章发表在1799年的《Proceedings of the Copenhagen Academy》上，以当今标准来看，也是相当清楚和完备。他又考虑球体，得出四元数并以此提出完备的球面三角学理论。1804年，Abbé Buée亦独立地提出与沃利斯相似的观点，即以来表示平面上与实轴垂直的单位线段。1806年，Buée的文章正式刊出，同年让-罗贝尔·阿尔冈亦发表同类文章，而阿冈的复平面成了标准。1831年高斯认为复数不够普及，次年他发表了一篇备忘录，奠定复数在数学的地位。柯西及阿贝尔的努力，扫除了复数使用的最后顾忌，后者更是首位以复数研究著名的。

复数吸引了著名数学家的注意，包括库默尔（1844年）、克罗内克（1845年）、Scheffler（1845年、1851年、1880年）、Bellavitis（1835年、1852年）、乔治·皮库克（1845年）及德·摩根（1849年）。莫比乌斯发表了大量有关复数几何的短文，约翰·彼得·狄利克雷将很多实数概念，例如素数，推广至复数。

德国数学家阿甘得（1777—1855）在1806年公布了复数的图象表示法，即所有实数能用一条数轴表示，同样，复数也能用一个平面上的点来表示。在直角坐标系中，横轴上取对应实数a的点A，纵轴上取对应实数b的点B，并过这两点引平行于坐标轴的直线，它们的交点C就表示复数。象这样，由各点都对应复数的平面叫做“复平面”，后来又称“阿甘得平面”。高斯在1831年，用实数组 代表复数，并建立了复数的某些运算，使得复数的某些运算也象实数一样地“代数化”。他又在1832年第一次提出了“复数”这个名词，还将表示平面上同一点的两种不同方法——直角坐标法和极坐标法加以综合。统一于表示同一复数的代数式和三角式两种形式中，并把数轴上的点与实数一一对应，扩展为平面上的点与复数一一对应。高斯不仅把复数看作平面上的点，而且还看作是一种向量，并利用复数与向量之间一一对应的关系，阐述了复数的几何加法与乘法。至此，复数理论才比较完整和系统地建立起来了。

经过许多数学家长期不懈的努力，深刻探讨并发展了复数理论，才使得在数学领域游荡了200年的幽灵——虚数揭去了神秘的面纱，显现出它的本来面目，原来虚数不“虚”。虚数成为了数系大家庭中一员，从而实数集才扩充到了复数集。

随着科学和技术的进步，复数理论已越来越显出它的重要性，它不但对于数学本身的发展有着极其重要的意义，而且为证明机翼上升力的基本定理起到了重要作用，并在解决堤坝渗水的问题中显示了它的威力，也为建立巨大水电站提供了重要的理论依据。

主要内容

定义

数集拓展到实数范围内，仍有些运算无法进行，（比如对负数开偶数次方），为了使方程有解，我们将数集再次扩充。

在实数域上定义二元有序对，并规定有序对之间有运算+,x (记)：

容易验证，这样定义的有序对全体在有序对的加法和乘法下成一个域，并且对任何复数z，我们有

令f是从实数域到复数域的映射，，则这个映射保持了实数域上的加法和乘法，因此实数域可以嵌入复数域中，可以视为复数域的子域。

记(0,1)=i,则根据我们定义的运算，，这就只通过实数解决了虚数单位i的存在问题。

形如 的数称为复数（complex number)，其中规定i为虚数单位，且我们将复数 中的实数a称为复数z的实部（real part）记作

实数b称为复数z的虚部（imaginary part）记作 .

当且时，，我们就将其称为纯虚数。

复数的集合用C表示，实数的集合用R表示，显然，R是C的真子集。

复数集是无序集，不能建立大小顺序。

复数的模

将复数的实部与虚部的平方和的正的平方根的值称为该复数的模，记作∣z∣.

即对于复数它的模

共轭复数

释义

对于复数，称复数为z的共轭复数。即两个实部相等，虚部互为相反数的复数互为共轭复数(conjugate complex number）。复数z的共轭复数记作。

性质

根据定义，若 则复数所对应的点关于实轴对称。两个复数：与称为共轭复数，它们的实部相等，虚部互为相反数。在复平面上，表示两个共轭复数的点关于X轴对称，而这一点正是共轭一词的来源----两头牛平行地拉一部犁，它们的肩膀上要共架一个横梁，这横梁就叫做轭。如果用Z表示X+Yi，那么在Z字上面加个一就表示X-Yi，或相反。

共轭复数有些有趣的性质：

复数的辐角

概述

在复变函数中，自变量z可以写成 .r是z的模，即; θ是z的辐角，记作：。在-π到π间的辐角称为辐角主值，记作：（小写的A）。

释义

任意一个不为零的复数 的辐角有无限多个值，且这些值相差2π的整数倍。把适合于-π≤θu003cπ的辐角θ的值，叫做辐角的主值，记作。辐角的主值是唯一的。

指数形式：

运算法则

加法法则

复数的加法法则：设是任意两个复数。两者和的实部是原来两个复数实部的和，它的虚部是原来两个虚部的和。两个复数的和依然是复数。

即

乘法法则

复数的乘法法则：把两个复数相乘，类似两个多项式相乘，结果中，把实部与虚部分别合并。两个复数的积仍然是一个复数。

即

除法法则

复数除法定义：满足 的复数 叫复数a+bi除以复数c+di的商。

运算方法：将分子和分母同时乘以分母的共轭复数，再用乘法法则运算，

即

开方法则

若，则

运算律

加法交换律：

乘法交换律：

加法结合律：

乘法结合律：

分配律：

i的乘方法则

棣莫佛定理

对于复数，有z的n次幂

（其中n是正整数）

则

分类

数的分类拓展到复数范围后，我们对复数范围的数集做以下分类

复数（a+bi）——集合符号C

实数（复数当b=0时）——集合符号R

有理数——集合符号Q（p/q)

（一）正有理数——集合符号Q+

正整数——集合符号N+或N*

1--质数--合数正分数--0

－负有理数——集合符号Q-

－负整数——集合符号Z-

－负分数

（二）整数——集合符号Z

（自然数）——集合符号N--奇数--偶数--分数--无理数--正无理数--负无理数

－－虚数（b≠0)

－－纯虚数（a=0)

－－混虚数（a≠0）

应用

系统分析

在系统分析中，系统常常通过拉普拉斯变换从时域变换到频域。因此可在复平面上分析系统的极点和零点。分析系统稳定性的根轨迹法、奈奎斯特图法（Nyquist plot）和尼科尔斯图法（Nichols plot）都是在复平面上进行的。

无论系统极点和零点在左半平面还是右半平面，根轨迹法都很重要。如果系统极点

位于右半平面，则因果系统不稳定；都位于左半平面，则因果系统稳定；位於虚轴上，则系统为临界稳定的。如果系统的全部零点和极点都在左半平面，则这是个最小相位系统。如果系统的极点和零点关於虚轴对称，则这是全通系统。

信号分析

信号分析和其他领域使用复数可以方便的表示周期信号。模值|z|表示信号的幅度，辐角arg(z）表示给定频率的正弦波的相位。

利用傅立叶变换可将实信号表示成一系列周期函数的和。这些周期函数通常用形式如下的复函数的实部表示：

其中ω对应角频率，复数z包含了幅度和相位的信息。

电路分析中，引入电容、电感与频率有关的虚部可以方便的将电压、电流的关系用简单的线性方程表示并求解。（有时用字母j作为虚数单位，以免与电流符号i混淆。）

反常积分

在应用层面，复分析常用以计算某些实值的反常函数，藉由复值函数得出。方法有多种，见围道积分方法。

量子力学

量子力学中复数是十分重要的，因其理论是建基於复数域上无限维的希尔伯特空间。

相对论

如将时间变数视为虚数的话便可简化一些狭义和广义相对论中的时空度量 (Metric) 方程。

应用数学

实际应用中，求解给定差分方程模型的系统，通常首先找出线性差分方程对应的特征方程的所有复特征根r，再将系统以形为f(t) =e的基函数的线性组合表示。

流体力学

复函数於流体力学中可描述二维势流(2D Potential Flow）。

碎形

一些碎形如曼德勃罗集合和茹利亚集(Julia t) 是建基於复平面上的点的。

实变初等函数

我们把数学分析中基本的实变初等函数推广到复变初等函数，使得定义的各种复变初等函数，当z变为实变数x(y=0）时与相应的实变初等函数相同。

注意根据这些定义，在z为任意复变数时，

①．哪些相应的实变初等函数的性质被保留下来

②．哪些相应的实变初等函数的性质不再成立

③．出现了哪些相应的实变初等函数所没有的新的性质。

复变指数函数

复数的三角函数

证明：把yi代入泰勒级数，借助和来化简即可；

同理可得.借助可以方便地证明棣莫佛定理。