矩阵及其运算

矩阵概念

定义:第二章 矩阵 - 图1个数第二章 矩阵 - 图2 构成的第二章 矩阵 - 图3第二章 矩阵 - 图4列的数表
第二章 矩阵 - 图5
称为维(型)是第二章 矩阵 - 图6的矩阵(“matrix”),简称为第二章 矩阵 - 图7矩阵.
记为 第二章 矩阵 - 图8第二章 矩阵 - 图9,其中 第二章 矩阵 - 图10为矩阵的第第二章 矩阵 - 图11行第第二章 矩阵 - 图12列元素.
i称为行标第二章 矩阵 - 图13第二章 矩阵 - 图14称为列标第二章 矩阵 - 图15
**
注:矩阵一般用大写字母A、B,… …表示_**


方阵
n_2个数排成的_n×n矩阵

第二章 矩阵 - 图16

称为n阶方阵.记作A=(aij), ij=1,2,…,n第二章 矩阵 - 图17


单位矩阵
如果n阶对角矩阵所有主对角线元素都是1,则称此矩阵为n阶单位矩阵.

第二章 矩阵 - 图18

单位矩阵在方阵运算中,起到类似数字“1”的作用.


对角矩阵
所有非主对角线元素全等于零的n阶矩阵称为对角矩阵.

记作第二章 矩阵 - 图19第二章 矩阵 - 图20


零矩阵
第二章 矩阵 - 图21称为m×n零矩阵.

n阶零阵在方阵运算中,起到数字“0”的作用.


  1. **_三角形矩阵_**<br />**如果**_**n**_**阶矩阵主对角线下方的元素都等于零,则称此矩阵为上三角矩阵.**<br />**如果**_**n**_**阶矩阵主对角线上方的元素都等于零,则称此矩阵为下三角矩阵.**

第二章 矩阵 - 图22

An阶上三角矩阵;Bn阶下三角矩阵.


矩阵的线性运算

同型矩阵和相等矩阵
定义 设有两个m×n矩阵 第二章 矩阵 - 图23则称是同型矩阵。
第二章 矩阵 - 图24则称矩阵AB相等. 记作第二章 矩阵 - 图25
矩阵相等必须满足:行列对应相等且元素对应相等.


矩阵加法
定义 设有两个m×n矩阵
第二章 矩阵 - 图26

称为矩阵AB的和. 记作第二章 矩阵 - 图27
注:只有同型的两个矩阵才能进行加法运算.


矩阵减法
第二章 矩阵 - 图28称为A的负矩阵.

矩阵的减法为第二章 矩阵 - 图29


矩阵加法运算律
A、B、C和零矩阵O是同型矩阵.
第二章 矩阵 - 图30 第二章 矩阵 - 图31
第二章 矩阵 - 图32 第二章 矩阵 - 图33


数乘矩阵
定义 数k与矩阵A的乘积记作kAA k,规定为

