虚数填补了数学的那一个缺口?
復(fù)數(shù)是人類數(shù)域擴(kuò)充的一大步,如我一樣的學(xué)渣恨它(太難了),大佬愛它(太美了)。大概從大一高等代數(shù)與它相遇開始,這個(gè)讓數(shù)學(xué)愛好者又愛又恨的東西便產(chǎn)生了。
1
復(fù)數(shù)誕生——代數(shù)學(xué)家的記號
我猜想復(fù)數(shù)的引入是一些代數(shù)學(xué)家干的,當(dāng)他們在求解方程x^2+1=0時(shí),創(chuàng)造性的假設(shè)有±i兩個(gè)根,開始引入了復(fù)數(shù)。
而且顯然,i和1是R-線性無關(guān)的(就是說沒有兩個(gè)非零實(shí)數(shù)a、b能滿足a+bi=0),于是自然而然的張成了一個(gè)二維R-線性空間,被記作C。(自然,高中課本更愿意把z∈C看做a+bi也正基于此——二維向量嘛)
隨后他們很快就定義了一套加減法出來,也就像是高中課本所說的那樣。
2
歐拉公式——?dú)W拉的技巧
上過高數(shù)的一定忘不了泰勒公式,作為實(shí)函數(shù)微分學(xué)的最高成就,給多少學(xué)生留下了心理陰影。
泰勒展開
這個(gè)時(shí)候,大數(shù)學(xué)家歐拉來了。歐拉是個(gè)天才,天賦應(yīng)當(dāng)說除了伽羅瓦以外數(shù)學(xué)家里應(yīng)該是在第一梯隊(duì)的。當(dāng)然他也有很多“混”出來的結(jié)論,比如說那個(gè)著名的π^2/6。在復(fù)變領(lǐng)域,他依舊有很敏銳的洞察力——他看到上面exp、sin、cos項(xiàng)泰勒展開都有一樣的系數(shù)——除了正負(fù)號以外。于是他引入了虛數(shù),帶進(jìn)去,誒,成立了!
歐拉的技巧
當(dāng)然把x=π帶進(jìn)去就是幼兒園小朋友都知道的e^(iπ)+1=0這條爛大街的公式了。
歐拉公式在物理系被經(jīng)常使用,一般是以傅里葉的形式出現(xiàn)——這個(gè)記號大大簡化了傅里葉的形式、體現(xiàn)了傅里葉的性質(zhì)(評論區(qū)大佬提出:主要體現(xiàn)在能夠很好的描述相位)。
3
復(fù)分析——分析學(xué)的美麗樂章
不同于我們物理系的選手,隔壁數(shù)學(xué)系的人總是要“浪費(fèi)”大量時(shí)間糾結(jié)在定義上。Taylor展開固然美麗,但需要可導(dǎo)這些條件——等等,復(fù)空間上exp、cos、sin都沒定義,哪來的可導(dǎo)性質(zhì)?
數(shù)學(xué)家開始研究復(fù)變函數(shù)的嚴(yán)格定義。首先復(fù)空間上的度量是很好定義的,就按二維歐氏空間來就好了(就是高中的模長)。由此函數(shù)的極限就可以定義了,自然,級數(shù)、導(dǎo)數(shù)的東西也有了。
多項(xiàng)式函數(shù)本就是可以定義的,于是數(shù)學(xué)家干了個(gè)事情——把結(jié)論當(dāng)成定義推廣(這是數(shù)學(xué)發(fā)展貫穿始終的一個(gè)手法,隨處可見)——用泰勒級數(shù)去定義了exp、sin、cos之流的東西。
此外還有一個(gè)描述解析性質(zhì)充要條件的柯西黎曼方程,連起了數(shù)分和復(fù)分析,將實(shí)函數(shù)的結(jié)論帶入復(fù)分析中。
柯西黎曼方程
如果說數(shù)學(xué)分析最深刻的兩個(gè)公式是泰勒公式和牛頓-萊布尼茨-格林-高斯-斯托克斯公式,一個(gè)標(biāo)志著微分學(xué)的巔峰,一個(gè)標(biāo)志著積分學(xué)的巔峰,復(fù)分析最深刻的我猜想是下面的兩個(gè)公式。
柯西積分公式
洛朗級數(shù)
可以看到復(fù)分析的高階導(dǎo)數(shù),其實(shí)是用積分定義的,這跟實(shí)的完全不一樣,至于洛朗級數(shù)——泰勒的推廣,非常深刻。
柯西積分公式也有很多導(dǎo)出結(jié)論,比較著名的最小模定理、劉維爾定理、留數(shù)定理等等。
我們不妨說一下劉維爾定理:一個(gè)全純函數(shù)如果(絕對值)有界必然是常函數(shù),柯西積分公式反證法一步出答案(證明留作習(xí)題答案略),作者憑借這個(gè)史上最短證明一舉拿下博士學(xué)位——他的博士導(dǎo)師是歐姆,沒錯(cuò),電阻那個(gè)歐姆定律的歐姆。
4
代數(shù)閉域——代數(shù)學(xué)家的喜訊
代數(shù)學(xué)基本定理,這個(gè)高中生人盡皆知的、也是高斯一生(高斯自認(rèn)為)最偉大的貢獻(xiàn)——一個(gè)一元n次復(fù)多項(xiàng)式在復(fù)平面內(nèi)有n個(gè)根就可以來自這里(雖然高斯本人最早的證法遠(yuǎn)不如用復(fù)分析證明的簡潔)。
用復(fù)分析工具(劉維爾定理)變得異常簡潔:
代數(shù)學(xué)基本定理的簡要證明:n次多項(xiàng)式只要有一個(gè)根,數(shù)學(xué)歸納即可證明。
一般叫基本定理的都很深刻,比如說算數(shù)基本定理、微積分基本定理之類的,代數(shù)基本定理告訴大家——復(fù)數(shù)是代數(shù)閉域!
有了代數(shù)閉域,代數(shù)學(xué)家就能搞事情了,比如線性代數(shù)里折磨每一個(gè)大一新生的Jordan標(biāo)準(zhǔn)型。
若爾當(dāng)標(biāo)準(zhǔn)型
后面若爾當(dāng)標(biāo)準(zhǔn)型還將在矩陣函數(shù)、常微分方程里反復(fù)出現(xiàn),成為學(xué)渣心里揮之不去的痛。
5
黎曼猜想——菲爾茨獎(jiǎng)在向你招手
還有些人接著在做分析,比如引入了解析延拓什么的。其中最著名的莫過于黎曼猜想。
黎曼函數(shù)
如果你能證明上面這個(gè)黎曼函數(shù)的所有非平凡零點(diǎn)(就是不包括負(fù)偶數(shù)的零點(diǎn))實(shí)部都是1/2,你將獲得菲爾茲獎(jiǎng)——菲爾茨獎(jiǎng)在向你招手!
據(jù)說這個(gè)東西跟數(shù)論什么的都有聯(lián)系(評論區(qū)大佬說與素?cái)?shù)分布有關(guān)),在數(shù)學(xué)界有很重要的地位。具體我就不太懂了,坐等相關(guān)領(lǐng)域大佬補(bǔ)充。
編輯?∑Gemini
來源:知乎
文章推薦
?數(shù)學(xué)家探索兩個(gè)幾何世界之間的鏡像鏈接
?數(shù)學(xué)天才帕吉特:他有如電影般的人生際遇
?世界上最奇怪的數(shù)學(xué)天才,被獎(jiǎng)勵(lì)100萬卻拒領(lǐng),寧愿過得像乞丐
?斯坦福大學(xué)教育學(xué)院院長:學(xué)習(xí)本身就是一門學(xué)問
?如果沒有數(shù)學(xué),我們?nèi)绾螠y量
?數(shù)學(xué)的真相:物理時(shí)空的數(shù)字模型還是現(xiàn)實(shí)本身?
總結(jié)
以上是生活随笔為你收集整理的虚数填补了数学的那一个缺口?的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 姐妹花考上川大本硕博连读,网红兄弟一起上
- 下一篇: 网友的有趣发现:冬天里,欧洲古建筑上的雕