矩阵理论及应用1概要课件.ppt

《矩阵理论及应用1概要课件.ppt》由会员分享，可在线阅读，更多相关《矩阵理论及应用1概要课件.ppt（50页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、矩阵理论及应用河北大学电子信息工程学院1/8/20231河北大学电子信息工程学院目录目录第一章第一章 线性空间与线性变换线性空间与线性变换第二章第二章 范数理论及其应用范数理论及其应用第三章第三章 矩阵分析及其应用矩阵分析及其应用第四章第四章 矩阵分解矩阵分解第五章第五章 特征值的估计特征值的估计第六章第六章 广义逆矩阵广义逆矩阵1/8/20232河北大学电子信息工程学院第一章第一章 线性空间与线性变换线性空间与线性变换线性空间线性空间线性变换线性变换两个重要的线性空间及其线性变换两个重要的线性空间及其线性变换(欧几里欧几里德空间、酉空间；正交变换、酉变换）。德空间、酉空间；正交变换、酉变换）

2、。1/8/20233河北大学电子信息工程学院第一节第一节 预备知识：集合、映射与数域预备知识：集合、映射与数域一、集合及其运算一、集合及其运算1、集合的定义和表示、集合的定义和表示集合集合：指一类特定事物的全体。：指一类特定事物的全体。构成集合的事物（或成员）称为集合的构成集合的事物（或成员）称为集合的元素元素。例：例：一个代数方程组解的全体组成的集合一个代数方程组解的全体组成的集合解集合解集合以原点为圆心的单位圆内所有的点所组成的集合以原点为圆心的单位圆内所有的点所组成的集合点集合点集合集合的表示集合的表示：通常用大写字母通常用大写字母A、B、C表示集合，而用小写字母表示集合，而用小写字母a

3、、b、c表示表示集合的元素。集合的元素。若若a为集合为集合A的元素，则称的元素，则称a属于属于A若若a不是集合不是集合A的元素，则称的元素，则称a不属于不属于A1/8/20234河北大学电子信息工程学院第一节第一节 预备知识：集合、映射与数域预备知识：集合、映射与数域表示一个集合通常有两种方法表示一个集合通常有两种方法 列举法列举法 概括法概括法（也称为性质描述法）（也称为性质描述法）如：满足方程如：满足方程 的所有的点组成的集合的所有的点组成的集合所有的正整数所构成的集合所有的正整数所构成的集合子集子集:如果集合如果集合 的元素全部都是集合的元素全部都是集合 的元素的元素,则称则称 为为 的

4、子集的子集。记为记为 或或若若 且且 则则有限集、无限集有限集、无限集、空集、空集 1/8/20235河北大学电子信息工程学院第一节第一节 预备知识：集合、映射与数域预备知识：集合、映射与数域2、集合间的运算、集合间的运算并集并集交集交集差集差集和集和集 和集并不是严格意义上集合的运算，因为它限定了集合中元素须有可加性。和集并不是严格意义上集合的运算，因为它限定了集合中元素须有可加性。例：例：1/8/20236河北大学电子信息工程学院第一节第一节 预备知识：集合、映射与数域预备知识：集合、映射与数域二、两个集合中元素之间的对应关系二、两个集合中元素之间的对应关系映射映射1、映射和一一映射、映射

5、和一一映射、两个非空集合两个非空集合 对于对于 中的每一个元素，按照某种确定的法则中的每一个元素，按照某种确定的法则 在在 中有中有一个或者几个元素与之对应一个或者几个元素与之对应，则称则称 是集合是集合 到集合到集合 的的映映射射，记作，记作：或或 原像集合原像集合（或定义域定义域）像集合像集合（或值域值域）（）称称为为元素元素 在映射在映射 下的下的像像 的的原像原像映射：映射：1/8/20237河北大学电子信息工程学院单值映射（简称单射）：单值映射（简称单射）：第一节第一节 预备知识：集合、映射与数域预备知识：集合、映射与数域对对每一个原像点，有且只有一个像点与之每一个原像点，有且只有一

6、个像点与之对应对应，而且，而且对对任意任意 ，当当 时，有时，有 ，则称映射，则称映射 为单值映射（简称单射）；为单值映射（简称单射）；满映射（简称满射）：满映射（简称满射）：如果如果对对任意任意 ，都有一个，都有一个 使得使得 ，则称，则称 为满映射（简称为满映射（简称满射）满射）1/8/20238河北大学电子信息工程学院第一节第一节 预备知识：集合、映射与数域预备知识：集合、映射与数域如果映射如果映射 既为单值映射，又为满映射，则称既为单值映射，又为满映射，则称 是集合是集合 到集到集合合 的一一映射（或称为双映射）。的一一映射（或称为双映射）。一一映射：一一映射：恒等映射（或单位映射恒等

7、映射（或单位映射）即为一一映射）即为一一映射例：例：，1/8/20239河北大学电子信息工程学院2、逆映射、逆映射对对于集合于集合 中的每一个元素中的每一个元素 ，都有，都有 中的元素中的元素 ，使得，使得 ，这，这种由集合种由集合 到集合到集合 中的映射，称为映射中的映射，称为映射 的的逆映射逆映射，记作，记作 或或 设设 是是 阶可逆的实数方阵，阶可逆的实数方阵，和和 均为均为 维实列向量，满足维实列向量，满足例：例：此式表示矩此式表示矩阵阵 为为 的一一映射。的一一映射。又有又有，即即 为其逆映射。为其逆映射。第一节第一节 预备知识：集合、映射与数域预备知识：集合、映射与数域1/8/20

8、2310河北大学电子信息工程学院三、数域三、数域设设 是数的非空集合，按照通常数的运算规则，对其中任何两个元素进行加、是数的非空集合，按照通常数的运算规则，对其中任何两个元素进行加、减、乘、除（分母非零）封闭，减、乘、除（分母非零）封闭，且满足乘法交换律，且满足乘法交换律，则称则称 为一个为一个数域数域。例：例：实数集关于加、减、乘、除四则运算封闭，且满足乘法交换律，实数集关于加、减、乘、除四则运算封闭，且满足乘法交换律，因此它成为一个数域，称其为实数域，记为因此它成为一个数域，称其为实数域，记为 。复数集也成为一个数域，称其为复数域，记为复数集也成为一个数域，称其为复数域，记为 。同同样样，

9、还还有有理数域有有理数域 。第一节第一节 预备知识：集合、映射与数域预备知识：集合、映射与数域 从数域定义可以看出，数域应具有以下特征：从数域定义可以看出，数域应具有以下特征：（1 1）有无穷多元素（为无限集）。）有无穷多元素（为无限集）。（2 2）必须含有零元素和单位数）必须含有零元素和单位数1 1元素。元素。（3 3）任何两元素都可进行四则运算。）任何两元素都可进行四则运算。问题：问题：无理数集、整数集是否构成数域？无理数集、整数集是否构成数域？1/8/202311河北大学电子信息工程学院例例1-11-1证证明：明：证明证明 构成一数域。构成一数域。第一节第一节 预备知识：集合、映射与数域

10、预备知识：集合、映射与数域 设设，令，令（1）（2）（4）（3）又又构成一数域。构成一数域。1/8/202312河北大学电子信息工程学院第二节第二节 线性空间线性空间一、线性空间的定义一、线性空间的定义设设 是非空集合，其元素用是非空集合，其元素用 等表示，并称之为向等表示，并称之为向量；量；为一数域，其元素用为一数域，其元素用 等表示。在等表示。在 与与 中中规定了以下两种运算：规定了以下两种运算：定义定义1.2.1（线性空间）（线性空间）（1 1）规规定定 中任意两元素的加法运算，即对于任意的中任意两元素的加法运算，即对于任意的 ，有惟，有惟一的一的 ；加法运算封闭加法运算封闭（2 2）规

11、规定数域定数域 与集合与集合 中的元素之间的数乘运算（数与向量的乘法），即中的元素之间的数乘运算（数与向量的乘法），即对于任意的对于任意的 和和 ，有惟一的，有惟一的 。数乘运算封闭数乘运算封闭且加法运算和数乘运算分别满足下面八条规则：且加法运算和数乘运算分别满足下面八条规则：（）（）（加法交换律）（加法交换律）（加法（加法结结合律）合律）1/8/202313河北大学电子信息工程学院第二节第二节 线性空间线性空间（）在）在 中存在零元素中存在零元素0，使对任何，使对任何 ，有，有（零元律）（零元律）（）对对任一任一 ，都存在，都存在 的负元素的负元素 ，使得，使得（负负元律）元律）（）对对任一

12、任一 ，都有，都有 （恒等律）（恒等律）（）对对任一任一 ，有，有（数乘（数乘结结合律）合律）（）对对任一任一 ，有，有(数乘分配律数乘分配律)（）对对任意任意 ，有，有(数因子分配律数因子分配律)则则称称 为数域为数域 上的上的线性空间或向量空间线性空间或向量空间。中的元素称中的元素称为为向量向量，中所定义的加法运算和数乘运算统称为中所定义的加法运算和数乘运算统称为 的的线性运算线性运算。注意：注意：“向量向量”的概念已经不在专指的概念已经不在专指 个有序的数组，而是指任何线性个有序的数组，而是指任何线性空间中的任意的元素。空间中的任意的元素。1/8/202314河北大学电子信息工程学院第二

13、节第二节 线性空间线性空间例例1.2.1 若若 为数域，为数域，是分量属于是分量属于 的的 元有序数组的集合，即元有序数组的集合，即若若对对 中任意两个元素中任意两个元素，及及 ，定义加法和数乘数乘运算如下：，定义加法和数乘数乘运算如下：容易容易验证验证，集合集合 构成数域构成数域 上的上的线性空间线性空间。当当 为实数域时，为实数域时，为实数域上的线性空间为实数域上的线性空间 当当 为复数域时，为复数域时，为复数域上的线性空间为复数域上的线性空间 1/8/202315河北大学电子信息工程学院第二节第二节 线性空间线性空间例例1.2.2（矩阵空间）（矩阵空间）（多项式空间（多项式空间）所有元素

14、属于数域所有元素属于数域 的的 矩阵组成的集合按通常定义的矩阵加矩阵组成的集合按通常定义的矩阵加法和数与矩阵的乘法，也构成数域法和数与矩阵的乘法，也构成数域 上的一个线性空间，记为上的一个线性空间，记为 当当 为实数域时，记为为实数域时，记为 ，为复数域时，记为为复数域时，记为 。例例1.2.3 次数不超次数不超过过 的实系数多项式的全体所构成的集合的实系数多项式的全体所构成的集合在通常的多项式加法和多项式乘实系数的运算下，构成实数域上的在通常的多项式加法和多项式乘实系数的运算下，构成实数域上的线性空间，通常记为线性空间，通常记为 1/8/202316河北大学电子信息工程学院第二节第二节 线性

15、空间线性空间（函数空间（函数空间）例例1.2.4 定定义义在区在区间间 上的一切连续的一元实函数的集合，记作上的一切连续的一元实函数的集合，记作 ，对，对通常定义下函数的加法和数乘运算，构成实数域通常定义下函数的加法和数乘运算，构成实数域 上的线性空间。上的线性空间。例例1.2.5 设设 全体正实数全体正实数，其，其“加法加法”及及“数乘数乘”运算定义为运算定义为证证明明 是是 上的线性空间。上的线性空间。证证明：明：设设，则则有有即即 对所定义的加法运算对所定义的加法运算“”与数乘运算与数乘运算“”是封闭的是封闭的 1/8/202317河北大学电子信息工程学院第二节第二节 线性空间线性空间（

16、1）（2）（3）1是零元素，因是零元素，因为为 是是 的负元素，因为的负元素，因为（4）（5 5）（6 6）（7 7）（8 8）由此可证，由此可证，是实数域是实数域 上的线性空间。上的线性空间。1/8/202318河北大学电子信息工程学院第二节第二节 线性空间线性空间线性空间中有惟一的零元素，任一元素也有惟一的负元素。线性空间中有惟一的零元素，任一元素也有惟一的负元素。定理定理1.2.1证明：证明：(1)零元素的惟一性（采用反正法）设存在两个零元素01和02，按零元律和加法交换律，有010201020102 0102（2）负元素的惟一性（采用反正法）设元素 有两个负元素 和 ，根据负元律，有于

17、是由零元律和加法结合律，有负元素惟一。故只有一个零元素。1/8/202319河北大学电子信息工程学院第二节第二节 线性空间线性空间二、线性空间中向量的相关性二、线性空间中向量的相关性设设 是数域是数域 上的线性空间，上的线性空间，是是 的一组向量，的一组向量，如果如果 中有一组不全为零的数，中有一组不全为零的数，使得，使得 则则称向量称向量 线性相关线性相关。定义定义1.2.2（线性相关与线性无关）（线性相关与线性无关）若上式只有在若上式只有在 时才成立，则称这组向量是时才成立，则称这组向量是线性无关线性无关的。的。1/8/202320河北大学电子信息工程学院例例1.2.6 第二节第二节 线性

18、空间线性空间考考虑实虑实数域数域 上的线性空间上的线性空间 中的一组向量（矩阵）中的一组向量（矩阵）的线性相关性。的线性相关性。解：解：设设 ，即，即则则 ，于是，于是 ，线性无关。线性无关。1/8/202321河北大学电子信息工程学院第二节第二节 线性空间线性空间例例1.2.8 考考虑虑 中的一组向量中的一组向量 的线性相关性。的线性相关性。设设 ，即，即 解：解：由此可得：由此可得：系数矩阵为：系数矩阵为：由于由于 ，方程组有非平凡解，方程组有非平凡解 ，线性相关。线性相关。1/8/202322河北大学电子信息工程学院第二节第二节 线性空间线性空间三、线性空间的维数三、线性空间的维数定义定

19、义1.2.3 线线性空性空间间 中最大线性无关元素组所含元素个数称为中最大线性无关元素组所含元素个数称为 的的维数维数，记为，记为 。维维数是数是 的线性空间称为数域的线性空间称为数域 上的上的 维线性空间，记为维线性空间，记为 。例例1.2.9 常系数二阶齐次线性微分方程常系数二阶齐次线性微分方程 的解的集合的解的集合 ，对，对于函数的加法以及函数与数的乘法运算，构成一线性空间。于函数的加法以及函数与数的乘法运算，构成一线性空间。由微分方程的特征方程由微分方程的特征方程两个两个线线性无关的解性无关的解为为 ，。其微分方程的所有解都可。其微分方程的所有解都可以由以由 ，线性表示，即线性表示，即

20、 因此，此线性空间的维数为因此，此线性空间的维数为2，即，即 1/8/202323河北大学电子信息工程学院四、线性空间的基与坐标四、线性空间的基与坐标第二节第二节 线性空间线性空间定义定义1.2.4 设设 是数域是数域 上的线性空间，上的线性空间，是是 的一个非的一个非空子集，如果它满足空子集，如果它满足（）线线性无关；性无关；（）中任一向量都是中任一向量都是 的线性组合。的线性组合。则则称称 为为 的一个的一个基基或或基底基底，并称，并称 为为基向量基向量。例例1.2.10 在在 中，有中，有 ，其中，其中；1/8/202324河北大学电子信息工程学院第二节第二节 线性空间线性空间(1)和和

21、 是两个线性无关向量组。这是因是两个线性无关向量组。这是因为为（2）对于）对于 中任一向量中任一向量 ，都可以分别表示为，都可以分别表示为因此，因此，和和 是是 的两个基。的两个基。1/8/202325河北大学电子信息工程学院第二节第二节 线性空间线性空间定义定义1.2.5 称称线线性空性空间间 的一个基的一个基 为为 的一个的一个坐标系坐标系。设设 为为 的一个基，的一个基，则，则 可惟一的表示成可惟一的表示成 的线性组合。的线性组合。定理定理1.2.2证明：（应用反正法）证明：（应用反正法）设设 经由经由 的线性表示有两个，即的线性表示有两个，即设设向量向量 ，它在该基下的线性表示式为，它

22、在该基下的线性表示式为则则称称 为为 在该坐标系中的在该坐标系中的坐标坐标或或分量分量，记为，记为 。1/8/202326河北大学电子信息工程学院第二节第二节 线性空间线性空间由于由于 为为 的一个基，则的一个基，则 线性无关线性无关即即 可惟一的表示成可惟一的表示成 的线性组合。的线性组合。1/8/202327河北大学电子信息工程学院第二节第二节 线性空间线性空间五、基变换与坐标变五、基变换与坐标变 1、基变换、基变换设设 和和 是是 中的两个基中的两个基 其中矩阵其中矩阵由基由基 到到 的过渡矩阵的过渡矩阵。容易证明过渡矩阵是可逆的（为非奇异矩阵）。容易证明过渡矩阵是可逆的（为非奇异矩阵）

23、。1/8/202328河北大学电子信息工程学院第二节第二节 线性空间线性空间解：由解：由 由基由基 到到 的过渡矩阵为的过渡矩阵为例例1.2.11；在在 中，求由基中，求由基 到到 的过渡矩阵。的过渡矩阵。1/8/202329河北大学电子信息工程学院第二节第二节 线性空间线性空间例例1.2.12已知矩已知矩阵阵空空间间 的两个基的两个基（）（）求由基（求由基（）到基（）到基（）的过渡矩阵。）的过渡矩阵。解：为了计算简便，采用中介基的方法，引进解：为了计算简便，采用中介基的方法，引进 的第三个基的第三个基（）由基（由基（）到基（）到基（）的过渡矩阵为）的过渡矩阵为1/8/202330河北大学电子

24、信息工程学院第二节第二节 线性空间线性空间由基（由基（）到基（）到基（）的过渡矩阵为）的过渡矩阵为由基（由基（）到基（）到基（）的过渡矩阵为）的过渡矩阵为1/8/202331河北大学电子信息工程学院第二节第二节 线性空间线性空间2、坐标变换、坐标变换设设 中的向量中的向量 在两个基在两个基 和和 下的坐下的坐标分别为标分别为 和和1/8/202332河北大学电子信息工程学院第二节第二节 线性空间线性空间例例1.2.13在在 中中,有两个基有两个基若多若多项项式式 在基在基 下的坐标为下的坐标为 ，求，求 在基在基 下的坐标。下的坐标。1/8/202333河北大学电子信息工程学院第二节第二节 线

25、性空间线性空间解：解：在基在基 下的坐标为：下的坐标为：由由1/8/202334河北大学电子信息工程学院第三节第三节 线性子空间线性子空间一、线性子空间的概念一、线性子空间的概念零子空零子空间间，记为记为任何一个非零线性空间任何一个非零线性空间 至少有两个子空间：至少有两个子空间：自身自身 平凡子空间平凡子空间 中其他线性子空间称为中其他线性子空间称为 的的非平凡子空间非平凡子空间。设设 是数域是数域 上的线性空间，上的线性空间，为为 的一个非空子集合，的一个非空子集合，且对且对 已有的线性运算（加法和数乘运算）满足以下条件：已有的线性运算（加法和数乘运算）满足以下条件：定义定义1.3.1（）

26、如果）如果 ，则，则 ；（加法运算封闭）；（加法运算封闭）（）如果）如果 ，则，则 。（数乘运算封闭）。（数乘运算封闭）则则称称 为为 的的线性子空间线性子空间，简称，简称子空间子空间。1/8/202335河北大学电子信息工程学院第三节第三节 线性子空间线性子空间线性子空间的生成线性子空间的生成 该子空间的维数该子空间的维数 即即为为向量向量组组 中，线性无关的向量的个数。而中，线性无关的向量的个数。而 的基可以是向量组的基可以是向量组 中任何一个极大线性无关组。中任何一个极大线性无关组。设设 是数域是数域 上的线性空间，上的线性空间，是是 中中 个向量，其个向量，其所有可能的线性组合构成一非

27、空集合所有可能的线性组合构成一非空集合容易容易验证验证 对对 的线性运算是封闭的，因而的线性运算是封闭的，因而 是是 的一个线性子空间。的一个线性子空间。由由 所生成（或张成）的子空间所生成（或张成）的子空间，记为，记为 或为或为1/8/202336河北大学电子信息工程学院第三节第三节 线性子空间线性子空间定义定义1.3.2设设 ，且，且 。以。以 表示表示 的第的第 个列向量，称子空间个列向量，称子空间 为为矩阵矩阵 的值域的值域（列空间或像空间列空间或像空间），记为），记为显显然，然，且，且 。例例1.3.1在多在多项项式空式空间间 中，次数不高于中，次数不高于 的多项式全体构的多项式全体

28、构成子空间成子空间 ，由于，由于 是该空间的一个基，所以该是该空间的一个基，所以该子空间可以看成是由子空间可以看成是由 生成的子空间，即生成的子空间，即且且 还还可如下生成：可如下生成：？1/8/202337河北大学电子信息工程学院第三节第三节 线性子空间线性子空间同同样样，可定，可定义义 的的值域值域（行空间行空间）为）为的核空的核空间间的的维维数称数称为为 的的零度零度，记为，记为 ，即，即设设 ，且，且 。称集合。称集合 为为 的的核空间核空间（零空间零空间）（由）（由 的解向量所构成的空间），记为的解向量所构成的空间），记为 ，即，即定义定义1.3.31/8/202338河北大学电子信

29、息工程学院第三节第三节 线性子空间线性子空间已知已知 ，求，求 的秩及零度。的秩及零度。例例1.3.2解：解：为为任意参数，从而有任意参数，从而有 。同同样样可以求得可以求得 ，例例1.3.3求方程求方程 的列空间和核空间（的列空间和核空间（像空间和零空间像空间和零空间）。其中）。其中 解：解：1/8/202339河北大学电子信息工程学院第三节第三节 线性子空间线性子空间定理定理1.3.1 设设 是数域是数域 上的线性空间上的线性空间 的一个的一个 维子空间，维子空间，是是 的一个基，则这的一个基，则这 个基向量必可扩充为个基向量必可扩充为 的一个基。换言之，在的一个基。换言之，在 中必可找到

30、中必可找到 个向量个向量 ，使得，使得是是 的一个基。的一个基。1/8/202340河北大学电子信息工程学院第三节第三节 线性子空间线性子空间二、子空间的交与和二、子空间的交与和定理定理1.3.2 如果如果 和和 是数域是数域 上的线性空间上的线性空间 的两个子空间，那么，的两个子空间，那么，它们的交它们的交 也是也是 的子空间。的子空间。证明：证明：首先由于首先由于 ，则则 ，故，故 非空。非空。设设设设是是 的子空间。的子空间。1/8/202341河北大学电子信息工程学院第三节第三节 线性子空间线性子空间定理定理1.3.3如果如果 和和 是数域是数域 上的线性空间上的线性空间 的两个子空间

31、，那么，的两个子空间，那么，它们的和它们的和 也是也是 的子空间。的子空间。证明：证明：显显然，然，非空。非空。对任意对任意 因此因此 是是 的子空间。的子空间。1/8/202342河北大学电子信息工程学院第三节第三节 线性子空间线性子空间定理定理1.3.4 如果如果 ，是数域是数域 上的线性空间上的线性空间 的两个子空间，那么有下面公式的两个子空间，那么有下面公式（维数公式）（维数公式）设设证明：证明：需要证明需要证明 1/8/202343河北大学电子信息工程学院第三节第三节 线性子空间线性子空间例例1.3.6 是是 的两个子空间的两个子空间,是是 中的一个向量中的一个向量 试将其分解成试将

32、其分解成 和和 中两个向量和的形式。中两个向量和的形式。解：设解：设由由 的任意性可知，的任意性可知，有多种有多种选择，即选择，即 在在 和和 下的分解不是下的分解不是惟一的。惟一的。1/8/202344河北大学电子信息工程学院第三节第三节 线性子空间线性子空间如果如果 维线性空间维线性空间 的两个子空间的两个子空间 和和 的维数之和大于的维数之和大于 ，则，则 和和 必含有非零的公共向量。必含有非零的公共向量。推论推论1证明：证明：由假设有由假设有由于由于 是是 的子空间，所以的子空间，所以即即 为非零子空间，必含有非零向量。为非零子空间，必含有非零向量。1/8/202345河北大学电子信息

33、工程学院第三节第三节 线性子空间线性子空间三、子空间的直和三、子空间的直和(子空间之间的特殊情况子空间之间的特殊情况)定义定义1.3.4 如果如果 中任一向量只能惟一地表示成子空间中任一向量只能惟一地表示成子空间 的一个的一个向量和子空间向量和子空间 的一个向量的和，则称的一个向量的和，则称 是是 ，的直和，记为的直和，记为 。定理定理1.3.5 两个子空两个子空间间的和的和 为直和的充要条件是为直和的充要条件是 证明：证明：（1）充分性）充分性 设设，对于，对于，若有，若有1/8/202346河北大学电子信息工程学院第三节第三节 线性子空间线性子空间于是于是 的分解是惟一的的分解是惟一的,为

34、直和。为直和。（2）必要性）必要性假设假设 为直和，并且为直和，并且 中至少有一非零向量中至少有一非零向量 ，因因 也为一子空间，所以有也为一子空间，所以有 。因此。因此 而又有而又有 。这与。这与 为直和相矛盾。因此只能有为直和相矛盾。因此只能有1/8/202347河北大学电子信息工程学院第三节第三节 线性子空间线性子空间设设 ，是线性空间是线性空间 的两个子空间，则的两个子空间，则 的充要的充要条件为条件为 推论推论2证明：证明：由维数公式由维数公式若若 为直和为直和 若若为直和。为直和。推论推论3如果如果 为为 的基，的基，为为 的基，且的基，且 为直和，则为直和，则 为为 的基。的基。1/8/202348河北大学电子信息工程学院由于由于 为直和为直和第三节第三节 线性子空间线性子空间证明：证明：而而 为为 的的 个向量，只需证明它线性无个向量，只需证明它线性无关即可。关即可。设设线性无关。线性无关。1/8/202349河北大学电子信息工程学院例例1.3.7 第三节第三节 线性子空间线性子空间线性空间线性空间 ,是是 的三个子空间的三个子空间1/8/202350河北大学电子信息工程学院