1. 引言
《线性代数》课程作为高等院校理工科学生必修的基础学科之一,内容比较抽象,概念、法则和性质很多。特别地,这些内容往往是从不同角度描述向量之间的线性关系和变换特征,导致这些内容相互交织在一起,难以认清其中的本质,因而学生普遍感觉学习该课程较为困难。即使在结业考试中取得了较好的成绩,但往往也很难将该课程的内容讲清楚,特别是学习该课程的目的。当前,众多学者对该课程的教学方法和教学内容进行了深入研究,取得了很多成果[1] [2]。本文将以逆矩阵为主线,讨论几个命题之间的等价关系,这样可以将《线性代数》课程中的行列式、逆矩阵、向量组的线性相关性、线性方程组及特征值等诸多概念和性质串联起来,帮助学生更好地理解和掌握本课程。
本文的目的是证明以下10个命题等价。
定理[3]-[5] 假设
是
阶实矩阵,E是
阶单位矩阵,则以下命题等价:
(1)
为可逆矩阵;
(2)
的行列式
;
(3)
为非奇异矩阵;
(4)
没有零特征值;
(5)
的伴随矩阵
可逆;
(6) 齐次线性方程组
仅有零解;
(7)
的列(行)向量组线性无关;
(8)
的秩
;
(9)
可以表示成有限个初等矩阵的乘积;
(10) 存在
阶可逆矩阵
和
,使得
。
证明:分五组证明。
2. 证明(4)
(2)
(3)
(4)
(4)
(2) 设
为矩阵
的特征值,则根据特征值的性质知
。因为
,
,故
。
(2)
(3) 直接根据定义得到。(定义:当
,方阵
称为非奇异矩阵。)
(3)
(4) 因为
为非奇异矩阵,故
。又因为
,故
,
,即
没有零特征值。
3. 证明(1)
(2)
(1)
(2) 因为
为可逆阵,故存在
阶方阵
使得
。又因为
,故
。
(2)
(1) 由于
,故
存在,其中
为矩阵
的伴随矩阵。直接计算可得
,故
为可逆矩阵,而且
。
4. 证明(1)
(5)
(1)
(5) 因为
为可逆阵,且
,即
,故伴随矩阵
可逆,且
。
(5)
(1) 由于
可逆,故
。因为
,故
,
为可逆矩阵。
5. 证明(2)
(6)
(7)
(8)
(2)
(2)
(6) 因为
,则由克莱姆法则知齐次线性方程组
仅有零解。
(6)
(7) 设矩阵
,将
按列分块,记为
,其中
。假设存在实数
使得
。由于
仅有零解,故向量组
线性无关,即
的列向量组线性无关。同理可以证明
的行向量组线性无关。
(7)
(8) 由于向量组
线性无关,故根据向量组秩的定义知
。
(8)
(2) 反证法。假设
,则
有非零解。又因为
,故向量组
线性无关。根据线性无关的定义,只有当
时,等式
成立。即齐次线性方程组
仅有零解,这与
有非零解矛盾。故
。
6. 证明(1)
(9)
(10)
(1)
(1)
(9) 假设
的标准型矩阵为
,由于
与
等价,知
可以通过有限次的初等变换化为
,即存在初等矩阵
使
。因为
是可逆矩阵,而且
都是可逆矩阵,故标准型
可逆。假设
,其中
,则
,与
可逆矛盾。因此,必有
,即
,从而
。
(9)
(10) 假设
,其中
,
,为初等矩阵,则
,令
,
,则有
。由于初等矩阵的逆也是可逆矩阵,故矩阵
和
可逆。
(10)
(1) 因为
和
为可逆矩阵,故
和
。由于
,故
,即
为可逆矩阵。
通过学习该定理,学生对《线性代数》课程会有一个清晰的整体认识,对学好这门课程具有积极的指导意义。后续,我们将进一步探讨如何更加通俗易懂地教好这门课程。