蓝以中第三章行列式3.2剖析

  • 格式:doc
  • 大小:1.98 MB
  • 文档页数:27

§2 n阶方阵的行列式 现在我们按照上节几何实例的提示,来阐述n阶方阵行列式的概念及其基本性质。 1. 行列式函数的定义 读者在中学里已经学习过定义在实数域上的函数:对于每个实数x,都按

一个给定的法则对应于一个唯一确定的实数y,x称为自变量,y称为x的函数,

使用记号yfx来表示。在前面两章我们把研究范围扩大,摆脱了实数运算的限制,进入矩阵运算这个新领域。与此相应,函数的概念也应当扩大,把自变量由实数转换成矩阵,即研究定义在数域K上n阶方阵所成的集合nMK上的函

数yfx。 进入大学后学习微积分的知识,对函数的研究深入了一步:研究某些特殊的函数。设fx是定义在区间,ab内的函数,如果它满足某些特定条件,它就称

为一个连续函数,如果它再满足某些进一步的条件,它就称为区间,ab内的可微函数。数学分析的这些思想对学习本章有重要参考价值。 本章的内容,就是按照上面所说的思想,研究定义在nMK上的满足某些

特定条件的函数fA。 考查数域K上全体n阶方阵所成的集合nMK。从集合nMK到数域K的一个映射f称为定义在上的一个数量函数。因此,nMK上一个数量函数就是一个给定的法则,按照这一法则,K上每个n阶方阵A对应于K内一个唯一确定的数fA。

例如,设ijnAaMK,我们定义11fAa,即每个n阶方阵A在法则f下对应于其第一行第一列元素11a,f就是nMK上的一个数量函数。由此看来,nMK上的数量函数是很多的。第二章中研讨的一个方阵A的秩rA和迹TrA都是nMK上数量函数的具体例子。显然,并不是nMK上随便一个数

量函数都有研究价值。下面我们介绍nMK上具有某种特定属性的数量函数,它将成为研究n阶方阵的重要工具。 为了使下面的阐述较为简明、清楚,我们在本章中将使用一些特定的记号。 设A是数域K上一个n阶方阵,其行向量组为12n,,,,列向量组为12,,,n,我们根据行文的需要把A写成

12

nA





或12,,,.nA

如果我们只研究A的第i行或第j列,就写成 iA



或 ,,,jA

把不讨论的行(列)用省略号代替。于是nMK上的一个数量函数fA可以写成

12

nfAf





或 if

以及 12,,,nfAf 或 ,,.jf

定义 设f是定义在nMK上的一个数量函数,满足如下条件:对nK中任意向量12n,,,,以及K中任意数,都有 111,iinnnfff

11

iinn

ff



