前言
本文只会记录人工智能中所用到的线性代数知识,并不会记录大学线性代数教材中的所有知识。
标量
只有大小没有方向的量称为标量。
单个数字就是标量。
向量
所谓的向量就是一组数字,可以用来表示
或
当两个向量大小相等、方向相同时,说这两个向量相等。
这里由3个数组成,叫做3维向量,相应的,由n个数组成的称为n维向量。
左边排成一列的形式叫做列向量;右边叫做行向量
表示向量中的第
个元素,本例中
3维向量可以在3维空间中表示出来。
向量的长度
n维向量,数值
称为向量
的长度或模,记为
称
为单位向量。
向量的运算
向量的加法:
向量的减法:
注意得到的向量为
指向
。
向量的乘法:
相当于向量在向量
的方向的投影与向量
相乘
向量的范数
向量的1-范数: ;各元素的绝对值之和
向量的2-范数: ; 每个元素的平方和再开方,也就是n维向量的长度;
向量的无穷范数: ;分量绝对值的最大者
向量的p-范数:
对于2-范数有:
当 ≠
,
≠
时,称
为向量与
的夹角。
向量的内积
设有n维向量
令
上式称为向量的内积,内积的结果是一个标量。
这里要求一维向量和向量
的行列数相同。
当时,称向量
和向量
正交。
一组两两相交的非零向量,称为正交向量组。
向量组
若干个同维的列向量(行向量)所组成的集合称为向量组。
如
向量组的线性组合:
对于向量组,如果有一组数
,使
则称向量是向量组
的一个线性组合,或称
可由向量组
线性表示。
向量组的线性相关:
给定向量组,如果存在不全为零的数
使
则称向量组是线性相关的,否则称它为线性无关。
对于任一向量组,不是线性无关就是线性相关。
向量空间
设是
维实向量构成的集合,对于向量的加法运算及数乘运算满足:
- 任意
,有
;
- 任意
,有
则称集合为
上的实向量空间,简称向量空间。
已知是向量空间,若
,则称
是
的子空间。
向量集合的张成
定义 令为向量空间
中的向量。
(其中
为标量)称为向量
的线性组合。
向量的所有线性组合构成的集合,称为
的张成(Span)。向量
的张成记为
。
向量空间的基
设是一个向量空间,如果存在一组向量
,满足:
-
线性无关;
-
中任意一组向量都可以由该向量组线性表示,则称
为向量空间
的一组基;
线性无关:如果向量空间
中的向量
满足
就可以推出所有标量必为0,则称它们为线性无关的。
标准基
集合为
的标准基。之所以称这个基为标准基,使用因为使用这个基表示向量空间
最自然。更一般地,
的标准基集为集合
。
其中单位矩阵
的第
列向量的记为
。具体可见下面单位矩阵的定义。
行列式
行列式的引入
用消元法解二元线性方程组
为消去未知数,以
与
分别乘上列两方程的两端,然后两个方程相减,得
类似地,消去,得
当时,求得方程组
的解为
其中分母是由方程组的四个系数确定的,把这四个数按它们在方程组中的位置,排列成二行二列的数表
表达式称为数表
所确定的
,并记作
数称为行列式
的元素或元。位于第
行第
列的元素称为行列式
的
元。
二阶行列式的定义,可以用对角线法则来记忆,比如写一个字母``X
,先写
`,为主对角线;再写/
,为副对角线。二阶行列式就是主对角线上的两元素之积减去副对角线两元素之积。
利用二阶行列式的概念,式中
的分子也可以写成二阶行列式,即
若记
那么式可写成
这里的分母是由方程组
的系数所确定的二阶行列式,
的分子
是用常数项
替换
中
的系数
所得的二阶行列式;
的分子
是用
替换
中
的系数
所得的二阶行列式。
定义 设有9个数排成3行3列的数表
记
式称为数表
所确定的三阶行列式。
上述定义表面三阶行列式含6项,每项均为不同行不同列的三个元素的乘积再冠以正负号。
虽然三阶行列式也适用于对角线法则,为了研究四阶及更高阶行列式,下面先介绍有关全排列的知识。
逆序数
对于个不同的元素,在这
个元素的任一排列中,当某两个元素的先后次序与标准次序(比如可规定由小到大为标准次序)不同时,就说有1个逆序。 一个排列中所有逆序的总数叫做这个排列的逆序数。
逆序数为技术的排列叫做奇排列,逆序数为偶数的排列叫做偶排列。
设个元素为
至
这
个自然数,并规定由小到大为标准次序。设
为这个自然数的一个排列,考虑元素
,如果比
大的且排在
前面的元素有
个,就说
这个元素的逆序数是
。全体元素的逆序数之总和
即使这个排列的逆序数。
来看一个例子理解。
例 求排列32514的逆序数
解 在排列32514中:
3排在首位,逆序数为0
2的前面比2大的数有一个(3),逆序数为1
5是最大数,逆序数为0
1的前面比1大的数有三个(3,2,5),逆序数为3
4的前面比4大的数有一个(5),逆序数为1,于是这个排列的逆序数为
n阶行列式的定义
为了给出阶行列式的定义,先来研究三阶行列式的结构。三阶行列式定义为
容易看出:
- 上式右边的每一项都恰是三个元素的乘积,这三个元素位于不同的行、不同列。因此,上式右端的任一项除正负号外可以写成
。这里第一个下标(行标)排成标准次序123,而第二下标(列标)排成
,它是1,2,3三个数的某个排列。这样的排列共有6中,对应上式右端共有6项。
- 各项的正负号与列标的排列对照
- 带正号的三项列标排列是123,231,312
- 带负号的三项列标排列是132,213,321
经计算可知前三个排列都是偶排列,后三个排列都是奇排列。因此各项所带的正负号可以表示为,其中
为列标排列的逆序数。
总之,三阶行列式可以写成
其中为排列
的逆序数,
表示对1,2,3三个数的所有排列
去和。
仿此,可以把行列式推广到一般情形。
定义 设有个数,排成
行
列的数表
作出表中位于不同行不同列的个数的乘积,并冠以符号
,得到形如
的项,其中为自然数
的一个排列,
为这个排列的逆序数。
由于这样的排列共有个,因为形如
式的项共有
个。所有这
项的代数和
称为阶行列式,记作
简记作,其中数
为行列式
的
元。
例5 证明阶行列式
其中为写出的元素都是0。
证 第一式左端称为对角行列式,只能取不同行不同列,我们只考虑非零的情况。第行只能取第
列,第二行只能取第
列,
,第
行只能取第
列,最终结果很显然。
第二式第行只能取第
列,对应的是
,第
行只能取第
列,对应
,
,第
行只能取第
列,对应
。
列标的排列为
所以,逆序数为
例6 证明下三角形行列式
第行只能取第
列,第二行只能取第
列,
,第
行只能取第
列,并且列标是
逆序数为,
所以结果就是其主对角线上的元素之积。
行列式的性质
记
行列式称为行列式
的转置行列式。
性质1 行列式与它的转置行列式相等
性质2 互换行列式的两行(列),行列式变号
推论 如果行列式有两行(列)完全相同,则此行列式等于零
性质3 行列式的某一行(列)中所有的元素都乘以同一数,等于用数
乘此行列式
推论 行列式中某一行(列)的所有元素的公因子可以提到行列式记号的外面
性质4 行列式中如果有两行(列)元素成比例,则此行列式等于零
性质5 若行列式的某一列(行)的元素都是两数之和,例如第列的元素都是两数之和:
则等于下列两个行列式之和:
性质6 把行列式的某一列(行)的各元素乘以同一数然后加到另一列(行)对应的元素上去,行列式不变。
例如以数乘第
列加到第
列上(记作
),有
(以数乘第
行加到第
行上,记作
)
行列式按行(列)展开
一般来说,低阶行列式的计算比高阶行列式的计算要简便,于是,我们自然地考虑用低阶行列式来表示高阶行列式的问题。为此,先引入余子式和代数余子式的概念。
在阶行列式中,把
元
所在的第
行和第
列划去后,留下来的
阶行列式叫作
元
的余子式,记作
;记
叫做
元
的代数余子式。
例如四阶行列式
中元
的余子式和代数余子式分别为
引理 一个阶行列式,如果其中第
行所有元素除
元
外都为零,那么这行列式等于
与它的代数余子式的乘积,即
定理3 行列式等于它的任一行(列)的各元素与其对应的代数余子式乘积之和,即
证
根据引理,即得
类似地,若按列证明,可得
这个定理叫做行列式按行(列)展开法则。利用这一法则并结合行列式的性质,可以简化行列式的计算。
推论 行列式的某一行(列)的元素与另一行(列)的对应元素的代数余子式乘积之和等于零。即
证 把行列式按第
行展开,有
在上式中把换成
,可得
当时,上式右端行列式中有两行对应元素相同,故行列式为零,即得
上述证法如按列进行,可得
克拉默法则
又译为克莱姆法则。
含有个未知数
的
个线性方程的方程组
与二、三元线性方程组类似,它的解可以用阶行列式表示,即有
克拉默法则 如果线性方程组的系数行列式不等于零,即
那么,方程组有唯一解
其中是把系数行列式
中第
列的元素用方程组右端的常数项代替后得到的
阶行列式,即
定理4 如果线性方程组的系数行列式
,则
一定有解,且解是唯一的。
该定理的逆否定理为
定理4' 如果线性方程组无解或有两个不同的解,则它的系数行列式比为零。
线性方程组右端的常数项
全为零时,线性方程组
叫做 齐次线性方程组。
对于齐次线性方程组
一定是它的解,这个解叫做齐次线性方程组的零解。
如果一组不全为零的数是的解,则它叫做齐次线性方程组
的非零解。
定理5 如果齐次线性方程组的系数行列式
,则齐次线性方程组
没有非零解。
定理5' 如果齐次线性方程组有非零解,则它的系数行列式必为零。
矩阵
矩阵是一个按照长方阵列排列的复数或实数集合。
由个数组成的一个
行
列的矩形表格。如图所示:
称为行
列矩阵,简称
矩阵。
这个个数称为矩阵
的元素,简称为元,数
位于矩阵
的第
行第
列,称为矩阵
的
元。
以数为
元的矩阵可简记作
或
,
矩阵
也记作
。
行数与列数都等于的矩阵称为
阶矩阵或
阶方阵。
元素都是零的矩阵称为零矩阵,记作。
个变量
与
个变量
之间的关系式
表示从一个变量与到变量
的线性变换,其中
为常数。线性变换
的系数
构成矩阵
,称为系数矩阵。
矩阵的基本运算
两个矩阵的行数和列数分别相等,称它们为同型矩阵。
加法
矩阵的加法只能在两个同型矩阵之间进行,两个矩阵相加时,对应元素进行相加。
如:
数乘
数与矩阵
的乘积记作
或
,规定为
乘法
必须满足矩阵的列数与矩阵
的行数相等,或者矩阵
的行数与矩阵
的列数相等。
记,矩阵
的第
行第
列的元素等于矩阵
的第
行的所有元素与矩阵
的第
列的对应元素的乘积之和,即:
如:
矩阵的乘法不满足交换律,但仍然满足结合律和分配律:
转置
矩阵的转置矩阵,记作
,是将
的行列互换后所得矩阵,如果
是一个
阶矩阵,
是一个
阶矩阵。
矩阵的转置的性质:
对称矩阵
定义 一个的矩阵
,若满足
,则称
为对称矩阵(symmetric matrix),简称对称阵。其特点为:它的元素以对角线为对称轴对应相等。
例 设列矩阵满足
,
为
阶单位阵,
,证明
是对称阵,且
。
注意: =
是一阶方阵,也就是一个数,而
是
阶方阵。
证
所以是对称阵。
单位矩阵
如同数1位实数乘法中的单位元一样,也存在一个特殊矩阵是矩阵乘法中的单位元,即
对任意的矩阵
都成立。
定义 的单位矩阵为矩阵
,其中
即主对角元素均为,其他元素均为
的
矩阵。
一般地,若为任一
矩阵,且
为任一
矩阵,则
单位矩阵
的列向量为用于定义
维欧几里得坐标空间的标准向量。
的第
列向量的标准记号为
。因此,
单位矩阵可写为
矩阵的迹
阶方阵
的迹(trace)记作
,是对角元素之和:
性质::
- 迹是所有特征值的和
- 若矩阵
与矩阵
相似,则
共轭矩阵
首先回顾下复数的概念,复数是实数的延伸,它使任意多项式方程都有跟。复数当中有个虚数单位,它是
的一个平方根,即
。
任一复数都可以表达为,其中
及
皆为实数,分别称为复数的实部和虚部。
复数的模为
。
的共轭复数定义为
,即两个实部相等,虚部互为相反数。记作
。有
当虚部不为零时,共轭复数就是实部相等,虚部相反;
如果虚部为零,其共轭复数就是自身。即实数的共轭复数就是自身。
当为复矩阵时,用
表示
的共轭复数,记
称为
的共轭矩阵。
共轭矩阵满足下述运算规律(为复矩阵,
为复数):
埃尔米特矩阵
的共轭矩阵
的转置记为
。
定义 若一个矩阵满足
,则称它为埃尔米特矩阵(Hermitian)。
矩阵的逆
方阵的行列式
定义6 由阶方阵
的元素所构成的行列式,称为方阵
的行列式,记作
或
。
由确定
的这个运算满足下述运算规律(设
为
阶方阵,
为数):
-
(行列式性质1)
行列式的各个元素的代数余子式
所构成的如下的矩阵(注意是转置排法)
称为矩阵的伴随矩阵,简称伴随阵。
试证
证
逆矩阵
设为
阶方阵(
),若存在
阶方阵
使得:
,则称
是可逆的(或==非奇异的==)且矩阵
是矩阵
的逆矩阵,记为
。
矩阵称为
的逆矩阵,简称逆阵。
若和
均为
的逆矩阵,则
因此一个矩阵最多有一个逆矩阵。
定理1 若矩阵可逆,则
证 可逆,即有
,使
。故
,所以
。
定理2 若,则矩阵
可逆,且
其中为矩阵
的伴随阵。
证
我们已知
因为,(等式两边同时乘以
)故有
所以,按逆矩阵的定义,即知可逆,且
当时,
称为奇异矩阵,否则称非奇异矩阵。由上面两定理可知:
是可逆矩阵的充分必要条件是
,即可逆矩阵就是非奇异矩阵。
由定理2,可得下述推论。
推论 若(或
),则
。
证 ,故
,因而
存在,于是
方阵的逆阵满足下述运算规律:
若
可逆,则
亦可逆,且
若
可逆,数
,则
可逆,且
若
为同阶矩阵且均可逆,则
亦可逆,且
证,即有
。
-
若
可逆,则
亦可逆,且
证
矩阵的秩
矩阵的初等变换
为了引进矩阵的初等变换,先来分析用消元法解线性方程组的例子。
引例 求解线性方程组
在上述消元过程中,始终把方程组看作一个整体。其中用到三种变换,即:交换方程次序(如);以不等于0的数乘某个方程(如
);一个方程加上另一个方程的
倍(如
)。
由于这三种变换都是可逆的,因此变换前的方程组与变换后的方程组是同解的。
在上述变换过程中,实际上只对方程组的系数和常数进行运算,未知数并未参与运算。因此,若记方程组的增广矩阵为
那么上述对方程组的变换完全可以转换为对矩阵的变换。把方程组的上述三种同解变换移植到矩阵上,就得到句子的三种初等变换。
定义1 下面三种变换称为矩阵的初等行变换:
- 对调两行(对调
两行,记作
)
- 以数
乘某一行中的所有元素(第
行乘
,记作
)
- 把某一行所有元素的
倍加到另一行对应的元素上去(第
行的
倍加到第
行上,记作
)
把定义中的“行”换成“列”,即得矩阵的初等列变换的定义。
矩阵的初等行变换与初等列变换,统称为初等变换。
显然,三种初等变换都是可逆的(操作),且其逆变换是同一类型的初等变换;
- 变换
的逆变换就是其本身;
- 变换
的逆变换为
(或记作
)
- 变换
的逆变换为
(或记作
)
如果矩阵经过有限次初等行变换变成矩阵
,就称矩阵
与
行等价,记作
;
如果矩阵经过有限次初等列变换变成矩阵
,就称矩阵
与
列等价,记作
;
如果矩阵经过有限次初等变换变成矩阵
,就称为矩阵
与
等价,记作
。
矩阵之间的等价关系具有下列性质:
- 反身性
- 对称性 若
,则
- 传递性 若
,则
下面用矩阵的初等行变换来解方程组,其过程可与方程组
的消元过程一一对照。
矩阵和
都称为行阶梯形矩阵,其特点是:
可画出一条阶梯线,线的下方全为0;
每个台阶只有一行,台阶数即使非零行的行数;
阶梯线的竖线后面的一个元素为非零元,也就是非零行的第一个非零元;
行阶梯形矩阵还称为行最简形矩阵,其特点是:非零行的第一个非零元为
,且这些非零元所在的列的其他元素都为
。
对于任何矩阵,总可经过有限次初等行变换把它变为行阶梯形矩阵和行最简形矩阵。
对行最简形矩阵再施以初等列变换,可变成一种形状更简单的矩阵,称为标准形,例如:
矩阵称为矩阵
的标准形,其特点是:
的左上角是一个单位矩阵,其余元素全为
。
对于矩阵
,总可经过初等变换(行变换或列变换)把它化为标准形
此标准形由三个数完全确定,其中
就是行阶梯形矩阵中非零行的行数。
定理1 设与
为
矩阵,那么:
-
的充要条件是存在
阶可逆矩阵
;使
;
-
的充要条件是存在
阶可逆矩阵
;使
;
-
的充要条件是存在
阶可逆矩阵
及
阶可逆矩阵
,使
。
为了证明这个定理,我们引进初等矩阵的知识。
定义2 由单位阵经过一次初等变换得到的矩阵称为初等矩阵。
三种初等变换对应有三种初等矩阵。
(1) 把单位阵中第两行对调(或两列对调),得初等矩阵
用阶初等矩阵
左乘矩阵
,得
其结果相当于对矩阵施行第一种初等行变换。
,所以是可逆的。因为
,对
交换两行或两列,行列式变号。
(2)以数乘单位阵的第
行(或第
列),得初等矩阵
可以验知:以左乘矩阵
,其结果相当于以数
乘
的第
行
;
行列式某行乘以某个数,等于用
乘以此行列式,所以行列式不为零,可逆。
或因此矩阵是对角矩阵,行列式为。
(3) 以乘
的第
行加到第
行上或以
乘
的第
列加到第
列上,得初等矩阵
可以验知:以左乘矩阵
,其结果相当于把
的第
行乘
加到第
行
。
得到的矩阵的行列式还是为,所以可逆。
归纳上面的讨论,可得
性质1 设是一个
矩阵,对
施行一次初等行变换,相当于在
的左边乘以相应的
阶初等矩阵;对
施行一次初等列变换,相当于在
的右边乘以相应的
阶初等矩阵。
性质2 方阵可逆的充要条件是存在有限个初等矩阵
,使
。
证 先证充分性。设,因初等矩阵可逆,有限个可逆矩阵的乘积仍可逆,故
可逆。
再证必要性 设阶方阵
可逆,且
的标准形矩阵为
,由于
,知
经过有限次初等变换可化为
,即有初等矩阵
,使
因为可逆,所以
,所以
都不等于零。
所以也都可逆,故标准形矩阵
可逆。假设
中的,则
,与
可逆矛盾,因此必有
,即
,从而
下面应用初等矩阵的知识来证明定理1。
定理1的证明
- 依据
的定义和初等矩阵的性质,有
类似可证明2. 3.
推论 方阵可逆的充分必要条件是
。
证 可逆
存可逆阵
(即
的逆阵),使
,所以
。
定理1表明,如果,即
经过一系列初等变换可以变为
,则有可逆矩阵
,使
。那么,如何求出这个可逆矩阵
?
由于
因此,如果对矩阵作初等行变换,那么,当把
变为
时,
就变为
。
于是就得到了求逆矩阵的一种新方法。
矩阵的秩
定义 在的矩阵
中,任取
行与
列,位于这些行列交叉处的
个元素,不改变它们在
中所处的位置次序而得的
阶行列式,称为矩阵
的
阶子式。
矩阵
的
阶子式共有
个。
定义 设在矩阵中有一个不等于0的
阶子式
,且所有
阶子式(如果存在的话)全等于0,那么
称为矩阵
的最高阶非零子式,数
称为矩阵
的秩,记作
。并规定零矩阵的秩等于0。
比如,我们上面知道,一个矩阵
,它的标准形
由数完全确定,这个数就是
的行阶梯形中非零行的行数,也就是矩阵
的秩。
显然,若为
矩阵,则
由于行列式与其转置行列式相等,因此的子式与
的子式对应相等,从而
。
对于阶矩阵
,由于
的
阶子式只有一个
,故当
时
;
当时
。
可见可逆矩阵的秩等于矩阵的阶数,不可逆矩阵的秩小于矩阵的阶数。因此,可逆矩阵又称为满秩矩阵,不可逆矩阵(奇异矩阵)又称为降秩矩阵。
定理2 若,则
。
推论 若可逆矩阵使
,则
。
秩的性质
- 若
,则
- 若
、
可逆,则
-
- 特别第,当
为非零列向量时,有
- 特别第,当
- 若
,则
线性方程组的解
设有个未知数
个方程的线性方程组
式可以写成以向量
为未知元的向量方程
定理3 元线性方程组
- 无解的充分必要条件是
(即出现了
的情况,其中
)
- 有唯一解的充分必要条件是
- 有无限多解的充分必要条件是
这里的是未知数的个数。
定理4 元齐次线性方程组
有非零解的充分必要条件是
定理5 线性方程组有解的充分必要条件是
用克拉默法则来看的话,
如果是方阵,
有非零解的条件是,
,即
。
我们知道
逆矩阵存在
正交性
标量积
两个中的向量
和
可以看成是
矩阵。构造矩阵乘积
。这个乘积为一个
矩阵,可看成是一个
中的向量,或一个实数(标量)。
乘积称为
和
的标量积(scalar product)或内积。
如果,则称向量
和
为正交的。
内积空间
一个向量空间上的内积为
上的运算,它将
中的向量
和
与一个实数
关联,并满足下列条件:
-
,等号成立的充要条件是
- 对
中所有的
和
,有
- 对
中所有的
及所有的标量
,有
一个定义了内积的向量空间称为内积空间。
正交集
定义 令为一内积空间
中的非零向量。若
时有
,则
称为向量的==正交集==。
定理 若,则
为一内积空间
中非零向量的正交集,则
是线性无关的。
规范正交
定义 ==规范正交==的向量集合是单位向量的正交集。
集合是规范正交集的充要条件为
其中
说的是集合中任意两个向量做内积结果为
。
规范正交基
若为一个内积空间
中的规范正交集,则
为子空间
的一组基。我们称
为
的一组==规范正交基==。
正交矩阵
定义 若一个矩阵
的列向量构成
中的一组规范正交基,则称
为==正交矩阵==。
定理 一个矩阵
是正交矩阵的充要条件为
。
由定理可得,若为一正交矩阵,则
可逆,且
。
性质 若为一个
的正交矩阵,则:
-
的列向量构成了
的一组规范正交基
相似矩阵
向量的内积
定义1 设有为向量
令
称为向量
与
的内积(内积也叫点积,也可表示为
)。
内积是两个向量之间的一种运算,其结果是一个实数,用矩阵记号表示,当与
都是列向量时,有
内积具有下列性质(其中为
维向量,
为实数):
- 当
时,
;当
时,
可以得到柯西不等式
定义2 令
称为
维向量
的长度(或范数)。
当时,称
为单位向量。
向量的长度具有以下性质:
- 非负性 当
时,
;当
时,
- 齐次性
- 三角不等式
当时,称向量
与
正交。显然,若
,则
与任何向量都正交。
定理1 若维向量
是一组两两正交的非零向量,则
线性无关。
若向量
线性无关,则它们互相不能用其他向量线性表示。
证 设有使
我们要证明。以
左乘上式两端,当
时,
,要使上式等于零,所以
因为,所以
,从而只能
,类似可以证明
。
于是向量组线性无关。
定义3 设维向量
是向量空间
的一个基,如果
两两正交,且都是单位向量,则称
是
的一个规范正交基。
若是
的一个规范正交基,那么
中任意向量
都能由
线性表示,设表示为
定义4 如果阶矩阵
满足
那么称为正交矩阵,简称正交阵。
上式用的列向量表示,即是
因为与
等价,所以上述结论对
的行向量亦成立。
由此可见,阶正交阵
的
个列(行)向量构成向量空间
的一个规范正交基。
方阵的特征值与特征向量
定义6 设是
阶矩阵,如果数
和
维非零列向量
使关系式
成立,那么,这样的数称为矩阵
的特征值,非零向量
称为
的对应于特征值
的特征向量。
式也可以写成
这是个未知数
个方程的齐次线性方程组,它有非零解的充分必要条件是系数行列式
即
无穷解
上式是以为未知数的一元
次方程,称为矩阵
的特征方程。其左端
是
的
次多项式,记作
,称为矩阵
的特征多项式。
设阶矩阵
的特征值为
,有以下性质:
设为矩阵
的一个特征值,则由方程
可求得非零解,那么
便是
的对应于特征值
的特征向量。
例 设是方阵
的特征值,证明
-
是
的特征值
- 当
可逆时,
是
的特征值。
证 因是
的特征值,故有
使
。于是
(1) ,
所以是
的特征值。
依此类推,不难证明:若是
的特征值,则
是
的特征值。
(2) 当可逆时,由
,有
,因
,知
,故
所以是
的特征值。
定理2 设是方阵
的
个特征值,
依次是与之对应的特征向量,如果
各不相等,则
线性无关。
相似矩阵
定义7 设都是
阶矩阵,若有可逆矩阵
,使
则称是
的相似矩阵,或说矩阵
与
相似。对
进行运算
称为对
进行相似变换。可逆矩阵
称为把
变成
的相似变换矩阵。
定理3 若阶矩阵
与
相似,则
与
的特征多项式相同,从而
与
的特征值亦相同。
证 因与
相似,即有可逆矩阵
,使
,故
推论 若阶矩阵
与对角阵
相似,则即是
的
个特征值。
下面我们要讨论的主要问题是:对阶矩阵
,寻求相似变换矩阵
,使
为对角阵,这就称为把矩阵
对角化。
假设已经找到可逆矩阵,使
为对角阵,我们来讨论
应满足什么关系。
把用其列向量表示为
由,得
,即
于是有
可见是
的特征值,而
的列向量
就是
的对应于特征值
的特征向量。
定理4 阶矩阵
与对角阵相似(即
能对角化)的充分必要条件是
有
个线性无关的特征向量。
联系定理2,得
对称矩阵的对角化
定理5 对称阵的特征值为实数
证 设复数为对称阵
的特征值,复向量
为对应的特征向量,即
。
用表示
的共轭复数,
表示
的共轭复向量,而
为实矩阵,有
,故
。于是有
及
两式相减,得
因,所以
故,即
,说明
是实数。
定理6 设是对称阵
的两个特征值,
是对应的特征向量。若
,则
正交。
证 。
因对称,故
,于是
即
因为,故
,即
正交。
定理7 设是
阶对称阵,则必有正交阵
,使
,其中
是以
的
个特征值为对角元的对角阵。
推论 设为
阶对称阵,
是
的特征方程的
重根,则矩阵
的秩
,从而对应特征值
恰有
个线性无关的特征向量。
二次型及其标准形
使二次型只含平方项,也就是用带入
,能使
这种只含平方项的二次型,称为二次型的标形型(或法式)。
如果标准形的系数只在
三个数中取值,也就是用
代入
,能使
则称上式为二次型的规范形。
则二次型可记作
其中为对称阵。
如果,则是半正定。
更新记录
- 2021-05-25 补充单位矩阵、奇异矩阵
- 2021-05-26 新增标准基、正交性
- 2021-05-27 新增特征值
- 2021-06-05 新增实对称矩阵定理
- 2021-06-19 新值行列式
参考
- 《线性代数》 利昂著
- 《线性代数》 同济大学第五版
- 维基百科