User:Corindo/det

行列式是数学中的一個函數，将一个$n\times n$的矩陣$A$映射到一個純量，记作$\det(A)$或$|A|$。行列式可以看做是有向面积或体积的概念在一般的欧几里得空间中的推广。或者说，在$n$ 维欧几里得空间中，行列式描述的是一个线性变换对“体积”所造成的影响。无论是在线性代数、多项式理论，还是在微积分学中（比如说换元积分法中），行列式作为基本的数学工具，都有着重要的应用。

行列式概念最早出现在解线性方程组的过程中。十七世纪晚期，关孝和与莱布尼茨的著作中已经使用行列式来确定线性方程组解的个数以及形式。十八世纪开始，行列式开始作为独立的数学概念被研究。十九世纪以后，行列式理论进一步得到发展和完善。矩阵概念的引入使得更多有关行列式的性质被发现，行列式在许多领域都逐渐显现出重要的意义和作用，出现了线性自同态和向量组的行列式的定义。

行列式的特性可以被概括为一个交替多线性形式，这个本质使得行列式在欧几里德空间中可以成为描述“体积”的函数。

竖直線記法

矩陣A的行列式記作det(A)或|A|。有些著作中，矩陣範數也使用|A|的記法，有可能和行列式的記法混淆。不过，在大部分涉及行列式的地方，为了区别，通常会用双垂线表示矩阵的范数，或者在垂线记法中使用下标，标明范数性质，而行列式的垂线记法是不会有下标的。在不至于混淆的上下文中，經常使用垂線記法表记行列式。而当明确写出矩陣元素的时候，一般使用垂线记法。即：

若有矩阵$A={\begin{bmatrix}a&b&c\\d&e&f\\g&h&i\end{bmatrix}}$，行列式$\det(A)$也寫作$|A|$，或明確的寫作

解析失败 (转换错误。服务器（“https://wikimedia.org/api/rest_”）报告：“Cannot get mml. upstream connect error or disconnect/reset before headers. reset reason: connection termination”): {\displaystyle \operatorname {det} (A)=|A|={\begin{vmatrix}a&b&c\\d&e&f\\g&h&i\end{vmatrix}}.}

即把矩陣的方括號以細長的垂線取代，表示该矩阵的行列式。

简单例子

对于简单的2阶和3阶的矩阵，行列式的表达式相对简单，而且恰好是每条主对角线（左上至右下）元素乘积之和减去每条副对角线（右上至左下）元素乘积之和（见图中红线和蓝线）。

• 2阶矩阵的行列式：${\begin{vmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{vmatrix}}=a_{11}a_{22}-a_{12}a_{21}$

• 3阶矩阵的行列式：$\displaystyle {\begin{vmatrix}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{vmatrix}}=a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}-a_{13}a_{22}a_{31}-a_{11}a_{23}a_{32}-a_{12}a_{21}a_{33}$

三阶矩阵的行列式为每条红线上的元素的乘积之和，减去蓝线上元素乘积之和。

直观几何意义

行列式的一个自然的源起是n维平行体的体积。行列式的定义和n维平行体的体积有着本质上的关联。在二维与三维实欧几里德空间中，可以直观地感受到这种关联。

平行四边形的面积

行列式是向量形成的平行四边形的面积

在一个二维平面上，考虑两个向量$X_{1}=(x_{1},y_{1})$和$X_{2}=(x_{2},y_{2})$。以它们为邻边，可以确定一个平行四边形$D_{X_{1},X_{2}}$。定义平行四边形的有向面积为：如果以原点为轴点将$X_{1}$逆时针转动到$X_{2}$所在方向时，经过平行四边形内部，则平行四边形面积为正，否则为负。则经计算可知，平行四边形$D_{X_{1},X_{2}}$的有向面积是$S(D_{X_{1},X_{2}})=x_{1}y_{2}-x_{2}y_{1}$，正等于以$X_{1}$和$X_{2}$为列向量构成的矩阵的行列式：{r|hme|p1=34}}

$\det(X_{1},X_{2})={\begin{vmatrix}x_{1}&x_{2}\\y_{1}&y_{2}\end{vmatrix}}=x_{1}y_{2}-x_{2}y_{1}.$

比如说，两个向量$X_{1}=(2,1)$和$X_{2}=(3,4)$构成的平行四边形，它的有向面积是：

$\det(X_{1},X_{2})={\begin{vmatrix}2&3\\1&4\end{vmatrix}}=2\cdot 4-3\cdot 1=5.$

如果两个向量处在同一直线上，则它们的系数成比例，也就是说，存在不全为零的系数a,b使得$ax_{1}=bx_{2},\,ay_{1}=by_{2}$。这时

