《矩阵分析》PPT课件

《《矩阵分析》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、矩阵分析参考书　矩阵分析引论　　罗家洪编矩阵论　　　　　程云鹏编教材：矩阵分析　史荣昌等编矩阵理论是一门最有实用价值的数学理论。在现代工程技术中有广泛的应用。算法处理，系统工程，优化方法，现代控制理论，自动化技术，稳定性理论等，都与矩阵理论有着密切的联系。矩阵理论在内容上也在不断的更新和发展。本课程只介绍矩阵理论中最经典的一部分。它是线性代数课程的继续和深化。为了学好这门课程，希望同学们好好复习一下线性代数，特别向量、矩阵、二次型的相关内容。第一节线性空间一：线性空间的定义与例子定义设是一个非空的集合，是一个数域，在集和中定义两种代数运算,一种是加法运算,用来表示;另一种是数乘运算,用来表

2、示,并且这两种运算满足下列八条运算律：第一章线性空间和线性映射实数域R复数域C运算的结果是V中的元素（1）加法交换律（2）加法结合律（3）零元素在中存在一个元素，使得对于任意的都有（4）负元素对于中的任意元素都存在一个元素使得（5）（6）（7）（8）称这样的为数域上的线性空间。例1全体实函数集合构成实数域上的线性空间。例2复数域上的全体型矩阵构成的集合为上的线性空间。按函数的加法和数乘函数按矩阵的加法和数乘矩阵V中的元素称为向量例3实数域上全体次数小于或等于的多项式集合构成实数域上的线性空间例4全体正的实数在下面的加法与数乘的定义下也构成线性空间：例5表示实数域上的全体无限序列组成的的集合

3、。即在中定义加法与数乘：则为实数域上的一个线性空间。例6在中满足Cauchy条件的无限序列组成的子集合也构成上的线性空间。Cauchy条件是：使得对于都有例7在中满足Hilbert条件的无限序列组成的子集合不构成上的线性空间。Hilbert条件是：级数收敛例8在中有界的无限序列组成的子集也构成上的线性空间。一个无限序列称为有界的，如果存在一个实数，使得定理1:线性空间有唯一的零元素,任一元素有唯一的负元素.定义１线性组合向量能由向量组线性表示．二：线性空间的基本概念及其性质定义2则称向量组是线性相关的，否则称它线性无关．定理3向量组（当时）线性相关的充分必要条件是中至少有一个向量可由其余个

4、向量线性表示．定理4：定义3最大线性无关向量组最大无关组最大（线性）无关向量组秩基本性质：（1）含有零向量的向量组一定线性相关；（2）整体无关部分无关；部分相关整体相关；（3）如果含有向量多的向量组可以由含有向量少的向量组线性表出，那么含有向量多的向量组一定线性相关；（4）向量组的秩是唯一的，但是其极大线性无关组并不唯一；（5）如果向量组（I）可以由向量组（II）线性表出，那么向量组（I）的秩向量组（II）的秩；（6）等价的向量组秩相同。例2实数域上的线性空间中，函数组是一组线性无关的函数，其中为一例1实数域上的线性空间中，函数组也是线性无关的。例3实数域上的线性空间中，函数组组互不相同的

5、实数。是一组线性无关的函数，其中为一组互不相同的实数。例4实数域上的线性空间空间中，函数组是线性相关的函数组。函数组是线性相关定义设为数域上的一个线性空间。如果在中存在个线性无关的向量使得中的任意一个向量都可以由线性表出第二节　线性空间的基底，维数与坐标变换为向量在基底下的坐标。此时我们称为一个维线性空间，记为１．向量的坐标是唯一的２．向量的相关性与坐标的相关性一致例1实数域上的线性空间中向量组与向量组都是的基。是3维线性空间。要验证：１．向量组无关．２．任一向量可以由它们表示．例2实数域上的线性空间中的向量组与向量组都是的基。是4维线性空间。与向量组都是的基底。的维数为例3实数域上的线性

6、空间中的向量组注意：通过上面的例子可以看出线性空间的基底并不唯一，但是维数是唯一确定的。利用维数的定义线性空间可以分为有限维线性空间和无限维线性空间。目前，我们主要讨论有限维的线性空间。例4在4维线性空间中，向量组与向量组是其两组基，求向量在这两组基下的坐标。解：设向量在第一组基下的坐标为解得于是可得同样可解出在第二组基下的坐标为设（旧的）与（新的）是维线性空间的两组基底，它们之间的关系为由此可以看出：一个向量在不同基底下的坐标是不相同的。基变换与坐标变换将上式矩阵化可以得到下面的关系式：称阶方阵记为Ｐ是由旧的基底到新的基底的过渡矩阵，那么上式可以写成提示ＰＸ＝０只有零解定理：过渡矩阵是可

7、逆的。任取，设在两组基下的坐标分别为与，那么我们有：例1在4维线性空间中，向量组称上式为坐标变换公式。与向量组为其两组基，求从基到基的过渡矩阵，并求向量在这两组基下的坐标。解：容易计算出下面的矩阵表达式向量第一组基下的坐标为利用坐标变换公式可以求得在第二组基下的坐标为例1对于任意一个有限维线性空间，它必有两个平凡的子空间，即由单个零向量构成的子空间定义设为数域上的一个维线性空间，为的一个非空子集合，如果对于任意的以及任意