複數 (數學)
维基百科,自由的百科全书
數學的數 |
基本 |
延伸 |
其他 |
公稱值 |
複數為實數的推廣,它使任一多項式都有根。 複數當中有個 「虛單位」i,它是 - 1的平方根,即i2 = - 1。任一複數都可表達為x + iy,其中x及y皆為實數,分別稱為複數之「實部」和「虛部」。
- (a + ib) + (c + id) = (a + c) + i(b + d)
- (a + ib) * (c + id) = ac − bd + i(bc + ad)
複數的發現源於三次方程的根的表達式。數學上,「複」字表明所討論的數域為複數,如複矩陣、複變函數等。
目录 |
[编辑] 歷史
最早有關負數方根的文獻出於公元1世紀希臘數學家海倫,他考慮的是平頂金字塔不可能問題。16世紀意大利數學家(請參看塔塔利亞和卡爾達諾)得出一元三次和四次方程式的根的表達式,並發現即使只考慮實數根,仍不可避免面對負數方根。17世紀笛卡兒稱負數方根為虛數,「子虛烏有的數」,表達對此的無奈和不忿。18世紀初棣美弗及歐拉大力推動複數的接受。1730年,棣美弗提出棣美弗公式:
- ,
- 。
十八世紀末,複數漸漸被大多數人接受,當時卡斯帕尔·韦塞尔提出複數可看作平面上的一點。數年後,高斯再提出此觀點並大力推廣,複數的研究開始高速發展。詫異的是,早於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年)。默比乌斯發表了大量有關複數幾何的短文,約翰·彼得·狄利克雷將很多實數概念,例如質數,推廣至複數。
費迪南·艾森斯坦研究a + bj,其中j 是 x3 - 1 = 0的複根。其他如 xk - 1 = 0 (k是質數)亦有考慮。類以推廣的先鋒為库默的完美數理論,經由菲利克斯·克莱因(1893年)以幾何角度加以簡化。伽羅華其後提出更一般的推廣,解決了五次以上多項式的根不能表達問題。
[编辑] 定義
[编辑] 符号表示
尽管可以使用其他表示法,复数通常写为如下形式
这里的 a 和 b 是实数,而 i 是虚单位,它有着性质 i ² = −1。实数 a 叫做复数的“实部”,而实数 b 叫做复数的“虚部”。实数可以被认为是虚部为零的复数;就是说实数 a 等价于复数 a+0i。
例如,3 + 2i 是复数,它的实部为 3 虚部为 2。如果 z = a + ib,则实部(a)被指示为 Re(z) 或 ,而虚部(b)被指示为 Im(z) 或 。
在某些领域(特别是电子工程,这里的 i 是电流的符号)中,虚部 i 被替代写为 j,所以复数有时写为 a + jb。
所有复数的集合通常指示为 C,或者用黑板粗体写为 。实数 R 可以被当作 C 的子集,通过把实数的所有成员当作复数: a = a + 0i。
[编辑] 相等
两个复数是相等的,当且仅当它们的实部是相等的并且它们的虚部是相等的。就是说,a + bi = c + di 当且仅当 a = c 并且 b = d。
[编辑] 运算
通过形式上应用代数的结合律、交换律和分配律,再加上等式 i ² = −1,定义复数的加法、减法、乘法和除法:
-
- 加法:
- 减法:
- 乘法:
- 除法:
[编辑] 複數域
複數數系是一個域, 複數域常以來表示。
一個實數a等同於複數(a,0), 故實數域為複數域的子域。虛單位i就是複數(0,1)。此外, 還有:
[编辑] 複平面
复数 z 可以被看作在被称为阿岡圖(得名于让-罗贝尔·阿冈)的二维笛卡尔坐标系内的一个点或位置向量。这个点也就是这个复数 z 可以用笛卡尔(直角)坐标指定。复数的笛卡尔坐标是实部 x = Re(z) 和虚部 y = Im(z)。复数的笛卡尔坐标表示叫做复数的“笛卡尔形式”、“直角形式”或“代数形式”。
[编辑] 絶對值、共軛與距離
z = reiφ,则 | z | = r是z的「絶對值」(「模」、「幅值」)。如果z = a + bi, 則.
對所有z及w, 有
- 。
當定義了距離,複數域便成了度量空间, 我們亦可談極限和連續。 加法,乘法及除法都是連續的運算。
z = a + ib的共軛複數定義為z = a − ib,記作或z * 。如圖所示,是z在實數線的「倒映」。有
- 當且僅當z是實數
- 若 z 非零。這是計算乘法逆最常用的等式。
對於所有代數運算f,共軛值是可交換 (commute) 的。這即是說。一些非代數運算如正弦「sin」亦有此性質。這是由於i的不明確選擇 ——x2 = - 1有二解。可是,共軛值是不可微分的 (參見全纯函数)。
一複數z = reiφ的「偏角」為φ。此值對模2π而言是唯一的。
[编辑] 复数运算的几何解释
考虑一个平面。一个点是原点 0。另一个点是单位 1。
两个点 A 和 B 的和是点 X = A + B 使得顶点 0, A, X 的三角形和顶点 X, B, 0 的三角形是全等的。
两个点 A 和 B 的积是点 X = AB 使得顶点 0, 1, A 的三角形和顶点 0, B, X 的三角形是相似的。
点 A 的共轭复数是点 X = A* 使得顶点 0, 1, A 的三角形和顶点 0, 1, X 的三角形相互是镜像。
[编辑] 极坐标形式
作为替代,复数 z 可以用极坐标来指定。极坐标是叫做绝对值或模的 r = |z| ≥ 0 和叫做 z 的辐角的 φ = arg(z)。对于 r = 0,任何值的 φ 都描述同一个数。要得到唯一的表示,常规的选择是设置 arg(0) = 0。对于 r > 0 辐角 φ 模以 2π 后是唯一的;就是说,如果复数辐角的两个值只相差精确的 2π 的整数倍数,则它们被认为是等价的。要得到唯一表示,常规的选择是限制 φ 在区间 (-π,π] 内,就是 −π < φ ≤ π。复数的极坐标表示叫做复数的“极坐标形式”。
[编辑] 从极坐标形式到笛卡儿坐标形式的转换
[编辑] 从笛卡尔坐标形式到极坐标形式的转换
前面的公式要求非常繁杂的情况区分。但是很多编程语言提供了经常叫做 atan2 一个变体的反正切函数来处理这些细节。使用反余弦函数的公式要求更少的情况区分:
[编辑] 极坐标形式的符号
极坐标形式的符号
被叫做“三角形式”。有时使用符号 简写 cosφ + isinφ。 使用欧拉公式还可以写为
这叫做“指数形式”。
[编辑] 极坐标形式下的乘法、除法、指数和开方根
在极坐标形式下乘法、除法、指数和开方根要比笛卡尔形式下容易许多。
使用三角恒等式得到
和
依据棣美弗定理做整数幂的指数运算,
任意复数幂的指数运算在条目指数函数中讨论。
两个复数的加法只是两个向量的向量加法,乘以一个固定复数的可以被看作同时旋转和伸缩。
乘以 i 对应于一个逆时针旋转 90 度(π/2 弧度)。方程 i 2 = −1 的几何意义是顺序的两个 90 度旋转导致一个 180 度(π 弧度)旋转。甚至算术中的 (−1) · (−1) = +1 都可以被在几何上被理解为两个 180 度旋转的组合。
任何数的所有方根,实数或复数的,都可以用简单的算法找到。n 次方根给出为
对于 k = 0, 1, 2, …, n − 1,这里的 表示 r 的主 n 次方根。
[编辑] 一些特性
[编辑] 矩陣表達式
這是個實用價值不大,但具數學意義的表達式,是將複數看作能旋轉及伸縮二維位置矢量的2×2實數矩陣,即是
其中 a 及 b 為實數。可算出此類矩陣的和、積及乘法逆都是此類矩陣。還有
即實數 1 對應着單位矩陣
而虛單位 i 對應着
此矩陣令平面作逆時鐘 90 度旋轉,它的平方就是 -1。
複數的絶對值就是行列式的平方根。這些矩陣對應相應的平面變換,其旋轉角度等於複數的徧角,改變比例等於複數的絶對值。複數的軛就是矩陣的轉置。
若矩陣中的 a 和 b 本來就是複數,則構成的代數便是四元數。由此,矩陣代表法可看成代數的Cayley-Dickson 構作法。
[编辑] 實向量空間
C 是個二維實綫性空間。 不同於實數域,複數域上不可能有與其算術相容的全序: C 並非有序域。
[编辑] 多項式的根
滿足p(z) = 0的複數z 是多項式p 的“根”。代數基本定理指出,所有 n 次多項式,不管實數系數抑或複數系數的,都剛好有 n 個複數根(k重根按k个计算)。這定理等價於複數域是代數閉域。
事實上, 複數域是實數域的代數閉包。它是多項式環 R[X] 經由理想 〈X2 + 1〉 顯生出的商環 :
這是一個域因為 X2 + 1 為不可約多項式,而 X 在商環內對應着虛數單位 i。
[编辑] 代數特征
複數域 C 唯一(就域同構來說)的域擁有三項代數特征:
而然,C 包含很多與 C同構的子域。
[编辑] 複分析
研究複變函數的理論稱為複分析。它在應用數學和其他數學分支上都有許多實際應用。實分析和數論的結果,最自然的証明經常是以複分析的技巧完成。(例子可見素數定理)
複變函數的圖像是四維的,所以不像實變函數般可以用平面圖像表示。要表示複變函數的圖像,可以用有顏色的三維圖像表達四維資訊,或者以動畫表示函數對複平面的動態變換。
[编辑] 應用
[编辑] 系统分析
在系统分析中,系统常常通过拉普拉斯变换从时域变换到频域。因此可在複平面上分析系统的极点和零点。分析系统稳定性的根轨迹法、奈奎斯特图法(Nyquist plot)和尼科尔斯图法(Nichols plot)都是在複平面上进行的。
无论系统极点和零点在左半平面还是右半平面,根轨迹法都很重要。如果系统极点
- 位于右半平面,则因果系统不稳定;
- 都位于左半平面,则因果系统稳定;
- 位于虚轴上,则系统为临界稳定的。
如果系统的全部零点都位于右半平面,则这是个最小相位系统。如果系统的极点和零点关于虚轴对称,则这是全通系统。
[编辑] 信号分析
信号分析和其他领域使用复数可以方便的表示周期信号。模值|z|表示信号的幅度,辐角arg(z)表示给定频率的正弦波的相位。
利用傅里叶变换可将实信号表示成一系列周期函数的和。这些周期函数通常用形式如下的複函數的实部表示:
其中ω对应角频率,复数z 包含了幅度和相位的信息。
电路分析中,引入电容、电感与频率有关的虚部可以方便的将电压、电流的关系用简单的线性方程表示并求解。(有时用字母j 作为虚数单位,以免与电流符号i 混淆。)
[编辑] 反常積分
在應用層面,複分析常用以計算某些實值的反常函數,藉由複值函數得出。方法有多種,見圍道積分方法。
[编辑] 量子力學
量子力學中複數是十分重要的,因其理論是建基於複數域上無限維的希尔伯特空间。
[编辑] 相對論
如將時間變數視為虛數的話便可簡化一些狹義和廣義相對論中的時空度量 (Metric) 方程。
[编辑] 應用數學
實際應用中,求解給定差分方程模型的系統,通常首先找出線性差分方程對應的特徵方程的所有複特徵根r ,再將系統以形爲f(t) = ert的基函數的線性組合表示。
[编辑] 流體力學
複函數於流體力學中可描述二維勢流 (2D Potential Flow)。
[编辑] 碎形
一些碎形如曼德布罗集和朱利亚集 (Julia set) 是建基於複平面上的點的。
[编辑] 請參閱
[编辑] 引用
- Conway, John(1986).Functions of One Complex Variable I.Springer.ISBN 0-387-90328-3.
[编辑] 进一步阅读
- An Imaginary Tale: The Story of , by Paul J. Nahin; Princeton University Press; ISBN 0-691-02795-1 (hardcover, 1998). A gentle introduction to the history of complex numbers and the beginnings of complex analysis.
- Numbers, by H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neukirch, A. Prestel, R. Remmert; Springer; ISBN 0-387-97497-0 (hardcover, 1991). An advanced perspective on the historical development of the concept of number.
- The Road to Reality: A Complete Guide to the Laws of the Universe, by Roger Penrose; Alfred A. Knopf, 2005; ISBN 0-679-45443-8. Chapters 4-7 in particular deal extensively (and enthusiastically) with complex numbers.
- Unknown Quantity: A Real and Imaginary History of Algebra, by John Derbyshire; Joseph Henry Press; ISBN 0-309-09657-X (hardcover 2006). A very readable history with emphasis on solving polynomial equations and the structures of modern algebra.
- Visual Complex Analysis, by Tristan Needham; Clarendon Press; ISBN 0-198-53447-7 (hardcover, 1997). History of complex numbers and complex analysis with compelling and useful visual interpretations.
[编辑] 外部链接
- 從實數到複數,繆龍驥
- Euler's work on Complex Roots of Polynomials at Convergence
- John and Betty's Journey Through Complex Numbers
- 埃立克·魏爾斯史甸在MathWorld中所描述之Complex Number。
- SOS Math - Complex Variables
- Algebraic Structure of Complex Numbers from cut-the-knot
- Complex Numbers Module by John H. Mathews
- IMO Compendium Training Materials contains a text on applications of complex numbers to euclidean geometry
- myElectrical.com Complex Number Ccalculator
- solvemymath.com Complex Numbers Calculator
- Interactive Visual Representation of Complex Numbers