本頁使用了標題或全文手工轉換

複數 (數學)

維基百科,自由的百科全書
前往: 導覽搜尋
各種各樣的
基本

正數
自然數
正整數
小數
有限小數
無限小數
循環小數
有理數
代數數
實數
複數
高斯整數

負數
整數
負整數
分數
單位分數
二進分數
規矩數
無理數
超越數
虛數
二次無理數
艾森斯坦整數

延伸

雙複數
四元數
共四元數
八元數
超數
上超實數

超複數
十六元數
複四元數
大實數
超實數
超現實數

其他

對偶數
雙曲複數
序數
質數
同餘
可計算數
艾禮富數

公稱值
超限數
基數
P進數
規矩數
整數數列
數學常數

圓周率  = 3.141592653…
自然對數的底  = 2.718281828…
虛數單位  = 
無窮大

函數f(x)=(x²-1)(x-2-i)²/(x²+2+2i)的繪圖。色相表示函數的輻角,飽和度明度表示函數的幅值。

複數,為實數的延伸,它使任一多項式方程式都有。複數當中有個「虛數單位,它是的一個平方根,即。任一複數都可表達為,其中皆為實數,分別稱為複數之「實部」和「虛部」。

複數的發現源於三次方程的根的表達式。數學上,「複」字表明所討論的數體為複數,如複矩陣複變函數等。

歷史[編輯]

最早有關負數方根的文獻出於公元1世紀希臘數學家希羅,他考慮的是平頂金字塔不可能問題。16世紀義大利數學家(請參看塔塔利亞卡爾達諾)得出一元三次四次方程式的根的表達式,並發現即使只考慮實數根,仍不可避免面對負數方根。17世紀笛卡兒稱負數方根為虛數,「子虛烏有的數」,表達對此的無奈和不忿。18世紀初棣莫弗歐拉大力推動複數的接受。1730年,棣莫弗提出棣莫弗公式

而歐拉則在1748年提出分析學中的歐拉公式

18世紀末,複數漸漸被大多數人接受,當時卡斯帕爾·韋塞爾提出複數可看作平面上的一點。數年後,高斯再提出此觀點並大力推廣,複數的研究開始高速發展。詫異的是,早於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年)。莫比烏斯發表了大量有關複數幾何的短文,約翰·彼得·狄利克雷將很多實數概念,例如質數,推廣至複數。

費迪南·艾森斯坦研究,其中的複根。其他如 (是質數)亦有考慮。類以推廣的先鋒為庫默爾的完美數理論,經由菲利克斯·克萊因(1893年)以幾何角度加以簡化。伽羅華其後提出更一般的推廣,解決了五次以上多項式的根不能表達問題。

定義[編輯]

符號表示[編輯]

儘管可以使用其他表示法,複數通常寫為如下形式

這裡的ab實數,而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[1]

所有複數的集合通常指示為C,或者用黑板粗體寫為。實數R可以被當作C子集,通過把實數的所有成員當作複數: a = a + 0i

等量關係[編輯]

複數中的虛數是無法比較大小的,即兩個虛數只有相等和不等兩種等量關係。

兩個複數是相等的,若且唯若它們的實部是相等的並且它們的虛部是相等的。就是說,設a,b,c,d為實數,則a + bi = c + di若且唯若a = c並且b = d

運算[編輯]

通過形式上應用代數結合律交換律分配律,再加上等式i ² = −1,定義複數的加法、減法、乘法和除法:

  • 加法
  • 減法
  • 乘法
  • 除法

複數體[編輯]

複數可定義為實數組成的有序對,而其相關之為:

複數數系是一個,複數體常以來表示。

一個實數等同於複數,故實數體為複數體的子體。虛數單位就是複數。此外,還有:

  • 加法單位元素(「零元素」):
  • 乘法單位元素(「單位元素」):
  • (a,b)的加法反元素: (−a, −b)
  • 非零 (a, b)的乘法反元素(倒數):

複數體亦可定為代數數拓撲閉包或實數體的代數閉包

複數平面[編輯]

先把座標軸畫出來,橫的叫實數軸,豎的叫虛軸,然後確定0的位置,z=a十bi可以用二維空間來表示出來。
複數z可以被看作在被稱為阿甘得圖(得名於讓-羅貝爾·阿岡,也叫做高斯平面)的二維笛卡爾座標系內的一個點或位置向量。這個點也就是這個複數z可以用笛卡爾(直角)座標指定。複數的笛卡爾座標是實部 x = Re(z)和虛部y = Im(z)。複數的笛卡爾座標表示叫做複數的「笛卡爾形式」、「直角形式」或「代數形式」。

絕對值、共軛與距離[編輯]

,則絕對值幅值)。如果,則.

對所有,有

當定義了距離,複數體便成了度量空間,我們亦可談極限連續。加法、乘法及除法都是連續的運算。

共軛複數定義為,記作 。如圖所示,關於實數軸的「對稱點」。有

當且僅當是實數
非零。這是計算乘法逆最常用的等式。

對於所有代數運算,共軛值是可交換的。這即是說。一些非代數運算如正弦「sin」亦有此性質。這是由於的不明確選擇——有二解。可是,共軛值是不可微分的(參見全純函數)。

一複數的「幅角」或「相位」為。此值對模而言是唯一的。

對於乘法和除法分別有:

(即「模值相乘,幅角相加」)
(即「模值相除,幅角相減」)

