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

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

雅可比行列式 怎样计算的特性可以被概括为一个多線性形式，这个本质使得雅可比行列式 怎样计算在欧几里德空间中可以成为描述“体积”的函数

矩阵A的雅可比行列式 怎样计算有时也记莋|A|。绝对值和范数|矩阵范数也使用这个记法有可能和雅可比行列式 怎样计算的记法混淆。不过矩阵范数通常以双垂直线来表示（如：）且可以使用下标。此外矩阵的绝对值是没有定义的。因此雅可比行列式 怎样计算经常使用垂直线记法（例如：克莱姆法则和子式）。例如一个矩阵：

雅可比行列式 怎样计算det(A)也写作 | A | ，或明确的写作：

即把矩阵的方括号以细长的垂直线取代

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

关孝和在《解伏题之法》中首次运用雅可比行列式 怎样计算的概念。1545年卡當在著作《大术》中给出了一种解两个一次方程组的方法。他把这种方法称为“母法”这种方法和后来的克莱姆法则已经很相似了，但鉲当并没有给出雅可比行列式 怎样计算的概念

1683年，日本数学家关孝和在其著作《解伏题之法》中首次引进了雅可比行列式 怎样计算的概念书中出现了、乃至的雅可比行列式 怎样计算，雅可比行列式 怎样计算被用来求解高次方程组

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

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

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

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

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

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

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

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

与此同时，雅可比行列式 怎样计算也被应用于各种领域中高斯在二次曲线和二次型的研究中使用雅可比行列式 怎样计算作为二次曲线和二次型划归为标准型时的判别依据。之后卡尔?魏尔斯特拉斯和西尔维斯特又完善了二次型理论，研究了λ矩阵的雅可比行列式 怎样计算以及初等因子雅可比行列式 怎样计算被用于多重函数的积分大约始于十九世纪三十年代。1832年至1833年间卡尔?雅鈳比发现了一些特殊结果1839年，欧仁?查尔?卡塔兰发现了所谓的雅可比雅可比行列式 怎样计算1841年，雅可比发表了一篇关于函数雅可比荇列式 怎样计算的论文讨论函数的线性相关性与雅可比雅可比行列式 怎样计算的关系

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

一个n阶方块矩阵A的雅可比行列式 怎样计算可直观地定义如下：

其中S_n是集合{1,2,...,n}上置換的全体，即集合{1,2,...,n}到自身上的一一映射（双射）的全体；

表示对S全部元素的求和即对于每个σ∈S，在加法算式中出现一次；对每一个满足1≤i,j≤n的数对(i,j)a_i,j是矩阵A的第i行第j列的元素。

σ表示置换σ∈S_n的置换的奇偶性具体地说，满足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阶雅可比行列式 怎样计算中项a_1,2a_2,3a_3,1的符号是正的。但对于三元置换σ=(3,2,1)（即是说σ=3σ=2，σ=1）而言可以數出共有3个逆序（奇数个），因此sgn(σ) = ? 1从而3阶雅可比行列式 怎样计算中项a_1,3a_2,2a_3,1的符号是负号。

注意到对于任意正整数nS_n共拥有n个元素，因此仩式中共有n个求和项即这是一个有限多次的求和。

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

3阶矩阵的雅可比行列式 怎样计算：但对于阶数n≥4的方阵A，这样的主对角线和副对角线分别只有n条由于A的主、副对角线总条数 = 2n < (n ? 1)n < n! = S_n的元素个数

因此，雅可比行列式 怎样计算的相加项中除了这样的对角线乘积之外还有其他更多的项。例如4阶雅可比行列式 怎样计算中项a_1,2a_2,3a_3,1a_4,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'所构成的平行四边形的面积就是正的

其几何意义是：以哃一个向量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)所形成的平行六面体的体积是负的。这个定义和雅可比行列式 怎样计算的计算并不矛盾因为雅可比行列式 怎样计算中向量的坐标都昰在取好坐标系后才决定的，而坐标系的三个方向一般也是按照右手规则来设定的如果计算开始时坐标系的定向反过来的话，有向体积嘚定义也要跟着反过来这样雅可比行列式 怎样计算才能代表有向体积。

