前言
本文只会记录人工智能中所用到的线性代数知识,并不会记录大学线性代数教材中的所有知识。
标量
只有大小没有方向的量称为标量。
单个数字就是标量。
向量
所谓的向量就是一组数字,可以用来表示
或
当两个向量大小相等、方向相同时,说这两个向量相等。
这里由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 新值行列式
参考
- 《线性代数》 利昂著
- 《线性代数》 同济大学第五版
- 维基百科