(这里1,2,,in,则称f为nMK上的一个行线性函数。

设g是定义在nMK上一个数量函数,满足如下条件:对对nK中任意向量 12,,,n,以及K中任意数,都有

1,,,,jng



11,,,,,,,,,jnngg

11,,,,,,,,jnjngg

(这里1,2,,jn),则称g为nMK上的一个列线性函数。 如果fA是nMK上的行线性函数,那么对任意,K都有

.iifff



反之,若nMK上一个数量函数满足上面的条件,只要分别令1及0代

入,即知它满足行线性函数的条件。同样,若gA为nMK上列线性函数,那么 ,,,,,,.jjggg

同样,nMK上一个数量函数如果满足上述条件,则它是一个列线性函数。 如果nAMK,且A有一行向量为0,于是该行向量可以写成0,则对任意行线性函数f,有00fAfA。同样,若A有一个列向量为0,则对任意列线性函数g,有0gA。 例如,考查2MK。设 111222122

aaAMKaa



定义11221221fAaaaa。容易验证,f是2MK上一个行线性函数,也是一个列线性函数。 如果nMK上一个列线性函数f满足如下条件:当nAMK有两列元素

相同时(这时当然要2n),必有0fA,则f称为反对称的列线性函数。 当然,我们可以类似的定义反对称的行线性函数,这就不再重复说明了。 命题2.1 设f是2nMKn上的反对称列(行)线性函数,那么,下面的命题成立: (i) 设将nAMK的,ij两列(行)互换得出方阵B,则fBfA;

(ii) 设将nAMK的第j列(行)加上其第列(行)的倍(为K中任意取定的数)得出方阵B,则有fBfA。 证 设,,,,ijA。由于f是反对称的列线性函数,我们有 

0,,,,,,,,,,,,,,,,,,,,,,,,,,,,.ijijiijjjjjjijjifffffff 于是 ,,,,ijfAf

,,,,jif

fB

同样的,我们有 





,,,,,,,,,,,,,,,,.ijiijiiijfBffffAffA

推论1 设,fg是nMK上两个反对称列线性函数,且对某个nAMK有fAgA。设A经有限次初等列变换变为方阵B,则仍有fBgB。

证 显然只需要考虑B是A做一次初等列变换得出的方阵就可以了。下面分别讨论三种初等列变换。

(i) 设互换A的,ij两列变为B,则按命题2.1,有

,,fBfAgBgA

从而fBgB。 (ii) 设将A的第j列乘以K内非零数得出方阵B,则 ,,,,.jjfBfffA

同理,gBgA,于是fBgB。 (iii)设将A的第j列加上第i列的倍得出方阵B,则按命题2.1,有 .fBfAgAgB

推论2 设f是2nMKn上的列(行)线性函数。则f为反对称的充分必要条件是对K上任何不满秩n阶方阵A都有0fA。 证 必要性 若rAn,则A的第i个列向量为其余列向量的线性组合,此时将A的其余各列乘适当倍数加到第i列,使第i列变为0,得K上n阶方阵B。按命题2.1及列线性函数的性质知

0fAfB

充分性 当A有两个列向量相同时,显然不满秩,按假设应有0fA,故f为反对称。 下面给出本节的基本概念。 定义 设f是nMK上一个列线性函数且满足如下条件:

(i) 如果nAMK不满秩,则0fA; (ii) 对nMK内单位矩阵E,有1fE, 则称f为nMK上一个行列式函数。 例如,在2MK上定义数量函数f如下:若 11122122

aa

Aaa



则11221221fAaaaa。那么,容易验证f是2MK上的一个行列式函数。 对K上任意一阶方阵1111AaaE,定义11fAa,数量函数f显然为1MK上的行列式函数。反之,对1MK上任意行列式函数g,按定义有

1111gAagEa。故gAfA。即此f为1MK上唯一的行列式函数。 下面只要讨论2n的情况。此时按命题2.1的推论2.行列式函数定义中的条件(i)等价于f为反对称行列线性函数。

命题2.2 nMK上的行列式函数是唯一的。 证 设f与g是nMK上的两个行列式函数,我们需要证明:对任意nAMK,有fAgA。

(i) 如果rAn,那么按定义有0fAgA。 (ii) 如果rAn,按第二章命题5.2,A可表为n阶初等矩阵1,,mPP的乘积: 11.mmAPPEPP

上式表明A可由单位矩阵E做m次初等列变换得出。因此,fg均为nMK上反对称列

线性函数,按命题2.1的推论1,由1fEgE可推出 .fAgA

下面对行列式函数的性质作进一步的讨论。 命题2.3 设fA是nMK上的行列式函数,则对一切nAMK有

'fAfA,即A和它的转置A函数值相同。

证 当1n时AA,命题自然成立。下面设2.n 若rAn,则0fA。此时rArAn,故

'0fAfA。

若rAn,按第二章命题5.2,存在n阶初等矩阵12,,,mPPP,使 12. 1mAEPPP

令121,2,,iiBEPPPim。设0BE,则1iiiBBP。根据第二章命题5.1,

1iiBP是对1iB作一次初等列变换。因为fA为反对称列线性函数,按命题2.1及列线性,11iiiiifBfBPfB,其中