查看“行列式”的源代码

{{Featured article}}
{{NoteTA
|G1 = Math
}}
{{线性代数}}
{{各地中文名
|name=横行（row）
|cn=行
|tw=列
}}
{{各地中文名
|name=纵行（column）
|cn=列
|tw=行
}}

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

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

行列式的特性可以被概括为一个[[多线性形式|交替多线性形式]]，这个本质使得行列式在欧几里德空间中可以成为描述“体积”的函数<ref>项武义，《基础代数学》，第92页</ref>。

== 记法 ==
矩陣<math>A</math>的行列式記作<math>\det(A)</math>。行列式經常使用竖直線記法（例如：[[克萊姆法則]]和[[子式]]）。例如，对于一個矩陣：
:<math>A = \begin{bmatrix} a & b & c\\d & e & f\\g & h & i \end{bmatrix}</math>
<math>\det(A)</math>也记作<math>|A|</math>，或以細長的垂直線取代矩陣的方括號，明確的寫为<ref>居余马，《线性代数》第2-5页</ref><ref>张贤科，《高等代数学》，第38页</ref>：
:<math>|A| = \begin{vmatrix} a & b & c\\d & e & f\\g & h & i \end{vmatrix}</math>
当这个记法用于[[絕對值]]时，其作用对象为数，矩陣的絕對值是无定義的。[[範數|矩陣範數]]通常以雙垂直線來表示（如：<math>\|\cdot\|</math>），且可以使用下標。故不会与二者造成混淆。

== 直观定义 ==
一个{{math|''n''}}[[矩阵|阶]][[方块矩阵]]<math>A</math>的行列式可直观地定义如下：

<center><math>\det(A) = \sum_{\sigma \in S_n} \sgn(\sigma) \prod_{i=1}^n a_{i,\sigma(i)}</math></center>

其中，<math>S_n</math>是集合<math>\left \{ 1,2,...,n \right \}</math>上[[置换]]的全体，即集合<math>\left \{ 1,2,...,n \right \}</math>到自身上的'''一一映射'''（[[双射]]）的全体；

<math>\sum_{\sigma \in S_n}</math>表示对<math>S_n</math>全部元素的求和，即对于每个<math>\sigma \in S_n</math>，<math>\sgn(\sigma) \prod_{i=1}^n a_{i,\sigma(i)}</math>在加法算式中出现一次；对每一个满足<math>1\leq i, j\leq n</math>的数对<math>\left ( i,j \right )</math>，<math>a_{i,j}</math>是矩阵<math>A</math>的第<math>i</math>行第<math>j</math>列的元素。

<math>\sgn(\sigma)</math>表示置换<math>\sigma \in S_n</math>的[[置换的奇偶性|符号差]]，具体地说，满足<math>1\leq i\leq j\leq n</math>但<math>\sigma(i)>\sigma(j)</math>的有序数对<math>\left ( i,j \right )</math>称为<math>\sigma</math>的一个逆序。

如果<math>\sigma</math>的逆序共有偶数个，则<math>\sgn\sigma=1</math>，如果共有奇数个，则<math>\sgn\sigma=-1</math>。

举例来说，对于3元置换<math>\sigma=\left ( 2,3,1 \right )</math>（即是说<math>\sigma(1)=2</math>，<math>\sigma(2)=3</math>，<math>\sigma(3)=1</math>）而言，由于1在2后，1在3后，所以共有2个逆序（偶数个），因此<math>\sgn(\sigma)=1</math>，从而3阶行列式中项<math> a_{1, 2}  a_{2, 3}  a_{3, 1} </math>的符号是正的。但对于三元置换<math>\sigma=\left ( 3,2,1 \right )</math>（即是说<math>\sigma(1)=3</math>，<math>\sigma(2)=2</math>，<math>\sigma(3)=1</math>）而言，可以数出共有3个逆序（奇数个），因此<math>\sgn\sigma=-1</math>，从而3阶行列式中项<math> a_{1, 3}  a_{2, 2}  a_{3, 1} </math>的符号是负号<ref name="s">{{en}}{{cite book | title =''Text book of linear algebra: an introduction to modern algebra'' | author = M.R. Adhikari | publisher = Allied Publishers Pvt Ltd | year = 2004 | isbn =978-8-177-64591-0 }}，第461页</ref><ref>张贤科，《高等代数学》，第33页</ref>。

注意到对于任意正整数<math>n</math>，<math>S_n</math>共拥有[[阶乘|{{math|''n''!}}]]个元素，因此上式中共有<math>n!</math>个求和项，即这是一个有限多次的求和。

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

* 2阶矩阵的行列式：<math>\begin{vmatrix} a_{1,1} & a_{1,2} \\
a_{2,1} & a_{2,2} \end{vmatrix} = a_{1,1} a_{2,2} - a_{1,2}a_{2,1}</math><ref name=autogenerated2>Harold，頁34</ref>

* 3阶矩阵的行列式：<math>\displaystyle \begin{vmatrix} a_{1,1} & a_{1,2} & a_{1,3} \\ a_{2,1} & a_{2,2} & a_{2,3} \\ a_{3,1} & a_{3,2} & a_{3,3} \end{vmatrix} = a_{1,1}a_{2,2}a_{3,3}  + a_{1,2}a_{2,3}a_{3,1}+ a_{1,3}a_{2,1}a_{3,2} - a_{1,3}a_{2,2}a_{3,1} - a_{1,1}a_{2,3}a_{3,2} - a_{1,2}a_{2,1}a_{3,3}</math><ref name=autogenerated3>Harold，頁35</ref>

[[File:Determinant-columns.png|thumb|280px|三阶矩阵的行列式为每条红线上的元素的乘积之和，减去蓝线上元素乘积之和。]]

但对于阶数<math>n\geq 4</math>的方阵<math>A</math>，这样的主对角线和副对角线分别只有<math>n</math>条，由于<math>A</math>的主、副对角线总条数<math>=2n<\left ( n-1 \right )n<n!=S_n</math>的元素个数
因此，行列式的相加项中除了这样的对角线乘积之外，还有其他更多的项。例如4阶行列式中，项<math> a_{1, 2} a_{2, 3} a_{3, 1} a_{4, 4} </math>就不是任何对角线的元素乘积。不过，和2、3阶行列式情况相同的是，{{math|''n''}}阶行列式中的每一项仍然是从矩阵中选取{{math|''n''}}个元素相乘得到，且保证在每行和每列中都恰好只选取一个元素，而整个行列式恰好将所有这样的选取方法遍历一次。

另外，<math>n\times n</math>矩阵的每一行或每一列也可以看成是一个<math>n</math>元[[向量]]，这时矩阵的行列式也被称为这<math>n</math>个<math>n</math>元[[向量]]组成的向量组的行列式<ref name=autogenerated4>张贤科，《高等代数学》，第40页</ref>。

== 几何意义：二维和三维欧氏空间中的例子 ==
行列式的一个自然的源起是{{mvar|n}}维平行体的体积。行列式的定义和{{mvar|n}}维平行体的体积有着本质上的关联<ref name="xwy">{{zh}}{{cite book | author = 項武義| title = 基礎代數學| year = 2004 | publisher = 人民教育出版社|isbn = 7-107-17679-X}}，第92页。</ref>。

=== 二维向量组的行列式 ===
[[File:Parallelogramme.JPG|thumb|300px|行列式是向量形成的平行四边形的面积]]

