向量空间5.docVIP

三 向量空间 一、向量空间的定义 线性代数是研究向量空间中的线性变换的理论．线性变换是实际运动的数学模型，变换的舞台就是向量空间． 向量空间是由线性变换自然定义的，因为线性变换L是一个集合到另一个集合的映射，这个映射要满足 （1）对于集合V上任意向量u,v,有L(u+v)=L(u)+L(v) （2）对于集合V上任意向量v和任意实数k，有 L(kv)=kL(v) 这个定义要求集合V上的加法和数乘运算满足封闭性：即 （1）任意，有 （2）任意，任意，有 我们把满足以上性质的集合V称为向量空间．容易验证,,,是向量空间．除了零向量空间外，其他所有向量空间V的元素数量是无穷多的．我们希望找到V的有限子集{}（代表，委员会），它能够表达V中任意向量．这里的表达就是指V中任意向量，都存在实数，使得． 定义1.1（线性组合）对于向量，如果存在向量组和实数使得 则称为的线性组合，或者说可以由向量组线性表示． 定义1.2（生成集） 对于向量空间V，如果其中任意向量都可以表达为向量组{}的线性组合，则称向量组{}是向量空间V的生成集． 例1.1 中任何向量都可以表达为两个向量的线性组合．所以{}为的生成集．类似地， 例1.2 的生成集合为{}，其中． 例1.3 的生成集合为{}，其中． 有些向量空间并不好轻易看出其生成集． 例1.4 验证Ax=0的解空间N(A)（又称为A的零空间）为向量空间，当时，求其生成集． 解 ，对应的方程组为 其中为主导变量，其余未知量为自由变量．将自由变量移到等式的右侧，得到，分别令自由变量为，得到原方程的解为 ， 所以A的零空间为 其中 所以为N(A)的生成集． 生成集并不是唯一的． 例1.5 向量空间的一个生成集为,其中 容易验证向量组也是是的生成集，其中 ． 我们称同一个向量空间的两组生成集是等价的． 定义1.3（等价向量组） 设和是等价的，如果两组向量组能彼此相互线性表示． 显然和等价．等价的向量组未必含有数量相等的向量．比如和等价，但是和不等价，因为存在无法由线性表示．显然如果和等价，和等价，则和也是等价的． 对于向量空间V的等价的生成集，自然希望找到集合元素的数量尽可能少的生成集．这种生成集的一个特点是要求其中的向量间无关． 二、向量相关性 对于向量组，如果存在某个向量可以由其他向量线性表示，则称这组向量是线性相关的，否则线性无关．正式地， 定义2.1（线性相关和线性无关）对于向量组，如果存在非零实数：使得，则称向量线性相关．否则，如果方程组 只有零解，则称向量线性无关． 线性相关从字面上看就是这些向量间存在某种线性的函数关系．以两个向量为例，如果满足，则线性相关．而向量一定线性无关．实际上两个向量线性相关和成比例是一回事． 判别给定的向量的相关性就是看方程组是否有非零解．为看出这个问题的本质，令，则方程组可以写成．由方程组理论知道，向量组相关就是有非零解，或者A的行最简型U有对应的自由变量（主导变量之外的未知量）．所以当U的非零行数小于其列数时，相应的向量组线性相关．更简洁地，如果有非零解则A的列向量相关，否则无关． 例2.1 考察向量的线性相关性，其中 解 由于的行最简型的非零行数最多有2个，小于未知量个数n=3，从而齐次方程组一定有非零解，从而一定线性相关． 例2.2 利用等价定理验证的相关性，其中 从这个例子知道验证来自的n个向量线性无关的充要条件是非奇异，或者说行列式． 下面的一些命题证明很简单，但判断相关性时用处很大，记住． 命题1 （1） （2） （3）分量无关，则延展向量也无关． 证明：（1）定义证明；（2）反证；（3）设分量矩阵为，延展向量为．由于 的任意解也满足．而列无关，所以只有零解，所以，得证． 命题2（重要等级*****） 设向量组是来自向量空间的任意m（n）个向量,则必线性相关． 证明：记，，要证明线性相关，只需验证有非零解即可，事实上，由于可以由线性表示，表示记作，令，则，其中为矩阵．由于mn，所以为横型方程组，从而一定有非零，满足，从而，即线性相关． 命题 3（重要等级****） 对向量组进行行变换（就是对矩阵进行行变换）得到则和具有相同的相关性． 证明：对A行变换就是对A左乘可逆阵B，而对于可逆阵B，齐次方程组，等价（就是同解），所以的线性关系与的线性关系不变．换句话说，如果，则必有． 这个结果在处理下面的古典问题中很实用． 定义（最大无关组）给定向量组，如果其子集满足（1）无关；（2）再增加一个向量就相关，则称该子集为向量组的最大无关组． 例2.3 对于下面的向量组的最大无关组，其中 并用最大无关组表示其他向量． 解 显然其中的第一列，第二列和第四列线性无关，从而线性无关，所以最大无关组为，且． 有了以上的准