11.5 向量空间.ppt

* §11.5　　向量空间 １．向量的概念及其线性运算． ２．向量间的线性相关性． ３．向量空间及其基表示． 在解析几何中，我们已经见到在三维空间建立了直角坐标系后，任意向量都可以表示为 几何上表示空间的有向线段． 而且我们也已知，空间的点与向量之间有一一对应关系． 因此，空间所有点的集合就可以记成 而此式也可表示空间的所有向量的集合． 我们权且称为三维向量空间． 下面我们先推广向量的概念，然后再给出向量空间的定义． 一、向量的概念及其线性运算． 定义１ n个有序的数 所组成的数组称 为n维向量． 这n个数称为该向量的n个分量，第k个数称为第k个分量． 如果所有的分量全是实数，则是实向量； 分量为复数的向量叫复向量． 我们把n维向量记为 （列矩阵） 或 （行矩阵） vector component 按定义，上面的两个向量是同一向量，但我们宁可认为二者不同，这对处理问题来说是比较方便的． 例　一个m×n阶矩阵 的每一行构成一个n维行向量，故矩阵Ａ可记作 其中　　是矩阵的第　行的元素组成的n维行向量 类似地， 是m维列向量． 含n个未知数的线性方程组 的每一个解 是一个n维向量，叫解向量． 我们可以直观地了解这样一个事实： 若干个同维数的行（列）向量组成的有序组（叫向量组）总可以与矩阵是一一对应的． 如 向量的加法： 则 注意：只有同维数的两个向量才可相加． 数乘向量： 若k是一个数，则 向量加法和数乘向量有类似于矩阵加法及数乘矩阵的运算规律．见教材48页． 向量加法和数乘向量统称向量的线性运算． 下面介绍向量的线性运算问题． 首先，若两个向量相等，是指对应分量相等． 即 补充线性组合的定义： 给定向量组 则对任何一组数（实或复） 表达式 称为向量组A 的一个线性组合， 称为这个组合的系数． 例如 就是向量组 的一个 线性组合． 给定向量组 及向量b， 若存在一组数 使得 即向量b 是向量组Ａ的线性组合，则称b可由向量组Ａ线性表示． 比如说在解析几何中，我们已知任何一个三维向量a 都可以用基本向量 线性表出． 显然b可由向量组Ａ线性表出的条件是线性方程组 有解． 二、向量组的线性相关性 线性相关关系是代数中以至于是数学中最重要的概念之一．它可以是任何对象的线性关系． 定义２　对于给定的r个向量 若存在不全 为零的r个数 使 则称向量组 是线性相关的，否则线性无关． １．实际上，线性无关是指 成立 说明 ２．下面我们给出一个常用的等价命题． 补充命题：向量组 线性相关当且仅当 其中的一个向量可由另外的r－１个向量线性表出． 证明 必要性． 由于 线性相关，则由定义知，存在不 全为零的数 使 不妨设 于是等式可变为 即　可由 线性表示．必要性成立． 充分性显然． ６．向量组 线性相关当且仅当齐次方程组 有非零解． 注意：若记 则方程组可记为 此命题的一个特例是： n个n维向量 线性相关的充要条件是 （由Cramer法则） 因此，若 则必线性无关． 解 例１ 故 由说明６，知n维单位向量组 线性无关． 例２ 解 由克莱母法则，线性方程组 有非零解． 据说明６， 线性相关． 但由于 的对应分量不成比例， 据说明５，　　线性无关． 证 由于向量的线性相关性在代数中的重要性，我们再给出几个关于此类性质的重要结论，来结束相关性的讨论．更多的例子需要各位自己探讨． 性质１ 若一个向量组的部分向量是相关的，则该向量组线性相关． 特别地，含零向量的向量组必定相关． 性质２　若一个向量组线性无关，则其部分向量组成的向量组必定线性无关． 实际上，性质２是性质１的逆否命题． 性质３　若一个向量组所含向量的个数大于其中向量的维数，则必定线性相关． 有时经常说成：“n＋１个n维向量必相关”． 这由方程组的理论可证． 性质４　设向量组 线性无关， 则向量b必可由 线性表示，且表示式是惟一的． 以上关于线性相关性的说明和性质是经常使用的，故有心的同学需要多下点工夫． 线性相关， 但向量组 补充习题： 向量a、b无关，但a、b、c相关，而a、b、d无关，问三个向量a、b、c＋d是否相关？ 说明您的理由． 三、n维向量空间及其基与维数 定义３ 前面我们把三维向量的全体权且称为三维向量空间，现在我们给出向量空间的比较确切的定义． 设Ｖ是非空的n维向量的集合，Ｆ是一个数域．如果对向量的加法运算和数乘向量的运算来说，Ｖ是封闭的，则称Ｖ是数域Ｆ上的一个向量空间． 关于定义的一些说明： １．这是数学中向量空间定义的一种具体化．在数学中，集合Ｖ的元素可以是任何对象，只是把他们叫做向量罢了． ２．数域是满足一定条件的数的集合．常见的有：有理数域、实数域及复数域．我们一般指实数域． ３．定义中所谓的对加法和数乘封闭是指： 若 则 这是我们教材上对向量空间的定义 *