在一个二维[[欧几里得空间|平面]]上，两个[[向量]]<math>X=\left ( a,c \right )</math>和<math>X'=\left ( b,d \right )</math>的行列式是：
:<math>\det(X,X')=\begin{vmatrix} a & b \\ c & d\end{vmatrix}=ad-bc </math><ref name=autogenerated2 />

比如说，两个向量<math>X=\left ( 2,1 \right )</math>和<math>X'=\left ( 3,4 \right )</math>的行列式是：
:<math>\det(X,X')=\begin{vmatrix} 2 & 3 \\ 1 & 4\end{vmatrix}=2 \cdot 4 - 3 \cdot 1 = 5</math>

经计算可知，当系数是实数时，行列式表示的是向量<math>X</math>和<math>X'</math>形成的[[平行四边形]]的'''有向'''面积，并有如下性质：
* 行列式为零当且仅当两个向量共线（[[线性相关]]），这时平行四边形退化成一条直线<ref name=autogenerated4 />。
* 如果以逆时针方向为正向的话，有向面积的意义是：平行四边形面积为'''正'''当且仅当以原点为不动点将<math>X</math>'''逆时针'''“转到”<math>X'</math>处时，扫过的地方在平行四边形裡，否则的话面积就是负的。如右图中，<math>X</math>和<math>X'</math>所构成的平行四边形的面积就是正的<ref name=autogenerated6>{{cite book | author = 項武義| title = 基礎代數學| year = 2004 | publisher = 人民教育出版社|isbn = 7-107-17679-X}}</ref>。
* 行列式是一个[[双线性映射]]。也就是说，<math>\det(\lambda X+\mu Y,X')=\lambda \det(X,X')+\mu \det(Y,X')\;</math>，
:并且
:<math>\det(X,\lambda X'+\mu Y')=\lambda \det(X,X')+\mu \det(X,Y')\;</math><ref name=autogenerated4 />。
[[File:Deux_parallelogrammes-det_cn.png|thumb|left|300px|行列式]]

其几何意义是：以同一个向量<math>v</math>作为一条边的两个平行四边形的面积之和，等于它们各自另一边的向量<math>u</math>和<math>u'</math>加起来后的向量：<math>u+u'</math>和<math>v</math>所构成的平行四边形的面积，如左图中所示。

=== 三维向量组的行列式 ===
在三维的有向[[欧几里得空间|空间]]中，三个三维向量的行列式是：

:<math>\det(X,X ',X '')=\begin{vmatrix} x & x' &x''\\ y & y'&y''\\ z&z'&z''
\end{vmatrix}=xy'z''+x'y''z+x''yz'-xy''z'-x'yz''-x''y'z </math>。<ref name=autogenerated3 />

比如说，三个向量<math>\left ( 2,1,5 \right )</math>、<math>\left ( 6,0,8 \right )</math>和<math>\left ( 3,2,4 \right )</math>的行列式是：
:<math>\det(X,X ',X '')=\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</math>

当系数是实数时，行列式表示<math>X</math>、<math>X'</math>和<math>X''</math>三个向量形成的平行六面体的'''有向'''体积，也叫做这三个向量的[[三重积|混合积]]。同样的，可以观察到如下性质<ref>Harold，頁36</ref>：

* 行列式为零当且仅当三个向量共线或者共面（三者[[线性相关]]），这时平行六面体退化为平面图形，体积为零<ref name="xwy"/>。
[[File:Déterminant-3D.jpg|thumb|240px|两个相邻平行六面体的体积之和]]
* 三维空间中有向体积的定义要比二维空间中复杂，一般是根据[[右手定则]]来约定。比如右图中(<math>u,v,w</math>)所形成的平行六面体的体积是正的，而(<math>u,w,v</math>)所形成的平行六面体的体积是负的。这个定义和行列式的计算并不矛盾，因为行列式中向量的坐标都是在取好坐标系后才决定的，而坐标系的三个方向一般也是按照右手规则来设定的。如果计算开始时坐标系的[[定向 (数学)|定向]]反过来的话，有向体积的定义也要跟着反过来，这样行列式才能代表有向体积<ref name="xwy"/><ref>Gilbert Strang, ''Linear algebra and its applications'',第234页</ref>。
* 这时行列式是一个'''“[[三线性映射]]”'''，也就是说，对第一个向量有<math>\det(aX+bY,X',X '')=a\det(X,X ',X '')+b\det(Y,X ',X '')\;</math>，对第二、第三个向量也是如此。其几何意义和二维时基本相同，是指当生成两个平行六面体的每组三个向量中如果有两个是重合的，比如分别是：(<math>u,v,w</math>)和(<math>u',v,w</math>)，那么它们的体积之总和等于将<math>u</math>和<math>u'</math>加起来后的向量<math>u+u'</math>和<math>v</math>, <math>w</math>所形成的平行六面体的体积，如右图所示<ref name="xwy"/>。

=== 基底的选择 ===
在以上的行列式中，我们不加选择地将向量在所谓的[[正交基]]（即[[笛卡儿坐标系|直角坐标系]]）下分解，实际上在不同的[[基底]]之下，行列式的值并不相同。这并不是说平行六面体的体积不唯一。恰恰相反，这说明体积的概念依赖于衡量空间的尺度，也就是基底的取法。用基底的变换可以看作[[线性映射]]对基底的作用，而不同基底下的行列式代表了[[基变更|基变换]]对“体积”的影响。可以证明，对于所有同定向的[[正交基|标准正交基]]，向量组的行列式的值在绝对值意义上是一样的<ref>张贤科，《高等代数学》，第283页</ref>。也就是说，如果我们选择的基底都是“单位长度”，并且两两[[正交]]，那么在这样的基之下，平行六面体的体积的绝对值是唯一的<ref>werner,第136-140页</ref>。

=== 线性变换 ===
[[File:Determinant (1).jpg|thumb|300px|经线性映射后的正方体]]
设{{mvar|E}}是一个一般的{{mvar|n}}维的有向[[欧几里得空间]]。一个线性变换把一个向量线性地变为另一个向量。比如说，在三维空间中，向量(<math>x,y,z</math>)被映射到向量(<math>x',y',z'</math>)：
:<center><math>\begin{matrix} x'= a_1x + b_1y +c_1z\\ y'= a_2x + b_2y+c_2z \\z'=a_3x+b_3y+c_3z \end{matrix}</math></center>

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

更详细地说，行列式表示的是线性变换前后平行六面体的体积的变化系数。如果设左边的正方体体积是一，那么中间的平行六面体的（有向）体积就是线性变换的行列式的值，右边的平行四边形体积为零，因为线性变换的行列式为零。这里我们混淆了线性变换的行列式和向量组的行列式，但两者是一样的，因为我们在对一组基作变换<ref name="Strang">{{en}}{{cite book | title = ''Linear Algebra and its applications'', 3rd Edition | author = Gilbert Strang | publisher = Brookes/Cole Thomson Learning | year = 2006 | isbn = 0-15-551005-3}}，第234-235页</ref>。

== 行列式与空间定向 ==
{{Image|zh-hans=Determinant_and_orientation_s.svg|zh-hant=Determinant_and_orientation.svg|center|600px}}

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

如上图中，左边的黄色骰子（可以看成有单位的有向体积的物体）在经过了线性变换后变成中间绿色的平行六面体，这时行列式为正，两者是'''同定向的'''，可以通过旋转和拉伸从一个变成另一个。而骰子和右边的红色平行六面体之间也是通过线性变换得到的，但是无论怎样旋转和拉伸，都无法使一个变成另一个，一定要通过镜面反射才行。这时两者之间的线性变换的行列式是负的。可以看出，线性变换可以分为两类，一类对应着正的行列式，保持空间的定向不变，另一类对应负的行列式，颠倒空间的定向<ref name="p132"/><ref>{{fr}}{{cite book |title=Espaces fibrés et Connexions |author=Robert COQUEREAU |year=2002 |url=http://www.cpt.univ-mrs.fr/~coque/book/sourceforhtml.html |deadurl=yes |archiveurl=https://web.archive.org/web/20100309204921/http://www.cpt.univ-mrs.fr/~coque/book/sourceforhtml.html |archivedate=2010-03-09 }}</ref><ref>项武义，《基础代数学》，第92-93页</ref>。

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

=== 交替多线性形式 ===
行列式是系数域为<math>K</math>的有限维[[线性空间]]<math>E</math>上射到<math>K</math>的[[多线性形式|交替{{mvar|n-}}线性形式]]<ref name=autogenerated1>Werner，頁102</ref>。

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

#<math>n</math>重線性：<math> 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})</math>
# 交替性：<math>D(a_{1},a_{2},\ldots,a_{n}) = - D(a_{2},a_{1},\ldots,a_{n})</math>或者说，当<math>a_{i} = a_{j} </math>的时候<math>D(a_{1},\ldots,a_{i},\ldots,a_{j},\ldots,a_{n}) = 0</math>

所有{{mvar|E}}上的交替<math>n-</math>线性形式的集合记作<math>A_{n}(E)</math>。

<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:10px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div>'''定理'''：
</div>
<div style="margin-left:6px;margin-top:6px;">
<math>A_{n}(E)</math>的维度是1。也就是说，设<math>B=(e_{1},\dots,e_{n})</math>是<math>E</math>的一组基，那么，所有的交替<math>n-</math>线性形式<math>f:E^n \to K</math>都可以写成

:<math>f(a_1,\dots,a_n )= \left(\sum_{\sigma\in \mathfrak{S}_n} \sgn(\sigma) \prod_{j=1}^n a_{\sigma(j),j} \right) f(e_{1},\dots,e_{n})</math>
其中<math>a_j = \sum_{i=1}^n a_{i,j} e_i</math>是在基<math>B</math>下的展开<ref name=autogenerated1 /><ref>张贤科，《高等代数学》，页43-46</ref>。
</div>
</div>

<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:10px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div>'''证明'''：
</div>
<div style="margin-left:6px;margin-top:6px;font-size:90%;">
对任一个<math>n-</math>线性形式<math>D:E^n \to K</math>，考虑将<math>D</math>依照多线性性质展开，

:<math>D(a_1,\dots,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 \dots \sum_{i_n=1}^n \prod_{j=1}^n a_{i_j,j} D(e_{i_1},\dots,e_{i_n}) </math>

这时，由交替性，<math>D(e_{i_1},\dots,e_{i_n}) \ne 0</math>当且仅当<math>i_1,\dots,i_n</math>是<math>1,\dots,n</math>的一个排列，所以有

:<math> D(a_1,\dots,a_n )= D(I_n) \cdot \sum_{\sigma \in S_n} \sgn(\sigma) \prod_{i=1}^n a_{i,\sigma(i)}</math>

这裡，<math>I_n = (e_{1},\dots,e_{n})</math>。
</div>
</div>

=== 向量组的行列式 ===
设<math>B=(e_{1},\dots,e_{n})</math>是<math>E</math>的一组基，根据上面的定理和线性形式的性质，可以定义<math>B</math>'''下的行列式'''。
<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:10px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div>'''定义'''：
</div>
<div style="margin-left:6px;margin-top:6px;">
<math>E</math>上的一组基<math>\mathit{B}=(e_{1},\dots,e_{n})</math>的行列式是'''唯一'''一个满足：

:<math>\det{}_\mathit{B} (e_1,... , e_n)=1</math>
的[[多线性形式|交替{{mvar|n-}}线性形式]]<math>\det{}_\mathit{B} :E^n \to K</math>。
</div>
</div>

其中的唯一性是因为如果有两个交替<math>n-</math>线性形式满足条件，则它们的差在一组基上为0，从而恒等于0。于是，一组基上的一个向量组的行列式就是：
<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:10px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div>'''定义'''：
</div>
<div style="margin-left:6px;margin-top:6px;">
确定了<math>E</math>上的一组基<math>B</math>后，向量组<math>a_1,\dots,a_n </math>在<math>B</math>下的行列式是：

:<math>\det{}_B(a_1,\dots,a_n )= \left(\sum_{\sigma\in \mathfrak{S}_n} \sgn(\sigma) \prod_{j=1}^n a_{\sigma(j),j} \right) \det{}_B(e_{1},\dots,e_{n}) = \sum_{\sigma\in \mathfrak{S}_n} \sgn(\sigma) \prod_{j=1}^n a_{\sigma(j),j} </math>
:其中<math>a_j = \sum_{i=1}^n a_{i,j} e_i</math>是在<math>B</math>下的展开<ref>Steven Roman, ''Advanced Linear Algebra''，第387-388页</ref>。
</div>
</div>

可以见到这个定义与之前直观的定义是吻合的，它有时也被称作'''莱布尼兹公式'''。

==== [[基变更]]公式 ====
设<math>B</math>与<math>B'</math>是向量空间中的两组基，则将上面定理中的<math>f</math>改为<math>\det{}_B</math>就得到向量组在两组基下的行列式之间的关系：

:<math>\det{}_{B'}(a_1,\dots, a_n)=\det{}_{B'}(B)\times \det{}_{B}(a_1,\dots, a_n)</math>，

=== 矩阵的行列式 ===
設<math>\displaystyle \mathit{M}_n(K)</math>為所有定義在系数[[体 (数学)|域]]<math>K</math>上的<math>n\times n</math>矩陣的集合。將<math>n\times n</math>矩陣<math>M</math>（<math>M</math>的元素记为<math>\displaystyle m_{i,j}</math> )的<math>n</math>列寫成<math>m_{1},\ldots,m_{n}</math>，<math>\displaystyle m_{j}</math>可以看作是<math>\mathbb{R}^n</math>的正则基上的向量。矩阵<math>M</math>的行列式定义为向量组<math>m_{1},\ldots,m_{n}</math>的行列式。这裡的向量都在<math>\mathbb{R}^n</math>的正则基上展开，因此矩阵的行列式不依赖于基的选择。
<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:10px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div>'''定义'''：
</div>
<div style="margin-left:6px;margin-top:6px;">
矩阵<math>M</math>的行列式

:<math>\det(M)= \det(m_{1},\ldots,m_{n}) = \sum_{\sigma \in \mathfrak{S}_n}
\sgn(\sigma) \prod_{i=1}^n m_{ \sigma(i),i}</math><ref>Werner，頁109</ref>
</div></div>

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

由莱布尼兹公式，可以证明矩阵行列式的一个重要性质：
<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:10px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div>'''定理'''：
</div>
<div style="margin-left:6px;margin-top:6px;">
一个矩阵的行列式等于它的[[转置矩阵]]的行列式：<math>\det M = \det \left({}^t{M}\right)</math>，<ref name=autogenerated7>Steven Roman, ''Advanced Linear Algebra''，第405-406页</ref>
</div></div>

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

<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:10px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div>'''证明'''<ref name=autogenerated7 />：
</div>
<div style="margin-left:6px;margin-top:6px;font-size:90%;">
矩阵<math>A</math>的转置矩阵的行列式是：
:<math>\det({}^t A)=\sum_{\sigma \in \mathfrak{S}_n}
\sgn(\sigma) \prod_{i=1}^n a_{i,\sigma(i)}</math>
令<math>j=\sigma(i)</math>，由于每个排列都是双射，所以上式变成：
:<math>\det({}^t A)=\sum_{\sigma \in \mathfrak{S}_n}
\sgn(\sigma) \prod_{j=1}^n a_{\sigma^{-1}(j),j}</math>

令<math>\tau = \sigma^{-1}</math>，当<math>\sigma</math>取遍所有[[置换]]时，<math> \tau </math>也取遍所有排列。另一方面，<math>1 = \sgn(\sigma^{-1} \sigma) = \sgn(\tau \sigma)=\sgn (\tau) \sgn (\sigma)</math>，因此而且<math>\sgn \sigma = \sgn \tau </math>。所以
:<math>\det({}^t A)=\sum_{\tau \in \mathfrak{S}_n}
\sgn({\sigma}) \prod_{j=1}^n a_{\tau(j),j} =\sum_{\tau \in \mathfrak{S}_n}
\sgn(\tau) \prod_{j=1}^n a_{\tau(j),j}=\det A </math>
</div></div>

=== 线性变换的行列式 ===
设<math>f</math>是<math>n</math>维[[线性空间]]<math>E</math>到自身的线性变换（[[自同态]]），对于给定的一组基，可以定义线性变换在这组基下的行列式。
<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:10px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div>'''定义'''：
</div>
<div style="margin-left:6px;margin-top:6px;">
设<math>B</math>是<math>E</math>的一组[[基 (線性代數)|基]]。设<math>f</math>在<math>B</math>的[[变换矩阵]]为<math>\left[ f \right]_{B}</math>，那么<math>f</math>在<math>B</math>下的行列式就是：

:<math>\det f = \det \left([ f ]_{B} \right)</math>。
</div></div>

{{mvar|f}}的变换矩阵满足<math>\left[f(x_1),\dots, f(x_n)\right] =  \left[ f \right]_{B} \cdot \left[ x_1,\dots, x_n \right]</math>
也就是说对所有的向量组<math>(x_1,\dots, x_n)</math>，
:<math>\det{}_B(f(x_1),\dots, f(x_n))=\det \left([ f ]_{B} \right) \times \det{}_B(x_1,\dots, x_n)</math>
:<math>=\det f \times \det{}_B(x_1,\cdots, x_n)</math>。

可以证明，{{mvar|f}}在{{mvar|E}}的任意一组基下的变换矩阵的行列式都是相等的<ref name=autogenerated8>Werner，頁104</ref>。
<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:10px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div>'''证明'''：
</div>
<div style="margin-left:6px;margin-top:6px;font-size:90%;">
考虑映射<math>d_{f,B}</math>使得<math>(x_1,\cdots, x_n)</math>被映射到
:<math>d_{f,B}(x_1,\dots,x_n) = \det{}_B(f(x_1), \dots, f(x_n))</math>，

<math>d_{f,B}</math>是一个交替{{mvar|n-}}线性形式，因此由前面证的定理，<math>d_{f,B}</math>和<math>det_{B}</math>只相差一个系数。
:<math>d_ {f,B}= \lambda \cdot \det{}_B</math>。

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

也就是说
: <math> \det{}_B(f(x_1),\dots, f(x_n))=\det \left([ f ]_{B} \right) \times \det{}_B(x_1,\dots, x_n) \qquad (1)</math>

对于另外一组基<math>B'</math>，运用基变更公式，可以得到：
:<math>\det{}_B(f(x_1),\dots, f(x_n)) = \det{}_{B}(B') \times \det{}_{B'}(f(x_1),\dots, f(x_n))</math>
:<math>\begin{align}
\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{align}
</math>

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

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

<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:10px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div>'''定义'''：
</div>
<div style="margin-left:6px;margin-top:6px;">
设线性变换{{mvar|f}}在某组基{{mvar|B}}下的变换矩阵为<math>\left[ f \right]_{B}</math>，那么<math>f</math>的行列式就是：
:<math>\det f = \det \left([ f ]_{B} \right)</math>。
</div></div>

前一节里对正方体做线性变换时，<math>(x_1,\cdots, x_n)</math>是原来的基，<math>\det{}_B(x_1,\dots, x_n) =1</math>，因此可以混淆向量组的行列式和线性变换的行列式<ref name=autogenerated8 />。

特别地，行列式为1的线性变换保持向量组的行列式，它们构成[[一般线性群]]<math>GL(E)</math>的一个子群<math>SL(E)</math>，称作'''[[特殊线性群]]'''<ref>胡冠章，王殿軍，《應用近世代數》，第47頁</ref>。可以证明，<math>SL(E)</math>是由所有的[[错切]]生成的，即所有具有如下形式的矩阵代表的线性变换：

:<math>\begin{bmatrix}
1 & & & & \\
& 1 & \lambda & \\
& & . & & \\
& & & 1 & \\
& & & & 1
\end{bmatrix}=I_n+\lambda E_{ij}</math>

其中<math>E_{ij}</math>是只在第<math>i</math>行第<math>j</math>列处系数取1，其余系数为0的矩阵。也就是说，错切变换保持向量组形成的“平行多面体”的体积<ref>居余马，《线性代数》，第7-10页</ref>。同样，可以证明两个[[相似矩阵]]有相等的行列式<ref name="FRG">{{en}}{{cite book | title = The theory of matrices |author = F. R. Gantmacher | publisher =Dover Publications |year = 2005 | isbn = 978-0486445540}}，第67-68页</ref>。

== 系数的取值 ==
以上的定义中都假设矩阵的系数取自[[体 (数学)|域]]<math>\mathbb{K}</math>中，实际上矩阵的系数可以是任意的[[交换环]]<math>k</math>，这时有限维线性空间变为以<math>B = (e_1,\dots, e_n)</math>为基的自由<math>k-</math>[[模]]，而相应的关于行列式的定义和性质依然成立（在可定义的范畴内）。如果矩阵系数是非交换环的话，以上的行列式定义将不再唯一。1845年，[[阿瑟·凯莱]]首次开始研究非交换环上行列式定义的问题。他注意到，对于系数是[[四元数]]（不可交换）的二阶行列式

:<math>\begin{vmatrix}
a_{11} & a_{12} \\
a_{21} & a_{22} \\
\end{vmatrix}</math>
表达式<math>a_{11}a_{22} - a_{12}a_{21}</math>和<math>a_{11}a_{22} - a_{21}a_{12}</math>是不一样的。1926年，[[阿兰德·海廷]]和A.理查德森提出了非交换环上的行列式的不同定义。理查德森将二阶行列式定义为：<math>(a_{11} - a_{12}a_{22}^{-1}a_{21})a_{22}</math>，而海廷则提倡使用<math>(a_{11} - a_{12}a_{22}^{-1}a_{21})</math>。两人都用归纳法定义了更高阶矩阵的行列式。1931年，[[奥斯丁·欧尔]]在一大类非交换环（后来命名为[[歐爾條件|欧尔环]]）上定义了行列式的概念。最著名的非交换环上的行列式的定义当属[[让·迪厄多内]]的定义。迪厄多内是[[布尔巴基学派]]的代表成员之一，他将[[除环]]<math>\mathbb{K}</math>中的行列式定义在[[商域]]<math>\mathbb{K}/[\mathbb{K}, \mathbb{K}]</math>上，而不是在<math>\mathbb{K}</math>中。这个定义下的行列式有接近交换环中行列式的性质。例如，迪尔多内的行列式可以保持行列式的乘法定理。而这种行列式与交换环中行列式的区别是：将矩阵的两行或两列互换后，行列式的值不变。<ref>{{cite book | title =Further algebra and applications | author = Paul Moritz Cohn |publisher = Springer | year = 2003 |isbn =978-1-852-33667-7 }}</ref>之后[[菲列克斯·别列金]]（{{lang|ru|Березин, Феликс Александрович}}）、[[佐藤幹夫]]等人对迪厄多内的定义进行了探究和扩展<ref>{{en}}{{cite journal | url = http://www.springerlink.com/content/n654540q31066t5g/fulltext.pdf |title = A theory of noncommutative determinants and characteristic functions of graphs |publisher = Springer New York |journal = Functional Analysis and Its Applications |volume = Volume 26, Number 4| doi = 10.1007/BF01075044}}</ref>。

== 行列式的性質 ==
行列式的一些基本性质，可以由它的多线性以及交替性推出。
* 在行列式中，一行（列）元素全為0，則此行列式的值為0<ref name="detxz">居余马，《线性代数》，第7-11页</ref>。
::<math>\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</math>
* 在行列式中，某一行（列）有公因子<math>k</math>，則可以提出<math>k</math><ref name="detxz"/>。
:: <math>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</math>
* 在行列式中，某一行（列）的每個元素是兩數之和，則此行列式可拆分為兩個相加的行列式<ref name="detxz"/>。
:: <math>\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}</math>
* 行列式中的兩行（列）互換，改變行列式正負符號<ref name="detxz"/>。
:: <math>\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}</math>
* 在行列式中，有兩行（列）對應成比例或相同，則此行列式的值為0<ref name="detxz"/>。
:: <math>\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</math> 
* 將一行（列）的<math>k</math>倍加進另一行（列）裡，行列式的值不變<ref name="detxz"/>。
:: <math>\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}</math>
:<span style="color:red;">注意</span>：一行（列）的<math>k</math>倍'''加上'''另一行（列），行列式的值改變。
::<math>\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}\ne}\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}</math>
* 將行列式的行列互換，行列式的值不變，其中行列互換相當於轉置<ref name="detxz"/><ref>Steven Roman, ''Advanced Linear Algebra'',第405-406页</ref>。这个性质可以简单地记作
:: <math>D=\begin{vmatrix} a_{ij} \end{vmatrix}
=\begin{vmatrix} a_{ji} \end{vmatrix}
=D^{\textrm{T}}</math>
:例如
:: <math>\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}</math>
* 行列式的乘法定理：[[方块矩陣]]的乘積的行列式等於行列式的乘積。<math>\displaystyle \det(AB)=\det(A) \det(B)</math>。特别的，若将矩阵中的每一行每一列上的数都乘以一个常数<math>r</math>，那么所得到的行列式不是原来的'''<math>r</math>'''倍，而是<math>r^n</math>倍：<ref>项武义，《基础代数学》，第89页</ref>
:<math>\det(rA) = \det(rI_n \cdot A) = \det(rI_n) \cdot \det(A) = r^n \det(A)</math>。
* 以上的乘法公式还可以进一步推广为所谓[[柯西–比内公式]]，从而使得只要两个矩阵的乘积是方块矩阵，就有类似于以上的结果：假设<math>A</math>是一个<math>m \times n</math>矩阵，而<math>B</math>是一个<math>n \times m</math>矩阵。如果<math>S</math>是<math>\left\{ 1, \cdots, n\right\}</math>中具有<math>m</math>个元素的子集<math>\left\{ S_1, \cdots, S_m\right\}</math>，我们记<math>A_S</math>为''<math>A</math>''中列指标位于''<math>S</math>''中的<math>m \times m</math>子矩阵。类似地，记<math>B_S</math>为<math>B</math>中行指标位于''<math>S</math>''中的<math>m \times m</math>子矩阵。那么
:<math>\det(AB) = \sum_S \det(A_S)\det(B_S)\,</math>
:这里求遍<math>\left\{ 1, \cdots, n\right\}</math>中''<math>m</math>''个元素的所有可能子集''<math>S</math>''（共有[[二项式系数|C(''n'',''m'')]]个）。
:如果<math>m=n</math>，即''<math>A</math>''与''<math>B</math>''是同样大小的方块矩阵，则只有一个容许[[集合 (数学)|集合]]''<math>S</math>''，柯西–比内公式退化为通常行列式的乘法公式。如过<math>m=1</math>则有<math>n</math>容许集合''<math>S</math>''，这个公式退化为[[点积]]。如果<math>m>n</math>，没有容许集合''<math>S</math>''，约定行列式<math>\det (AB)</math>是零<ref>{{en}}{{cite web | title = The Cauchy-Binet Formula | url = http://www.lacim.uqam.ca/~lauve/courses/su2005-550/BS3.pdf |accessdate = 2010-05-19}}</ref>。
* 若'''''<math>A</math>'''''是[[可逆矩陣]]，<math>\displaystyle \det(A^{-1})= (\det(A) )^{-1}</math><ref>居余马，《线性代数》，页65</ref>。
* 由行列式的乘法定理以及<math>\displaystyle \det(A^{-1})= (\det(A) )^{-1}</math>可以知道，行列式定义了一个从[[一般线性群]]<math>(GL_n(\mathbb{F}),\times)</math>到<math>(\mathbb{F}^*,\times)</math>上的[[群同态]]<ref>{{en}}{{cite web | title = The General Linear Group | url = http://www-math.mit.edu/~dav/genlin.pdf | author = Gabe Cunningham | accessdate = 2010-05-19}}</ref>。
* 若将方块矩阵中的元素取[[共轭复数|共轭]]，得到的是矩阵的共轭矩阵。共轭矩阵的行列式值等於矩阵行列式值的共軛：<math>\det(\overline{A}) = \overline{\det(A)}</math><ref>这是由于行列式按照定义可以看成关于矩阵系数的多项式。另一方面，若干个复数乘积或和的共轭等于其共轭的乘积或和。从而当每个系数都取共轭后，行列式这个多项式的值也变成原来的共轭。</ref>
* 若兩個矩陣[[相似矩陣|相似]]，那麼它們的行列式相同。这是因为两个相似的矩阵之间只相差一个基底变换，而行列式描述的是矩阵对应的线性映射对体积的影响，而不是体积，所以基底变换并不会影响行列式的值。用数学语言来说，就是：
:如果兩個矩陣'''''<math>\mathbf{A}</math>'''''与'''<math>\mathbf{B}</math>'''相似，那麼存在可逆矩阵<math>\mathbf{P}</math>使得
::<math>\mathbf{A} = \mathbf{PB} \mathbf{P}^{-1}</math>，所以
::<math>\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})</math><ref name="FRG"/>
* 行列式是所有[[特徵值]]（按代数重数计）的乘积。這可由矩陣必和其[[若尔当标准型]]相似推導出<ref name="danford">{{en}}{{ cite book|author=N.丹佛，J.T.施瓦茨|title=《线性算子》第一章：一般理论|publisher=Interscience|year=1958|pages=39-40}} </ref>。特殊地，[[三角矩阵]]的行列式等于其对角线上所有元素的乘积<ref name="danford"/>。
* 由于三角矩阵的行列式计算简便，当矩阵的系数为[[体 (数学)|域]]时，可以通过[[高斯消去法]]将矩阵变换成三角矩阵，或者将矩阵分解成三角矩阵的乘积之后再利用行列式的乘法定理进行计算。可以证明，所有的矩阵'''''<math>A</math>'''''都可以分解成一个上三角矩阵'''''<math>U</math>'''''、一个下三角矩阵'''''<math>L</math>'''''以及一个[[置换矩阵]]'''<math>P</math>'''的乘积：<math> A = P \cdot L \cdot U </math>。这时，矩阵'''''<math>A</math>'''''的行列式可以写成：
:<math> \det(A) = \det(P)\cdot \det(L)\cdot\det(U) </math><ref> Gilbert Strang, ''Linear Algebra and its applications'',第236-237页</ref>
* 分块矩阵的行列式并不能简单地表示成每个分块的行列式的乘积组合。对于分块的三角矩阵，仍然有类似的结论：
:<math>\det\begin{pmatrix}A& 0\\ C& D\end{pmatrix} = \det\begin{pmatrix}A& B\\ 0& D\end{pmatrix} = \det(A) \det(D)</math>，矩阵的行列式等于对角元素的行列式之乘积。
:对于一般情况，若对角元素中有一个是可逆矩阵，比如说'''''<math>A</math>'''''可逆，那么矩阵的行列式可以写做
:<math>\det\begin{pmatrix}A& B\\ C& D\end{pmatrix} = \det(A) \det(D - C A^{-1} B) </math>。<ref>{{en}}{{cite web |url=http://www.ee.ic.ac.uk/hp/staff/www/matrix/proof003.html |title=The Matrix Reference Manual |author=Mike Brookes |publisher=Imperial College |accessdate=2010-02-02 |deadurl=yes |archiveurl=https://web.archive.org/web/20080113084601/http://www.ee.ic.ac.uk/hp/staff/www/matrix/proof003.html |archivedate=2008-01-13 }}</ref>
* 矩阵的行列式和矩阵的[[迹数]]有一定的关联，当矩阵的系数为[[体 (数学)|域]]时，在定义了[[矩阵指数|矩阵的指数函数]]后，有如下的恒等式：
:<math> \det(\exp(A)) = \exp(\mathrm{tr}(A)) </math><ref>{{en}}{{Citation | last1=Horn | first1=Roger A. | last2=Johnson | first2=Charles R. | title=Topics in Matrix Analysis | publisher=[[Cambridge University Press]] | isbn=978-0-521-46713-1 | year=1991}}，第439页</ref>

== 行列式的展开 ==
=== 餘因式 ===
:又稱「餘子式」、「餘因子」。參見主條目[[子式和余子式|餘因式]]。

:对一个<math>n</math>阶的行列式<math>M</math>，去掉''<math>M</math>''的第<math>i</math>行第<math>j</math>列后形成的<math>n-1</math>阶的行列式叫做''<math>M</math>''关于元素<math>m_{ij}</math>的'''餘因式'''。记作<math> M_{ij}</math><ref name="p3-5">居余马，《线性代数》，页3-5</ref>。
: <math> 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} </math>
[[File:Pierre-Simon Laplace.jpg|thumb|160px|皮埃尔-西蒙·拉普拉斯]]

=== 代数余子式 ===
''<math>M</math>''关于元素''<math>m_{ij}</math>''的'''代数余子式'''记作<math> C_{ij}</math>。<math> C_{ij} = (-1)^{(i+j)} \cdot M_{ij}</math><ref name="p3-5"/>。

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

:<math>\det{M}=\sum_{i=1}^{n} m_{i;j} C_{i,j}</math>
:<math>\det{M}=\sum_{j=1}^{n} m_{i;j} C_{i,j}</math>

这个公式又称[[拉普拉斯展开|拉普拉斯公式]]，把''<math>n</math>''维矩阵的行列式计算变为了'''<math>n</math>'''个<math>n-1</math>维的行列式的计算<ref name="p3-5"/><ref>张贤科，《高等代数学》，页47-48</ref>。另一方面，拉普拉斯公式可以作为行列式的一种归纳定义：在定义了二维行列式后，'''''<math>n</math>'''''维矩阵的行列式可以借助拉普拉斯公式用'''<math>n-1</math>'''维的行列式来定义。这样定义的行列式与前面的定义是等价的<ref name="xwy"/>。

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

如果一个算法可以在<math>\mathit{O}(n^s)</math>时间内算出矩阵乘法，那么可以构造出一种<math>\mathit{O}(n^s)</math>时间内的行列式求值算法。这说明求矩阵的行列式的值和矩阵的乘法有相同的复杂度。于是，通过分治算法或者其它的方法，可以达到比<math>\mathit{O}(n^3)</math>更好的结果。比如，存在复杂度<math>\mathit{O}(n^{2.376})</math>的行列式求值算法<ref>{{en}}{{cite journal | title = On the complexity of computing determinants | url = http://www.springerlink.com/content/2wu9hkbl51ww4l3v/fulltext.pdf | author = Erich Kaltofen、Gilles Villard | journal = Computational Complexity | 	volume = 13, Numbers 3-4, 2005年2月| doi =10.1007/s00037-004-0185-3}}</ref><ref>{{en}}{{Citation |first = Gilles |last = Villard |url = http://www.math.umn.edu/~focm/c_/Villard.pdf |title = Exact computation of the determinant and of the inverse of a matrix |publisher = CNRS - LIP ENS Lyon, INRIA |year = 2002 |deadurl = yes |archiveurl = https://web.archive.org/web/20080704144036/http://www.math.umn.edu/%7Efocm/c_/Villard.pdf |archivedate = 2008-07-04 }}</ref>。

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

=== 单变量的行列式函数 ===
设矩阵函数<math>t\mapsto A(t)</math>为<math>\mathcal C^k</math>（'''k'''阶[[光滑|连续可导]]）的函数，则由于行列式函数<math>t\mapsto \det A(t)</math>只不过是矩阵<math>A(t)</math>的某些系数的乘积，所以也是<math>\mathcal C^k</math>的。其对''t''的导数为
:<math>\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))</math>，其中的每个<math>A_i(t)</math>是矩阵<math>A(t)</math>的第'''i'''个行向量（也可以全部是列向量）。<ref>{{en}}{{ cite book | title= Matrix Theory | author = Joel N. Franklin | publisher = Dover Publications |year = 2000 |isbn = 978-0486411798}}，第23-24页</ref>

=== 矩阵的行列式函数 ===
函数<math>A \mapsto \det A</math>是连续的。由此，[[一般线性群|n阶一般线性群]]是一个[[开集]]，因为是开[[区间]]<math>\mathbb{R}-\left\{0\right\}</math>的原像，而[[特殊线性群]]则是一个[[闭集]]，因为是闭集合<math>\left\{1, -1 \right\}</math>的原像<ref>{{en}}{{cite web | title = The linear groups |url = http://www-groups.mcs.st-andrews.ac.uk/~john/MT4521/Lectures/L2.html | author = John O'Connor | accessdate = 2010-05-20}}</ref>。

函数<math>A \mapsto \det A</math>也是[[微分|可微的]]，甚至是[[光滑函数|光滑]]的（<math>\mathcal C^\infty</math>）<ref>{en}}{{cite book | title = Differentiable manifolds, 2nd edition | author = Lawrence Conlon |publisher =Birkhäuser Boston;  |year = 2001 |isbn = 978-0817641344}}</ref>。它在某个矩阵'''<math>A</math>'''处的展开为

:<math>\det (A+H)=\det A + {\rm tr } ({}^t{\rm Com }(A).H)+o(\|H\|)</math><ref>{{en}}{{cite web | url = http://www.isid.ac.in/~statmath/eprints/2009/isid200905.pdf | title = Higher order derivatives and perturbation Bounds for determinants | author = Rajendra Bhatia, Tanvi Jai | publisher = Indian Statistical Institute, Delhi Centre | accessdate = 2010-05-20}}</ref>

也就是说，在装备正则[[范数]]的矩阵空间<math>M_n(\mathbb{R})</math>中，[[伴随矩阵]]是行列式函数的[[梯度]]
:<math>\nabla \det (A) = {\rm Com }(A)</math><ref>{{zh}}{{cite book|author=张贤达|title=矩阵分析与应用|publisher=清华大学出版社|year=2008|isbn= 9787302092711}}，第272页</ref>特别当<math>A</math>为[[单位矩阵]]时，
:<math>\det (I+H)=1 + {\rm tr } (H)+o(\|H\|) , \qquad \nabla \det (I) = I</math>

可逆矩阵的可微性说明一般线性群<math>GL_n(\mathbb{R})</math>是一个[[李群]]<ref>{{en}}{{cite book | title = Applied differential geometry: a modern introduction | author =Vladimir G. Ivancevic,Tijana T. Ivancevic  |year =2007 | publisher =World Scientific Publishing Company |isbn =978-9812706140}}</ref>。

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

:楔积是满足[[结合律]]的[[双线性形式|双线性]]的二元运算，使得對於所有向量<math>v\in V</math>，<math>v\wedge v = 0</math>
这表示
:對於所有向量<math>u,v\in V</math>，<math>u\wedge v = - v\wedge u</math>，以及
:當<math>v_1,\ldots,v_k\in V</math> [[线性相关]]时，<math>v_1\wedge v_2\wedge\cdots \wedge v_k = 0</math>。所有形同<math>v_1\wedge v_2\wedge\cdots \wedge v_k</math>的元素称为<math>k-</math>'''向量'''。所有<math>k-</math>向量构成了<math>\wedge (V)</math>的一个子空间，称为'''<math>V</math>'''的<math>k-</math>'''阶外幂'''，记为<math>\wedge^k (V)</math>。行列式函数是'''''<math>n</math>'''''重交替线性形式，所以可以看成是将'''''<math>n</math>'''''个<math>\mathbb{K}^n</math>裡面的向量映射到它们对应的''<math>n-</math>''阶外幂<math>\wedge^n (\mathbb{K}^n)</math>这样一个映射。由于<math>\mathbb{K}^n</math>的<math>k-</math>阶外幂<math>\wedge^k (\mathbb{K}^n)</math>的维数等于组合数<math>\binom{n}{k}</math>，<math>\wedge^n (\mathbb{R}^n)</math>的维数是<math>\binom{n}{n} = 1</math>，因此<math>\wedge^n (\mathbb{K}^n)</math>实际上[[同构]]于<math>\mathbb{K}</math>，所以将行列式看做'''''<math>n</math>'''''个<math>\mathbb{K}^n</math>裡面的向量映射到它们对应的''<math>n-</math>''阶外幂<math>\wedge^n (\mathbb{K}^n)</math>的映射与之前的行列式定义并没有冲突。外代数理论实际上涵盖了行列式理论。<ref>张贤科，《高等代数学》，第311-319页</ref><ref name="joseph">{{en}}{{cite book | title = ''Advanced Modern Algebra'' | author = Joesph J.Rotman | publisher = Prentice Hall | year = 2002 | isbn = 978-0-130-87868-7}}，第747-760页</ref>

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

不难看出，对任意向量<math>\boldsymbol{u}</math>和<math>\boldsymbol{v}</math>，这个线性同构把楔积<math>\boldsymbol{u} \wedge \boldsymbol{v}</math>映射为叉积<math>\boldsymbol{u} \times \boldsymbol{v}</math>。这就是[[叉乘]]（向量积）的实质。叉积可以用带向量的行列式：
:<math>\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}</math>
来表示，但要注意这个行列式形式并不代表一个“真正”的行列式，因为第一行的分量不是数，而是向量。这个计算之所以正确是得益于线性同构<math>\phi</math>。<ref name="joseph"/>

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

=== 早期研究 ===
[[File:Seki.jpeg|thumb|230px|关孝和在《解伏题之法》中首次运用行列式的概念]]
1545年，卡当在著作《[[大术]]》（{{lang|lt|Ars Magna}}）中给出了一种解两个一次方程组的方法。他把这种方法称为“母法”（''regula de modo''）。这种方法和后来的[[克莱姆法则]]已经很相似了，但卡当并没有给出行列式的概念<ref>{{de}}E Knobloch, ''Determinants'', in I Grattan-Guinness (ed.), Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences (London, 1994), 766-774.</ref>。

1683年，日本数学家[[关孝和]]在其著作《解伏题之法》中首次引进了行列式的概念。书中出现了<math>2 \times 2</math>、<math>3 \times 3</math>乃至<math>5 \times 5</math>的行列式，行列式被用来求解高次方程组<ref name="history">{{en}} {{cite web|url=http://www.gap-system.org/~history/HistTopics/Matrices_and_determinants.html|title=Matrices and determinants|author=J J O'Connor、E F Robertson|deadurl=yes|archiveurl=https://web.archive.org/web/20080725021438/http://www.gap-system.org/~history/HistTopics/Matrices_and_determinants.html|archivedate=2008-07-25}}</ref><ref>{{zh}}{{cite web|url=http://episte.math.ntu.edu.tw/people/p_seki/index.html|title=關孝和|author=曹亮吉|publisher=科學月刊第十八卷第二、第三期}}</ref>。

1693年，德国数学家莱布尼茨开始使用指标数的系统集合来表示有三个未知数的三个一次方程组的系数。他从三个方程的系统中消去了两个未知量后得到一个行列式。这个行列式不等于零，就意味着有一组解同时满足三个方程<ref>{{de}}莱布尼兹，《莱布尼兹数学文献》（''Leibnizens mathematische Schriften''）, A. Asher，第二卷，页229-245</ref><ref name="a">{{zh}}{{cite web|title=行列式|url=http://www.edp.ust.hk/previous/math/history/5/5_3/5_3_30.htm|publisher=香港教育發展組教育資訊站|accessdate=2009-12-10|deadurl=yes|archiveurl=https://web.archive.org/web/20100104111252/http://www.edp.ust.hk/previous/math/history/5/5_3/5_3_30.htm|archivedate=2010-01-04}} </ref><ref name="history"/>。由于当时没有矩阵的概念，莱布尼茨将行列式中元素的位置用数对来表示：{{math|ij}}代表第{{math|''i''}}行第{{math|''j''}}列。莱布尼茨对行列式的研究成果中已经包括了[[行列式#行列式的展开|行列式的展开]]和[[克莱姆法则]]，但这些结果在当时并不为人所知<ref>{{de}}E. Knobloch, ''Der Beginn der Determinantentheorie, Leibnizens nachgelassene Studien zum Determinantenkalkül'' (Hildesheim, 1980)</ref>。

=== 任意阶数的行列式 ===
1730年，[[苏格兰]]数学家[[科林·麦克劳林]]在他的《论代数》中已经开始阐述行列式的理论，记载了用行列式解二元、三元和四元一次方程的方法，并给出了四元一次方程组的一般解的正确形式，尽管这本书直到麦克劳林逝世两年后（1748年）才得以出版<ref>{{en}} C. B. Boyer, ''A History of Mathematics'' (John Wiley, 1968)</ref>。

[[File:Joseph-Louis Lagrange.jpeg|thumb|180px|left|约瑟夫·拉格朗日]]
1750年，[[瑞士]]的[[加布里尔·克拉默|加布里尔·克莱姆]]首先在他的《代数曲线分析引论》给出了{{math|''n''}}元一次方程组求解的法则，用于确定经过五个点的一般[[二次曲线]]的系数，但并没有给出证明<ref>{{fr}}[[加布里尔·克拉默]]''Introduction à l'analyse des lignes courbes algébraique'' 1750</ref>。其中行列式的计算十分复杂，因为是定义在[[置换的奇偶性|奇置换和偶置换]]上的<ref>{{de}} M. Cantor, ''Geschichte der Mathematik'' (Teubner, 1913)</ref>。

此后，关于行列式的研究逐渐增多。1764年，法国的[[艾蒂安·貝祖|艾蒂安·裴蜀]]的论文中关于行列式的计算方法的研究简化了克莱姆法则，给出了用[[结式]]来判别线性方程组的方法<ref name="history"/><ref>{{fr}}[[艾蒂安·貝祖|艾蒂安·裴蜀]]''Recherches sur le degré des équations résultantes de l’évanouissement des inconnues, et sur le moyens qu’il convient d’employer pour trouver ces équations'', Mém. Acad. Roy. Sci Paris, 1764, pp 288–338</ref>。同是法国人的[[亚历山德·西奥菲勒·范德蒙德]]（{{lang|fr|Alexandre-Théophile Vandermonde}}）则在1771年的论著中第一个将行列式和解方程理论分离，对行列式单独作出阐述。这是数学家们开始对行列式本身进行研究的开端<ref>{{fr}}[[亚历山德·西奥菲勒·范德蒙德|范德蒙德]]''Mémoire sur l’élimination, Hist. de l’Acad. Roy. des Sciences Paris 1772, 2e partie, pp 516-532</ref>。

1772年，[[皮埃尔-西蒙·拉普拉斯]]在论文《对积分和世界体系的探讨》中推广了范德蒙德著作裡面将行列式展开为若干个较小的行列式之和的方法，发展出[[子式]]的概念。一年后，[[约瑟夫·拉格朗日]]发现了<math>3 \times 3</math>的行列式与空间中体积的联系。他发现：原点和空间中三个点所构成的[[四面体]]的体积，是它们的坐标所组成的行列式的六分之一<ref>{{fr}}[[拉格朗日]]''Nouvelle solution du problème du mouvement de rotation d’un corps de figure quelconque qui n’est animé par aucune force accélératrice'' Nouveaux mémoires de l’Académie royale des sciences et des belles-lettres de Berlin, 1773</ref><ref name="history"/>。

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

=== 行列式的现代概念 ===

[[File:James Joseph Sylvester.jpg|thumb|180px|詹姆斯·约瑟夫·西尔维斯特]]
进入十九世纪后，行列式理论进一步得到发展和完善。[[奧古斯丁·路易·柯西]]在1812年首先将“determinant”一词用来表示十八世纪出现的行列式，此前高斯只不过将这个词限定在二次曲线所对应的系数行列式中。柯西也是最早将行列式排成方阵并将其元素用双重下标表示的数学家（垂直线记法是[[阿瑟·凯莱]]在1841年率先使用的）<ref name=autogenerated5>《古今数学思想》第三卷，第198页</ref>。柯西还证明了[[行列式#行列式的性質|行列式的乘法定理]]（实际上是矩阵乘法），这个定理曾经在[[雅克·菲利普·玛利·比内]]（{{lang|fr|Jacque Philippe Marie Binet}}）的书中出现过，但没有证明<ref>{{fr}}{{cite journal en| title =Mémoire sur les fonctions qui ne peuvent obtenir que deux valeurs égales et des signes contraires par suite des transpositions opérées entre les variables qu'elles renferment |journal= Journal de l'Ecole Polytechnique| publisher =l'Ecole Royale Polytechnique |url= http://gallica.bnf.fr/ark:/12148/bpt6k90193x |pages=29-112|date=1815年10月}}</ref><ref name="history"/><ref name=autogenerated5 />。

十九世纪五十年代，凯莱和[[詹姆斯·约瑟夫·西尔维斯特]]将[[矩阵]]的概念引入数学研究中<ref>《古今数学思想》第三卷,208-209页</ref>。行列式和矩阵之间的密切关系使得[[矩阵论]]蓬勃发展的同时也带来了许多关于行列式的新结果，例如[[阿达马不等式]]、正交行列式、对称行列式等等<ref>《古今数学思想》第三卷，第207页</ref>。

与此同时，行列式也被应用于各种领域中。高斯在[[二次曲线]]和[[二次型]]的研究中使用行列式作为[[二次曲线]]和[[二次型]]划归为标准型时的判别依据。之后，[[卡尔·魏尔斯特拉斯]]和西尔维斯特又完善了二次型理论，研究了<math>\lambda</math>-矩阵的行列式以及[[初等因子]]<ref>{{de}}{{cite journal en|journal= Monatsberichte der Berliner Akademie | publisher = |url= |pages=207-220|date=1858年1月}}</ref><ref>{{de}}{{cite journal en|journal= Monatsberichte der Berliner Akademie | publisher = |url= |pages=310-338|date=1868年1月}}</ref>。行列式被用于多重函数的积分大约始于十九世纪三十年代。1832年至1833年间[[卡尔·雅可比]]发现了一些特殊结果，1839年，[[欧仁·查尔·卡塔兰]]（{{lang|fr|Eugène Charles Catalan}}）发现了所谓的[[雅可比行列式]]<ref>
{{zh}}{{cite web|url=http://166.111.121.20:9080/mathdl/mathsdict/0864.htm|title=雅可比行列式|accessdate=2009-12-10}}{{Dead link|date=2019年3月 |bot=InternetArchiveBot |fix-attempted=yes }}
</ref><ref>《古今数学思想》第三卷，第200页</ref>。1841年，雅可比发表了一篇关于函数行列式的论文，讨论函数的[[线性相关性]]与雅可比行列式的关系<ref>{{de}}{{cite journal en|title= De determinantibus Functionalibus | publisher = Paul Stäckel|url= http://www.archive.org/stream/ueberdiefunctio00stgoog |year=1841 |volume=22}}</ref>。

== 应用 ==
=== 行列式与线性方程组 ===
{{main|线性方程组}}
行列式的一个主要应用是解[[线性方程组]]。当线性方程组的方程个数与[[未知数]]个数相等时，方程组不一定总是有唯一解。对一个有''n''个方程和''n''个未知数的线性方程组，我们研究未知数系数所对应的行列式。这个线性方程组有唯一解[[当且仅当]]它对应的行列式不为零。这也是行列式概念出现的根源<ref>《古今数学思想》第二卷，第361页</ref>。

当线性方程组对应的行列式不为零时，由[[克萊姆法則]]，可以直接以行列式的形式写出方程组的解。但用克萊姆法則求解计算量巨大，因此并没有实际应用价值，一般用于理论上的推导<ref>{{zh}}{{cite book|author=卢刚|title=线性代数与解析几何|publisher=高等教育出版社|year=2005|isbn=978-7-040-13651-7}}</ref>。

=== 行列式与矩阵 ===
{{main|矩阵}}
矩阵的概念出现得比行列式晚，直到十九世纪中期才被引入，然而两者在本质上仍然有密切关系。通过矩阵，线性方程组可以表示为
:<math>\mathbf{A}x = b</math>
其中<math> \mathbf{A}</math>是由方程组中未知数的系数构成的方块矩阵，<math>x = (x_1, x_2, \cdots , x_n)^{\mathbf{T}}</math>是未知数，而<math>b = (b_1, b_2, \cdots , b_n)^{\mathbf{T}}</math>。

在矩阵理论中，行列式也有各种用途。[[多項式]]<math>p(x) = \det(xI - A)</math>称为方块矩陣<math>A</math>的特徵值多項式。这是一个由行列式定义的多项式，它的解是矩阵所有的[[特征值]]。换句话说，<math>x</math>是矩阵<math>A</math>的特征值当且仅当<math>xI - A</math>不是可逆矩阵。特征值多项式在矩阵理论中有重要的应用<ref>居余马，《线性代数》，页213-214.</ref>。

=== 行列式与多项式 ===
早在高斯的时代，行列式就和多项式的研究联系在一起。行列式的一个应用是在所谓的“'''[[结式]]'''”上。结式是两个多项式<math>\displaystyle p</math>和<math>\displaystyle q</math>的[[西尔维斯特矩阵]]的行列式。两个多项式的结式等于'''0'''当且仅当它们有高于或等于一次的公因子多项式。结式还可以判断多项式是否有重根：如果多项式<math>\displaystyle p</math>和它的微分多项式<math>\displaystyle p^{\prime}</math>的结式不为零，那么这个多项式没有重根，否则有重根<ref>{{zh}}{{cite book|title=计算机代数|author=王东明，夏壁灿|publisher=清华大学出版社|year=2004|isbn=978-7-302-15919-3}}</ref>。

行列式在[[多项式插值|多项式逼近理论]]中也有出现。给定一组插值点，判别插值多项式的存在性需要看所谓的[[范德蒙矩阵]]，而由于范德蒙矩阵的行列式不为零，因此根据克莱姆法则，插值多项式唯一存在（次数小于插值点个数）<ref>{{en}}{{cite book|title=Numerical mathematics |author= Matheus Grasselli,Dmitry Pelinovsky|publisher=Jones & Bartlett |year=2008|isbn=978-0-763-73767-2}}第247页.</ref>。

=== 朗斯基行列式 ===
{{main|朗斯基行列式}}
朗斯基行列式是函数矩阵的行列式，因此本身也是一个函数。给定''n''个''n-1''次[[连续]][[可微]]函数，''f<sub>1</sub>''、...、''f<sub>n</sub>''，它们的朗斯基行列式''W(f<sub>1</sub>, ..., f<sub>n</sub>)''为：

:<math>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}</math><ref name="Andy">{{en}}{{cite book | title = Lectures on differential Galois theory | author = Andy R. Magid | publisher = American Mathematical Society | year = 1994 | isbn = 978-0821870044}}，第15-17页</ref>

可以证明，如果''f<sub>1</sub>''、...、''f<sub>n</sub>''线性相关，那么它们的朗斯基行列式恒等于零<ref name="Andy"/>。

在线性微分动力系统理论中，朗斯基行列式用来判别若干个解的线性相关性。如果''n''个解''f<sub>1</sub>''、...、''f<sub>n</sub>''线性无关，那么它们的朗斯基行列式将总不为零<ref>{{zh}}{{ cite book|title=常微分方程|author= 王高雄，周之铭，朱思铭，王寿松|publisher=高等教育出版社|year=2006 |isbn =978-7-040-19366-4}}</ref>。根据刘维尔定理，''n''维空间上的线性微分方程：
:<math>Y^{\prime}=A(t)Y</math>
的基础解系所构成的朗斯基行列式<math>W(t)</math>满足：
:<math>W'(t)={\rm tr }\, A(t) W(t)</math>，<ref name="Andy"/>
同样地，线性微分方程：
<math>y^{(n)}=a_0(t) y + a_1(t) y' + a_2(t) y'' + ... + a_{n-1}(t) y^{(n-1)} \,</math>的基础解系所构成的朗斯基行列式<math>W(t)</math>满足：
:<math>W'(t)=a_{n-1}(t) W(t)</math><ref name="Andy"/>

=== 行列式与多重积分 ===
{{main|雅可比矩阵}}
[[File:Jacobien.jpg|thumb|250px|雅可比行列式是把一个体积元（蓝色）变换成另一个（红色）时两者的体积之比]]

行列式体现了线性变换对于空间体积的作用，对于非线性的函数，其对体积的影响更为复杂，但对于足够“良好”的函数，在一个微小的范围内，比如说在空间中一点的附近，可以将函数的效果近似地用线性的变换来代替。由此，对于某些函数，也可以将它在某一点附近的作用效果用它在这一点上的偏导数构成的矩阵（称为[[雅可比矩阵]]）来表示。这类行列式被称为“[[雅可比行列式]]”，即是[[雅可比矩阵]]的行列式，只对[[光滑函数|连续可微]]的函数有定义<ref>{{zh}}{{cite book | title = 《微积分》|author = 清华大学数学科学系《微积分》编写组| publisher = 清华大学出版社| year = 2004 |isbn = 978-7-302-06004-8}}，第112-115页</ref>。

在计算“体积”的多重积分中，雅可比行列式应用于[[换元积分法|换元积分]]的时候。积分的思想是将空间割成许多个微小的体积元，称为积分元素，再将每个体积元上的函数值乘以体积元的体积后相加。将一个积分元素换为另一个积分元素时，实际上作了一次对空间中体积的度量方式的改变：分划体积元的方式不同了。譬如在二维空间中，将[[直角坐标系|直角坐标]]积分换为[[极坐标]]积分时，面积元素由方块区域变成扇形区域。因此，要测量这种体积度量方式的改变，可以将这种变换看成一个非线性的变换函数（实际上是一个[[微分同胚]]）：<math>\varphi : \mathbb{R}^n \longrightarrow \mathbb{R}^n </math>。而它在每一点的影响可以通过雅可比行列式来体现<ref>{{zh}}{{cite book|title=《重温微积分》|author= 齐民友|publisher=高等教育出版社|year=2004 |isbn=7-040-12931-0}}第79-85页</ref>。

=== 行列式与非线性方程组及分枝理论 ===
{{main|牛顿法|分枝理论}}

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

其中<math>f =(f_1 , \cdots , f_n)</math>是连续可微函数，并在解的附近雅可比行列式不为零，那么可以用牛顿法迭代求得近似解。迭代程序为：
:<math>f(x^{(k+1)}) = x^{(k)} - \det(\mathbf{J}_f(x^{(k)}))^{-1} f( x^{(k)} ) \qquad (k=0, 1, \cdots)</math>

其中的<math>x^{(k)} = ( x_1^{(k)},x_2^{(k)}, \cdots ,x_n^{(k)}) </math>是第'''k'''次迭代时的解的近似数值。每次迭代时先求解关于线性方程组
: <math>\mathbf{J}_f(x^{(k)}) \Delta x^{(k)} = f(x^{(k)})</math>
然后计算新的近似值
: <math>x^{(k+1)} = x^{(k)} - \Delta x^{(k)}</math><ref>{{zh}}{{cite book | title = 《非线性方程组的数值解法》| author =李庆扬，莫孜中，祁力群| publisher =科学出版社| year = 1999 | isbn = 7-030-02846-5}}</ref>

在实际应用中，还需要考虑带有参数的非线性方程组：
: <math>\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}</math>

其中的<math>\lambda</math>可以代表[[温度]]、[[力|外力]]等环境因素。当环境改变时，方程解上的雅可比行列式可能从非零变为零。雅可比行列式为零的点称为临界点或分支点，是方程的解改变性质的地方。和线性方程组类似，当雅可比行列式的值为零时，方程组会出现局部多值的情况。寻找分支点和分支方向的研究是非线性方程求解的一大问题。<ref>{{zh}}{{cite journal| title =分叉问题及其计算方法| url =http://www.cstam.org.cn/lxsj/qikan/manage/wenzhang/1987-065.pdf| journal =力学与实践| author =武际可滕宁钩袁勇| volume =第4期| year =1987}}{{dead link|date=2018年4月 |bot=InternetArchiveBot |fix-attempted=yes }}</ref>

== 参见 ==
{{portal|数学}}
{{colbegin}}
* [[多重线性映射]]
* [[矩阵论]]
* [[伴随矩阵]]
* [[结式]]
* [[子式和余子式]]
* [[不变因子]]
* [[黑塞矩阵]]
* [[格拉姆矩阵]]
* [[体积形式]]
* [[定向 (数学)|空间定向]]
* [[三重积|混合积]]
* [[积和式]]
* [[斯莱特行列式]]
* [[阿达马不等式]]
* [[廣義克羅內克函數]]
* [[量子行列式]]
* [[萨吕法则]]
{{colend}}

== 参考文献 ==
=== 引用 ===
{{Reflist|2}}

=== 来源 ===
; 书籍
* {{en}}{{cite book |author=Michael Artin |title=''Algebra'' |publisher = Prentice Hall |year=2004 |isbn=7-111-13913-5 }}
* {{fr}}{{cite book |author=Henri Cartan |title=''Cours de calcul différentiel'' |publisher=Paris, Hermann |year=2007 |isbn=978-2-7056-6702-3 }}
* {{en}}{{cite book |author=Harold M. Edwards |title=''Linear Algebra'' |publisher=Springer-Verlag New York |year=2004 |isbn=978-0-817-63731-6 }}
* {{fr}}{{cite book |author=Pierre Gabriel |title= ''Matrices, géométrie, algèbre linéaire'' |publisher=Cassini|year= 2001 |isbn= 2-842-25018-4 }}
* {{zh}}{{cite book |author=[[莫里斯·克莱因]] |translator = 张理京、张锦炎、[[江泽涵]] |title = 《古今数学思想》|volume = 第二卷 |publisher=上海科学技术出版社 |year=2002 |isbn=7-5323-6172-1}}
* {{zh}}{{cite book |author=[[莫里斯·克莱因]] |translator = 张理京、张锦炎、[[江泽涵]] |title = 《古今数学思想》|volume = 第三卷 |publisher=上海科学技术出版社 |year=2002 |isbn=7-5323-6172-1 }}
* {{en}}{{cite book |author=David Poole |title=''Linear algebra: a modern introduction'' |publisher=Brooks Cole |year=2005 |isbn=978-0-534-34174-9}}
* {{en}}{{cite book |title=''linear algebra'' |author=Werner Hildbert Greub |publisher=Springer Verlag |year = 1975 |isbn=978-0-387-90110-7 }}
* {{zh}}{{cite book |authors=居余马、林翠琴 |title=线性代数 |publisher=清华大学出版社 |year=2002 |isbn=978-7-302-06507-4 }}
* {{zh}}{{cite book |author=张贤科 |title=《高等代数学》|edition = 第二版 |publisher=清华大学出版社 |year=2002 |isbn=978-7-302-11088-0 }}
* {{zh}}{{cite book | title = 《应用近世代数》|authors = 胡冠章、王殿军 |publisher = 清华大学出版社 |year = 2006 | isbn = 7-302-12566-X }}
* {{en}}{{cite book | title = ''Advanced Linear Algebra'' | author = Steven Roman | publisher = Springer | year = 2005 | isbn = 0-387-24766-1 }}
* {{zh}}{{cite book |author=项武义 |title=基础代数学 |publisher=人民教育出版社 |year=2004 |isbn=7-107-17679-X }}
* {{en}}{{cite book 
| author = Gilbert Strang
| title=Linear algebra and its applications
| publisher=Thomson, Brooks/Cole, Belmont, CA
| year=2006
| isbn=9780534422004
}}

== 外部連結 ==
* [http://www.bluebit.gr/matrix-calculator/ Online Matrix Calculator]線上行列式計算器
* [http://matri-tri-ca.narod.ru/en.index.html Online Matrix Calculator]線上矩陣計算器
* [http://spaces.ac.cn/index.php/archives/2208/ 《新理解矩阵5》：体积=行列式]来自科学空间

{{线性代数的相关概念}}
{{Authority control}}
[[Category:線性代數|H]]
[[Category:矩陣論|H]]
[[Category:行列式|*]]