高等代数课件北大版第七章线性变换7.6.ppt

《高等代数课件北大版第七章线性变换7.6.ppt》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、§2线性变换的运算§3线性变换的矩阵§4特征值与特征向量§1线性变换的定义§6线性变换的值域与核§8若当标准形简介§9最小多项式§7不变子空间小结与习题第七章线性变换§5对角矩阵2021/7/29数学与计算科学学院一、值域与核的概念二、值域与核的有关性质§7.6线性变换的值域与核2021/7/29§7.6线性变换的值域与核数学与计算科学学院一、值域与核的概念定义1：设是线性空间V的一个线性变换，集合称为线性变换　的值域，也记作　　　或集合称为线性变换　的核，也记作注：皆为V的子空间.2021/7/29§7.6线性变换的值域与核数学与计算科学学院事实上，

2、　且对有即对于V的加法与数量乘法封闭.为V的子空间.再看首先，2021/7/29§7.6线性变换的值域与核数学与计算科学学院又对　有从而即故为V的子空间.对于V的加法与数量乘法封闭.2021/7/29§7.6线性变换的值域与核数学与计算科学学院定义2：线性变换　的值域　　的维数称为的秩；的核的维数称为的零度.例1、在线性空间中，令则所以D的秩为n－1，D的零度为1.2021/7/29§7.6线性变换的值域与核数学与计算科学学院1.(定理10)设　是n维线性空间V的线性变换，是V的一组基，　在这组基下的矩阵是A，则1）的值域是由基象组生成的子空间，即2）

3、的秩＝A的秩.二、有关性质2021/7/29§7.6线性变换的值域与核数学与计算科学学院即又对证：1）设于是有2021/7/29§7.6线性变换的值域与核数学与计算科学学院因此，的秩，又∴秩＝秩等于矩阵A的秩.2）由1），的秩等于基象组由第六章§5的结论3知，　　的秩2021/7/29§7.6线性变换的值域与核数学与计算科学学院2.设　为n维线性空间V的线性变换，则的秩＋　的零度＝n即证明：设的零度等于r，在核中取一组基并把它扩充为V的一组基：生成的.由定理10，　　是由基象组2021/7/29§7.6线性变换的值域与核数学与计算科学学院但设则有下证为

4、的一组基，即证它们即可被线性表出.线性无关.2021/7/29§7.6线性变换的值域与核数学与计算科学学院设于是有由于为V的基.的秩＝n－r.因此，的秩＋的零度＝n.故线性无关，即它为　　的一组基.2021/7/29§7.6线性变换的值域与核数学与计算科学学院虽然　　与　　的维数之和等于n，但是未必等于V.如在例1中,注意：2021/7/29§7.6线性变换的值域与核数学与计算科学学院ⅰ)是满射证明：ⅰ)显然.ⅱ)因为若为单射，则3.设　为n维线性空间V的线性变换，则ⅱ)是单射反之，若　任取　若则即故　是单射.从而2021/7/29§7.6线性变换的值

5、域与核数学与计算科学学院是单射　是满射.证明：　是单射4.设为n维线性空间V的线性变换，则是满射.2021/7/29§7.6线性变换的值域与核数学与计算科学学院例2、设A是一个n阶方阵，　证明：A相似于证：设A是n维线性空间V的一个线性变换在一组基下的矩阵，即一个对角矩阵2021/7/29§7.6线性变换的值域与核数学与计算科学学院由　知任取　设则故有　当且仅当因此有又所以有从而　　　　　　是直和.2021/7/29§7.6线性变换的值域与核数学与计算科学学院在中取一组基：则　就是V的一组基.显然有，在中取一组基：用矩阵表示即2021/7/29§7.6

6、线性变换的值域与核数学与计算科学学院所以，A相似于矩阵2021/7/29§7.6线性变换的值域与核数学与计算科学学院线性变换　在此基下的矩阵为1)求及2)在中选一组基，把它扩充为V的一组基，并求在这组基下的矩阵.并求在这组基下的矩阵.3)在中选一组基，把它扩充为V的一组基，例3、设　　　　　是线性空间V的一组基，已知2021/7/29§7.6线性变换的值域与核数学与计算科学学院解：1）先求　设它在下的坐标为故由于有在　下的坐标为2021/7/29§7.6线性变换的值域与核数学与计算科学学院解此齐次线性方程组，得它的一个基础解系：从而是的一组基.由于的零

7、度为2，所以的秩为2，又由矩阵A，有即为2维的.再求2021/7/29§7.6线性变换的值域与核数学与计算科学学院2）因为从而有所以，　　　　　线性无关，就是　　的一组基.2021/7/29§7.6线性变换的值域与核数学与计算科学学院而可逆.从而，线性无关，即为V的一组基.在基下的矩阵为2021/7/29§7.6线性变换的值域与核数学与计算科学学院3）因为可逆.而2021/7/29§7.6线性变换的值域与核数学与计算科学学院从而线性无关，即为V的一组基.在这组基下的矩阵为2021/7/29§7.6线性变换的值域与核数学与计算科学学院