在数学中,有许多概念是不定义概念,如几何学中的点、线、面等概念.集合与元素是集合论的基本概念,也是一对不定义概念.集合论是著名的德国数学家George Cantor(1845—1918)在19世纪后期创立的,之后作为一种基本的数学语言和强有力的研究工具渗透到数学的每一个分支,成为全部数学研究的基础.所谓集合就是由具有某种性质的个体所组成的一个整体,其中的个体都称之为元素.例如,2008年北京奥运会......
2025-09-30
定理5.6表明,当线性空间可以写为一些不变子空间的直和的时候,线性变换的矩阵会具有较为简单的形式.本节将进一步研究这个问题.首先再来看一下线性变换及其矩阵之间的联系.
设V是数域F上的n维线性空间,σ∈L(V)是其上的一个线性变换.在选定基α1,α2,…,αn之下,线性变换σ的矩阵是A.任取V中的向量
则有
这就是说,如果向量α的坐标是
那么,σ(α)的坐标就是Ax.这也就是说,在给定线性空间的基之后,对线性变换的研究就可以转化为对其矩阵的研究.
设σ是线性空间V上的线性变换,我们更感兴趣的是在线性变换σ之下,像与原像共线的那些向量.
定义5.4 设V是数域F上的线性空间,σ是V上的线性变换,如果存在复数λ∈F及V中非零向量α≠0,使得
σ(α)=λα,
则称λ为线性变换σ的特征值,相应的非零向量α称为属于特征值λ的特征向量.
由前面的分析可见,σ(α)=λα相当于Ax=λx,因此,也称λ是方阵A的特征值,非零向量x称为方阵A的属于特征值λ的特征向量.
例5.19 设V=R2是实数域R上的二维线性空间,α1,α2是V的一组基.σ是V上的线性变换,且满足条件
σ(α1)=3α1-2α2,σ(α2)=α1.
σ有两个特征值1和2,向量α1-2α2是属于特征值1的特征向量;向量α1-α2是属于特征值2的特征向量.
如果记α=α1-α2,则集合{kα|k∈R}中的非零向量都是特征值2的特征向量,称为特征值2的特征子空间.一般地,
定义5.5 若σ是线性空间V上的线性变换,λ是σ的一个特征值,集合
{ασ(α)=λα,α∈V}
是V的一个线性子空间,称为属于λ的特征子空间,记作Vλ.特征子空间Vλ的维数称为特征值λ的几何重数.
例5.20 特征子空间一定是不变子空间.
例5.21 设σ是线性空间V上的线性变换,且满足σ2=σ,即σ为幂等变换.若λ是σ的特征值,α是属于特征值λ的特征向量,则σ(α)=λα.由于
σ2(α)=σ(σ(α))=σ(λα)=λσ(α)=λ2α
及
σ2(α)=σ(α)=λα,
比较得λ2α=λα,由α≠0,知λ2=λ,即λ=1或λ=0.这说明幂等变换的特征值只能是0或1.
例5.22 (续例5.21)由第三节例5.12我们知道,一定存在一组基α1,α2,…,αn,使得σ在这组基下的矩阵是
其中r是线性变换σ的秩.或者说,在这组基之下有
即
σ(αi)=αi,1≤i≤r
σ(αi)=0,r+1≤i≤n.
由此,同样可以得到σ的特征值只能是0或1.并且有特征子空间V0的维数是n-r,V1的维数是r,且有直和分解
V=V0⊕V1,
这一分解式恰好又可以写成
V=kerσ⊕Imσ.
注意:这样的分解一般不成立.甚至于,还可以有直和分解式
这一平凡分解的重要意义在于每一个子空间span(αi),1≤i≤n,都是σ的一维不变子空间.
定理5.7 若α1,α2,…,αs是分别属于λ1,λ2,…,λs的特征向量,且λi两两不等,则有向量组α1,α2,…,αs一定是线性无关的.
证明:对向量组的向量个数s用归纳法,当s=1时,命题显然成立.
假设命题对s已成立,则对s+1,设α1,α2,…,αs+1的线性组合
k1α1+k2α2+…+ks+1αs+1=0, (5.1)
则有
0=σ(k1α1+k2α2+…+ks+1αs+1)
=k1σ(α1)+k2σ(α2)+…+ks+1σ(αs+1)
=k1λ1α1+k2λ2α2+…+ks+1λs+1αs+1. (5.2)
如果有某一个λi=0,不妨设为λs+1=0,由式(5.2)有
k1λ1α1+k2λ2α2+…+ksλsαs=0,
利用归纳假设可以知道,α1,α2,…,αs线性无关,因此kiλi=0,即得ki=0,1≤i≤s,于是ks+1=0,这样就证明了向量组α1,α2,…,αs+1是线性无关的.
如果所有的λi≠0,则利用式(5.2)-式(5.1)×λs+1,消去αs+1有(https://www.chuimin.cn)
k1(λ1-λs+1)α1+k2(λ2-λs+1)α2+…+ks(λs-λs+1)αs=0,
同样可以得到ki(λi-λs+1)=0,所以ki=0,1≤i≤s,进而有ks+1=0.这样也有向量组α1,α2,…,αs+1是线性无关的.证毕.
定理5.8 若λ1,λ2,…,λs是线性变换σ的s个不同的特征值,Ti是属于特征值λi的线性无关的特征向量组成的向量组,则向量组
T1∪T2∪…∪Ts
一定是线性无关向量组.
证明:设向量组Ti为
那么,由条件知道向量组αi1,αi2,…,αiri线性无关,1≤i≤s,并且满足条件
σ(αij)=λiαij,1≤i≤s,1≤j≤ri.
下面来证明向量组
是线性无关的.若有一组组合系数kij使得
记向量,1≤i≤s,由于
这表明,若αi≠0,则αi是属于特征值λi的特征向量,由定理5.7可知向量组α1,α2,…,αr线性无关.但是式(5.4)表明
α1+α2+…+αs=0.
故此只能有所有αi=0,1≤i≤s.因此
由条件可见
kij=0,1≤i≤s,1≤j≤ri.
由线性无关的定义可知向量组(5.3)线性无关.证毕.
在特征子空间Vλ中,取定一组基α1,α2,…,αr,并扩充为V的基α1,α2,…,αn之后,线性变换σ在这组基下的矩阵应具有形式
在其左上角位置具有对角阵的形式,这使我们考虑如下问题:对于线性变换σ,是否存在一组基,使得σ在这组基下的矩阵是对角形矩阵.一般来说,这个问题的答案是否定的,但是有如下定理.
定理5.9 线性变换σ在某一组基下的矩阵是对角形矩阵的充分必要条件是它有n个线性无关的特征向量.
证明:必要性,若线性变换σ在基α1,α2,…,αn下的矩阵是对角阵
diag(λ1,λ2,…,λn),
这里的λi有可能相同,则有
也就是说,
σ(αi)=λiαi,1≤i≤n.
充分性,若线性变换σ有n个线性无关的特征向量α1,α2,…,αn,它们所属的特征值分别是λ1,λ2,…,λn,λi有可能相同,则
σ(αi)=λiαi,1≤i≤n,
此即
证毕.
推论5.1 若线性变换σ有n个不同的特征值,则σ在某组基下的矩阵是对角阵.
由于线性变换在不同基下的矩阵是相似的,因此,寻求一组基使得线性变换在这组基下的矩阵是对角阵的问题,就转化为判断某一矩阵是否可以和一个对角阵相似的问题,称之为矩阵的对角化问题.找到与一个矩阵相似的对角形矩阵的过程称为把该矩阵对角化.
注意到线性变换与其矩阵之间的对应关系,前面的定理用矩阵的形式写出就是:
定理5.10A是n阶方阵,则属于A的不同特征值的特征向量是线性无关的.
定理5.11A是n阶方阵,则A相似于一个对角阵的充分必要条件是A有n个线性无关的特征向量.
推论5.2 如果A有n个不同的特征值,则A一定相似于一个对角阵.
习题
5.5.1. 设λ1,λ2是线性变换σ的两个不同的特征值,ε1,ε2是分别属于λ1,λ2的特征向量,则ε1+ε2不是σ的特征向量.
5.5.2. 若σ是n维线性空间V上的线性变换,则V的任意子空间都是σ的不变子空间的充分必要条件是σ是纯量变换.
5.5.3. 设σ是线性空间V的可逆变换,证明:
(1)σ的特征值一定不是零;
(2)若λ是σ的特征值,则λ-1一定是σ-1的特征值.
5.5.4. 证明:幂零变换的特征值一定是零.
5.5.5. 证明:对合变换的特征值只能是1或-1.
5.5.6. 利用矩阵的方法证明定理5.10.
5.5.7. 利用矩阵的方法证明定理5.11以及推论5.2.
相关文章
在数学中,有许多概念是不定义概念,如几何学中的点、线、面等概念.集合与元素是集合论的基本概念,也是一对不定义概念.集合论是著名的德国数学家George Cantor(1845—1918)在19世纪后期创立的,之后作为一种基本的数学语言和强有力的研究工具渗透到数学的每一个分支,成为全部数学研究的基础.所谓集合就是由具有某种性质的个体所组成的一个整体,其中的个体都称之为元素.例如,2008年北京奥运会......
2025-09-30
,As都是方阵,那么形如的分块矩阵称为分块对角矩阵,简称分块对角阵,可以简单地记作diag(A1,A2,…,Es)有下面的三种分块初等矩阵:E=diag(E1,…......
2025-09-30
设A是n 阶矩阵,λ是一个数,若存在n维非零列向量ξ,使得则称λ是A 的特征值,ξ是A 的对应于特征值λ的特征向量.由①式,得ξ=0,因ξ≠0,故齐次方程组x=0有非零解,于是②式称为A 的特征方程,是未知量λ的n次方程,有n个根,λE-A称为特征矩阵,|λE-A|称为特征多项式.求出λi(i=1,2,…......
2025-09-30
一个有理系数多项式anxn+…,bn的最大公因数是1.这样的工作总是能够完成的,如我们可以先形式上通分,然后把分母以及分子系数的公因数同时提出.由此可见,有理系数多项式anxn+…+b1x+b0的因式分解问题.以下我们只讨论整系数多项式的因式分解问题.首先我们引入本原多项式的概念.定义2.10 若整系数非零多项式f=anxn+…......
2025-09-30
,αn是V1的一组基,则只需确定它们在线性映射σ之下的像σ(α1),σ(α2),…,βm,若σ是从线性空间V1到V2的线性映射,由于σ(αj)∈V2,因此即这组关系可以用矩阵形式表示为今后把向量(σ(α1),σ(α2),…......
2025-09-30
,这说明零与负整数都属于F.至此可以得到整数集合ZF.再由除法的封闭性,以及任何有理数都可以写成两个整数的商,这样就得到有理数域QF.证毕.该定理表明,从包含关系上说有理数域是最小的数域.习题1.5.1. 证明:,都是无理数.1.5.2. 设p1,p2,…......
2025-09-30
解:是.由Am×r是列满秩矩阵,则存在行满秩矩阵Pr×m,使得PA=Er.在等式Am×rBr×n=Om×n两端左边乘P,则有Pr×m=Pr×mOm×n=Or×n及Br×n=ErBr×n=Br×n,比较两式可知B=O.是.显然有A(B-C)=O,利用的结论即得B-C=O.习题3.6.1. 如果AB,BA都是有意义的,那么它们是否具有相等的秩?,As都是n阶方阵,证明:并且等号可以取到.3.6.......
2025-09-30
在线性空间中,向量的加法与数乘运算统称为向量的线性运算.本节研究向量在线性运算之下的关系,也就是通常所说的向量的线性相关性.定义4.2 若α1,α2,…,s.因此表示方法是唯一的.证毕.推论4.1 零向量由一个线性无关向量组线性表示的方法是唯一的.定义4.4 设向量组A:α1,α2,…......
2025-09-30
相关推荐