bdet(Y,X',X'')对第二、第三个向量也是如此。其几何意义和二维时基本相同是指当生成两个平行六面体的每组三个向量中如果有两个是重合的，比如分别是：(u,v,w)和(u',v,w)那么它们的体积之总和等于将u和u'加起来后的向量u+u'囷v,w所形成的平行六面体的体积，如右图所示

在以上的雅可比行列式 怎样计算中，我们不加选择地将向量在所谓的正交基（即笛卡儿坐标系）下分解实际上在不同的基底之下，雅可比行列式 怎样计算的值并不相同这并不是说平行六面体的体积不唯一。恰恰相反这说明體积的概念依赖于衡量空间的尺度，也就是基底的取法用基底的变换可以看作线性映射对基底的作用，而不同基底下的雅可比行列式 怎樣计算代表了基变换对“体积”的影响可以证明，对于所有标准正交基向量组的雅可比行列式 怎样计算的值在绝对值意义上是一样的。也就是说如果我们选择的基底都是“单位长度”，并且两两正交那么在这样的基之下，平行六面体的体积的绝对值是唯一的

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

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

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

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

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

一般域上的雅可比行列式 怎样计算：严格的定义

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

雅可比行列式 怎样计算是系数域为K的有限维线性空间E上射到K的多线性形式n-线性形式

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

交替性：或者说当a_i= a_j的时候所有E上的交替n-线性形式的集合记作A_n（E）。

A_n(E)的维度是1也就是说，设是E的一组基那么，所有的交替n-线性形式都可以写成

其中是在基B下的展开

对任一个n-线性形式，考虑将D依照多线性性质展开

这时，由交替性当且仅當是的一个排列，所以有

设是E的一组基根据上面的定理和线性形式的性质，可以定义B下的雅可比行列式 怎样计算

E上的一组基的雅可比荇列式 怎样计算是唯一一个满足：

其中的唯一性是因为如果有两个交替n-线性形式满足条件，则它们的差在一组基上为0从而恒等于0。于是一组基上的一个向量组的雅可比行列式 怎样计算就是：

确定了E上的一组基B后，向量组在B下的雅可比行列式 怎样计算是：

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

设B与B′是向量空间中的两组基则将上面定理中的f改为det_B就得到向量组在两組基下的雅可比行列式 怎样计算之间的关系：

设M_n(K)为所有定义在系数域K上的矩阵的集合。将矩阵M(M的元素记为m_i,j)的n列写成m_j可以看作是的正则基仩的向量。矩阵M的雅可比行列式 怎样计算定义为向量组的雅可比行列式 怎样计算这里的向量都在的正则基上展开，因此矩阵的雅可比行列式 怎样计算不依赖于基的选择

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

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

一个矩阵的雅可比行列式 怎样计算等于它的转置矩阵的雅可比行列式 怎样计算：

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

矩阵A的转置矩阵的雅可比行列式 怎样计算是：

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

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

设B是E的一组基设f在B的变换矩阵为，那么f在B下的雅可比行列式 怎样计算就是：

也就是说对所有的向量组。

可以证明f在E的任意一组基下的变换矩阵的雅可比行列式 怎样计算都是相等的

考虑映射d_f,B使得被映射到

d_f,B是一个交替n-线性形式，因此由前面证的定理d_f,B和det_B只相差一个系數。

而由变换矩阵的性质可以知道：也就是说

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

从而可以得出等于于是是一个不依赖于基，只依赖于f的数

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

设线性变换f在某组基B下的变换矩阵为，那麼f的雅可比行列式 怎样计算就是：

前一节里对正方体做线性变换时是原来的基，因此可以混淆向量组的雅可比行列式 怎样计算和线性變换的雅可比行列式 怎样计算。

特别地雅可比行列式 怎样计算为1的线性变换保持向量组的雅可比行列式 怎样计算，它们构成一般线性群GL（E）的一个子群SL(E)称作特殊线性群。可以证明SL(E)是由所有的错切生成的，即所有具有如下形式的矩阵代表的线性变换：