複數運算的幾何解釋[編輯]

X = A + B
X = AB
X = A*

考慮一個平面。一個點是原點0。另一個點是單位1。

兩個點AB是點X = A + B使得頂點0, A, B三角形和頂點A, B, X的三角形是全等的。

兩個點AB是點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一個變體的反正切函數來處理這些細節。使用反餘弦函數的公式要求更少的情況區分:

極座標形式的符號[編輯]

極座標形式的符號

被叫做「三角形式」。有時使用符號cis φ簡寫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實數矩陣,即是

其中ab為實數。可算出此類矩陣的和、積及乘法逆都是此類矩陣。此外

即實數1對應著單位矩陣

而虛數單位對應著

此矩陣令平面作逆時鐘90度旋轉,它的平方就是 -1。

複數的絶對值就是行列式平方根。這些矩陣對應相應的平面變換,其旋轉角度等於複數的徧角,改變比例等於複數的絶對值。複數的軛就是矩陣的轉置

若矩陣中的a和b本來就是複數,則構成的代數便是四元數。由此,矩陣代表法可看成代數的凱萊-迪克森結構法

實向量空間[編輯]

C可以視作二維綫性空間[2]不同於實數體,複數體上不可能有與其算術相容的全序C並非有序體

多項式的根[編輯]

滿足p(z)= 0的複數z多項式p的「根」。代數基本定理指出,所有n次多項式,不管實數系數抑或複數系數的,都剛好有n個複數根(k重根按k個計算)。這定理等價於複數體是代數閉域

事實上,複數體是實數體的代數閉包。它是多項式R[X]經由理想X2 + 1〉顯生出的商環:

這是一個體因為X2 + 1為不可約多項式,而X在商環內對應著虛數單位i

代數特徵[編輯]

複數體C唯一(就體同構來說)的體擁有三項代數特徵:

而然,C包含很多與C同構的子

不可排序[編輯]

C上不可能建立與其加法及乘法相容之全序關係,即不存在一全序使得對於任意複數,有

複指數冪[編輯]

計算一個實數的複數冪是可以的。可以定義為

複分析[編輯]

研究複變函數的理論稱為複分析。它在應用數學和其他數學分支上都有許多實際應用。實分析數論的結果,最自然的証明經常是以複分析的技巧完成(例子可見質數定理)。

複變函數的圖像是四維的,所以不像實變函數般可以用平面圖像表示。要表示複變函數的圖像,可以用有顏色的三維圖像表達四維資訊,或者以動畫表示函數對複平面的動態變換。

應用[編輯]

系統分析[編輯]

系統分析中,系統常常通過拉普拉斯變換時域變換到頻域。因此可在複平面上分析系統的極點零點。分析系統穩定性的根軌跡法奈奎斯特圖法尼科爾斯圖法都是在複平面上進行的。

無論系統極點和零點在左半平面還是右半平面,根軌跡法都很重要。如果系統極點

  • 位於右半平面,則因果系統不穩定;
  • 都位於左半平面,則因果系統穩定;
  • 位於虛軸上,則系統為臨界穩定的。

如果穩定系統的全部零點都位於左半平面,則這是個最小相位系統。如果系統的極點和零點關於虛軸對稱,則這是全通系統

信號分析[編輯]

信號分析和其他領域使用複數可以方便的表示周期信號。模值|z|表示信號的幅度,輻角arg(z)表示給定頻率正弦波相位

利用傅立葉變換可將實信號表示成一系列周期函數的和。這些周期函數通常用形式如下的複函數的實部表示:

其中ω對應角頻率,複數z包含了幅度和相位的信息。

電路分析中,引入電容電感與頻率有關的虛部可以方便的將電壓電流的關係用簡單的線性方程表示並求解。(有時用字母j作為虛數單位,以免與電流符號i混淆。)

反常積分[編輯]

在應用層面,複分析常用以計算某些實值的反常積分,藉由複值函數得出。方法有多種,見圍道積分方法英語Methods of contour integration

量子力學[編輯]

量子力學中複數是十分重要的,因其理論是建基於複數體上無限維的希爾伯特空間

相對論[編輯]

如將時間變數視為虛數的話便可簡化一些狹義廣義相對論中的時空度量 (Metric)方程。

應用數學[編輯]

實際應用中,求解給定差分方程模型的系統,通常首先找出線性差分方程對應的特徵方程的所有複特徵根r,再將系統以形爲f(t)= ert的基函數的線性組合表示。

流體力學[編輯]

複函數於流體力學中可描述二維勢流

碎形[編輯]

一些碎形曼德博集合茹利亞集(Julia set)是建基於複平面上的點的。

複數的平方根[編輯]

複數的平方根是可以計算的。其公式為

參見[編輯]

參考資料[編輯]

  1. ^ Mary P Attenborough. Mathematics for Electrical Engineering and Computing. Newnes. 2003: 208 [2016-03-18]. ISBN 9780080473406. 
  2. ^ 繆龍驥. 從實數到複數. 數學知識. [2014-10-22]. 
  • Conway, John. Functions of One Complex Variable I. Springer. 1986. 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-19-853447-7 (hardcover, 1997). History of complex numbers and complex analysis with compelling and useful visual interpretations.

外部連結[編輯]

Wikibooks-logo.svg
您可以在維基教科書中查找此百科條目的相關電子教程: