重要的數學概念和工具之一。它來源於求解線性方程組。由n2個元素(數)αij(ij=1,2,…,n)排成nn列並寫成

(1)

的形式,它表示所有符合以下條件的項的代數和:

  ① 每項是n個元素的乘積,這n個元素是從(1)中每行取一個元素、每列取一個元素組成的,可記為

式中 p 1p 2,…, p n是1,2,…, n的一個排列。

  ② 每項

應帶正號或負號,以1,2,…, n的順序為標準來比較排列( p 1 p 2p n)的逆序數是偶或奇而決定。例如三階行列式中的項 α 12 α 23 α 31排列(231)有2個逆序,即2在1之前;3在1之前,所以 α 12 α 23 α 31應帶正號;而 α 12 α 21 α 33中(213)的逆序為1,因為這時隻有2在1之前,所以應帶負號。

  (1)稱為n階行列式,有時簡記為|αij|,其中αij稱為第i行第j列上的元素或元;當i=j時即αii,稱為主對角線(α11α22αnn)上的元。

  因為n個元的所有排列共有n!個,所以|αij|共有n!個項。由此可知,

式中 是對1,2,…, n的所有排列取和,±符號按上述規則確定。例如,

  行列式有多種定義方式,實質上不同的大致有三類:除上述的完全展開式定義外,常見的還有歸納定義和公理化定義等。

  行列式的基本性質 任一行列式都有以下性質:①行列式A中某行(或列)用同一數k乘,其結果等於kA。②行列式A等於其轉置行列式AT(AT的第i行為A的第i列)。③若n階行列式|αij|中某行(或列)

則| α ij|是兩個行列式的和,這兩個行列式的第 i行(或列),一個是 b 1b 2,…, b n;另一個是с 1,с 2,…,с n;其餘各行(或列)上的元與|α ij|的完全一樣。④ 行列式 A中兩行(或列)互換,其結果等於- A。⑤把行列式 A的某行(或列)中各元同乘一數後加到另一行(或列)中各對應元上,結果仍然是 A

  行列式的計算 簡單的行列式根據定義或基本性質容易計算。一般方法是把它按行(或列)展開化為低階行列式來計算。如n階行列式A按第i行(或列)展開:

式中 是從| α ij|中劃去第 i行和第 j列後得到的行列式即 n-1階子式,稱為 α ij的餘子式; A ij稱為 α ij的代數餘子式。在上式中把 A it(或 A ti)換成 A jt(或 A tj), ij,即第 i行(或列)中各元與第 j行(或列)中各元的代數餘子式相乘,其結果為零。以上結果可綜合寫成:

式中δ是克羅內克符號。δ 表示當 i= j時,δ ij=1, ij時,δ ij=0。

  上面是按某一行(或列)展開,還可以按某幾行(或列)展開。在n階行列式A中取定某k(1≤kn)個行(或列),則在這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所在的行是i1i2,…,ik,所在的列分別是j1j2,…,jk,那麼

稱為 N的代數餘子式。 A自身的餘子式規定為1,所以 A的代數餘子式也是1。若子式 N所在行的序數與所在列的序數相同,則 N稱為主子式。

  某些行列式用拉普拉斯展開式計算非常方便。例如,2n階行列式

  范德蒙德行列式 用數學歸納法可以證明范德蒙德行列式

顯然,一個范德蒙德行列式為零的充分必要條件是 x 1x 2,…, x n中至少有兩個相等。

  行列式的乘積 根據拉普拉斯展開式,兩個n階行列式|αij|與|bij|的乘積是n階行列式|сij|,即

    

式中

  設A=|αij|是一n階行列式,則A的伴隨行列式是

式中 A ijα ij的代數餘子式。

  行列式的應用 克萊姆規則是用行列式求解線性方程組的一種方法。設有線性方程組

    (2)

如果它的系數行列式

那麼它有惟一解

xi=Di/D (i=1,2,…,n), (3)

式中 D i是將 D中第 i列中元素 α i 1α i 2,…, α in分別用 b 1b 2,…, b n替換得到的行列式。

  平面解析幾何中過兩點(x1y1)和(x2y2)的直線方程可用行列式表達如下:

三條直線 兩兩互異,交於一點的充分必要條件是

以( x 1y 1)、( x 2y 2)和( x 3y 3)三點為頂點的三角形的面積是

的絕對值。特別地,以(0,0)、( x 1y 1)、( x 2y 2)為頂點的三角形的面積是

的絕對值。因此以向量(x1y1)、(x2y2)為邊的平行四邊形的面積是

的絕對值。這一結論可以推廣為:n階行列式(1)的絕對值可以看作是n維歐幾裡得空間中以n個向量(αi1αi2,…,αin)(i=1,2,…,n)為邊所張成的超平行六面體的體積。此亦即行列式(1)的幾何意義。

  設n維歐幾裡得空間中有一個變換

函數行列式

稱為雅可比行列式。當 J≠0時,則下面的積分變量變換公式成立:

式中Gn維歐幾裡得空間內有確定面積的有界域,BG的像。雅可比行列式給出瞭體積元

之間的聯系

它在隱函數論的研究中也是不可缺少的。

  上面行列式|αij|中的元αij假定都是數;如果αij都在一個域中,上面得到的結果仍能成立。1943年,迪厄多內發表瞭《非可換體行列式》一文,在非可換域即體上建立瞭所謂非可換行列式理論,大致具備上述行列式基本性質,並把克萊姆規則推廣到系數是體中元素的線性方程組上。

  歷史上,最早使用行列式是在17世紀G.W.萊佈尼茨與G.-F.-A.de洛必達時代。後來G.克萊姆於1750年發表瞭著名的克萊姆規則。A.-L.柯西於1841年首先創立瞭現代的行列式概念及其符號,但他的某些思想卻來自C.F.高斯。