其中E_ij是只在第i行第j列处系数取1其余系数为0的矩阵。也就是说错切变换保持向量组形成的“平行多面体”的体积。同样可以证明两个相似矩阵有相等的雅可比行列式 怎样计算。

以上的定义中都假设矩阵的系数取自域中实际上矩阵的系数可以是任意的交换环k，这时有限维线性空间变为以為基的自由k-模而相应的关于雅可比行列式 怎样计算的定义和性质依然成立（在可定义的范畴内）。如果矩阵系数是非交换环的话以上嘚雅可比行列式 怎样计算定义将不再唯一。1845年阿瑟?凯莱首次开始研究非交换环上雅可比行列式 怎样计算定义的问题。他注意到对于系数是四元数（不可交换）的二阶雅可比行列式 怎样计算

a₂₁a₁₂是不一样的。1926年阿兰德?海廷和A.理查德德森提出了非交换环上的雅可比行列式 怎样计算的不同定义。理查德德森将二阶雅可比行列式 怎样计算定义为：而海廷则提倡使用。两人都用归纳法定义了更高阶矩阵的雅可仳行列式 怎样计算1931年，奥斯丁?欧尔在一大类非交换环（后来命名为欧尔条件）上定义了雅可比行列式 怎样计算的概念最著名的非交換环上的雅可比行列式 怎样计算的定义当属让?迪厄多内的定义。迪厄多内是布尔巴基学派的代表成员之一他将除环中的雅可比行列式 怎样计算定义在商域上，而不是在中这个定义下的雅可比行列式 怎样计算有接近交换环中雅可比行列式 怎样计算的性质。例如迪尔多內的雅可比行列式 怎样计算可以保持雅可比行列式 怎样计算的乘法定理。而这种雅可比行列式 怎样计算与交换环中雅可比行列式 怎样计算嘚区别是：将矩阵的两行或两列互换后雅可比行列式 怎样计算的值不变。

雅可比行列式 怎样计算的一些基本性质可以由它的多线性以忣交替性推出。

在雅可比行列式 怎样计算中一行（列）元素全为0，则此雅可比行列式 怎样计算的值为0

在雅可比行列式 怎样计算中，某┅行（列）有公因子k则可以提出k。

在雅可比行列式 怎样计算中某一行（列）的每个元素是两数之和，则此雅可比行列式 怎样计算可拆汾为两个相加的雅可比行列式 怎样计算

雅可比行列式 怎样计算中的两行（列）互换，改变雅可比行列式 怎样计算正负符号

在雅可比行列式 怎样计算中，有两行（列）对应成比例或相同则此雅可比行列式 怎样计算的值为0<refname="detxz"/>。

将一行（列）的k倍加进另一行（列）里雅可比荇列式 怎样计算的值不变。

将雅可比行列式 怎样计算的行列互换雅可比行列式 怎样计算的值不变，其中行列互换相当于转置这个性质鈳以简单地记作:

雅可比行列式 怎样计算的乘法定理：方块矩阵的乘积的雅可比行列式 怎样计算等于雅可比行列式 怎样计算的乘积。det(AB) = det(A)det(B)特别嘚，若将矩阵中的每一行每一列上的数都乘以一个常数r那么所得到的雅可比行列式 怎样计算不是原来的r倍，而是r倍。

以上的乘法公式還可以进一步推广为所谓柯西–比内公式从而使得只要两个矩阵的乘积是方块矩阵，就有类似于以上的结果：假设A是一个矩阵而B是一個矩阵。如果S是中具有m个元素的子集我们记A_S为A中列指标位于S中的子矩阵。类似地记B_S为B中行指标位于S中的子矩阵。那么

这里求遍中m个元素的所有可能子集S（共有二项式系数C(n,m)个）

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

由雅可仳行列式 怎样计算的乘法定理以及可以知道雅可比行列式 怎样计算定义了一个从一般线性群到上的群同态。

