1线性空间和线性映射.ppt

《1线性空间和线性映射.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第一节线性空间一：线性空间的定义与例子定义设是一个非空的集合，是一个数域，在集和中定义两种代数运算,一种是加法运算,用来表示;另一种是数乘运算,并且这两种运算满足下列八条运算律：第一章线性空间和线性映射北京理工大学高数教研室（1）加法交换律（2）加法结合律（3）零元素在中存在一个元素，使得对于任意的都有（4）负元素对于中的任意元素都存在一个元素使得（5）北京理工大学高数教研室（6）（7）（8）且这两种运算满足封闭性，则称这样的为数域上的线性空间。例1全体实函数集合构成实数域上的线性空间。例2复数域上的全体型矩阵构成的集合为上的线性空间。北京理工大学高数教研室例3实数域上全体次

2、数小于的多项式集合构成实数域上的线性空间例4全体正的实数在下面的加法与数乘的定义下也构成线性空间：例5实数矩阵的核（或零）空间：方程组的解空间，记为北京理工大学高数教研室例6矩阵的列空间（或值域）：记为二：线性空间的基本概念及其性质向量：线性空间的元素称为向量定义:线性组合；线性表出；线性相关；线性无关；向量组的极大线性无关组；向量组的秩北京理工大学高数教研室基本性质：（1）含有零向量的向量组一定线性相关；（2）整体无关部分无关；部分相关整体相关；（3）如果含有向量多的向量组可以由含有向量少的向量组线性表出，那么含有向量多的向量组一定线性相关；（4）向量组的秩是唯一的，但是其

3、极大线性无关并不唯一；（5）如果向量组（I）可以由向量组（II）线性表出，那么向量组（I）的秩向量组（II）的秩；（6）等价的向量组秩相同。北京理工大学高数教研室例1实数域上的线性空间中，函数组是一组线性无关的函数，其中为一组互不相同的实数。例2实数域上的线性空间中，函数组是一组线性无关的函数，其中为一组互不相同的实数。例3实数域上的线性空间中，函数组也是线性无关的。北京理工大学高数教研室例4实数域上的线性空间空间中，函数组与函数组都是线性相关的函数组。定理1.1.1如果向量组A:a1,a2,……,am线性无关，而向量组B:a1,a2,……,am,b线性相关,那么向量b可由向

4、量组A线性表示且表法唯一.北京理工大学高数教研室定义设为数域上的一个线性空间。如果在中存在个线性无关的向量使得中的任意一个向量都可以由线性表出则称为的一个基底；为向量在基底下的坐标。此时我们称为一个维线性空间，记为例1实数域上的线性空间中向量组与向量组第二节线性空间的基底、维数与坐标变换北京理工大学高数教研室都是的基。是3维线性空间。例2实数域上的线性空间中的向量组与向量组都是的基。是4维线性空间。例3实数域上的线性空间中的向量组北京理工大学高数教研室与向量组都是的基底。维数为注意：通过上面的例子可以看出线性空间的基底并不唯一，但是维数是唯一确定的。利用维数的定义线性空间可以

5、分为有限维线性空间和无限维线性空间。目前，我们主要讨论有限维的线性空间。例4在4维线性空间中，向量组北京理工大学高数教研室与向量组是其两组基，求向量在这两组基下的坐标。解：设向量在第一组基下的坐标为北京理工大学高数教研室于是可得解得同样可解出在第二组基下的坐标为北京理工大学高数教研室由此可以看出：一个向量在不同基底下的坐标是不相同的。基变换与坐标变换设（旧的）与（新的）是维线性空间的两组基底，它们之间的关系为北京理工大学高数教研室将上式矩阵化可以得到下面的关系式：称阶方阵北京理工大学高数教研室是由旧的基底到新的基底的过渡矩阵，那么上式可以写成定理：过渡矩阵是可逆的。北京理工大

6、学高数教研室任取，设在两组基下的坐标分别为与，那么我们有：称上式为坐标变换公式。例1在4维线性空间中，向量组北京理工大学高数教研室与向量组北京理工大学高数教研室为其两组基，求从基到基的过渡矩阵，并求向量在这两组基下的坐标。解：容易计算出下面的矩阵表达式北京理工大学高数教研室北京理工大学高数教研室向量第一组基下的坐标为利用坐标变换公式可以求得在第二组基下的坐标为北京理工大学高数教研室北京理工大学高数教研室例2教材13页例1.2.6第三节线性空间的子空间定义设为数域上的一个维线性空间，为的一个非空子集合，如果对于任意的以及任意的都有那么我们称为的一个子空间。例1对于任意一个有限维

7、线性空间，它必有两个平凡的子空间，即由单个零向量构成的子空间北京理工大学高数教研室以及线性空间本身。例2设，那么线性方程组的全部解为维线性空间的一个子空间，我们称其为齐次线性方程组的解空间。当齐次线性方程组有无穷多解时，其解空间的基底即为其基础解系；解空间的维数即为基础解系所含向量的个数。例3设为维线性空间中的一组向量，那么非空子集合北京理工大学高数教研室构成线性空间的一个子空间，称此子空间为有限生成子空间，称为该子空间的生成元。的基底即为向量组的极大线性无关组，的维数即为向量组的秩。例4实数域上的线性