重要的數學概念和工具之一。它來源於求解線性方程組。由n2個元素(數)αij(i,j=1,2,…,n)排成n行n列並寫成
![](/img3/5709.gif)
① 每項是n個元素的乘積,這n個元素是從(1)中每行取一個元素、每列取一個元素組成的,可記為
![](/img3/5710.gif)
② 每項
![](/img3/5710.gif)
(1)稱為n階行列式,有時簡記為|αij|,其中αij稱為第i行第j列上的元素或元;當i=j時即αii,稱為主對角線(α11α22…αnn)上的元。
因為n個元的所有排列共有n!個,所以|αij|共有n!個項。由此可知,
![](/img3/5711.gif)
![](/img3/5712.gif)
![](/img3/5713.gif)
![](/img3/5714.gif)
行列式有多種定義方式,實質上不同的大致有三類:除上述的完全展開式定義外,常見的還有歸納定義和公理化定義等。
行列式的基本性質 任一行列式都有以下性質:①行列式A中某行(或列)用同一數k乘,其結果等於kA。②行列式A等於其轉置行列式AT(AT的第i行為A的第i列)。③若n階行列式|αij|中某行(或列)
![](/img3/5715.gif)
行列式的計算 簡單的行列式根據定義或基本性質容易計算。一般方法是把它按行(或列)展開化為低階行列式來計算。如n階行列式A按第i行(或列)展開:
![](/img3/5716.gif)
![](/img3/5717.gif)
![](/img3/5718.gif)
![](/img3/5719.gif)
上面是按某一行(或列)展開,還可以按某幾行(或列)展開。在n階行列式A中取定某k(1≤k≤n)個行(或列),則在這k個行(或列)中的所有k階子式分別與它的代數餘子式的乘積的和為A。這就是拉普拉斯展開式。它由A.-L.柯西於1812年首先證明。
k階子式的代數餘子式是上述1階子式αij的代數餘子式Aij的推廣。設N是從n階行列式A中劃去(n-k)個行和(n-k)個列得到的k階子式,M是從A中劃去N所在的行和所在的列得到的(n-k)階子式,則M稱為N的餘子式。如果N所在的行是i1,i2,…,ik,所在的列分別是j1,j2,…,jk,那麼
![](/img3/5720.gif)
某些行列式用拉普拉斯展開式計算非常方便。例如,2n階行列式
![](/img3/5721.gif)
范德蒙德行列式 用數學歸納法可以證明范德蒙德行列式
![](/img3/5722.gif)
行列式的乘積 根據拉普拉斯展開式,兩個n階行列式|αij|與|bij|的乘積是n階行列式|сij|,即
![](/img3/5723.gif)
![](/img3/5724.gif)
設A=|αij|是一n階行列式,則A的伴隨行列式是
![](/img3/5725.gif)
行列式的應用 克萊姆規則是用行列式求解線性方程組的一種方法。設有線性方程組
![](/img3/5726.gif)
![](/img3/5727.gif)
xi=Di/D (i=1,2,…,n), (3)
式中 D i是將 D中第 i列中元素 α i 1, α i 2,…, α in分別用 b 1, b 2,…, b n替換得到的行列式。平面解析幾何中過兩點(x1,y1)和(x2,y2)的直線方程可用行列式表達如下:
![](/img3/5728.gif)
![](/img3/5729.gif)
![](/img3/5730.gif)
![](/img3/5731.gif)
![](/img3/5732.gif)
的絕對值。因此以向量(x1,y1)、(x2,y2)為邊的平行四邊形的面積是
![](/img3/5733.gif)
的絕對值。這一結論可以推廣為:n階行列式(1)的絕對值可以看作是n維歐幾裡得空間中以n個向量(αi1,αi2,…,αin)(i=1,2,…,n)為邊所張成的超平行六面體的體積。此亦即行列式(1)的幾何意義。
設n維歐幾裡得空間中有一個變換
![](/img3/5734.gif)
![](/img3/5735.gif)
![](/img3/5736.gif)
式中G是n維歐幾裡得空間內有確定面積的有界域,B是G的像。雅可比行列式給出瞭體積元
![](/img3/5737.gif)
![](/img3/5738.gif)
![](/img3/5739.gif)
它在隱函數論的研究中也是不可缺少的。
上面行列式|αij|中的元αij假定都是數;如果αij都在一個域中,上面得到的結果仍能成立。1943年,迪厄多內發表瞭《非可換體行列式》一文,在非可換域即體上建立瞭所謂非可換行列式理論,大致具備上述行列式基本性質,並把克萊姆規則推廣到系數是體中元素的線性方程組上。
歷史上,最早使用行列式是在17世紀G.W.萊佈尼茨與G.-F.-A.de洛必達時代。後來G.克萊姆於1750年發表瞭著名的克萊姆規則。A.-L.柯西於1841年首先創立瞭現代的行列式概念及其符號,但他的某些思想卻來自C.F.高斯。