复数 (数学)

title: 历史.
content: 最早有关负数方根的文献出于公元1世纪希腊数学家希罗,他考虑的是平顶金字塔不可能问题。16世纪意大利数学家(请参看塔塔利亚和卡尔达诺)得出一元三次和四次方程序的根的表达式,并发现即使只考虑实数根,仍不可避免面对负数方根。17世纪笛卡儿称负数方根为虚数,「子虚乌有的数」,表达对此的无奈和不忿。18世纪初棣莫弗及欧拉大力推动复数的接受。1730年,棣莫弗提出棣莫弗公式:  而欧拉则在1748年提出分析学中的欧拉公式:  18世纪末,复数渐渐被大多数人接受,当时卡斯帕尔·韦塞尔提出复数可看作平面上的一点。数年后,高斯再提出此观点并大力推广,复数的研究开始高速发展。诧异的是,早于1685年约翰·沃利斯已经在"De Algebra tractatus"提出此一观点。  卡斯帕尔·韦塞尔的文章发表在1799年的"Proceedings of the Copenhagen Academy"上,以当今标准来看,也是相当清楚和完备。他又考虑球体,得出四元数并以此提出完备的球面三角学理论。1804年,Abbé Buée亦独立地提出与沃利斯相似的观点,即以formula_8来表示平面上与实数轴垂直的单位线段。1806年,Buée的文章正式刊出,同年让-罗贝尔·阿尔冈亦发表同类文章,而阿冈的复数平面成了标准。1831年高斯认为复数不够普及,次年他发表了一篇备忘录,奠定复数在数学的地位。柯西及阿贝尔的努力,扫除了复数使用的最后顾忌,后者更是首位以复数研究著名的。  复数吸引了著名数学家的注意,包括库默尔(1844年)、克罗内克(1845年)、Scheffler(1845年、1851年、1880年)、Bellavitis(1835年、1852年)、乔治·皮科克(1845年)及德·摩根(1849年)。莫比乌斯发表了大量有关复数几何的短文,约翰·彼得·狄利克雷将很多实数概念,例如质数,推广至复数。  费迪南·艾森斯坦研究formula_9,其中formula_10是formula_11的复根。其他如formula_12 (formula_13是质数)亦有考虑。类以推广的先锋为库默尔的完美数理论,经由菲利克斯·克莱因(1893年)以几何角度加以简化。伽罗华其后提出更一般的推广,解决了五次以上多项式的根不能表达问题。
title: 定义.
title: 符号表示.
content: 尽管可以使用其他表示法,复数通常写为如下形式:  这里的formula_15和formula_16是实数,而"i"是虚数单位,它有着性质。实数formula_15叫做复数的实部,而实数formula_16叫做复数的虚部。实数可以被认为是虚部为零的复数;就是说实数"formula_15"等价于复数formula_20。实部为零且虚部不为零的复数也被称作“纯虚数”;而实部不为零且虚部也不为零的复数也被称作“非纯虚数”或“杂虚数”。  例如,formula_21是复数,它的实部为3虚部为2。如果formula_22,则实部("formula_15")被指示为formula_24或formula_25,而虚部("formula_16")被指示为formula_27或formula_28。  在某些领域(特别是电子工程,这里的"i"是电流的符号)中,虚部formula_1被替代写为formula_10,所以复数有时写为formula_31。  所有复数的集合通常指示为formula_32,或者用写为formula_33。实数formula_34可以被当作formula_33的子集,通过把实数的所有成员当作复数:formula_36。
title: 等量关系.
content: 复数中的虚数是无法比较大小的,即两个虚数只有相等和不等两种等量关系。  两个复数是相等的,当且仅当它们的实部是相等的并且它们的虚部是相等的。就是说,设formula_15,formula_16,formula_39,formula_40为实数,则formula_41当且仅当formula_42并且formula_43。
title: 运算.
content: 通过形式上应用代数的结合律、交换律和分配律,再加上等式,定义复数的加法、减法、乘法和除法:
title: 复数体.
content: 复数可定义为实数formula_48组成的有序对,而其相关之和及积为:  复数数系是一个体,复数体常以formula_33来表示。  一个实数formula_15等同于复数formula_53,故实数体为复数体的子体。虚数单位formula_1就是复数formula_55。此外,还有:  复数体亦可定为代数数的拓扑闭包或实数体的代数闭包。
title: 复数平面.
content: 先把坐标轴画出来,横的叫实轴,竖的叫虚轴,然后确定0的位置,formula_62可以用二维空间来表示出来。 复数formula_63可以被看作在被称为阿甘得图(得名于让-罗贝尔·阿冈,也叫做高斯平面)的二维笛卡尔坐标系内的一个点或位置向量。这个点也就是这个复数"formula_63"可以用笛卡尔(直角)坐标指定。复数的笛卡尔坐标是实部formula_65和虚部formula_66。复数的笛卡尔坐标表示叫做复数的“笛卡尔形式”、“直角形式”或“代数形式”。
title: 绝对值、共轭与距离.
content: formula_67,则formula_68是formula_63的「绝对值」(「模」、「幅值」)。如果formula_62,则formula_71.  对所有formula_63及formula_73,有  当定义了距离formula_77,复数体便成了度量空间,我们亦可谈极限和连续。加法、乘法及除法都是连续的运算。  formula_22的共轭复数定义为formula_79,记作formula_80或formula_81。如图所示,formula_80是formula_63关于实数轴的「对称点」。有  对于所有代数运算formula_94,共轭值是可交换的。这即是说formula_95。一些非代数运算如正弦「formula_96」亦有此性质。这是由于formula_1的不明确选择——formula_98有二解。可是,共轭值是不可微分的(参见全纯函数)。  一复数formula_67的「幅角」或「相位」为formula_100。此值对模formula_101而言是唯一的。  对于乘法和除法分别有:
title: 复数运算的几何解释.
content: 考虑一个平面。一个点是原点0。另一个点是单位1。  两个点"A"和"B"的和是点"X" = "A" + "B"使得顶点0, "A", "B"的三角形和顶点"A", "B", "X"的三角形是全等的。  两个点"A"和"B"的积是点"X" = "AB"使得顶点0, 1, "A"的三角形和顶点"0", "B", "X"的三角形是相似的。  点"A"的共轭复数是点"X" = "A"使得顶点0, 1, "A"的三角形和顶点0, 1, "X"的三角形相互是镜像。
title: 极坐标形式.
content: 作为替代,复数formula_63可以用极坐标来指定。极坐标是由叫做绝对值或模的formula_105和叫做"formula_63"的辐角的formula_107组成。对于formula_108,任何值的formula_109都描述同一个数。要得到唯一的表示,常规的选择是设置formula_110。对于formula_111辐角formula_109模以formula_101后是唯一的;就是说,如果复数辐角的两个值只相差精确的formula_101的整数倍数,则它们被认为是等价的。要得到唯一表示,常规的选择是限制formula_109在区间formula_116内,就是formula_117。复数的极坐标表示叫做复数的“极坐标形式”。
title: 从笛卡尔坐标形式到极坐标形式的转换.
content: 前面的公式要求非常繁杂的情况区分。但是很多编程语言提供了经常叫做atan2一个变体的反正切函数来处理这些细节。使用反余弦函数的公式要求更少的情况区分:
title: 极坐标形式的符号.
content: 极坐标形式的符号 被叫做“三角形式”。有时使用符号cis φ简写cosφ + "i"sinφ。 使用欧拉公式还可以写为 这叫做“指数形式”。
title: 极坐标形式下的乘法、除法、指数和开方根.
content: 在极坐标形式下乘法、除法、指数和开方根要比笛卡尔形式下容易许多。  使用三角恒等式得到  和  依据棣莫弗定理做整数幂的指数运算,  任意复数幂的指数运算在条目指数函数中讨论。  两个复数的加法只是两个向量的向量加法,乘以一个固定复数的可以被看作同时旋转和伸缩。  乘以formula_1对应于一个逆时针旋转90 度(formula_129 弧度)。方程formula_130的几何意义是顺序的两个90度旋转导致一个180度(formula_131弧度)旋转。甚至算术中的formula_132都可以被在几何上被理解为两个180度旋转的组合。  任何数的所有方根,实数或复数的,都可以用简单的算法找到。formula_133次方根给出为  对于formula_135,这里的formula_136表示formula_137的主formula_133次方根。
title: 代数性质.
content: 下表给出任何复数formula_139的加法和乘法的基本性质。
title: 一些特性.
title: 矩阵表达式.
content: 这是个实用价值不大,但具数学意义的表达式,是将复数看作能旋转及缩放二维位置矢量的2×2实数矩阵,即是  其中formula_15及formula_16为实数。可算出此类矩阵的和、积及乘法逆都是此类矩阵。此外 即实数1对应着单位矩阵 而虚数单位formula_1对应着  此矩阵令平面作逆时钟90度旋转,它的平方就是-1。  复数的绝对值就是行列式的平方根。这些矩阵对应相应的平面变换,其旋转角度等于复数的徧角,改变比例等于复数的绝对值。复数的轭就是矩阵的转置。  若矩阵中的formula_15和formula_16本来就是复数,则构成的代数便是四元数。由此,矩阵代表法可看成代数的凯莱-迪克森结构法。
title: 实向量空间.
content: formula_33可以视作二维实线性空间。不同于实数体,复数体上不可能有与其算术相容的全序:formula_33并非有序体。
title: 多项式的根.
content: 满足formula_151的复数"z"是多项式formula_152的“根”。代数基本定理指出,所有formula_133次多项式,不管实数系数抑或复数系数的,都刚好有"formula_133"个复数根(formula_13重根按"formula_13"个计算)。这定理等价于复数体是代数闭体。  事实上,复数体是实数体的代数闭包。它是多项式环formula_157经由理想formula_158显生出的商环:  这是一个体因为formula_160为不可约多项式,而formula_161在商环内对应着虚数单位formula_1。
title: 代数特征.
content: 复数体formula_33唯一(就体同构来说)的体拥有三项代数特征:  而然,formula_33包含很多与formula_33同构的子体。
title: 不可排序.
content: 在formula_33上不可能建立与其加法及乘法相容之全序关系,即不存在一全序formula_167使得对于任意复数formula_168,有formula_169。
title: 复指数幂.
content: 计算一个实数的复数幂是可以的。formula_170可以定义为formula_171。
title: 复分析.
content: 研究复变函数的理论称为复分析。它在应用数学和其他数学分支上都有许多实际应用。实分析和数论的结果,最自然的证明经常是以复分析的技巧完成(例子可见素数定理)。  复变函数的图像是四维的,所以不像实变函数般可以用平面图像表示。要表示复变函数的图像,可以用有颜色的三维图像表达四维资讯,或者以动画表示函数对复平面的动态变换。
title: 应用.
title: 系统分析.
content: 在系统分析中,系统常常通过拉普拉斯变换从时域变换到频域。因此可在复平面上分析系统的极点和零点。分析系统稳定性的根轨迹法、奈奎斯特图法和尼科尔斯图法都是在复平面上进行的。  无论系统极点和零点在左半平面还是右半平面,根轨迹法都很重要。如果系统极点  如果稳定系统的全部零点都位于左半平面,则这是个最小相位系统。如果系统的极点和零点关于虚轴对称,则这是全通系统。
title: 信号分析.
content: 信号分析和其他领域使用复数可以方便的表示周期信号。模值formula_172表示信号的幅度,辐角formula_173表示给定频率的正弦波的相位。  利用傅里叶变换可将实信号表示成一系列周期函数的和。这些周期函数通常用形式如下的复函数的实部表示:  其中formula_175对应角频率,复数formula_63包含了幅度和相位的信息。  电路分析中,引入电容、电感与频率有关的虚部可以方便的将电压、电流的关系用简单的线性方程表示并求解。(有时用字母formula_10作为虚数单位,以免与电流符号"i"混淆。)
title: 反常积分.
content: 在应用层面,复分析常用以计算某些实值的反常积分,借由复值函数得出。方法有多种,见围道积分方法。
title: 量子力学.
content: 量子力学中复数是十分重要的,因其理论是建基于复数体上无限维的希尔伯特空间。
title: 相对论.
content: 如将时间变量视为虚数的话便可简化一些狭义和广义相对论中的时空度量 (Metric)方程。
title: 应用数学.
content: 实际应用中,求解给定差分方程模型的系统,通常首先找出线性差分方程对应的特征方程的所有复特征根"r",再将系统以形为"f"("t")= "e"的基函数的线性组合表示。
title: 流体力学.
content: 复函数于流体力学中可描述二维势流。
title: 分形.
content: 一些分形如曼德博集合和茹利亚集(Julia set)是建基于复平面上的点的。
title: 复数的平方根.
content: 复数的平方根是可以计算的。其公式为formula_178。

Summary: 复数,为实数的延伸,它使任一多项式方程都有根。复数当中有个「虚数单位」formula_1,它是formula_2的一个平方根,即。任一复数都可表达为formula_3,其中formula_4及formula_5皆为实数,分别称为复数之「实部」和「虚部」。