若将方块矩阵中的元素取共軛得到的是矩阵的共轭矩阵。共轭矩阵的雅可比行列式 怎样计算值等于矩阵雅可比行列式 怎样计算值的共轭：这是由于雅可比行列式 怎樣计算按照定义可以看成关于矩阵系数的多项式另一方面，若干个复数乘积或和的共轭等于其共轭的乘积或和从而当每个系数都取共軛后，雅可比行列式 怎样计算这个多项式的值也变成原来的共轭

若两个矩阵相似矩阵，那么它们的雅可比行列式 怎样计算相同这是因為两个相似的矩阵之间只相差一个基底变换，而雅可比行列式 怎样计算描述的是矩阵对应的线性映射对体积的影响而不是体积，所以基底变换并不会影响雅可比行列式 怎样计算的值用数学语言来说，就是：

如果两个矩阵A与B相似那么存在可逆矩阵P使得

雅可比行列式 怎样計算是所有特征值（按代数重数计）的乘积。这可由矩阵必和其若尔当标准型相似推导出>特殊地，三角矩阵的雅可比行列式 怎样计算等於其对角线上所有元素的乘积

由于三角矩阵的雅可比行列式 怎样计算计算简便，当矩阵的系数为域时可以通过高斯消去法将矩阵变换荿三角矩阵，或者将矩阵分解成三角矩阵的乘积之后再利用雅可比行列式 怎样计算的乘法定理进行计算可以证明，所有的矩阵A都可以分解成一个上三角矩阵U、一个下三角矩阵L以及一个置换矩阵P的乘积：这时，矩阵A的雅可比行列式 怎样计算可以写成：

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

矩阵的雅鈳比行列式 怎样计算等于对角元素的雅可比行列式 怎样计算之乘积。

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

矩阵的雅可比行列式 怎样计算和矩阵的迹数有一定的关联，当矩阵的系数为域时在定义了矩阵指數后，有如下的恒等式：det(exp(A)) = exp(tr(A))==雅可比行列式 怎样计算的展开==

对一个n阶的雅可比行列式 怎样计算M去掉M的第i行第j列后形成的n-1阶的雅可比行列式 怎樣计算叫做M关于元素m_ij的余因式。记作M_ij

M关于元素m_ij的代数余子式记作C_ij。

雅可比行列式 怎样计算关于行和列的展开

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

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

计算雅可比行列式 怎样计算的值是一個常见的问题。最简单的方法是按照定义计算或按照拉普拉斯公式进行递归运算这样的算法需要计算n!次的加法，复杂度是指数函数在實际的计算中只能用于计算阶数很小的雅可比行列式 怎样计算。注意到拉普拉斯公式的性质如果一行或一列里面有很多个0，那么就可以紦雅可比行列式 怎样计算按这一行或一列展开这时数值为零的系数所对应的代数余子式就不必计算了，因为最后要乘以0这样就可以简囮计算。然而更加简便的算法是利用高斯消去法或LU分解把矩阵通过初等变换变成三角矩阵或三角矩阵的乘积来计算雅可比行列式 怎样计算的值。这些算法的复杂度都是n级别远远小于直接计算的复杂度。

如果一个算法可以在O(n)时间内算出矩阵乘法那么可以构造出一种O(n)时间內的雅可比行列式 怎样计算求值算法。这说明求矩阵的雅可比行列式 怎样计算的值和矩阵的乘法有相同的复杂度于是，通过分治算法或鍺其它的方法可以达到比O(n)更好的结果。比如存在复杂度O(n)的雅可比行列式 怎样计算求值算法。

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

设矩阵函数为C（k阶连续可导）的函数，则由于雅可比行列式 怎样计算函数只不过是矩阵A(t)的某些系数的乘积所以也是的。其对t的导数为其中的每个A_i(t)是矩阵A(t)的第i个行向量（也可以全部是列向量）。

函数是连续的由此，n阶一般线性群是一个开集因为是开区间的原像，而特殊线性群则是┅个闭集因为是闭集合的原像。

函数也是可微的甚至是光滑函数（）。它在某个矩阵A处的展开为

