李志國(guó) 邵澤玲 李志新
摘?要:代數(shù)基本定理是數(shù)學(xué)中最重要最基本的定理之一,不僅僅在代數(shù)學(xué)中起著重要的基礎(chǔ)作用,乃至整個(gè)數(shù)學(xué)研究都有著廣泛的應(yīng)用基礎(chǔ)。本文通過利用拓?fù)洹⒉粍?dòng)點(diǎn)、代數(shù)等理論給出了代數(shù)學(xué)基本定理的五種不同的證明。
關(guān)鍵詞:代數(shù)基本定理;不動(dòng)點(diǎn)定理;同倫;分裂域
代數(shù)基本定理在代數(shù)乃至整個(gè)數(shù)學(xué)中起著基礎(chǔ)作用。最早該定理由德國(guó)數(shù)學(xué)家羅特于1608年提出。據(jù)說,關(guān)于代數(shù)學(xué)基本定理的證明,現(xiàn)有200多種證法。迄今為止,該定理尚無純代數(shù)方法的證明。大數(shù)學(xué)家J.P.塞爾曾經(jīng)指出:代數(shù)基本定理的所有證明本質(zhì)上都是拓?fù)涞?。美?guó)數(shù)學(xué)家John Willard Milnor在數(shù)學(xué)名著《從微分觀點(diǎn)看拓?fù)洹芬粫薪o了一個(gè)幾何直觀的證明,但是其中用到了和臨界點(diǎn)測(cè)度有關(guān)的sard定理。復(fù)變函數(shù)論中,對(duì)代數(shù)基本定理的證明是相當(dāng)優(yōu)美的,其中用到了很多經(jīng)典的復(fù)變函數(shù)的理論結(jié)果。
代數(shù)基本定理,一般高等代數(shù)的教材中都沒有給出證明,這是因?yàn)樗募兇鷶?shù)方法的種種證明都很復(fù)雜。大多數(shù)參考文獻(xiàn)中都是利用維爾定理和儒歇定理等復(fù)變函數(shù)理論來證明代數(shù)基本定理。本文從拓?fù)鋵W(xué),不動(dòng)點(diǎn)理論,代數(shù)理論等角度分別列舉了五種不同的證明方法。
1 代數(shù)學(xué)基本定理
任何一個(gè)n次多項(xiàng)式f(z)=anzn+an-1zn-1+…+a1z1+a0,ai∈C,an≠0在復(fù)數(shù)域C中至少有一個(gè)根。
證法一:(代數(shù)拓?fù)浞椒ǎ?/p>
視S2=C∪{SymboleB@
},f(z)可以延拓為一個(gè)連續(xù)映射:
F:S2=C∪{SymboleB@
}→S2=C∪{SymboleB@
};
F(z)=f(z),z∈C;F(SymboleB@
)=SymboleB@
。
由此可知,只要證明0∈ImF即可。定義H:S2×I→S2如下:
H(z,t)=anzn+(1-t)(f(z)-anzn),z∈C,
SymboleB@
,z=SymboleB@
。
令F1(z)=anzn,z∈C
SymboleB@
,z=SymboleB@
,則H(z,t)定義了一個(gè)F與F1之間的一個(gè)同倫。而degF1=n,所以degF=n,故F必為滿射,所以0∈ImF,證畢。
證法二:(代數(shù)拓?fù)浞椒ǎ?/p>
用反證法。設(shè)n次復(fù)系數(shù)多項(xiàng)式f(z)=anzn+an-1zn-1+…+a1z1+a0,ai∈C,an≠0在復(fù)平面上無根。于是a0≠0,否則0是根。不妨設(shè)an=1。
r>0,規(guī)定fr(z):S1→S1為
fr(z)=f(rz)/‖f(rz)‖
則r,fr~f0。而f0(z)=a0/‖a0‖,即f0是常值映射。于是fr零倫但是不難證明當(dāng)r→+SymboleB@
時(shí),fr(z)→zn。從而當(dāng)r充分大時(shí)fr~hn。這里hn:S1→S1規(guī)定為hn=zn。它不是零倫的,因?yàn)椋╤n)π不是平凡同態(tài).導(dǎo)出矛盾。
證法三:(微分拓?fù)浞椒ǎ?/p>
因?yàn)閘imz→SymboleB@
f(z)=SymboleB@
,所以存在R>0,使得|z|R|f(z)|>|f(0)|,記K={z∈C|z|SymbolcB@
R},則函數(shù)|f(z)|在K上的最小值必定在K內(nèi)部的某點(diǎn)c取得,這時(shí)必有f(c)=0。否則,因?yàn)閒將c點(diǎn)的一個(gè)開鄰域U(不妨設(shè)UK)映成點(diǎn)f(c)的一個(gè)開鄰域W,所以必有W中的某點(diǎn)w=f(z)使得|f(z)|<|f(c)|,但這與|f(c)|的最小性矛盾(如下圖所示)。
證法四:(不動(dòng)點(diǎn)理論方法)
不失一般性,可設(shè)an=1,令z=reiθ(0SymbolcB@
θSymbolcB@
2π),且令R=2+|a0|+…+|an-1|,在復(fù)平面上定義函數(shù):
g(z)=z-f(z)Rei(n-1θ)?|z|SymbolcB@
1,
z-f(z)Rz(n-1)|z|>1。
由g的形式,顯然它是連續(xù)函數(shù),考慮集合C={z||z|SymbolcB@
R},它是平面上列緊的凸集?,F(xiàn)在證明集合C對(duì)于g是不變集合。事實(shí)上,設(shè)|z|SymbolcB@
1,則:
|g(z)|SymbolcB@
|z|+|f(z)|RSymbolcB@
1+(1+|a0|+…+|an-1|)RSymbolcB@
1+1=2SymbolcB@
R
設(shè)|z|1,則:
|g(z)|SymbolcB@
|Rzn-f(z)||Rzn-1|=|(R-1)zn-(an-1zn-1+…+a1z1+a0)||Rzn-1|
SymbolcB@
(R-1)zR+|a0|+…+|an-1|R
SymbolcB@
R-1+R-2RSymbolcB@
R
由集合C對(duì)于是g不變集合,由Brower定理gC:C→C有不動(dòng)點(diǎn),設(shè)為z0,即g(z0)=z0,故:
f(z0)=0。
證法五:(近世代數(shù)方法)
首先假設(shè)f(z)是實(shí)系數(shù)多項(xiàng)式,并設(shè)n=2lm,m為奇數(shù)。(對(duì)l歸納證明)當(dāng)l=0時(shí),n為奇數(shù),顯然f(z)有一個(gè)實(shí)根,當(dāng)然也是一個(gè)復(fù)根。假設(shè)l1,定理對(duì)l-1成立。由分裂域存在定理,存在f(z)的分裂域Ef包含f(z)的所有根α1,α2,…,αn-1,αn,任取一實(shí)數(shù)r,并令βij=αiαj+r(αi+αj)(i i,jSymbolcB@ n),共有n(n-1)2=2l-1m個(gè)。 作多項(xiàng)式g(z)=Πni,j=1i 某對(duì)i,j,使得βij(1)=αiαj+r1(αi+αj);βij(2)=αiαj+r2(αi+αj)都是復(fù)數(shù),因此可得αiαj,αi+αj也都是復(fù)數(shù),從而αi,αj也都是復(fù)數(shù)。這就證明了實(shí)系數(shù)多項(xiàng)式f(z)至少有一個(gè)復(fù)根。 其次,如果f(z)不是實(shí)系數(shù)多項(xiàng)式,設(shè)f(z)=anzn+an-1zn-1+…+a1z1+a0,ai∈C,an≠0,令f1(z)=a-nzn+a-n-1zn-1+…+a-1z1+a-0,則F(z)=f(z)f1(z)是實(shí)系數(shù)多項(xiàng)式,由第一步的結(jié)論可知α至少有一個(gè)復(fù)根α,即f(α)f1(α)=0;若f(α)≠0則f1(α)=0,從而f1(α)=f(α-)=0,所以α-是f(z)的一個(gè)復(fù)根。 綜上所述,定理得證。 2 結(jié)語 代數(shù)基本定理保證了多項(xiàng)式方程的根的存在性,證明歷史由來已久,前人已對(duì)代數(shù)基本定理的證明進(jìn)行了深入研究,然而利用各方面的知識(shí)探討該定理的證明仍是十分有意義的,本文從拓?fù)鋵W(xué),不動(dòng)點(diǎn)理論,代數(shù)理論等角度分別列舉了五種不同的證明方法。反映出現(xiàn)代數(shù)學(xué)的各個(gè)分支相互滲透,相互融合也提現(xiàn)了數(shù)學(xué)的統(tǒng)一觀。 參考文獻(xiàn): [1]段海豹.同調(diào)論,中科院討論班講義.2009. [2]尤承業(yè).基礎(chǔ)拓?fù)鋵W(xué)講義[M].北京:北京大學(xué)出版社,2005. [3]張筑生.微分拓?fù)湫轮v[M].北京:北京大學(xué)出版社,2002. [4]Vasile I Istratescu,不動(dòng)點(diǎn)理論及其應(yīng)用[M].上海:上??茖W(xué)技術(shù)出版社,1991. [5]胡冠章.應(yīng)用近世代數(shù)[M].北京:清華大學(xué)出版社,1999. [6]劉紅玉,霍東華.代數(shù)基本定理的幾種證明[J].牡丹江師范學(xué)院學(xué)報(bào)(自然科學(xué)版),2011(03):1-2. [7]孫艷紅,高會(huì)雙.代數(shù)基本定理的拓?fù)渥C明及推廣[J].井岡山大學(xué)學(xué)報(bào)(自然科學(xué)版),2018,39(04):17-20. 基金項(xiàng)目:河北工業(yè)大學(xué)教育教學(xué)改革研究項(xiàng)目(201903028);河北省自然科學(xué)面上基金(A2019402043) 作者簡(jiǎn)介:李志國(guó)(1979-),男,漢族,河北磁縣人,博士,講師,拓?fù)鋵W(xué)方向;李志新(1983-),男,漢族,河北邯鄲人,博士,講師,動(dòng)力系統(tǒng)方向。 *通訊作者:邵澤玲(1977-),女,漢族,山東臨沂人,博士,副教授,圖論方向。