第二章 矩阵 - 图34
-
运算规律:
第二章 矩阵 - 图35 第二章 矩阵 - 图36
第二章 矩阵 - 图37 第二章 矩阵 - 图38
其中A、Bmn矩阵;k、h为数.


  1. **_矩阵乘法_**<br />**定义 1 × s矩阵与s × 1矩阵的乘积是一个1阶方阵,也就是一个数.**<br />**即**![](https://cdn.nlark.com/yuque/__latex/36fb431c854afa355c8e20b1e326f32a.svg#card=math&code=%5Cbegin%7Bequation%7D%0A%5Cleft%28a_%7Bi%201%7D%20a_%7Bi%202%7D%20%5Ccdots%20a_%7Bi%20s%7D%5Cright%29%5Cleft%28%5Cbegin%7Barray%7D%7Bc%7D%0Ab_%7B1%20j%7D%20%5C%5C%0Ab_%7B2%20j%7D%20%5C%5C%0A%5Cvdots%20%5C%5C%0Ab_%7Bs%20j%7D%0A%5Cend%7Barray%7D%5Cright%29%3Da_%7Bi%201%7D%20b_%7B1%20j%7D%2Ba_%7Bi%202%7D%20b_%7B2%20j%7D%2B%5Ccdots%2Ba_%7Bi%20s%7D%20b_%7Bs%20j%7D%3D%5Csum_%7Bk%3D1%7D%5E%7Bs%7D%20a_%7Bi%20k%7D%20b_%7Bk%20j%7D%3Dc_%7Bi%20j%7D%0A%5Cend%7Bequation%7D&id=BRXum)

第二章 矩阵 - 图39

注意:只有当第一个矩阵的列数等于第二个矩阵的 行数时,两个矩阵才能相乘.
注:一般地,矩阵的乘法不满足交换律,即AB≠BA,而且两个非零矩阵的乘积可能是0矩阵
注:与数的乘法不同,两个非零矩阵的乘积可能是零阵,反过来,如果两个矩阵的乘积是零阵,不能断定AB一定是零阵.


矩阵转置的性质(假设运算都是可行的)

  1. 第二章 矩阵 - 图40
  2. 第二章 矩阵 - 图41
  3. 第二章 矩阵 - 图42
  4. 第二章 矩阵 - 图43

image.png


方阵的幂
A是一个n阶方阵,k为正整数,第二章 矩阵 - 图45称为Ak次幂.
A k 就是kA连乘.显然只有方阵的幂才有意义.规定:第二章 矩阵 - 图46
运算律
第二章 矩阵 - 图47
第二章 矩阵 - 图48
其中第二章 矩阵 - 图49为正整数.

①因为矩阵乘法一般不满足交换律,所以对于两个,n阶方阵AB第二章 矩阵 - 图50一般不等于第二章 矩阵 - 图51.即
第二章 矩阵 - 图52

②如果Ak=O,不一定有A=O. 例如取
第二章 矩阵 - 图53


n 阶方阵行列式
(1)定义 由n阶矩阵A的元素构成的行列式,称为矩阵A的行列式.记作第二章 矩阵 - 图54.
矩阵A:第二章 矩阵 - 图55 行列式第二章 矩阵 - 图56:第二章 矩阵 - 图57
注 矩阵与行列式是两个不同的概念,n阶矩阵是第二章 矩阵 - 图58个数,按一定方式排成的数表,而n阶行列式则是这些数按一定的运算法则所确定的一个数.


  1. **_方阵行列式的性质_**<br />**_A__B__n_阶矩阵,**![](https://cdn.nlark.com/yuque/__latex/8ce4b16b22b58894aa86c421e8759df3.svg#card=math&code=k&id=fXoeJ)**为数**<br />![](https://cdn.nlark.com/yuque/__latex/acf418472cfe7ac8757e0efd11902a52.svg#card=math&code=%28%F0%9D%91%96%29%E2%80%83%7C%F0%9D%90%B4%7C%3D%7C%F0%9D%90%B4%5E%F0%9D%91%87%20%7C%E2%80%83%E2%80%83%E2%80%83%28%F0%9D%91%96%F0%9D%91%96%29%E2%80%83%7C%F0%9D%91%98%F0%9D%90%B4%7C%3D%F0%9D%91%98%5E%F0%9D%91%9B%20%7C%F0%9D%90%B4%7C%E2%80%83%0A&id=S1koZ) ![](https://cdn.nlark.com/yuque/__latex/660bd4db3389186fad071d002a8ea858.svg#card=math&code=%28%F0%9D%91%96%F0%9D%91%96%F0%9D%91%96%29%E2%80%83%7C%F0%9D%90%B4%F0%9D%90%B5%7C%3D%7C%F0%9D%90%B4%7C%7C%F0%9D%90%B5%7C%0A&id=FHdYf)

n阶矩阵A、B,一般AB不等于BA,但总有
第二章 矩阵 - 图59


线性变换的系数矩阵

n个变量x_1,x_2,⋯,x_n 与n个变量y_1,y_2,⋯,y_n 之间的关系式

第二章 矩阵 - 图60

表示一个从变量第二章 矩阵 - 图61 到变量第二章 矩阵 - 图62的线性变换,其中第二章 矩阵 - 图63 为常数.
系数第二章 矩阵 - 图64 构成矩阵
第二章 矩阵 - 图65

称矩阵A为线性变换的系数矩阵.则第二章 矩阵 - 图66
线性变换与矩阵A之间存在着一一对应关系


逆矩阵

定义 对于n阶方阵A,如果有一个n阶方阵B,使得 第二章 矩阵 - 图67则方阵A称为可逆矩阵,
简称A可 逆. 方阵B称为A的逆矩阵.记为第二章 矩阵 - 图68.
定理:如果方阵A可逆,则A的逆矩阵是惟一的.
证 设B、C都是A的逆矩阵,则有
第二章 矩阵 - 图69.惟一性得证.


  1. **_伴随矩阵_**<br />**An阶方阵**

第二章 矩阵 - 图70
元素 第二章 矩阵 - 图71的代数余子式第二章 矩阵 - 图72位于第 j 行第 i

第二章 矩阵 - 图73第二章 矩阵 - 图74的伴随矩阵
矩阵第二章 矩阵 - 图75的伴随矩阵是第二章 矩阵 - 图76

伴随矩阵的性质
定理:第二章 矩阵 - 图77
证明:第二章 矩阵 - 图78
因此
第二章 矩阵 - 图79


  1. **_矩阵可逆的判定定理_**<br />**定理:方阵_A_可逆的充分必要条件是**![](https://cdn.nlark.com/yuque/__latex/9e9b610b84b58728c4c412eeaf8037e3.svg#card=math&code=%5Cbegin%7Bequation%7D%0A%7CA%7C%20%5Cneq%200%0A%5Cend%7Bequation%7D&id=HT9fr)**且**![](https://cdn.nlark.com/yuque/__latex/2ae380b5ae83668f52ab413ddeccbf48.svg#card=math&code=%5Cbegin%7Bequation%7D%0AA%5E%7B-1%7D%3D%5Cfrac%7B1%7D%7B%7CA%7C%7D%20A%5E%7B%2A%7D%0A%5Cend%7Bequation%7D&id=hkb3n)<br />![](https://cdn.nlark.com/yuque/__latex/6b885655fecd344e62c40825e41a8c38.svg#card=math&code=%5Cbegin%7Bequation%7D%0A%5Ctext%20%7B%20%E6%8E%A8%E8%AE%BA%3A%20%E8%8B%A5%20%7D%20%5Cboldsymbol%7BA%7D%20%5Cmid%20%5Cneq%20%5Cmathbf%7B0%7D%20%5Ctext%20%7B%2C%20%E5%88%99%7C%20%7D%20%5Cboldsymbol%7BA%7D%5E%7B-1%7D%20%5Cmid%3D%5Cfrac%7B1%7D%7B%7C%5Cboldsymbol%7BA%7D%7C%7D%20%5Ctext%20%7B.%20%7D%0A%5Cend%7Bequation%7D&id=KKjTd)<br />![](https://cdn.nlark.com/yuque/__latex/dbf18ef42a7631bdf04498d228d072a5.svg#card=math&code=%5Cbegin%7Bequation%7D%0A%7C%5Cboldsymbol%7BA%7D%7C%20%5Cneq%20%5Cmathbf%7B0%7D%20%5Crightleftarrows%20%5Ctext%20%7B%20%E6%96%B9%E9%98%B5A%E5%8F%AF%E9%80%86%20%7D%0A%5Cend%7Bequation%7D&id=wj9wX)**(此时,称矩阵_A_为非奇异矩阵)**<br />**若方阵_A_可逆,则**![](https://cdn.nlark.com/yuque/__latex/9f2d7e8bad2f39e41ff631b42d465e9b.svg#card=math&code=%7CA%7C%5Cneq%20%5Cmathbf%7B0%7D&id=E0s2R)** **<br />** 定理 对于_n _阶方阵_A_、_B_,如果 **![](https://cdn.nlark.com/yuque/__latex/51b2ff6c8c3ca451172c3a5b11bb2b23.svg#card=math&code=%F0%9D%90%B4%F0%9D%90%B5%3D%F0%9D%90%B8%2C%0A&id=w8ouE)**那么_A_、_B_都是可逆矩阵,并且它们互为逆矩阵.**

逆矩阵性质
如果 n 阶方阵AB可逆,那么第二章 矩阵 - 图80第二章 矩阵 - 图81也可逆,且
第二章 矩阵 - 图82


求逆矩阵


  1. **_性线变换的逆变换_**

线性变换第二章 矩阵 - 图83的系数矩阵是一个n 阶方阵 A,若记

第二章 矩阵 - 图84

则上述线性变换可记作第二章 矩阵 - 图85
第二章 矩阵 - 图86可逆,则第二章 矩阵 - 图87
image.png


矩阵方程
image.png

image.png


矩阵多项式与分块矩阵

矩阵多项式
定义 设第二章 矩阵 - 图91x 的多项式,An 阶矩阵,En阶单位阵,称
第二章 矩阵 - 图92为关于A的矩阵多项式.

第二章 矩阵 - 图93

第二章 矩阵 - 图94


  1. **_分块矩阵_**<br />**一、分块矩阵的概念**<br />**矩阵的分块就是将矩阵A用若干纵线和横线分成几个小矩阵,每一小矩阵称为A的子块,以子块为元素的形式上的矩阵,称为分块矩阵。**<br />![image.png](https://cdn.nlark.com/yuque/0/2021/png/22782459/1635041338031-1b52392a-5c23-4fe2-b55d-b7c671f4abb9.png#clientId=ud18bebf0-64f6-4&from=paste&height=189&id=u56a14020&originHeight=189&originWidth=203&originalType=binary&ratio=1&size=5031&status=done&style=none&taskId=u019f188c-a61e-4920-be0a-8209460978f&width=203)

  1. **_按行分块以及按列分块_**<br />![](https://cdn.nlark.com/yuque/__latex/c4f729d02a67ac278165d81c624944ca.svg#card=math&code=m%5Ctimes%20n&id=N0WWa)**矩阵 **_**A **_**有**![](https://cdn.nlark.com/yuque/__latex/6f8f57715090da2632453988d9a1501b.svg#card=math&code=m&id=kOxhs)_** **_**行**![](https://cdn.nlark.com/yuque/__latex/7b8b965ad4bca0e41ab51de7b31363a1.svg#card=math&code=%20n&id=rI5T0)**列,若将第 **![](https://cdn.nlark.com/yuque/__latex/865c0c0b4ab0e063e5caa3387c1a8741.svg#card=math&code=i&id=Opjwo)**行记作**![](https://cdn.nlark.com/yuque/__latex/9851db7957cb510aa800f222b91bdb41.svg#card=math&code=%F0%9D%9B%BC_%F0%9D%91%96%5E%F0%9D%91%87%3D%28%F0%9D%91%8E_%7B%F0%9D%91%961%7D%2C%F0%9D%91%8E_%7B%F0%9D%91%962%7D%2C%E2%8B%AF%2C%F0%9D%91%8E_%7B%F0%9D%91%96%F0%9D%91%9B%7D%29%0A&id=iJPLr)<br />**若将第**![](https://cdn.nlark.com/yuque/__latex/363b122c528f54df4a0446b6bab05515.svg#card=math&code=%20j%20&id=iYxHk)**列记作**![](https://cdn.nlark.com/yuque/__latex/a37e20ab063f58de5f9f5b95ca3e3105.svg#card=math&code=%5Cbeta_%7Bj%7D%3D%5Cleft%28%5Cbegin%7Barray%7D%7Bc%7D%0Aa_%7B1%20j%7D%20%5C%5C%0Aa_%7B2%20j%7D%20%5C%5C%0A%5Cvdots%20%5C%5C%0Aa_%7Bm%20j%7D%0A%5Cend%7Barray%7D%5Cright%29%0A&id=q3zI6)**则**![](https://cdn.nlark.com/yuque/__latex/9d8c2e21f3feb73f284a9fad8d19d540.svg#card=math&code=A%3D%5Cleft%28%5Cbegin%7Barray%7D%7Bcccc%7D%0Aa_%7B11%7D%20%26%20a_%7B12%7D%20%26%20%5Ccdots%20%26%20a_%7B1%20n%7D%20%5C%5C%0Aa_%7B21%7D%20%26%20a_%7B22%7D%20%26%20%5Ccdots%20%26%20a_%7B2%20n%7D%20%5C%5C%0A%5Cvdots%20%26%20%5Cvdots%20%26%20%26%20%5Cvdots%20%5C%5C%0Aa_%7Bm%201%7D%20%26%20a_%7Bm%202%7D%20%26%20%5Ccdots%20%26%20a_%7Bm%20n%7D%0A%5Cend%7Barray%7D%5Cright%29%3D%5Cleft%28%5Cbegin%7Barray%7D%7Bc%7D%0A%5Calpha_%7B1%7D%5E%7BT%7D%20%5C%5C%0A%5Calpha_%7B2%7D%5E%7BT%7D%20%5C%5C%0A%5Cvdots%20%5C%5C%0A%5Calpha_%7Bm%7D%5E%7BT%7D%0A%5Cend%7Barray%7D%5Cright%29%3D%5Cleft%28%5Cbeta_%7B1%7D%2C%20%5Cbeta_%7B2%7D%2C%20%5Ccdots%2C%20%5Cbeta_%7Bn%7D%5Cright%29&id=K0AWy)

  1. **_分块矩阵的运算_**<br />**1.分块矩阵相加、减**<br />**设AB是两个用相同方法分块的同型矩阵**![](https://cdn.nlark.com/yuque/__latex/8bebb6a7ec325e5019373d653d260b9d.svg#card=math&code=%5Ctext%20%7B%20%E8%AE%BE%20%7D%20A_%7Bm%20%5Ctimes%20n%7D%3D%5Cleft%28%5Cbegin%7Barray%7D%7Bcccc%7D%0AA_%7B11%7D%20%26%20A_%7B12%7D%20%26%20%5Ccdots%20%26%20A_%7B1%20q%7D%20%5C%5C%0AA_%7B21%7D%20%26%20A_%7B22%7D%20%26%20%5Ccdots%20%26%20A_%7B2%20q%7D%20%5C%5C%0A%5Cvdots%20%26%20%5Cvdots%20%26%20%5Cddots%20%26%20%5Cvdots%20%5C%5C%0AA_%7Bp%201%7D%20%26%20A_%7Bp%202%7D%20%26%20%5Ccdots%20%26%20A_%7Bp%20q%7D%0A%5Cend%7Barray%7D%5Cright%29%2C%20%5Cquad%20B_%7Bl%20%5Ctimes%20r%7D%3D%5Cleft%28%5Cbegin%7Barray%7D%7Bcccc%7D%0AB_%7B11%7D%20%26%20B_%7B12%7D%20%26%20%5Ccdots%20%26%20B_%7B1%20t%7D%20%5C%5C%0AB_%7B21%7D%20%26%20B_%7B22%7D%20%26%20%5Ccdots%20%26%20B_%7B2%20t%7D%20%5C%5C%0A%5Cvdots%20%26%20%5Cvdots%20%26%20%5Cddots%20%26%20%5Cvdots%20%5C%5C%0AB_%7Bs%201%7D%20%26%20B_%7Bs%202%7D%20%26%20%5Ccdots%20%26%20B_%7Bs%20t%7D%0A%5Cend%7Barray%7D%5Cright%29&id=BxjaO)<br />(**1)分块矩阵的和、差:**<br />![](https://cdn.nlark.com/yuque/__latex/fcb38f180af1758c05904c0c6a737c96.svg#card=math&code=m%3Dl%2Cn%3Dr&id=OXMtO)**且**![](https://cdn.nlark.com/yuque/__latex/262cd388a39de500cc620bcb4039ded5.svg#card=math&code=p%3Ds%2Cq%3Dt&id=jxZVi)**,及对应的子块**![](https://cdn.nlark.com/yuque/__latex/3f9cdfc222698c1b9f5ebca53c1c6c51.svg#card=math&code=A_%7Bij%20%7D&id=Z6vcX)**与**![](https://cdn.nlark.com/yuque/__latex/1397ebb0c93b5e9c02af1185e3529fd5.svg#card=math&code=B_%7Bij%20%7D&id=taZun)**有相同的行数和相同的列数;则**![](https://cdn.nlark.com/yuque/__latex/7966e0aca1774c3b93d5fb7edecad605.svg#card=math&code=A%C2%B1B%3D%28A_%7Bij%7D%C2%B1B_%7Bij%7D%29.&id=vOXQk)

2.数与分块矩阵相乘
第二章 矩阵 - 图95是一个实数,第二章 矩阵 - 图96

3.分块矩阵相乘
A 第二章 矩阵 - 图97矩阵,B 第二章 矩阵 - 图98 矩阵,若把 A 按行分块,把 B 按列块,则

第二章 矩阵 - 图99

第二章 矩阵 - 图100

特别地,分块对角阵乘法:第二章 矩阵 - 图101其中Ai、Bi是同阶子方阵,则

第二章 矩阵 - 图102


  1. **_分块矩阵的转置_**

第二章 矩阵 - 图103,则第二章 矩阵 - 图104

分块矩阵不仅形式上进行转置,而且每一个子块也进行转置.


  1. **_分块对角矩阵的性质_**

第二章 矩阵 - 图105

1.第二章 矩阵 - 图106
2.第二章 矩阵 - 图107


克莱姆法则

如果线性方程组第二章 矩阵 - 图108(1)

简记为:第二章 矩阵 - 图109 的系数行列式不等于零,即第二章 矩阵 - 图110

那么线性方程组(1)有解并且解是唯一的,解可以表示成第二章 矩阵 - 图111

其中第二章 矩阵 - 图112是把系数行列式第二章 矩阵 - 图113中第第二章 矩阵 - 图114列的元素用方程组右端的常数项代替后,所得到的第二章 矩阵 - 图115阶行列式,即

第二章 矩阵 - 图116

证:由第二章 矩阵 - 图117,而第二章 矩阵 - 图118,因此第二章 矩阵 - 图119可逆,从而

第二章 矩阵 - 图120

第二章 矩阵 - 图121

第二章 矩阵 - 图122

定理5也称为克莱姆法则,它是求解线性方程组的一种方法,但是具有一定的局限性
定理中包含着三个结论:
方程组有解;(解的存在性)
解是唯一的;(解的唯一性)
解可以由公式(2)给出.
这三个结论是有联系的. 应该注意,该定理所讨论的只是系数行列式不为零的方程组,至于系数行列式等于零的情形,将在第三章的一般情形中一并讨论.


关于克莱姆法则的等价命题
第二章 矩阵 - 图123(1)
定理4 如果线性方程组(1)的系数行列式不等于零,则该线性方程组一定有解,而且解是唯一的 .
定理4′如果线性方程组无解或有解但解不唯一,则它的系数行列式必为零.


齐次线性方程组
线性方程组第二章 矩阵 - 图124

常数项全为零的线性方程组称为齐次线性方程组,否则称为非齐次线性方程组.
齐次线性方程组总是有解的,因为(0,0,…, 0)就是一个解,称为零解. 因此,齐次线性方程组一定有零解,但不一定有非零解.
我们关心的问题是,齐次线性方程组除零解以外是否存在着非零解.


  1. **_齐次线性方程组的相关定理_**<br />**定理5如果齐次线性方程组的系数行列式**![](https://cdn.nlark.com/yuque/__latex/be69e151c70424498ea6cf4969a21c56.svg#card=math&code=D%5Cneq0&id=A5uqc)**则齐次线性方程组只有零解,没有非零解.**<br />**定理5′如果齐次线性方程组有非零解,则它的系数行列式必为零. **<br />**备注**<br />1.**这两个结论说明系数行列式等于零是齐次线性方程组有非零解的必要条件. **<br />2.**在第三章还将证明这个条件也是充分的. 即:**<br />**齐次线性方程组有非零解**![](https://cdn.nlark.com/yuque/__latex/755eceba2d1c23fb97b1d4eb3a880058.svg#card=math&code=%5CLongleftrightarrow%20&id=T9kZj)**系数行列式等于零**

思考题
当线性方程组的系数行列式为零时,能否用克拉默法则解方程组?为什么?此时方程组的解为何?
当线性方程组的系数行列式为零时,不能用克拉默法,则解方程组,因为此时方程组的解为无解或有无穷多解.