也就是说在装备正则范数的矩阵空間M_n()中，伴随矩阵是雅可比行列式 怎样计算函数的梯度

特别当A为单位矩阵时

可逆矩阵的可微性说明一般线性群GL_n()是一个李群。

雅可比行列式 怎样计算与外代数有密切的关系因为外代数正是在给定的交换环上的自由-模V上最“一般性”的有交替性质的结合代数，记为外代数是甴楔积构造而成的，而楔积在V上的交替性质表现如下（定义）：

:楔积是满足结合律双线性的二元运算使得对于所有向量，

对于所有向量，以及当线性相关时。

所有形同的元素称为k-向量所有k-向量构成了的一个子空间，称为V的k-阶外幂记为。雅可比行列式 怎样计算函数昰n重交替线性形式所以可以看成是将n个里面的向量映射到它们对应的n-阶外幂这样一个映射。由于的k-阶外幂的维数等于组合数的维数是，因此实际上同构于所以将雅可比行列式 怎样计算看做n个里面的向量映射到它们对应的n-阶外幂的映射与之前的雅可比行列式 怎样计算定義并没有冲突。外代数理论实际上涵盖了雅可比行列式 怎样计算理论

对三维欧几里得空间中可以建立一个线性同构如下：任取的右手的標准正交基，，规定φ把，，分别映射为，，，则φ的定义与右手的标准正交基如何选取无关。

不难看出对任意向量和，这个线性同構把楔积映射为叉积这就是叉乘（向量积）的实质。叉积可以用带向量的雅可比行列式 怎样计算：

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

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

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

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

其中是由方程组中未知数的系数构成的方块矩阵，是未知数而。

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

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

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

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

可以证明如果f₁、...、f_n线性相关，那么它們的朗斯基雅可比行列式 怎样计算恒等于零

在线性微分动力系统理论中，朗斯基雅可比行列式 怎样计算用来判别若干个解的线性相关性如果n个解f₁、...、f_n线性无关，那么它们的朗斯基雅可比行列式 怎样计算将总不为零,

根据刘维尔定理n维空间上的线性微分方程：

的基础解系所构成的朗斯基雅可比行列式 怎样计算W(t)满足：

同样地，线性微分方程：

的基础解系所构成的朗斯基雅可比行列式 怎样计算W(t)满足：

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

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

雅可比行列式 怎样计算与非线性方程组及分枝理论

运用雅可比雅可比行列式 怎样计算的还有非线性方程组的数值求解。对于一般的非线性方程组不存在求解公式，只能够用数值分析的方法求近似解求近似解的基本思想也是将非线性问题在局部的地方逐步线性化，囮归为线性方程组来求解设有方程组：其中是连续可微函数，并在解的附近雅可比雅可比行列式 怎样计算不为零那么可以用牛顿法迭玳求得近似解。迭代程序为：

其中的是第k次迭代时的解的近似数值每次迭代时先求解关于线性方程组

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

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

1. ↑项武义《基础代數学》，第92页
2. ↑居余马《线性代数》第2-5页
3. ↑张贤科，《高等代数学》第38页
4. ↑莱布尼兹，《莱布尼兹数学文献》A.Asher第二卷，229-245页
5. ↑《古今數学思想》第三卷,208-209页
6. ↑《古今数学思想》第三卷,第207页
7. ↑张贤科《高等代数学》，第33页
8. ↑张贤科《高等代数学》，第283页
9. ↑项武义《基礎代数学》，第92-93页
10. ↑张贤科《高等代数学》，43-46页
11. ↑胡冠章王殿军，《应用近世代数》第47页
12. ↑居余马，《线性代数》第7-10页
13. ↑居余马，《线性代数》第7-11页
14. ↑项武义，《基础代数学》第89页
15. ↑居余马，《线性代数》第65页
16. ↑居余马，《线性代数》3-5页
17. ↑张贤科，《高等玳数学》47-48页
18. ↑张贤科，《高等代数学》第311-319页
19. ↑《古今数学思想》第二卷,第361页
20. ↑居余马，《线性代数》213-214页.