行列式
出自 MBA智库百科(https://wiki.mbalib.com/)
目錄[隱藏] |
行列式是數學中的一個函數,將一個的矩陣A映射到一個純量,記作det(A)或 | A | 。行列式可以看做是有向面積或體積的概念在一般的歐幾裡得空間中的推廣。或者說,在n維度空間中,行列式描述的是一個線性變換對“體積”所造成的影響。無論是線上性代數、多項式理論,還是在微積分學中(比如說換元積分法中),行列式作為基本的數學工具,都有著重要的應用。
行列式概念最早出現在解線性方程組的過程中。十七世紀晚期,關孝和與萊布尼茨的著作中已經使用行列式來確定線性方程組解的個數以及形式。十八世紀開始,行列式開始作為獨立的數學概念被研究。十九世紀以後,行列式理論進一步得到發展和完善。矩陣概念的引入使得更多有關行列式的性質被髮現,行列式在許多領域都逐漸顯現出重要的意義和作用,出現了線性自同態和向量組的行列式的定義。
行列式的特性可以被概括為一個多線性形式,這個本質使得行列式在歐幾里德空間中可以成為描述“體積”的函數[1]。
矩陣A的行列式有時也記作|A|。絕對值和範數|矩陣範數也使用這個記法,有可能和行列式的記法混淆。不過矩陣範數通常以雙垂直線來表示(如:),且可以使用下標。此外,矩陣的絕對值是沒有定義的。因此,行列式經常使用垂直線記法(例如:克萊姆法則和子式)。例如,一個矩陣:
,
行列式det(A)也寫作 | A | ,或明確的寫作:
,
行列式的概念最初是伴隨著方程組的求解而發展起來的。行列式的提出可以追溯到十七世紀,最初的雛形由日本數學家關孝和與德國數學家戈特弗里德•萊布尼茨各自獨立得出,時間大致相同。
關孝和在《解伏題之法》中首次運用行列式的概念。1545年,卡當在著作《大術》中給出了一種解兩個一次方程組的方法。他把這種方法稱為“母法”。這種方法和後來的克萊姆法則已經很相似了,但卡當並沒有給出行列式的概念。[4]
1683年,日本數學家關孝和在其著作《解伏題之法》中首次引進了行列式的概念。書中出現了、
乃至
的行列式,行列式被用來求解高次方程組。
1693年,德國數學家萊布尼茨開始使用指標數的系統集合來表示有三個未知數的三個一次方程組的繫數。他從三個方程的系統中消去了兩個未知量後得到一個行列式。這個行列式不等於零,就意味著有一組解同時滿足三個方程。[5]由於當時沒有矩陣的概念,萊布尼茨將行列式中元素的位置用數對來表示:代表第i行第j列。萊布尼茨對行列式的研究成果中已經包括了行列式行列式的展開和克萊姆法則,但這些結果在當時並不為人所知。[6]
1730年,蘇格蘭數學家科林•麥克勞林在他的《論代數》中已經開始闡述行列式的理論,記載了用行列式解二元、三元和四元一次方程的方法,並給出了四元一次方程組的一般解的正確形式,儘管這本書直到麥克勞林逝世兩年後(1748年)才得以出版。[7]
1750年,瑞士的加布里爾•克拉默首先在他的《代數曲線分析引論》給出了n元一次方程組求解的法則,用於確定經過五個點的一般二次曲線的繫數,但並沒有給出證明。[8]其中行列式的計算十分複雜,因為是定義在置換的奇偶性上的。[9]
此後,關於行列式的研究逐漸增多。1764年,法國的艾蒂安•貝祖的論文中關於行列式的計算方法的研究簡化了克萊姆法則,給出了用結式來判別線性方程組的方法[10]同是法國人的亞歷山德•西奧菲勒•範德蒙德則在1771年的論著中第一個將行列式和解方程理論分離,對行列式單獨作出闡述。這是數學家們開始對行列式本身進行研究的開端。[11]
1772年,皮埃爾-西蒙•拉普拉斯在論文《對積分和世界體系的探討》中推廣了範德蒙德著作裡面將行列式展開為若幹個較小的行列式之和的方法,發展出子式的概念。一年後,約瑟夫•拉格朗日發現了的行列式與空間中體積的聯繫。他發現:原點和空間中三個點所構成的四面體的體積,是它們的坐標所組成的行列式的六分之一。
行列式在大部分歐洲語言中被稱為“determinant”(某些語言中詞尾加e或o,或變成s),這個稱呼最早是由卡爾•弗里德里希•高斯在他的《算術研究》中引入的。這個稱呼的詞根有“決定”意思,因為在高斯的使用中,行列式能夠決定二次曲線的性質。在同一本著作中,高斯還敘述了一種通過繫數之間加減來求解多元一次方程組的方法,也就是現在的高斯消元法。
進入十九世紀後,行列式理論進一步得到發展和完善。奧古斯丁•路易•柯西在1812年首先將“determinant”一詞用來表示十八世紀出現的行列式,此前高斯只不過將這個詞限定在二次曲線所對應的繫數行列式中。柯西也是最早將行列式排成方陣並將其元素用雙重下標表示的數學家(垂直線記法是阿瑟•凱萊在1841年率先使用的)柯西還證明瞭行列式行列式的性質(實際上是矩陣乘法),這個定理曾經在雅克•菲利普•瑪利•比內的書中出現過,但沒有證明。
十九世紀五十年代,凱萊和詹姆斯•約瑟夫•西爾維斯特將矩陣的概念引入數學研究中[12]。行列式和矩陣之間的密切關係使得矩陣論蓬勃發展的同時也帶來了許多關於行列式的新結果,例如阿達馬不等式、正交行列式、對稱行列式等等。[13]
與此同時,行列式也被應用於各種領域中。高斯在二次曲線和二次型的研究中使用行列式作為二次曲線和二次型劃歸為標準型時的判別依據。之後,卡爾•魏爾斯特拉斯和西爾維斯特又完善了二次型理論,研究了λ矩陣的行列式以及初等因數。行列式被用於多重函數的積分大約始於十九世紀三十年代。1832年至1833年間卡爾•雅可比發現了一些特殊結果,1839年,歐仁•查爾•卡塔蘭發現了所謂的雅可比行列式。1841年,雅可比發表了一篇關於函數行列式的論文,討論函數的線性相關性與雅可比行列式的關係
現代的行列式概念最早在19世紀末傳入中國。1899年,華蘅芳和英國傳教士傅蘭雅合譯了《算式解法》十四捲,其中首次將行列式翻譯成“定准數”。1909年顧澄在著作中稱之為“定列式”。1935年8月,中國數學會審查各種術語譯名,9月教育部公佈的《數學名詞》中正式將譯名定為“行列式”。其後“行列式”作為譯名沿用至今。
一個n階方塊矩陣A的行列式可直觀地定義如下:
其中,Sn是集合{1,2,...,n}上置換的全體,即集合{1,2,...,n}到自身上的一一映射(雙射)的全體;
表示對S全部元素的求和,即對於每個σ∈S,
在加法算式中出現一次;對每一個滿足1≤i,j≤n的數對(i,j),ai,j是矩陣A的第i行第j列的元素。
σ表示置換σ∈Sn的置換的奇偶性,具體地說,滿足1≤i<j≤n但σ(i)>σ(j)的有序數對(i,j)稱為σ的一個逆序。
如果σ的逆序共有偶數個,則sgn(σ) = 1,如果共有奇數個,則sgn(σ) = − 1。
舉例來說,對於3元置換σ=(2,3,1)(即是說σ(1)=2,σ(2)=3,σ(3)=1而言,由於1在2後,1在3後,所以共有2個逆序(偶數個),因此sgn(σ) = 1,從而3階行列式中項a1,2a2,3a3,1的符號是正的。但對於三元置換σ=(3,2,1)(即是說σ=3,σ=2,σ=1)而言,可以數出共有3個逆序(奇數個),因此sgn(σ) = − 1,從而3階行列式中項a1,3a2,2a3,1的符號是負號。[14]
註意到對於任意正整數n,S_n共擁有n個元素,因此上式中共有n個求和項,即這是一個有限多次的求和。
對於簡單的2階和3階的矩陣,行列式的表達式相對簡單,而且恰好是每條主對角線(左上至右下)元素乘積之和減去每條副對角線(右上至左下)元素乘積之和(見圖1中紅線和藍線)。
2階矩陣的行列式:
3階矩陣的行列式:
但對於階數n≥4的方陣A,這樣的主對角線和副對角線分別隻有n條,由於A的主、副對角線總條數 = 2n < (n − 1)n < n! = Sn的元素個數
因此,行列式的相加項中除了這樣的對角線乘積之外,還有其他更多的項。例如4階行列式中,項a1,2a2,3a3,1a4,4就不是任何對角線的元素乘積。不過,和2、3階行列式情況相同的是,n階行列式中的每一項仍然是從矩陣中選取n個元素相乘得到,且保證在每行和每列中都恰好只選取一個元素,而整個行列式恰好將所有這樣的選取方法遍歷一次。
另外,n×n矩陣的每一行或每一列也可以看成是一個n元向量,這時矩陣的行列式也被稱為這n個n元向量組成的向量組的行列式
行列式的一個自然的源起是n維平行體的體積。行列式的定義和n維平行體的體積有著本質上的關聯
行列式是向量形成的平行四邊形的面積
在一個二維歐幾裡得平面上,兩個向量X=(a,c)和X'=(b,d)的行列式是:
比如說,兩個向量X=(2,1)和X=(3,4)的行列式是:
經計算可知,當繫數是實數時,行列式表示的是向量X和X'形成的平行四邊形的有向面積,並有如下性質:
行列式為零當且僅當兩個向量共線(線性相關),這時平行四邊形退化成一條直線。
如果以逆時針方向為正向的話,有向面積的意義是:平行四邊形面積為正當且僅當以原點為不動點將X逆時針“轉到X'處時,掃過的地方在平行四邊形里,否則的話面積就是負的。如圖2中,X和X'所構成的平行四邊形的面積就是正的。
行列式是一個雙線性映射。也就是說,det(λX + μY,X') = λdet(X,X') + μdet(Y,X'),
並且
det(X,λX' + μY') = λdet(X,X') + μdet(X,Y')。
其幾何意義是:以同一個向量v作為一條邊的兩個平行四邊形的面積之和,等於它們各自另一邊的向量u和u'加起來後的向量:u+u'和v所構成的平行四邊形的面積,如圖3中所示。
在三維的有向歐幾裡得空間中,三個三維向量的行列式是:
。
比如說,三個向量(2,1,5)、(6,0,8)和(3,2,4)的行列式是:
當繫數是實數時,行列式表示X、X′和X″三個向量形成的平行六面體的有向體積,也叫做這三個向量的三重積。同樣的,可以觀察到如下性質:
行列式為零當且僅當三個向量共線或者共面(三者線性相關),這時平行六面體退化為平面圖形,體積為零。
三維空間中有向體積的定義要比二維空間中複雜,一般是根據右手定則來約定。比如圖4中(u,v,w)所形成的平行六面體的體積是正的,而(u,w,v)所形成的平行六面體的體積是負的。這個定義和行列式的計算並不矛盾,因為行列式中向量的坐標都是在取好坐標系後才決定的,而坐標系的三個方向一般也是按照右手規則來設定的。如果計算開始時坐標系的定向反過來的話,有向體積的定義也要跟著反過來,這樣行列式才能代表有向體積。
這時行列式是一個“三線性映射”,也就是說,對第一個向量有det(aX + bY,X',X'') = adet(X,X',X'') + bdet(Y,X',X''),對第二、第三個向量也是如此。其幾何意義和二維時基本相同,是指當生成兩個平行六面體的每組三個向量中如果有兩個是重合的,比如分別是:(u,v,w)和(u',v,w),那麼它們的體積之總和等於將u和u'加起來後的向量u+u'和v,w所形成的平行六面體的體積,如右圖所示。
在以上的行列式中,我們不加選擇地將向量在所謂的正交基(即笛卡兒坐標系)下分解,實際上在不同的基底之下,行列式的值並不相同。這並不是說平行六面體的體積不唯一。恰恰相反,這說明體積的概念依賴於衡量空間的尺度,也就是基底的取法。用基底的變換可以看作線性映射對基底的作用,而不同基底下的行列式代表了基變換對“體積”的影響。可以證明,對於所有標準正交基,向量組的行列式的值在絕對值意義上是一樣的[15]。也就是說,如果我們選擇的基底都是“單位長度”,並且兩兩正交,那麼在這樣的基之下,平行六面體的體積的絕對值是唯一的。
設E是一個一般的n維的有向歐幾裡得空間。一個線性變換把一個向量線性地變為另一個向量。比如說,在三維空間中,向量(x,y,z)被映射到向量(x',y',z'):
其中a、b、c是繫數。如圖5,正方體(可以看作原來的一組基形成的)經線性變換後可以變成一個普通的平行六面體,或變成一個平行四邊形(沒有體積)。這兩種情況表示了兩種不同的線性變換,行列式可以將其很好地分辨出來(為零或不為零)。
更詳細地說,行列式表示的是線性變換前後平行六面體的體積的變化繫數。如果設左邊的正方體體積是一,那麼中間的平行六面體的(有向)體積就是線性變換的行列式的值,右邊的平行四邊形體積為零,因為線性變換的行列式為零。這裡我們混淆了線性變換的行列式和向量組的行列式,但兩者是一樣的,因為我們在對一組基作變換。
以上二維和三維行列式的例子中,行列式被解釋為向量形成的圖形的面積或體積。面積或體積的定義是恆正的,而行列式是有正有負的,因此需要引入有向面積和有向體積的概念。負的面積或體積在物理學中可能難以理解,但在數學中,它們和角的概念類似,都是對空間鏡面對稱特性的一種刻畫。如果行列式表示的是線性變換對體積的影響,那麼行列式的正負就表示了空間的定向。
如圖6中,左邊的黃色骰子(可以看成有單位的有向體積的物體)在經過了線性變換後變成中間綠色的平行六邊形,這時行列式為正,兩者是同定向的,可以通過旋轉和拉伸從一個變成另一個。而骰子和右邊的紅色平行六邊形之間也是通過線性變換得到的,但是無論怎樣旋轉和拉伸,都無法使一個變成另一個,一定要通過鏡面反射才行。這時兩者之間的線性變換的行列式是負的。可以看出,線性變換可以分為兩類,一類對應著正的行列式,保持空間的定向不變,另一類對應負的行列式,顛倒空間的定向[16]。
由二維及三維的例子,可以看到一般的行列式應該具有怎樣的性質。在n維歐幾裡得空間中,作為“平行多面體”的“體積”的概念的推廣,行列式繼承了“體積”函數的性質。首先,行列式需要是線性的,這可以由面積的性質類比得到。這裡的線性是對於每一個向量來說的,因為當一個向量變為原來的a倍時,“平行多面體”的“體積”也變為原來的a倍。其次,當一個向量在其它向量組成的“超平面”上時,n維“平行多面體”的“體積”是零(可以想象三維空間的例子)。也就是說,當向量線性相關時,行列式為零。在一般繫數域上的線性空間中,行列式也正是由這樣的特性所刻劃的。
行列式是繫數域為K的有限維線性空間E上射到K的多線性形式n-線性形式。
具體來說,設E是一個繫數在域K上的有限維線性空間,維數為n。一個E上的交替n-線性形式是指滿足以下性質的函數:
n重線性:
交替性:或者說,當ai = aj的時候
所有E上的交替n-線性形式的集合記作An(E)。
定理:
An(E)的維度是1。也就是說,設是E的一組基,那麼,所有的交替n-線性形式
都可以寫成
其中
是在基B下的展開[17]。
證明:
對任一個n-線性形式,考慮將D依照多線性性質展開,
這時,由交替性,當且僅當
是
的一個排列,所以有
這裡,
。
設是E的一組基,根據上面的定理和線性形式的性質,可以定義B下的行列式。
定義:
E上的一組基的行列式是唯一一個滿足:
detB(e1,...,en) = 1的多線性形式n-線性形式。
其中的唯一性是因為如果有兩個交替n-線性形式滿足條件,則它們的差在一組基上為0,從而恆等於0。於是,一組基上的一個向量組的行列式就是:
定義:
確定了E上的一組基B後,向量組在B下的行列式是:
其中是在B下的展開[18]。
可以見到這個定義與之前直觀的定義是吻合的,它有時也被稱作萊布尼茲公式。
設B與B′是向量空間中的兩組基,則將上面定理中的f改為detB就得到向量組在兩組基下的行列式之間的關係:
,
設Mn(K)為所有定義在繫數域K上的矩陣的集合。將
矩陣M(M的元素記為mi,j)的n列寫成
,mj可以看作是
的正則基上的向量。矩陣M的行列式定義為向量組
的行列式。這裡的向量都在
的正則基上展開,因此矩陣的行列式不依賴於基的選擇。
定義:
矩陣M的行列式
這樣定義的矩陣M的行列式與向量組的行列式有同樣的性質。單位矩陣的行列式為1,若矩陣的某幾行線性相關,則它的行列式為零。
由萊布尼茲公式,可以證明矩陣行列式的一個重要性質:
定理:
一個矩陣的行列式等於它的轉置矩陣的行列式:。
也就是說矩陣的行列式既可以看作n個行向量的行列式,也可以看作n個列向量的行列式。因此也可以通過行向量組來定義矩陣行列式,並且得到的定義是等價的。
證明:
矩陣A的轉置矩陣的行列式是:
令j = σ(i),由於每個排列都是雙射,所以上式變成:
令τ = σ − 1,當σ取遍所有置換時,τ也取遍所有排列。另一方面,1 = sgn(σ − 1σ) = sgn(τσ) = sgn(τ)sgn(σ),因此而且sgnσ = sgnτ。所以
設f是n維線性空間E到自身的線性變換(自同態),對於給定的一組基,可以定義線性變換在這組基下的行列式。
定義:
設B是E的一組基。設f在B的變換矩陣為,那麼f在B下的行列式就是:
。
f的變換矩陣滿足
也就是說對所有的向量組,
。
可以證明,f在E的任意一組基下的變換矩陣的行列式都是相等的
證明:
考慮映射df,B使得被映射到
,
df,B是一個交替n-線性形式,因此由前面證的定理,df,B和detB只相差一個繫數。
。
而由變換矩陣的性質可以知道:
也就是說
對於另外一組基B′,運用基變更公式,可以得到:
從而可以得出等於
。於是
是一個不依賴於基,只依賴於f的數。
因此線性變換的行列式定義可以修改為不依賴於基的形式:
定義:
設線性變換f在某組基B下的變換矩陣為,那麼f的行列式就是:
。
前一節里對正方體做線性變換時,是原來的基,
,因此可以混淆向量組的行列式和線性變換的行列式。
特別地,行列式為1的線性變換保持向量組的行列式,它們構成一般線性群GL(E)的一個子群SL(E),稱作特殊線性群[19]。可以證明,SL(E)是由所有的錯切生成的,即所有具有如下形式的矩陣代表的線性變換:
其中Eij是只在第i行第j列處繫數取1,其餘繫數為0的矩陣。也就是說,錯切變換保持向量組形成的“平行多面體”的體積[20]。同樣,可以證明兩個相似矩陣有相等的行列式。
以上的定義中都假設矩陣的繫數取自域中,實際上矩陣的繫數可以是任意的交換環k,這時有限維線性空間變為以
為基的自由k-模,而相應的關於行列式的定義和性質依然成立(在可定義的範疇內)。如果矩陣繫數是非交換環的話,以上的行列式定義將不再唯一。1845年,阿瑟•凱萊首次開始研究非交換環上行列式定義的問題。他註意到,對於繫數是四元數(不可交換)的二階行列式
表達式a11a22 − a12a21和a11a22 − a21a12是不一樣的。1926年,阿蘭德•海廷和A.理查德德森提出了非交換環上的行列式的不同定義。理查德德森將二階行列式定義為:,而海廷則提倡使用
。兩人都用歸納法定義了更高階矩陣的行列式。1931年,奧斯丁•歐爾在一大類非交換環(後來命名為歐爾條件)上定義了行列式的概念。最著名的非交換環上的行列式的定義當屬讓•迪厄多內的定義。迪厄多內是布爾巴基學派的代表成員之一,他將除環
中的行列式定義在商域
上,而不是在
中。這個定義下的行列式有接近交換環中行列式的性質。例如,迪爾多內的行列式可以保持行列式的乘法定理。而這種行列式與交換環中行列式的區別是:將矩陣的兩行或兩列互換後,行列式的值不變。
行列式的一些基本性質,可以由它的多線性以及交替性推出。
在行列式中,一行(列)元素全為0,則此行列式的值為0[21]。
在行列式中,某一行(列)有公因數k,則可以提出k。
在行列式中,某一行(列)的每個元素是兩數之和,則此行列式可拆分為兩個相加的行列式。
行列式中的兩行(列)互換,改變行列式正負符號。
在行列式中,有兩行(列)對應成比例或相同,則此行列式的值為0<refname="detxz"/>。
將一行(列)的k倍加進另一行(列)里,行列式的值不變。
<spanstyle="color:red;">註意:一行(列)的k倍加上另一行(列),行列式的值改變。
將行列式的行列互換,行列式的值不變,其中行列互換相當於轉置[22]。這個性質可以簡單地記作:
例如
行列式的乘法定理:方塊矩陣的乘積的行列式等於行列式的乘積。det(AB) = det(A)det(B)。特別的,若將矩陣中的每一行每一列上的數都乘以一個常數r,那麼所得到的行列式不是原來的r倍,而是rn倍。
[23]。
以上的乘法公式還可以進一步推廣為所謂柯西–比內公式,從而使得只要兩個矩陣的乘積是方塊矩陣,就有類似於以上的結果:假設A是一個矩陣,而B是一個
矩陣。如果S是
中具有m個元素的子集
,我們記AS為A中列指標位於S中的
子矩陣。類似地,記BS為B中行指標位於S中的
子矩陣。那麼
這裡求遍中m個元素的所有可能子集S(共有二項式繫數C(n,m)個)。
如果m=n,即A與B是同樣大小的方塊矩陣,則只有一個容許集合S,柯西–比內公式退化為通常行列式的乘法公式。如過m=1則有n容許集合S,這個公式退化為點積。如果m>n,沒有容許集合S,約定行列式det(AB)是零。
若A是可逆矩陣,[24]。
由行列式的乘法定理以及可以知道,行列式定義了一個從一般線性群
到
上的群同態。
若將方塊矩陣中的元素取共軛,得到的是矩陣的共軛矩陣。共軛矩陣的行列式值等於矩陣行列式值的共軛:這是由於行列式按照定義可以看成關於矩陣繫數的多項式。另一方面,若幹個複數乘積或和的共軛等於其共軛的乘積或和。從而當每個繫數都取共軛後,行列式這個多項式的值也變成原來的共軛。
若兩個矩陣相似矩陣,那麼它們的行列式相同。這是因為兩個相似的矩陣之間只相差一個基底變換,而行列式描述的是矩陣對應的線性映射對體積的影響,而不是體積,所以基底變換並不會影響行列式的值。用數學語言來說,就是:
如果兩個矩陣A與B相似,那麼存在可逆矩陣P使得
,所以
行列式是所有特征值(按代數重數計)的乘積。這可由矩陣必和其若爾當標準型相似推導出>。特殊地,三角矩陣的行列式等於其對角線上所有元素的乘積。
由於三角矩陣的行列式計算簡便,當矩陣的繫數為域時,可以通過高斯消去法將矩陣變換成三角矩陣,或者將矩陣分解成三角矩陣的乘積之後再利用行列式的乘法定理進行計算。可以證明,所有的矩陣A都可以分解成一個上三角矩陣U、一個下三角矩陣L以及一個置換矩陣P的乘積:。這時,矩陣A的行列式可以寫成:
分塊矩陣的行列式並不能簡單地表示成每個分塊的行列式的乘積組合。對於分塊的三角矩陣,仍然有類似的結論:
,矩陣的行列式等於對角元素的行列式之乘積。
對於一般情況,若對角元素中有一個是可逆矩陣,比如說A可逆,那麼矩陣的行列式可以寫做
。
矩陣的行列式和矩陣的跡數有一定的關聯,當矩陣的繫數為域時,在定義了矩陣指數後,有如下的恆等式: det(exp(A)) = exp(tr(A))==行列式的展開==
對一個n階的行列式M,去掉M的第i行第j列後形成的n-1階的行列式叫做M關於元素mij的餘因式。記作Mij[26]。
M關於元素mij的代數餘子式記作Cij。。
一個n階的行列式M可以寫成一行(或一列)的元素與對應的代數餘子式的乘積之和,叫作行列式按一行(或一列)的展開。
這個公式又稱拉普拉斯公式,把n維矩陣的行列式計算變為了n個n-1維的行列式的計算[27]。另一方面,拉普拉斯公式可以作為行列式的一種歸納定義:在定義了二維行列式後,n維矩陣的行列式可以藉助拉普拉斯公式用n-1維的行列式來定義。這樣定義的行列式與前面的定義是等價的。
計算行列式的值是一個常見的問題。最簡單的方法是按照定義計算或按照拉普拉斯公式進行遞歸運算。這樣的演算法需要計算n!次的加法,複雜度是指數函數。在實際的計算中只能用於計算階數很小的行列式。註意到拉普拉斯公式的性質,如果一行或一列裡面有很多個0,那麼就可以把行列式按這一行或一列展開,這時數值為零的繫數所對應的代數餘子式就不必計算了,因為最後要乘以0,這樣就可以簡化計算。然而更加簡便的演算法是利用高斯消去法或LU分解,把矩陣通過初等變換變成三角矩陣或三角矩陣的乘積來計算行列式的值。這些演算法的複雜度都是n3級別,遠遠小於直接計算的複雜度。
如果一個演算法可以在O(ns)時間內算出矩陣乘法,那麼可以構造出一種O(ns)時間內的行列式求值演算法。這說明求矩陣的行列式的值和矩陣的乘法有相同的複雜度。於是,通過分治演算法或者其它的方法,可以達到比O(n3)更好的結果。比如,存在複雜度O(n2.376)的行列式求值演算法。
由行列式的一般表達形式中可以看出,矩陣A的行列式是關於其繫數的多項式。因此行列式函數具有良好的光滑性質。
設矩陣函數為Ck(k階連續可導)的函數,則由於行列式函數
只不過是矩陣A(t)的某些繫數的乘積,所以也是
的。其對t的導數為
,其中的每個Ai(t)是矩陣A(t)的第i個行向量(也可以全部是列向量)。
函數是連續的。由此,n階一般線性群是一個開集,因為是開區間
的原像,而特殊線性群則是一個閉集,因為是閉集合
的原像。
函數也是可微的,甚至是光滑函數(
)。它在某個矩陣A處的展開為
也就是說,在裝備正則範數的矩陣空間Mn()中,伴隨矩陣是行列式函數的梯度
特別當A為單位矩陣時,
可逆矩陣的可微性說明一般線性群GLn()是一個李群。
行列式與外代數有密切的關係,因為外代數正是在給定的交換環上的自由
-模V上最“一般性”的有交替性質的結合代數,記為
。外代數是由楔積構造而成的,而楔積在V上的交替性質表現如下(定義):
:楔積是滿足結合律雙線性的二元運算,使得對於所有向量,
這表示
對於所有向量,
,以及
當
線性相關時,
。
所有形同的元素稱為k-向量。所有k-向量構成了
的一個子空間,稱為V的k-階外冪,記為
。行列式函數是n重交替線性形式,所以可以看成是將n個
裡面的向量映射到它們對應的n-階外冪
這樣一個映射。由於
的k-階外冪
的維數等於組合數
,
的維數是
,因此
實際上同構於
,所以將行列式看做n個
裡面的向量映射到它們對應的n-階外冪
的映射與之前的行列式定義並沒有衝突。外代數理論實際上涵蓋了行列式理論。[28]
對三維歐幾裡得空間中可以建立一個線性同構
如下:任取
的右手的標準正交基
,
,
,規定φ把
,
,
分別映射為
,
,
,則φ的定義與右手的標準正交基如何選取無關。
不難看出,對任意向量和
,這個線性同構把楔積
映射為叉積
。這就是叉乘(向量積)的實質。叉積可以用帶向量的行列式:
來表示,但要註意這個行列式形式並不代表一個“真正”的行列式,因為第一行的分量不是數,而是向量。這個計算之所以正確是得益於線性同構φ。
行列式的一個主要應用是解線性方程組。當線性方程組的方程個數與未知數個數相等時,方程組不一定總是有唯一解。對一個有n個方程和n個未知數的線性方程組,我們研究未知數繫數所對應的行列式。這個線性方程組有唯一解當且僅當它對應的行列式不為零。這也是行列式概念出現的根源[29]。
當線性方程組對應的行列式不為零時,由克萊姆法則,可以直接以行列式的形式寫出方程組的解。但用克萊姆法則求解計算量巨大,因此並沒有實際應用價值,一般用於理論上的推導。
矩陣的概念出現得比行列式晚,直到十九世紀中期才被引入,然而兩者在本質上仍然有密切關係。通過矩陣,線性方程組可以表示為
其中是由方程組中未知數的繫數構成的方塊矩陣,
是未知數,而
。
在矩陣理論中,行列式也有各種用途。多項式p(x) = det(xI − A)稱為方塊矩陣A的特征值多項式。這是一個由行列式定義的多項式,它的解是矩陣所有的特征值。換句話說,x是矩陣A的特征值當且僅當xI − A不是可逆矩陣。特征值多項式在矩陣理論中有重要的應用[30]。
早在高斯的時代,行列式就和多項式的研究聯繫在一起。行列式的一個應用是在所謂的“結式”上。結式是兩個多項式p和q的西爾維斯特矩陣的行列式。兩個多項式的結式等於0當且僅當它們有高於或等於一次的公因數多項式。結式還可以判斷多項式是否有重根:如果多項式p和它的微分多項式p'的結式不為零,那麼這個多項式沒有重根,否則有重根。
行列式在多項式逼近理論中也有出現。給定一組插值點,判別插值多項式的存在性需要看所謂的範德蒙矩陣,而由於範德蒙矩陣的行列式不為零,因此根據克萊姆法則,插值多項式唯一存在(次數小於插值點個數)。
朗斯基行列式是函數矩陣的行列式,因此本身也是一個函數。給定n個n-1次連續可微函數,f1、...、fn,它們的朗斯基行列式W(f1,...,fn)為:
可以證明,如果f1、...、fn線性相關,那麼它們的朗斯基行列式恆等於零。
線上性微分動力系統理論中,朗斯基行列式用來判別若幹個解的線性相關性。如果n個解f1、...、fn線性無關,那麼它們的朗斯基行列式將總不為零,
根據劉維爾定理,n維空間上的線性微分方程:
的基礎解系所構成的朗斯基行列式W(t)滿足:
,
同樣地,線性微分方程:
的基礎解系所構成的朗斯基行列式W(t)滿足:
W'(t) = an − 1(t)W(t)
行列式體現了線性變換對於空間體積的作用,對於非線性的函數,其對體積的影響更為複雜,但對於足夠“良好”的函數,在一個微小的範圍內,比如說在空間中一點的附近,可以將函數的效果近似地用線性的變換來代替。由此,對於某些函數,也可以將它在某一點附近的作用效果用它在這一點上的偏導數構成的矩陣(稱為雅可比矩陣)來表示。這類行列式被稱為“雅可比行列式”,即是雅可比矩陣的行列式,只對連續可微的函數有定義。
在計算“體積”的多重積分中,雅可比行列式應用於換元積分法的時候。積分的思想是將空間割成許多個微小的體積元,稱為積分元素,再將每個體積元上的函數值乘以體積元的體積後相加。將一個積分元素換為另一個積分元素時,實際上作了一次對空間中體積的度量方式的改變:分劃體積元的方式不同了。譬如在二維空間中,將直角坐標系換為極坐標積分時,面積元素由方塊區域變成扇形區域。因此,要測量這種體積度量方式的改變,可以將這種變換看成一個非線性的變換函數(實際上是一個微分同胚):。而它在每一點的影響可以通過雅可比行列式來體現。
運用雅可比行列式的還有非線性方程組的數值求解。對於一般的非線性方程組,不存在求解公式,只能夠用數值分析的方法求近似解。求近似解的基本思想也是將非線性問題在局部的地方逐步線性化,化歸為線性方程組來求解。設有方程組:
其中
是連續可微函數,併在解的附近雅可比行列式不為零,那麼可以用牛頓法迭代求得近似解。迭代程式為:
其中的是第k次迭代時的解的近似數值。每次迭代時先求解關於線性方程組
然後計算新的近似值
x(k + 1) = x(k) − Δx(k)
在實際應用中,還需要考慮帶有參數的非線性方程組:
其中的λ可以代表溫度、外力等環境因素。當環境改變時,方程解上的雅可比行列式可能從非零變為零。雅可比行列式為零的點稱為臨界點或分支點,是方程的解改變性質的地方。和線性方程組類似,當雅可比行列式的值為零時,方程組會出現局部多值的情況。尋找分支點和分支方向的研究是非線性方程求解的一大問題。
- ↑ 項武義,《基礎代數學》,第92頁
- ↑ 居餘馬,《線性代數》第2-5頁
- ↑ 張賢科,《高等代數學》,第38頁
- ↑ EKnobloch,Determinants,inIGrattan-Guinness(ed.),CompanionEncyclopediaoftheHistoryandPhilosophyoftheMathematicalSciences(London,1994),766-774.
- ↑ 萊布尼茲,《萊布尼茲數學文獻》A.Asher,第二捲,229-245頁
- ↑ E.Knobloch,DerBeginnderDeterminantentheorie,LeibnizensnachgelasseneStudienzumDeterminantenkalkül(Hildesheim,1980)
- ↑ C.B.Boyer,AHistoryofMathematics(JohnWiley,1968)
- ↑ 加布里爾•克拉默Introductionàl'analysedeslignescourbesalgébraique1750
- ↑ M.Cantor,GeschichtederMathematik(Teubner,1913)
- ↑ 艾蒂安•貝祖Recherchessurledegrédeséquationsrésultantesdel’évanouissementdesinconnues,etsurlemoyensqu’ilconvientd’employerpourtrouverceséquations,Mém.Acad.Roy.SciParis,1764,pp288–338
- ↑ 亞歷山德•西奧菲勒•範德蒙德Mémoiresurl’élimination,Hist.del’Acad.Roy.desSciencesParis1772,2epartie,pp516-532
- ↑ 《古今數學思想》第三捲,208-209頁
- ↑ 《古今數學思想》第三捲,第207頁
- ↑ 張賢科,《高等代數學》,第33頁
- ↑ 張賢科,《高等代數學》,第283頁
- ↑ 項武義,《基礎代數學》,第92-93頁
- ↑ 張賢科,《高等代數學》,43-46頁
- ↑ StevenRoman,AdvancedLinearAlgebra,第387-388頁
- ↑ 胡冠章,王殿軍,《應用近世代數》,第47頁
- ↑ 居餘馬,《線性代數》,第7-10頁
- ↑ 居餘馬,《線性代數》,第7-11頁
- ↑ StevenRoman,AdvancedLinearAlgebra,第405-406頁
- ↑ 項武義,《基礎代數學》,第89頁
- ↑ 居餘馬,《線性代數》,第65頁
- ↑ GilbertStrang,LinearAlgebraanditsapplications,第236-237頁
- ↑ 居餘馬,《線性代數》,3-5頁
- ↑ 張賢科,《高等代數學》,47-48頁
- ↑ 張賢科,《高等代數學》,第311-319頁
- ↑ 《古今數學思想》第二捲,第361頁
- ↑ 居餘馬,《線性代數》,213-214頁.
這才是嚴謹的中國人的百科!