摘要
本课研究逆矩阵:它对方阵所起的作用,正如倒数对非零数所起的作用。本课证明逆矩阵若存在则唯一;矩阵可逆当且仅当它的行列式不为零,并且此时逆矩阵就是由代数余子式构成的伴随矩阵除以行列式;由此得到二阶逆矩阵的公式。本课证明乘积、转置矩阵与幂的逆矩阵的性质,把每一种初等行变换转化为左乘一个初等矩阵,并由此推出高斯-若尔当消元法:把矩阵 变为 ,从而求出逆矩阵。最后,本课求解矩阵方程,并把与可逆性等价的条件汇集成一个定理,这些条件把逆矩阵与行列式、秩以及线性方程组联系起来;由它们推出只需验证定义中两个乘积之一,并用初等矩阵证明乘积的行列式等于行列式的乘积。
学习目标
- 定义逆矩阵,证明其唯一性,并借助行列式判断矩阵是否可逆。
- 借助伴随矩阵(特别是二阶公式)以及高斯-若尔当消元法求逆矩阵,并说明两种方法的依据。
- 运用乘积、转置矩阵与幂的逆矩阵的性质,并在尊重因子次序的前提下求解矩阵方程。
- 把矩阵的可逆性与秩、初等矩阵以及线性方程组解的存在性和唯一性联系起来,并用初等矩阵证明乘积的行列式等于行列式的乘积。
逆矩阵
在课程 代数与几何 I 中关于数集的课里,我们看到每个非零数 都有倒数 ,它使方程 可以通过两边同乘 来求解。在关于矩阵及其运算的课里,线性方程组被写成一个方程 ,而单位矩阵 正是乘法的单位元。若是如此,自然要问:是否存在一个矩阵,对 起倒数的作用,使方程组只需一次乘法就能解出。然而,矩阵乘法不满足交换律,所以定义必须要求两个等式都成立;又为了使 与 和 的型相同,矩阵 必须是方阵。
设方阵 的阶为 。如果存在矩阵 (阶为 ),使得 ,其中 是阶为 的单位矩阵,就称该方阵是可逆的。具有这一性质的矩阵 称为 的逆矩阵。
例如,下面两个矩阵互为逆矩阵,按两种次序相乘即可验证:
并非每个非零矩阵都可逆,矩阵在这一点上与数不同。有一个零行的矩阵不可逆,因为该行与任何列的乘积都是 ,所以 对任意 都有一个零行,不可能是单位矩阵。一个矩阵 ,若存在非零的 使 (即关于矩阵的那一课中的零因子之一),也不可逆:若 有逆矩阵 ,就会有 ; 也不可逆,因为若它有逆矩阵 ,就会有 。例如,行为 和 的矩阵乘以行为 和 的矩阵,得到零矩阵,而两者都不可逆。
方阵至多有一个逆矩阵:若 且 ,则 。
证明与课程 I 中关于数集的课里相反数和倒数唯一性的证明相同,只是不能使用交换律;取而代之的是两侧各用一个等式,再加上矩阵乘法的结合律和单位矩阵作为单位元的性质,这些都已在关于矩阵的课里证明。图把每个乘积写成一列因子,并标出被结合在一起的两个因子。
证明
我们从两个前提出发: 与 各自满足定义中的两个等式。
由于 是乘法的单位元,;把 换成 ,这是 的右侧等式。
由结合律换一种方式结合,并使用 的左侧等式 。被结合的两个因子变了,但三个矩阵的次序没有变。
的唯一逆矩阵(若存在)记作 。不应把它写成分式 ,也不应把乘积 写成商 :由于 与 一般不同,这种写法不能表明从哪一侧相乘。1858 年创立矩阵运算的阿瑟·凯莱,已经借助「行列式与可逆性」一节中的伴随矩阵来定义逆矩阵。
正在加载内容…
已完成
登录账户以保存您的进度