线性代数行列式的算计与性质.docVIP

线性代数行列式的计算与性质 行列式在数学中，是一个函数，其定义域为的矩阵，取值为一个标量，写作或。行列式可以看做是有向面积或体积的概念在一般的欧几里得空间中的推广。或者说，在??维欧几里得空间中，行列式描述的是一个线性变换对“体积”所造成的影响。无论是在线性代数、多项式理论，还是在微积分学中（比如说换元积分法中），行列式作为基本的数学工具，都有着重要的应用。 行列式概念最早出现在解线性方程组的过程中。十七世纪晚期，关孝和与莱布尼茨的著作中已经使用行列式来确定线性方程组解的个数以及形式。十八世纪开始，行列式开始作为独立的数学概念被研究。十九世纪以后，行列式理论进一步得到发展和完善。矩阵概念的引入使得更多有关行列式的性质被发现，行列式在许多领域都逐渐显现出重要的意义和作用，出现了线性自同态和矢量组的行列式的定义。 行列式的特性可以被概括为一个多次交替线性形式，这个本质使得行列式在欧几里德空间中可以成为描述“体积”的函数。 矩阵A?的行列式有时也记作 |A|。绝对值和矩阵范数也使用这个记法，有可能和行列式的记法混淆。不过矩阵范数通常以双垂直线来表示（如：），且可以使用下标。此外，矩阵的绝对值是没有定义的。因此，行列式经常使用垂直线记法（例如：克莱姆法则和子式）。例如，一个矩阵： A=， 行列式也写作，或明确的写作： A=， 即把矩阵的方括号以细长的垂直线取代 行列式的概念最初是伴随着方程组的求解而发展起来的。行列式的提出可以追溯到十七世纪，最初的雏形由日本数学家关孝和与德国数学家戈特弗里德·莱布尼茨各自独立得出，时间大致相同。 一、行列式的定义与计算 一个n?阶方块矩阵?A?的行列式可直观地定义如下： 其中，?是集合{ 1, 2, ...,?n?}上置换的全体，即集合{ 1, 2, ...,?n?}到自身上的一一映射（双射）的全体； ?表示对??全部元素的求和，即对于每个?，?在加法算式中出现一次； 对于每一对满足??的数对?，?是矩阵?A?的第?i?行第?j?列的元素。 ?表示置换??的符号差，具体地说，满足??但??的有序数对??称为??的一个逆序。 如果??的逆序共有偶数个，则?，如果共有奇数个，则?。 举例来说，对于3元置换?（即是说?，，）而言，由于1在2后，1在3后，所以共有2个逆序（偶数个），因此?，从而3阶行列式中项??的符号是正的。但对于三元置换?（即是说?，，）而言，可以数出共有3个逆序（奇数个），因此?，从而3阶行列式中项??的符号是负的。 注意到对于任意正整数n，?共拥有n!个元素，因此上式中共有n!个求和项，即这是一个有限多次的求和。 对于简单的2阶和3阶的矩阵，行列式的表达式相对简单，而且恰好是每条主对角线（左上至右下）元素乘积之和减去每条副对角线（右上至左下）元素乘积之和（见图中红线和蓝线）。 2阶矩阵的行列式： 3阶矩阵的行列式： =++--- 但对于阶数??的方阵A，这样的主对角线和副对角线分别只有n条，由于A?的主、副对角线总条数的元素个数 因此，行列式的相加项中除了这样的对角线乘积之外，还有其他更多的项。例如4阶行列式中，项?就不是任何对角线的元素乘积。不过，和2、3阶行列式情况相同的是，n阶行列式中的每一项仍然是从矩阵中选取n个元素相乘得到，且保证在每行和每列中都恰好只选取一个元素，而整个行列式恰好将所有这样的选取方法遍历一次。 另外，n×n?矩阵的每一行或每一列也可以看成是一个n元矢量，这时矩阵的行列式也被称为这n个n元矢量组成的矢量组的行列式 二、行列式的性质 行列式的一些基本性质，可以由它的多线性以及交替性推出。 在行列式中，一行（列）元素全为0，则此行列式的值为0。 在行列式中，某一行（列）有公因子k，则可以提出k。 在行列式中，某一行（列）的每个元素是两数之和，则此行列式可拆分为两个相加的行列式。 行列式中的两行（列）互换，改变行列式正负符号[51]。 在行列式中，有两行（列）对应成比例或相同，则此行列式的值为0。 将一行（列）的k倍加进另一行（列）里，行列式的值不变。 注意：一行（列）的k倍加上另一行（列），行列式的值改变。 将行列式的行列互换，行列式的值不变，其中行列互换相当于转置。这个性质可以简单地记作 例如 行列式的乘法定理：方块矩阵的乘积的行列式等于行列式的乘积。。特别的，若将矩阵中的每一行每一列上的数都乘以一个常数r，那么所得到的行列式不是原来的r倍，而是rn倍。。 以上的乘法公式还可以进一步推广为所谓柯西–比内公式，从而使得只要两个矩阵的乘积是方块矩阵，就有类似于以上的结果：假设?A?是一个??矩阵，而?B?是一个??矩阵。如果?S?是?中具有?m?个元素的子集，我们记?AS?为?A?中列指标位于?S?中的??子