矩阵线性空间续.docxVIP

PAGE / NUMPAGES 9.2 矩阵与线性空间（续1） 二、矩阵与元向量的线性运算 以表示数域上的所有矩阵构成的集合，下面定义中两个矩阵的加法及数域的数与中的矩阵的乘法（简称数乘）. 定义13 设，定义矩阵与的和是中的矩阵，记为，其中即 定义14 设定义数与矩阵的积为矩阵矩阵，记为，即 例4 设 求 解 定义15 把中的矩阵称为阶方阵，阶方阵的元素按原来的位置构成的行列式，称为方阵的行列式，记为 例5 设，计算的值. 解 矩阵的加法与数乘满足下面八条性质：（下面的矩阵是集合中的任意矩阵，是数域中的任意数） 加法满足交换律：； 加法满足结合律：； ，其中为零矩阵，即每个元素都为零的矩阵，为任意矩阵； 设矩阵，称矩阵为矩阵的负矩阵，记为.对任意矩阵，有； ； ； ； 我们把集合叫做数域上的矩阵空间，把（或）称为数域上的元向量空间，记为 三、线性空间和子空间 1.线性空间的定义 定义16设是一个非空集合，是一个数域，在集合的元素之间定义了称为加法的运算，在数域与的元素之间定义了称为数乘的运算. 如果对于任意都有，又对任意和都有，且加法与数乘运算满足如下的八条规则（对任意和）： （1）； （2）； （3）存在零元素，使得 （4）存在的负元素，使得； （5）； （6）； （7）； （8）. 那么称为数域上线性空间，线性空间的元素称为向量. 是数域上的线性空间. 复数域是实数域上的线性空间. 例6 系数属于数域的一切多项式所成的集合，对于多项式的加法和数与多项式的称法，构成数域上的线性空间，记这个线性空间为 2.子空间 定义17 设是数域上的线性空间的一个非空子集，若对于的两个线性运算也构成数域上的一个线性空间，就称是的一个子空间. 与都是的子空间，这两个子空间称为的平凡子空间，的其他子空间称为非平凡子空间. 和都是实数域上的线性空间，是的子空间. 定理4 设是数域上线性空间的非空子集，若对于的加法和数乘是封闭的，则是的子空间. 例7 设为固定是实数，则在几何空间里，集合 与 分别是的子空间. 例8 在里，集合 是的一个子空间. 例9 在多项式空间里，次数小于的所有多项式和零多项式所成的集合，是的一个子空间，这个子空间记为 四、向量组的线性相关性 1.线性组合和等价向量组 定义18 设都是数域上的线性空间中的向敛，若存在数域中的数使得 ， 则称是的线性组合，或程可由线性表示. 如向量可由向量组线性表示. 例11 设 问是否可以由向量组线性表示？如能求出一组组合系数. 解 设则 这是一个关于的线性方程组，对其增广矩阵做初等行变换. 取为自由未知量，令，则，可得线性方程组的一般解为 令，可得易一组组合系数 于是， 设是数域上的线性空间，，则 是的一个子空间. 定义19 设是数域上的线性空间，，把子空间 称为由生成的子空间，记为 设是数域上的线性空间， （Ⅰ）：； （Ⅱ）： 是中的两个向量组，如果向量组（Ⅱ）中的每个向向量都可以由向量组（Ⅰ）线性表示，则称向量组（Ⅱ）可由向量组（Ⅰ）线性表示. 定义20 如果向量组（Ⅰ）和向量组（Ⅱ）可以相互线性表示，则称向量组（Ⅰ）和向量组（Ⅱ）等价. 定理5 设向量可以由向量组（Ⅰ）线性表示，向量组（Ⅰ）可以由向量组（Ⅱ）线性表示，则向量可以由向量组（Ⅱ）线性表示. 定理6 向量组与向量组等价. 作业 P122:9. 部分习题选解 9.把向量表成的线性组合.这里， 解 设，则 这是一个关于的线性方程组，对其增广矩阵作初等行变换. 于是， 故于是