解析失败 (SVG（MathML可通过浏览器插件启用）：从服务器“http://localhost:6011/zh.wikipedia.org/v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle a(x_1 y_2 - x_2 y_1) = ax_1 \cdot y_2 - x_2 \cdot ay_1 = bx_2y_2 - x_2 by_2 = 0 = x_1ay_1 - ax_1 y_1 = x_1 \cdot by_2 - bx_2 \cdot y_1 = b(x_1 y_2 - x_2 y_1)} ，

所以行列式$x_{1}y_{2}-x_{2}y_{1}=0$。几何直观上，平行四边形退化成线段，面积为零。

平行六面体的体积

在三维的有向空间中，考虑三个三维向量$X_{1}=(x_{1},y_{1},z_{1})$、$X_{2}=(x_{2},y_{2},z_{2})$和$X_{3}=(x_{3},y_{3},z_{3})$。它们可以确定一个平行六面体$D_{X_{1},X_{2},X_{3}}$。假设空间的定向遵循右手定则，则经计算可知，这个平行六面体的有向体积为$V(D_{X_{1},X_{2},X_{3}})=x_{1}y_{2}z_{3}+x_{2}y_{3}z_{1}+x_{3}y_{1}z_{2}-x_{1}y_{3}z_{2}-x_{2}y_{1}z_{3}-x_{3}y_{2}z_{1}$，正等于以$X_{1}$、$X_{1}$和$X_{3}$为列向量构成的矩阵的行列式

$\det(X_{1},X_{2},X_{3})={\begin{vmatrix}x_{1}&x_{2}&x_{3}\\y_{1}&y_{2}&y_{3}\\z_{1}&z_{2}&z_{3}\end{vmatrix}}=x_{1}y_{2}z_{3}+x_{2}y_{3}z_{1}+x_{3}y_{1}z_{2}-x_{1}y_{3}z_{2}-x_{2}y_{1}z_{3}-x_{3}y_{2}z_{1}.$

比如说，三个向量$X_{1}=(2,1,5)$、$X_{2}=(6,0,8)$和$X_{3}=(3,2,4)$确定的平行六面体的体积是：

$\det(X_{1},X_{2},X_{3})={\begin{vmatrix}2&6&3\\1&0&2\\5&8&4\end{vmatrix}}=2\cdot 0\cdot 4+6\cdot 2\cdot 5+3\cdot 1\cdot 8-2\cdot 2\cdot 8-6\cdot 1\cdot 4-3\cdot 0\cdot 5=28$

基底的选择

在以上的行列式中，我们不加选择地将向量在所谓的正交基（即直角坐标系）下分解，实际上在不同的基底之下，行列式的值并不相同。这并不是说平行四边形或平行六面体的体积不唯一。恰恰相反，它说明了面积和体积的概念依赖于衡量空间的尺度，也就是基底的选取方式。不同基底之间的变换可以看作作用在基底上的线性映射，而不同基底下的行列式代表了基底变换映射对向量组构成的平行四边形面积或平行六面体体积的影响。可以证明，对于所有同定向的标准正交基，向量组的行列式是一样的。而不同定向的正交基只会改变行列式的符号。{{r|zxk|p1=283}。也就是说，如果我们选择的基底都是“单位长度”，并且两两正交，那么在这样的基之下，平行六面体的体积的绝对值是唯一的。

线性变换

经线性映射后的正方体

设E是一个一般的n维的有向欧几里得空间。一个线性变换把一个向量线性地变为另一个向量。比如说，在三维空间中，向量(x, y, z)被映射到向量(x', y', z')：

${\begin{matrix}x'=a_{1}x+b_{1}y+c_{1}z\\y'=a_{2}x+b_{2}y+c_{2}z\\z'=a_{3}x+b_{3}y+c_{3}z\end{matrix}}$

其中a、b、c是系数。如右图，正方体（可以看作原来的一组基形成的）经线性变换后可以变成一个普通的平行六面体，或变成一个平行四边形（没有体积）。这两种情况表示了两种不同的线性变换，行列式可以将其很好地分辨出来（为零或不为零）。

更详细地说，行列式表示的是线性变换前后平行六面体的体积的变化系数。如果设左边的正方体体积是一，那么中间的平行六面体的（有向）体积就是线性变换的行列式的值，右边的平行四边形体积为零，因为线性变换的行列式为零。这里我们混淆了线性变换的行列式和向量组的行列式，但两者是一样的，因为我们在对一组基作变换。

行列式与空间定向

以上二维和三维行列式的例子中，行列式被解释为向量形成的图形的面积或体积。面积或体积的定义是恒正的，而行列式是有正有负的，因此需要引入有向面积和有向体积的概念。负的面积或体积在物理学中可能难以理解，但在数学中，它们和有向角的概念类似，都是对空间镜面对称特性的一种刻画。如果行列式表示的是线性变换对体积的影响，那么行列式的正负就表示了空间的定向。

如上图中，左边的黄色骰子（可以看成有单位的有向体积的物体）在经过了线性变换后变成中间绿色的平行六面体，这时行列式为正，两者是同定向的，可以通过旋转和拉伸从一个变成另一个。而骰子和右边的红色平行六面体之间也是通过线性变换得到的，但是无论怎样旋转和拉伸，都无法使一个变成另一个，一定要通过镜面反射才行。这时两者之间的线性变换的行列式是负的。可以看出，线性变换可以分为两类，一类对应着正的行列式，保持空间的定向不变，另一类对应负的行列式，颠倒空间的定向。

严格的定义

由二维及三维的例子，可以看到一般域上的行列式应该具有怎样的性质。在n维欧几里得空间中，作为“平行多面体”的“体积”的概念的推广，行列式继承了“体积”函数的性质。首先，行列式需要是线性的，这可以由面积的性质类比得到。这裡的线性是对于每一个向量来说的，因为当一个向量变为原来的a倍时，“平行多面体”的“体积”也变为原来的a倍。其次，当一个向量在其它向量组成的“超平面”上时，n维“平行多面体”的“体积”是零（可以想像三维空间的例子）。也就是说，当向量线性相关时，行列式为零。在一般系数域上的线性空间中，行列式也正是由这样的特性所刻划的：

交替多线性形式

行列式是系数域为K的有限维线性空间E上射到K的交替n-线性形式。

具体来说，设E是一个系数在域K上的有限维线性空间，维数为n。一个E上的交替n-线性形式是指满足以下性质的函数$D:E^{n}\to K$：

1. n重線性：解析失败 (SVG（MathML可通过浏览器插件启用）：从服务器“http://localhost:6011/zh.wikipedia.org/v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle \forall i \in \{ 1,2,\cdots ,n\},\,\, D(a_{1},\ldots,c a_{i} + a_{i}',\ldots,a_{n}) = c D(a_{1},\ldots,a_{i},\ldots,a_{n}) + D(a_{1},\ldots,a_{i}',\ldots,a_{n})}
2. 交替性：$D(a_{1},a_{2},\ldots ,a_{n})=-D(a_{2},a_{1},\ldots ,a_{n}).$或者说，当$a_{i}=a_{j}$的时候$D(a_{1},\ldots ,a_{i},\ldots ,a_{j},\ldots ,a_{n})=0$

所有E上的交替n-线性形式的集合记作A_n(E)。以下的定理说明了，这个集合中所有的元素都可以表达成某个元素的倍数。

定理：

A_n(E)的维度是1。也就是说，如果给定E的一组基$B=(e_{1},\dots ,e_{n})$，那么所有的交替n-线性形式$D:E^{n}\to K$都可以写成

解析失败 (SVG（MathML可通过浏览器插件启用）：从服务器“http://localhost:6011/zh.wikipedia.org/v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle D = \nu_D \cdot \operatorname{\phi}_B^n}

的形式。其中的$\nu _{D}\in K$是一个只与D有关的系数，$\phi _{B}^{n}$是一个固定的交替n-线性形式：

$\forall a=(a_{1},\cdots ,a_{n})\in K,\,\,\operatorname {\phi } _{B}^{n}(a)=\sum _{\sigma \in {\mathfrak {S}}_{n}}\operatorname {sgn}(\sigma )\prod _{j=1}^{n}a_{\sigma (j),j}\in K$。

证明：

对任一个n-线性形式$D:E^{n}\to K$，对给定的$a\in K$，考虑将D(a)依照多线性性质展开：

$D(a)=D(a_{1},\cdots ,a_{n})=D\left(\sum _{i_{1}=1}^{n}a_{i_{1},1}e_{i_{1}},\dots ,\sum _{i_{n}=1}^{n}a_{i_{n},n}e_{i_{n}}\right)=\sum _{i_{1}=1}^{n}\cdots \sum _{i_{n}=1}^{n}\prod _{j=1}^{n}a_{i_{j},j}D(e_{i_{1}},\dots ,e_{i_{n}})$

这时，由交替性，$D(e_{i_{1}},\cdots ,e_{i_{n}})\neq 0$当且仅当$i_{1},\cdots ,i_{n}$是$1,\cdots ,n$的一个排列，所以有

$D(a_{1},\cdots ,a_{n})=\sum _{{(i_{1},\cdots ,i_{n})=\sigma (1,2,\cdots ,n)} \atop {\sigma \in {\mathfrak {S}}_{n}}}\prod _{j=1}^{n}a_{i_{j},j}D(e_{i_{1}},\cdots ,e_{i_{n}})=\sum _{\sigma \in {\mathfrak {S}}_{n}}\prod _{j=1}^{n}a_{\sigma (j),j}D(e_{\sigma (1)},\cdots ,e_{\sigma (n)})$

从交替性还可以推出，$D(e_{\sigma (1)},\cdots ,e_{\sigma (n)})$和$D(e_{1},\cdots ,e_{n})$之间只相差一个正负号，因此可以将每一个$D(e_{\sigma (1)},\cdots ,e_{\sigma (n)})$写作一个符号系数与$D(e_{1},\cdots ,e_{n})$的乘积：

$\forall \sigma \in {\mathfrak {S}}_{n},\,\,\exists \epsilon _{\sigma }\in \{+1,-1\},$使得$D(e_{\sigma (1)},\cdots ,e_{\sigma (n)})=\epsilon _{\sigma }D(e_{1},\cdots ,e_{n}),$

而其中的符号系数$\epsilon _{\sigma }$取决于将排列$(\sigma (1),\sigma (2),\cdots ,\sigma (n))$经过两个元素的“对调”变换得到$(1,2,\cdots ,n)$所需要的次数。根据群论中的相关定理可知，这个次数的奇偶性是由$\sigma$本身唯一确定的。如果需要奇数次，则$\epsilon _{\sigma }=1$；如果需要奇数次，则$\epsilon _{\sigma }=-1$。这个系数$\epsilon _{\sigma }$在群论中被记为$\operatorname {sgn}(\sigma )$，所以D(a)最终可以表示为：

${\begin{aligned}D(a_{1},\cdots ,a_{n})&=D(e_{1},\cdots ,e_{n})\cdot \sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )\prod _{i=1}^{n}a_{\sigma (i),i}\\&=\nu _{D}\operatorname {\phi } _{B}^{n}\end{aligned}}$

这裡，$\nu _{D}=D(e_{1},\cdots ,e_{n})$是一个仅和D有关的系数，$\operatorname {\phi } _{B}^{n}:(a_{1},\dots ,a_{n})\mapsto \sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )\prod _{i=1}^{n}a_{\sigma (i),i}$是一个固定的交替n-线性形式。

向量组的行列式

设$B=(e_{1},\dots ,e_{n})$是E的一个基底，根据上面的定理和线性形式的性质，可以定义B上的行列式。

定义：

E上的一个基底${\mathit {B}}=(e_{1},\dots ,e_{n})$的行列式是唯一一个满足：

$\det {}_{\mathit {B}}(e_{1},...,e_{n})=1$

的交替n-线性形式$\det {}_{\mathit {B}}:E^{n}\to K$。

如果有两个交替n-线性形式满足条件，则它们的差在一组基上为0，从而恒等于0。因此上述定义中的唯一性可以成立。于是，一个基底上的行列式就是前述定理中的$\phi _{B}^{n}$：

定义：

确定了E上的一组基B后，向量组$a_{1},\dots ,a_{n}$在B上的行列式是：

$\det {}_{B}(a_{1},\dots ,a_{n})=\left(\sum _{\sigma \in {\mathfrak {S}}_{n}}\operatorname {sgn}(\sigma )\prod _{j=1}^{n}a_{\sigma (j),j}\right)\det {}_{B}(e_{1},\dots ,e_{n})=\sum _{\sigma \in {\mathfrak {S}}_{n}}\operatorname {sgn}(\sigma )\prod _{j=1}^{n}a_{\sigma (j),j}$

其中$a_{j}=\sum _{i=1}^{n}a_{i,j}e_{i}$是$a_{j}$在基底$B$下的展开。

这个定义给出了行列式的直观表达式，有时也被称作莱布尼兹公式。

基变更公式

设B与B′是向量空间中的两组基，则将上面定理中的D改为$\det {}_{B'}$就得到向量组在两个基底上的行列式之间的关系：

$\det {}_{B'}(a_{1},\dots ,a_{n})=\det {}_{B'}(B)\times \det {}_{B}(a_{1},\dots ,a_{n})$，

矩阵的行列式

設$\displaystyle {\mathit {M}}_{n}(K)$為所有定義在系数域K上的$n\times n$矩陣的集合。將$n\times n$矩陣M（M的元素记为$\displaystyle m_{i,j}$ )的n列寫成$m_{1},\ldots ,m_{n}$，$\displaystyle m_{j}$可以看作是$\mathbb {R} ^{n}$的正则基上的向量。矩阵M的行列式定义为向量组$m_{1},\ldots ,m_{n}$的行列式。这裡的向量都在$\mathbb {R} ^{n}$的正则基上展开，因此矩阵的行列式不依赖于基的选择。

定义：

矩阵M的行列式

$\det(M)=\det(m_{1},\ldots ,m_{n})=\sum _{\sigma \in {\mathfrak {S}}_{n}}\operatorname {sgn}(\sigma )\prod _{i=1}^{n}m_{\sigma (i),i}$

这样定义的矩阵M的行列式与向量组的行列式有同样的性质。单位矩阵的行列式为1，若矩阵的某几行线性相关，则它的行列式为零。

由莱布尼兹公式，可以证明矩阵行列式的一个重要性质：

定理：

一个矩阵的行列式等于它的转置矩阵的行列式：$\det M=\det \left({}^{t}{M}\right)$。

也就是说矩阵的行列式既可以看作n个行向量的行列式，也可以看作n个列向量的行列式。因此也可以通过行向量组来定义矩阵行列式，并且得到的定义是等价的。

证明：

矩阵A的转置矩阵的行列式是：

$\det({}^{t}A)=\sum _{\sigma \in {\mathfrak {S}}_{n}}\operatorname {sgn}(\sigma )\prod _{i=1}^{n}a_{i,\sigma (i)}$

令$j=\sigma (i)$，由于每个排列都是双射，所以上式变成：

$\det({}^{t}A)=\sum _{\sigma \in {\mathfrak {S}}_{n}}\operatorname {sgn}(\sigma )\prod _{j=1}^{n}a_{\sigma ^{-1}(j),j}$

令$\tau =\sigma ^{-1}$，当$\sigma$取遍所有置换时，$\tau$也取遍所有排列。另一方面，$1=\operatorname {sgn}(\sigma ^{-1}\sigma )=\operatorname {sgn}(\tau \sigma )=\operatorname {sgn}(\tau )\operatorname {sgn}(\sigma )$，因此而且$\operatorname {sgn} \sigma =\operatorname {sgn} \tau$。所以

$\det({}^{t}A)=\sum _{\tau \in {\mathfrak {S}}_{n}}\operatorname {sgn}({\sigma })\prod _{j=1}^{n}a_{\tau (j),j}=\sum _{\tau \in {\mathfrak {S}}_{n}}\operatorname {sgn}(\tau )\prod _{j=1}^{n}a_{\tau (j),j}=\det A$

线性变换的行列式

设f是n维线性空间E到自身的线性变换（自同态），对于给定的一组基，可以定义线性变换在这组基下的行列式。

定义：

设B是E的一组基。设f在B下的变换矩阵为$\left[f\right]_{B}$，那么f在B上的行列式就是：

$\det f=\det \left([f]_{B}\right)$。

f的变换矩阵满足$\left[f(x_{1}),\dots ,f(x_{n})\right]=\left[f\right]_{B}\cdot \left[x_{1},\dots ,x_{n}\right]$ 也就是说对所有的向量组$(x_{1},\dots ,x_{n})$，

$\det {}_{B}(f(x_{1}),\dots ,f(x_{n}))=\det \left([f]_{B}\right)\times \det {}_{B}(x_{1},\dots ,x_{n})$

$=\det f\times \det {}_{B}(x_{1},\cdots ,x_{n})$。

可以证明，f在E的任意一组基下的变换矩阵的行列式都是相等的。

证明：

考虑映射$d_{f,B}$使得$(x_{1},\cdots ,x_{n})$被映射到

$d_{f,B}(x_{1},\dots ,x_{n})=\det {}_{B}(f(x_{1}),\dots ,f(x_{n}))$，

$d_{f,B}$是一个交替n-线性形式，因此由前面证的定理，$d_{f,B}$和$det_{B}$只相差一个系数。

$d_{f,B}=\lambda \cdot \det {}_{B}$。

而由变换矩阵的性质可以知道：$\lambda =\det \left([f]_{B}\right)$

也就是说

$\det {}_{B}(f(x_{1}),\dots ,f(x_{n}))=\det \left([f]_{B}\right)\times \det {}_{B}(x_{1},\dots ,x_{n})\qquad (1)$

对于另外一组基B′，运用基变更公式，可以得到：

$\det {}_{B}(f(x_{1}),\dots ,f(x_{n}))=\det {}_{B}(B')\times \det {}_{B'}(f(x_{1}),\dots ,f(x_{n}))$

${\begin{aligned}\det \left([f]_{B}\right)\times \det {}_{B}(x_{1},\dots ,x_{n})&=\det {}_{B}(f(x_{1}),\dots ,f(x_{n}))\\&=\det {}_{B}(B')\times \det {}_{B'}(f(x_{1}),\dots ,f(x_{n}))\\&=\det {}_{B}(B')\times \det \left([f]_{B'}\right)\times \det {}_{B'}(x_{1},\dots ,x_{n})\\&=\det \left([f]_{B'}\right)\times \det {}_{B}(x_{1},\dots ,x_{n})\end{aligned}}$

从而可以得出$\det \left([f]_{B'}\right)$等于$\det \left([f]_{B}\right)$。于是$\det \left([f]_{B'}\right)$是一个不依赖于基，只依赖于f的数。

因此线性变换的行列式定义可以修改为不依赖于基底的形式：

定义：

设线性变换f在某个基底B下的变换矩阵为$\left[f\right]_{B}$，那么$f$的行列式就是：

$\det f=\det \left([f]_{B}\right)$。

前一节里对正方体做线性变换时，$(x_{1},\cdots ,x_{n})$是原来的基底，$\det {}_{B}(x_{1},\dots ,x_{n})=1$，因此可以混淆向量组的行列式和线性变换的行列式。

行列式的系数

以上的定义中都假设矩阵的系数取自某个域$\mathbb {K}$。实际上，行列式的定义与计算并不涉及除法。所以，矩阵的系数可以是任意的交换环k的元素。这时有限维线性空间变为以$B=(e_{1},\dots ,e_{n})$为基的自由k-模，而相应的关于行列式的定义和性质依然成立（在可定义的范畴内）。如果矩阵系数是非交换环的话，以上的行列式定义将不再唯一。1845年，阿瑟·凯莱首次开始研究非交换环上行列式定义的问题。他注意到，对于系数是四元数（不可交换）的二阶行列式

${\begin{vmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\\\end{vmatrix}}$

表达式$a_{11}a_{22}-a_{12}a_{21}$和$a_{11}a_{22}-a_{21}a_{12}$是不一样的。1913年，韦德伯恩开始发展非交换环上的行列式理论。1926年，阿兰德·海廷和A.理查德森提出了非交换除环上的行列式的不同定义。理查德森将二阶行列式定义为：$(a_{11}-a_{12}a_{22}^{-1}a_{21})a_{22}$，而海廷则提倡使用$(a_{11}-a_{12}a_{22}^{-1}a_{21})$。两人都用归纳法定义了更高阶矩阵的行列式。1931年，奥斯丁·欧尔在一大类非交换环（后来命名为欧尔环）上定义了行列式的概念。最著名的非交换环上的行列式的定义当属让·迪厄多内的定义。迪厄多内是布尔巴基学派的代表成员之一，他将除环$\mathbb {K}$中的行列式定义在商域$\mathbb {K} /[\mathbb {K} ,\mathbb {K} ]$上，而不是在$\mathbb {K}$中。这个定义下的行列式有接近交换环中行列式的性质。例如，迪尔多内的行列式可以保持行列式的乘法定理。而这种行列式与交换环中行列式的区别是：将矩阵的两行或两列互换后，行列式的值不变。迪厄多内的行列式不能用来解线性方程组。之后菲列克斯·别列金（Березин, Феликс Александрович）、佐藤幹夫等人对迪厄多内的定义进行了探究和扩展。1991年起，I·杰尔方德和V·里塔克提出了准行列式的概念，将一般自由除环上的n × n矩阵的行列式定义为n × n个数，分别是：

$|A|_{i,j}=a_{i,j}-{\begin{pmatrix}a_{i,1}&a_{i,2}&\cdots &a_{i,n}\end{pmatrix}}\cdot A_{i,j}^{-1}\cdot {\begin{pmatrix}a_{1,j}\\a_{2,j}\\\vdots \\a_{n,j}\end{pmatrix}}$

其中的$A_{i,j}^{-1}$指第i行第j列元素对应的余因式的逆矩阵。由定义本身可知，这个定义仅当$A_{i,j}^{-1}$存在时有效。如此定义的准行列式可以用来解线性方程组。

行列式的性質

行列式的一些基本性质，可以由它的多线性以及交替性推出。

• 在行列式中，一行（列）元素全為0，則此行列式的值為0。

${\begin{vmatrix}{\color {blue}0}&{\color {blue}0}&\dots &{\color {blue}0}\\a_{21}&a_{22}&\dots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\dots &a_{nn}\end{vmatrix}}={\begin{vmatrix}{\color {blue}0}&a_{12}&\dots &a_{1n}\\{\color {blue}0}&a_{22}&\dots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\{\color {blue}0}&a_{n2}&\dots &a_{nn}\end{vmatrix}}=0$

• 在行列式中，某一行（列）有公因子k，則可以提出k。

$D={\begin{vmatrix}a_{11}&a_{12}&\dots &a_{1n}\\\vdots &\vdots &\dots &\vdots \\{\color {blue}k}a_{i1}&{\color {blue}k}a_{i2}&\dots &{\color {blue}k}a_{in}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\dots &a_{nn}\end{vmatrix}}={\color {blue}k}{\begin{vmatrix}a_{11}&a_{12}&\dots &a_{1n}\\\vdots &\vdots &\dots &\vdots \\a_{i1}&a_{i2}&\dots &a_{in}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\dots &a_{nn}\end{vmatrix}}={\color {blue}k}D_{1}$

• 在行列式中，某一行（列）的每個元素是兩數之和，則此行列式可拆分為兩個相加的行列式。

${\begin{vmatrix}a_{11}&a_{12}&\dots &a_{1n}\\\vdots &\vdots &\dots &\vdots \\{\color {blue}a_{i1}}+{\color {OliveGreen}b_{i1}}&{\color {blue}a_{i2}}+{\color {OliveGreen}b_{i2}}&\dots &{\color {blue}a_{in}}+{\color {OliveGreen}b_{in}}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\dots &a_{nn}\end{vmatrix}}={\begin{vmatrix}a_{11}&a_{12}&\dots &a_{1n}\\\vdots &\vdots &\dots &\vdots \\{\color {blue}a_{i1}}&{\color {blue}a_{i2}}&\dots &{\color {blue}a_{in}}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\dots &a_{nn}\end{vmatrix}}+{\begin{vmatrix}a_{11}&a_{12}&\dots &a_{1n}\\\vdots &\vdots &\dots &\vdots \\{\color {OliveGreen}b_{i1}}&{\color {OliveGreen}b_{i2}}&\dots &{\color {OliveGreen}b_{in}}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\dots &a_{nn}\end{vmatrix}}$

• 行列式中的兩行（列）互換，改變行列式正負符號。

${\begin{vmatrix}\vdots &\vdots &\vdots &\vdots \\{\color {blue}a_{i1}}&{\color {blue}a_{i2}}&\dots &{\color {blue}a_{in}}\\{\color {OliveGreen}a_{j1}}&{\color {OliveGreen}a_{j2}}&\dots &{\color {OliveGreen}a_{jn}}\\\vdots &\vdots &\vdots &\vdots \\\end{vmatrix}}=-{\begin{vmatrix}\vdots &\vdots &\vdots &\vdots \\{\color {OliveGreen}a_{j1}}&{\color {OliveGreen}a_{j2}}&\dots &{\color {OliveGreen}a_{jn}}\\{\color {blue}a_{i1}}&{\color {blue}a_{i2}}&\dots &{\color {blue}a_{in}}\\\vdots &\vdots &\vdots &\vdots \\\end{vmatrix}}$

• 在行列式中，有兩行（列）對應成比例或相同，則此行列式的值為0。

${\begin{vmatrix}{\color {blue}2}&{\color {blue}2}&\dots &{\color {blue}2}\\{\color {blue}8}&{\color {blue}8}&\dots &{\color {blue}8}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\dots &a_{nn}\end{vmatrix}}=0$

• 將一行（列）的k倍加進另一行（列）裡，行列式的值不變。

${\begin{vmatrix}\vdots &\vdots &\vdots &\vdots \\a_{i1}&a_{i2}&\dots &a_{in}\\a_{j1}&a_{j2}&\dots &a_{jn}\\\vdots &\vdots &\vdots &\vdots \\\end{vmatrix}}={\begin{vmatrix}\vdots &\vdots &\vdots &\vdots \\a_{i1}&a_{i2}&\dots &a_{in}\\a_{j1}{\color {blue}+ka_{i1}}&a_{j2}{\color {blue}+ka_{i2}}&\dots &a_{jn}{\color {blue}+ka_{in}}\\\vdots &\vdots &\vdots &\vdots \\\end{vmatrix}}$

注意：一行（列）的k倍加上另一行（列），行列式的值改變。

${\begin{vmatrix}\vdots &\vdots &\vdots &\vdots \\a_{i1}&a_{i2}&\dots &a_{in}\\a_{j1}&a_{j2}&\dots &a_{jn}\\\vdots &\vdots &\vdots &\vdots \\\end{vmatrix}}{\color {red}\neq }{\begin{vmatrix}\vdots &\vdots &\vdots &\vdots \\a_{i1}&a_{i2}&\dots &a_{in}\\{\color {red}k}a_{j1}{\color {red}+a_{i1}}&{\color {red}k}a_{j2}{\color {red}+a_{i2}}&\dots &{\color {red}k}a_{jn}{\color {red}+a_{in}}\\\vdots &\vdots &\vdots &\vdots \\\end{vmatrix}}$

• 將行列式的行列互換，行列式的值不變，其中行列互換相當於轉置。这个性质可以简单地记作

$D={\begin{vmatrix}a_{ij}\end{vmatrix}}={\begin{vmatrix}a_{ji}\end{vmatrix}}=D^{\textrm {T}}$

例如

${\begin{vmatrix}a_{11}&a_{12}&\dots &a_{1n}\\a_{21}&a_{22}&\dots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\dots &a_{nn}\end{vmatrix}}={\begin{vmatrix}a_{11}&a_{21}&\dots &a_{n1}\\a_{12}&a_{22}&\dots &a_{n2}\\\vdots &\vdots &\ddots &\vdots \\a_{1n}&a_{2n}&\dots &a_{nn}\end{vmatrix}}$

• 行列式的乘法定理：方块矩陣的乘積的行列式等於行列式的乘積。$\displaystyle \det(AB)=\det(A)\det(B)$。特别的，若将矩阵中的每一行每一列上的数都乘以一个常数r，那么所得到的行列式不是原来的r倍，而是rⁿ倍。$\det(rA)=\det(rI_{n}\cdot A)=\det(rI_{n})\cdot \det(A)=r^{n}\det(A)$。
• 以上的乘法公式还可以进一步推广为所谓柯西–比内公式，从而使得只要两个矩阵的乘积是方块矩阵，就有类似于以上的结果：假设A是一个$m\times n$矩阵，而B是一个$n\times m$矩阵。如果S是$\left\{1,\cdots ,n\right\}$中具有m个元素的子集$\left\{S_{1},\cdots ,S_{m}\right\}$，我们记A_S为A中列指标位于S中的$m\times m$子矩阵。类似地，记B_S为B中行指标位于S中的$m\times m$子矩阵。那么

$\det(AB)=\sum _{S}\det(A_{S})\det(B_{S})\,$

这里求遍$\left\{1,\cdots ,n\right\}$中m个元素的所有可能子集S（共有C(n,m)个）。

如果m = n，即A与B是同样大小的方块矩阵，则只有一个容许集合S，柯西–比内公式退化为通常行列式的乘法公式。如过m = 1则有n容许集合S，这个公式退化为点积。如果m > n，没有容许集合S，约定行列式det(AB)是零。

• 若A是可逆矩陣，$\displaystyle \det(A^{-1})=(\det(A))^{-1}$。
• 由行列式的乘法定理以及$\displaystyle \det(A^{-1})=(\det(A))^{-1}$可以知道，行列式定义了一个从一般线性群$(GL_{n}(\mathbb {F} ),\times )$到$(\mathbb {F} ^{*},\times )$上的群同态。
• 若将方块矩阵中的元素取共轭，得到的是矩阵的共轭矩阵。共轭矩阵的行列式值等於矩阵行列式值的共軛：$\det({\overline {A}})={\overline {\det(A)}}$
• 若兩個矩陣相似，那麼它們的行列式相同。这是因为两个相似的矩阵之间只相差一个基底变换，而行列式描述的是矩阵对应的线性映射对体积的影响，而不是体积，所以基底变换并不会影响行列式的值。用数学语言来说，就是：

如果兩個矩陣A与B相似，那麼存在可逆矩阵P使得

$\mathbf {A} =\mathbf {PB} \mathbf {P} ^{-1}$，所以

$\det(\mathbf {A} )=\det(\mathbf {PB} \mathbf {P} ^{-1})=\det(\mathbf {P} )\cdot \det(\mathbf {B} )\cdot \det(\mathbf {P} ^{-1})=\det(\mathbf {B} )\cdot \det(\mathbf {P} )\cdot \det(\mathbf {P} )^{-1}=\det(\mathbf {B} )$

• 行列式是所有特徵值（按代数重数计）的乘积。這可由矩陣必和其若尔当标准型相似推導出。特殊地，三角矩阵的行列式等于其对角线上所有元素的乘积。
• 由于三角矩阵的行列式计算简便，当矩阵的系数为域时，可以通过高斯消去法将矩阵变换成三角矩阵，或者将矩阵分解成三角矩阵的乘积之后再利用行列式的乘法定理进行计算。可以证明，所有的矩阵A都可以分解成一个上三角矩阵U、一个下三角矩阵L以及一个置换矩阵P的乘积：$A=P\cdot L\cdot U$。这时，矩阵A的行列式可以写成：

$\det(A)=\det(P)\cdot \det(L)\cdot \det(U)$

• 分块矩阵的行列式并不能简单地表示成每个分块的行列式的乘积组合。对于分块的三角矩阵，仍然有类似的结论：

$\det {\begin{pmatrix}A&0\\C&D\end{pmatrix}}=\det {\begin{pmatrix}A&B\\0&D\end{pmatrix}}=\det(A)\det(D)$，矩阵的行列式等于对角元素的行列式之乘积。

对于一般情况，若对角元素中有一个是可逆矩阵，比如说A可逆，那么矩阵的行列式可以写做

$\det {\begin{pmatrix}A&B\\C&D\end{pmatrix}}=\det(A)\det(D-CA^{-1}B)$。

• 矩阵的行列式和矩阵的迹数有一定的关联，当矩阵的系数为域时，在定义了矩阵的指数函数后，有如下的恒等式：

$\det(\exp(A))=\exp(\mathrm {tr} (A))$

行列式的展开

餘因式

又稱「餘子式」、「餘因子」。參見主條目餘因式。

对一个n阶的行列式M，去掉M的第i行第j列后形成的n-1阶的行列式叫做M关于元素m_ij的餘因式。记作$M_{ij}$。

$M_{ij}={\begin{vmatrix}m_{1,1}&\dots &m_{1,j-1}&m_{1,j+1}&\dots &m_{1,n}\\\vdots &&\vdots &\vdots &&\vdots \\m_{i-1,1}&\dots &m_{i-1,j-1}&m_{i-1,j+1}&\dots &m_{i-1,n}\\m_{i+1,1}&\dots &m_{i+1,j-1}&m_{i+1,j+1}&\dots &m_{i+1,n}\\\vdots &&\vdots &\vdots &&\vdots \\m_{n,1}&\dots &m_{n,j-1}&m_{n,j+1}&\dots &m_{n,n}\end{vmatrix}}$

皮埃尔-西蒙·拉普拉斯

代数余子式

M关于元素m_ij的代数余子式记作$C_{ij}$。$C_{ij}=(-1)^{(i+j)}\cdot M_{ij}$。

行列式关于行和列的展开

一个n阶的行列式M可以写成一行（或一列）的元素与对应的代数余子式的乘积之和，叫作行列式按一行（或一列）的展开。

$\det {M}=\sum _{i=1}^{n}m_{i;j}C_{i,j}$

$\det {M}=\sum _{j=1}^{n}m_{i;j}C_{i,j}$

这个公式又称拉普拉斯公式，把n维矩阵的行列式计算变为了n个n-1维的行列式的计算。另一方面，拉普拉斯公式可以作为行列式的一种归纳定义：在定义了二维行列式后，n维矩阵的行列式可以借助拉普拉斯公式用n-1维的行列式来定义。这样定义的行列式与前面的定义是等价的。

行列式的计算

计算行列式的值是一个常见的问题。最简单的方法是按照定义$\det(A)=\sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )\prod _{i=1}^{n}a_{i,\sigma (i)}$计算或按照拉普拉斯公式进行递归运算。这样的算法需要计算$n!$次的加法，复杂度是指数函数。在实际的计算中只能用于计算阶数很小的行列式。注意到拉普拉斯公式的性质，如果一行或一列里面有很多个0，那么就可以把行列式按这一行或一列展开，这时数值为零的系数所对应的代数余子式就不必计算了，因为最后要乘以0，这样就可以简化计算。然而更加简便的算法是利用高斯消去法或LU分解法，把矩阵通过初等变换变成三角矩阵或三角矩阵的乘积来计算行列式的值。这些算法的复杂度都是$n^{3}$级别，远远小于直接计算的复杂度。

如果行列式的元素都是某个域中的元素（即可以执行除法），那么从任一个可以在${\mathit {O}}(n^{s})$次运算内算出矩阵乘积的算法出发，都可以构造出一种${\mathit {O}}(n^{s})$次运算内的行列式求值算法。反之亦然。这说明求矩阵的行列式的值和矩阵的乘法有相同的最小复杂度。于是，通过分治算法或者其它的方法，可以达到比${\mathit {O}}(n^{3})$更好的结果。比如，由于Coppersmith-Winograd算法可以在${\mathit {O}}(n^{\omega })$次运算（其中$\omega \approx 2.375477$）中计算矩阵乘法，所以也存在${\mathit {O}}(n^{\omega })$次运算以内的行列式求值算法。

如果行列式的元素是某个环中的元素（比如说都是整数），在不执行除法，以字节运算次数来作为复杂度单位的情况下，则需要考虑行列式元素本身的大小。设一个n阶行列式A中绝对值最大的元素占的字节数为b_A，则现有算法可以在

${\mathit {O}}{\big (}(n^{\eta }b_{A})^{1+{\mathit {o}}(1)}{\big )},\quad \eta =\omega +{\frac {1-\zeta }{w^{2}-(2+\zeta )\omega +2}}$

次字节运算内计算行列式的值。其中的$\zeta$是使得域上的n × n矩阵和n × n^ζ矩阵的乘法能够在${\mathit {O}}{\big (}n^{2+{\mathit {o}}(1)}{\big )}$次运算内得出结果的最小实数。

行列式函数

由行列式的一般表达形式中可以看出，矩阵A的行列式是关于其系数的多项式。因此行列式函数具有良好的光滑性质。

单变量的行列式函数

设矩阵函数$t\mapsto A(t)$为${\mathcal {C}}^{k}$（k阶连续可导）的函数，则由于行列式函数$t\mapsto \det A(t)$只不过是矩阵$A(t)$的某些系数的乘积，所以也是${\mathcal {C}}^{k}$的。其对t的导数为

${\frac {\rm {d}}{{\rm {d}}t}}\left(\det(A_{1}(t),\dots ,A_{n}(t))\right)=\sum _{i=1}^{n}\det(A_{1}(t),\dots ,A_{i-1}(t),A'_{i}(t),A_{i+1}(t),\dots ,A_{n}(t))$，其中的每个$A_{i}(t)$是矩阵$A(t)$的第i个行向量（也可以全部是列向量）。

矩阵的行列式函数

函数$A\mapsto \det A$是连续的。由此，n阶一般线性群是一个开集，因为是开区间$\mathbb {R} -\left\{0\right\}$的原像，而特殊线性群则是一个闭集，因为是闭集合$\left\{1,-1\right\}$的原像。

函数$A\mapsto \det A$也是可微的，甚至是光滑的（${\mathcal {C}}^{\infty }$）。它在某个矩阵A处的展开为

$\det(A+H)=\det A+{\rm {tr}}({}^{t}{\rm {Com}}(A).H)+o(\|H\|)$

也就是说，在装备正则范数的矩阵空间M_n($\mathbb {R}$)中，伴随矩阵是行列式函数的梯度

$\nabla \det(A)={\rm {Com}}(A)$

特别当A为单位矩阵时，

$\det(I+H)=1+{\rm {tr}}(H)+o(\|H\|),\qquad \nabla \det(I)=I$

可逆矩阵的可微性说明一般线性群GL_n($\mathbb {R}$)是一个李群。

与外代数的关系

行列式与外代数有密切的关系，因为外代数正是在给定的交换环$\mathbb {K}$上的自由$\mathbb {K}$-模V上最“一般性”的有交替性质的结合代数，记为$\wedge (V)$。外代数是由楔积构造而成的，而楔积在V上的交替性质表现如下（定义）：

楔积是满足结合律的双线性的二元运算，使得對於所有向量$v\in V$，$v\wedge v=0$

这表示

對於所有向量$u,v\in V$，$u\wedge v=-v\wedge u$，以及

當$v_{1},\ldots ,v_{k}\in V$ 线性相关时，$v_{1}\wedge v_{2}\wedge \cdots \wedge v_{k}=0$。

所有形同$v_{1}\wedge v_{2}\wedge \cdots \wedge v_{k}$的元素称为k-向量。所有k-向量构成了$\wedge (V)$的一个子空间，称为V的k-阶外幂，记为$\wedge ^{k}(V)$。行列式函数是n重交替线性形式，所以可以看成是将n个$\mathbb {K} ^{n}$裡面的向量映射到它们对应的n-阶外幂$\wedge ^{n}(\mathbb {K} ^{n})$这样一个映射。由于$\mathbb {K} ^{n}$的k-阶外幂$\wedge ^{k}(\mathbb {K} ^{n})$的维数等于组合数${\binom {n}{k}}$，$\wedge ^{n}(\mathbb {R} ^{n})$的维数是${\binom {n}{n}}=1$，因此$\wedge ^{n}(\mathbb {K} ^{n})$实际上同构于$\mathbb {K}$，所以将行列式看做n个$\mathbb {K} ^{n}$裡面的向量映射到它们对应的n-阶外幂$\wedge ^{n}(\mathbb {K} ^{n})$的映射与之前的行列式定义并没有冲突。外代数理论实际上涵盖了行列式理论。

对三维欧几里得空间中$\mathbb {R} ^{3}$可以建立一个线性同构$\phi :\Lambda ^{2}(\mathbb {R} ^{3})\rightarrow \mathbb {R} ^{3}$如下：任取$\mathbb {R} ^{3}$的右手的标准正交基${\boldsymbol {i}}$，${\boldsymbol {j}}$，${\boldsymbol {k}}$，规定$\phi$把${\boldsymbol {i}}\wedge \mathbf {j}$，${\boldsymbol {j}}\wedge {\boldsymbol {k}}$，${\boldsymbol {k}}\wedge {\boldsymbol {i}}$分别映射为${\boldsymbol {k}}$，${\boldsymbol {i}}$，${\boldsymbol {j}}$，则$\phi$的定义与右手的标准正交基如何选取无关。

不难看出，对任意向量${\boldsymbol {u}}$和${\boldsymbol {v}}$，这个线性同构把楔积${\boldsymbol {u}}\wedge {\boldsymbol {v}}$映射为叉积${\boldsymbol {u}}\times {\boldsymbol {v}}$。这就是叉乘（向量积）的实质。叉积可以用带向量的行列式：

$\mathbf {a} \times \mathbf {b} =\det {\begin{bmatrix}\mathbf {i} &\mathbf {j} &\mathbf {k} \\a_{1}&a_{2}&a_{3}\\b_{1}&b_{2}&b_{3}\\\end{bmatrix}}$

来表示，但要注意这个行列式形式并不代表一个“真正”的行列式，因为第一行的分量不是数，而是向量。这个计算之所以正确是得益于线性同构$\phi$。

历史

行列式的概念最初是伴随着方程组的求解而发展起来的。行列式的提出可以追溯到十七世纪，最初的雏形由日本数学家关孝和与德国数学家戈特弗里德·莱布尼茨各自独立得出，时间相差132年。

早期研究

关孝和在《解伏题之法》中首次运用行列式的概念

1545年，卡当在著作《大术》（Ars Magna）中给出了一种解两个一次方程组的方法。他把这种方法称为“母法”（regula de modo）。这种方法和后来的克莱姆法则已经很相似了，但卡当并没有给出行列式的概念。

1683年，日本数学家关孝和在其著作《解伏题之法》中首次引进了行列式的概念。书中出现了$2\times 2$、$3\times 3$乃至$5\times 5$的行列式，行列式被用来求解高次方程组。

1693年，德国数学家莱布尼茨开始使用指标数的系统集合来表示有三个未知数的三个一次方程组的系数。他从三个方程的系统中消去了两个未知量后得到一个行列式。这个行列式不等于零，就意味着有一组解同时满足三个方程。由于当时没有矩阵的概念，莱布尼茨将行列式中元素的位置用数对来表示：ij代表第i行第j列。莱布尼茨对行列式的研究成果中已经包括了行列式的展开和克莱姆法则，但这些结果在当时并不为人所知。

任意阶数的行列式

1730年，苏格兰数学家科林·麦克劳林在他的《论代数》中已经开始阐述行列式的理论，记载了用行列式解二元、三元和四元一次方程的方法，并给出了四元一次方程组的一般解的正确形式，尽管这本书直到麦克劳林逝世两年后（1748年）才得以出版。

约瑟夫·拉格朗日

1750年，瑞士的加布里尔·克莱姆首先在他的《代数曲线分析引论》给出了n元一次方程组求解的法则，用于确定经过五个点的一般二次曲线的系数，但并没有给出证明。其中行列式的计算十分复杂，因为是定义在奇置换和偶置换上的。

此后，关于行列式的研究逐渐增多。1764年，法国的艾蒂安·裴蜀的论文中关于行列式的计算方法的研究简化了克莱姆法则，给出了用结式来判别线性方程组的方法。同是法国人的亚历山德·西奥菲勒·范德蒙德（Alexandre-Théophile Vandermonde）则在1771年的论著中第一个将行列式和解方程理论分离，对行列式单独作出阐述。这是数学家们开始对行列式本身进行研究的开端。

1772年，皮埃尔-西蒙·拉普拉斯在论文《对积分和世界体系的探讨》中推广了范德蒙德著作裡面将行列式展开为若干个较小的行列式之和的方法，发展出子式的概念。一年后，约瑟夫·拉格朗日发现了$3\times 3$的行列式与空间中体积的联系。他发现：原点和空间中三个点所构成的四面体的体积，是它们的坐标所组成的行列式的六分之一。

行列式在大部分欧洲语言中被称为“determinant”（某些语言中词尾加e或o，或变成s），这个称呼最早是由卡爾·弗里德里希·高斯在他的《算术研究》中引入的。这个称呼的词根有“决定”意思，因为在高斯的使用中，行列式能够决定二次曲线的性质。在同一本著作中，高斯还叙述了一种通过系数之间加减来求解多元一次方程组的方法，也就是现在的高斯消元法。

行列式的现代概念

詹姆斯·约瑟夫·西尔维斯特

进入十九世纪后，行列式理论进一步得到发展和完善。奧古斯丁·路易·柯西在1812年首先将“determinant”一词用来表示十八世纪出现的行列式，此前高斯只不过将这个词限定在二次曲线所对应的系数行列式中。柯西也是最早将行列式排成方阵并将其元素用双重下标表示的数学家（垂直线记法是阿瑟·凯莱在1841年率先使用的）。柯西还证明了行列式的乘法定理（实际上是矩阵乘法），这个定理曾经在雅克·菲利普·玛利·比内（Jacque Philippe Marie Binet）的书中出现过，但没有证明。

十九世纪五十年代，凯莱和詹姆斯·约瑟夫·西尔维斯特将矩阵的概念引入数学研究中。行列式和矩阵之间的密切关系使得矩阵论蓬勃发展的同时也带来了许多关于行列式的新结果，例如阿达马不等式、正交行列式、对称行列式等等。

与此同时，行列式也被应用于各种领域中。高斯在二次曲线和二次型的研究中使用行列式作为二次曲线和二次型划归为标准型时的判别依据。十九世纪五十年代后，卡尔·魏尔斯特拉斯和西尔维斯特又完善了二次型理论，研究了$\lambda$-矩阵的行列式以及初等因子。行列式被用于多重函数的积分大约始于十九世纪三十年代。1832年至1833年间卡尔·雅可比发现了一些特殊结果，1839年，欧仁·查尔·卡塔兰（Eugène Charles Catalan）发现了所谓的雅可比行列式。1841年，雅可比发表了一篇关于函数行列式的论文，讨论函数的线性相关性与雅可比行列式的关系。整个十九世纪中，数学家对行列式的性质进行了大量研究，很多特殊行列式如对称与斜对称行列式、加边行列式、复合行列式的性质也得到研究。

现代的行列式概念最早在19世纪末传入中国。1899年，华蘅芳和英国传教士傅兰雅合译了《算式解法》十四卷，其中首次将行列式翻译成“定准数”。1909年顾澄在著作中称之为“定列式”。1935年8月，中国数学会审查各种术语译名，9月教育部公布的《数学名词》中正式将译名定为“行列式”。其后“行列式”作为译名沿用至今。

应用

行列式与线性方程组

主条目：线性方程组

行列式的一个主要应用是解线性方程组。当线性方程组的方程个数与未知数个数相等时，方程组不一定总是有唯一解。对一个有n个方程和n个未知数的线性方程组，我们研究未知数系数所对应的行列式。这个线性方程组有唯一解当且仅当它对应的行列式不为零。这也是行列式概念出现的根源。

当线性方程组对应的行列式不为零时，由克萊姆法則，可以直接以行列式的形式写出方程组的解。但用克萊姆法則求解计算量巨大，因此并没有实际应用价值，一般用于理论上的推导。

行列式与矩阵

主条目：矩阵

矩阵的概念出现得比行列式晚，直到十九世纪中期才被引入，然而两者在本质上仍然有密切关系。通过矩阵，线性方程组可以表示为

$\mathbf {A} x=b$

其中$\mathbf {A}$是由方程组中未知数的系数构成的方块矩阵，$x=(x_{1},x_{2},\cdots ,x_{n})^{\mathbf {T} }$是未知数，而$b=(b_{1},b_{2},\cdots ,b_{n})^{\mathbf {T} }$。

在矩阵理论中，行列式也有各种用途。多項式$p(x)=\det(xI-A)$称为方块矩陣$A$的特徵值多項式。这是一个由行列式定义的多项式，它的解是矩阵所有的特征值。换句话说，$x$是矩阵$A$的特征值当且仅当$xI-A$不是可逆矩阵。特征值多项式在矩阵理论中有重要的应用。

行列式与多项式

早在高斯的时代，行列式就和多项式的研究联系在一起。行列式的一个应用是在所谓的“结式”上。结式是两个多项式$\displaystyle p$和$\displaystyle q$的西尔维斯特矩阵的行列式。两个多项式的结式等于0当且仅当它们有高于或等于一次的公因子多项式。结式还可以判断多项式是否有重根：如果多项式$\displaystyle p$和它的微分多项式$\displaystyle p^{\prime }$的结式不为零，那么这个多项式没有重根，否则有重根。

行列式在多项式逼近理论中也有出现。给定一组插值点，判别插值多项式的存在性需要看所谓的范德蒙矩阵，而由于范德蒙矩阵的行列式不为零，因此根据克莱姆法则，插值多项式唯一存在（次数小于插值点个数）。

朗斯基行列式

主条目：朗斯基行列式

朗斯基行列式是函数矩阵的行列式，因此本身也是一个函数。给定n个n-1次连续可微函数，f₁、...、f_n，它们的朗斯基行列式W(f₁, ..., f_n)为：

$W(f_{1},\ldots ,f_{n})(t)={\begin{vmatrix}f_{1}(t)&f_{2}(t)&\cdots &f_{n}(t)\\f_{1}'(t)&f_{2}'(t)&\cdots &f_{n}'(t)\\\vdots &\vdots &\ddots &\vdots \\f_{1}^{(n-1)}(t)&f_{2}^{(n-1)}(t)&\cdots &f_{n}^{(n-1)}(t)\end{vmatrix}}$

可以证明，如果f₁、...、f_n线性相关，那么它们的朗斯基行列式恒等于零。

在线性微分动力系统理论中，朗斯基行列式用来判别若干个解的线性相关性。如果n个解f₁、...、f_n线性无关，那么它们的朗斯基行列式将总不为零。根据刘维尔定理，n维空间上的线性微分方程：

$Y^{\prime }=A(t)Y$

的基础解系所构成的朗斯基行列式$W(t)$满足：

$W'(t)={\rm {tr}}\,A(t)W(t)$，

同样地，线性微分方程： $y^{(n)}=a_{0}(t)y+a_{1}(t)y'+a_{2}(t)y''+...+a_{n-1}(t)y^{(n-1)}\,$的基础解系所构成的朗斯基行列式$W(t)$满足：

$W'(t)=a_{n-1}(t)W(t)$

行列式与多重积分

主条目：雅可比矩阵

雅可比行列式是把一个体积元（蓝色）变换成另一个（红色）时两者的体积之比

行列式体现了线性变换对于空间体积的作用，对于非线性的函数，其对体积的影响更为复杂，但对于足够“良好”的函数，在一个微小的范围内，比如说在空间中一点的附近，可以将函数的效果近似地用线性的变换来代替。由此，对于某些函数，也可以将它在某一点附近的作用效果用它在这一点上的偏导数构成的矩阵（称为雅可比矩阵）来表示。这类行列式被称为“雅可比行列式”，即是雅可比矩阵的行列式，只对连续可微的函数有定义。

在计算“体积”的多重积分中，雅可比行列式应用于换元积分的时候。积分的思想是将空间割成许多个微小的体积元，称为积分元素，再将每个体积元上的函数值乘以体积元的体积后相加。将一个积分元素换为另一个积分元素时，实际上作了一次对空间中体积的度量方式的改变：分划体积元的方式不同了。譬如在二维空间中，将直角坐标积分换为极坐标积分时，面积元素由方块区域变成扇形区域。因此，要测量这种体积度量方式的改变，可以将这种变换看成一个非线性的变换函数（实际上是一个微分同胚）：$\varphi :\mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{n}$。而它在每一点的影响可以通过雅可比行列式来体现。

行列式与非线性方程组及分枝理论

主条目：牛顿法和分枝理论

运用雅可比行列式的还有非线性方程组的数值求解。对于一般的非线性方程组，不存在求解公式，只能够用数值分析的方法求近似解。求近似解的基本思想也是将非线性问题在局部的地方逐步线性化，化归为线性方程组来求解。设有方程组：

${\begin{cases}f_{1}(x_{1},x_{2},\cdots ,x_{n})=0\\\quad \vdots \qquad \qquad \qquad \vdots \quad \\f_{n}(x_{1},x_{2},\cdots ,x_{n})=0\end{cases}}$

其中$f=(f_{1},\cdots ,f_{n})$是连续可微函数，并在解的附近雅可比行列式不为零，那么可以用牛顿法迭代求得近似解。迭代程序为：

$f(x^{(k+1)})=x^{(k)}-\det(\mathbf {J} _{f}(x^{(k)}))^{-1}f(x^{(k)})\qquad (k=0,1,\cdots )$

其中的$x^{(k)}=(x_{1}^{(k)},x_{2}^{(k)},\cdots ,x_{n}^{(k)})$是第k次迭代时的解的近似数值。每次迭代时先求解关于线性方程组

$\mathbf {J} _{f}(x^{(k)})\Delta x^{(k)}=f(x^{(k)})$

然后计算新的近似值

$x^{(k+1)}=x^{(k)}-\Delta x^{(k)}$

在实际应用中，还需要考虑带有参数的非线性方程组：

${\begin{cases}f_{1}(x_{1},x_{2},\cdots ,x_{n},\lambda )=0\\\quad \vdots \qquad \qquad \qquad \vdots \quad \\f_{n}(x_{1},x_{2},\cdots ,x_{n},\lambda )=0\end{cases}}$

其中的$\lambda$可以代表温度、外力等环境因素。当环境改变时，方程解上的雅可比行列式可能从非零变为零。雅可比行列式为零的点称为临界点或分支点，是方程的解改变性质的地方。和线性方程组类似，当雅可比行列式的值为零时，方程组会出现局部多值的情况。寻找分支点和分支方向的研究是非线性方程求解的一大问题。

参见

• 多重线性映射
• 矩阵论
• 伴随矩阵
• 结式
• 子式和余子式
• 不变因子
• 黑塞矩阵
• 格拉姆矩阵
• 体积形式
• 空间定向
• 混合积
• 积和式
• 斯莱特行列式
• 阿达马不等式
• 廣義克羅內克函數
• 量子行列式

参考书籍

• （英文）Michael Artin. Algebra. Prentice Hall. 2004. ISBN 7-111-13913-5. 
• （法文）Henri Cartan. Cours de calcul différentiel. Paris, Hermann. 2007. ISBN 978-2-7056-6702-3. 
• （法文）Pierre Gabriel. Matrices, géométrie, algèbre linéaire. Cassini. 2001. ISBN 2-842-25018-4. 
• （英文）David Poole. Linear algebra: a modern introduction. Brooks Cole. 2005. ISBN 978-0-534-34174-9.