[理学]第一章 线性空间与线性变换.docVIP

第一章 线性空间与线性变换 线性空间与线性变换是学习现代矩阵论时经常用到的两个极其重要的概念．本章先简要地论述这两个概念及其有关理论，然后再讨论两个特殊的线性空间，这就是Euclid空间和酉空间． §1.1 线性空间 线性空间是线性代数最基本的概念之一，也是学习现代矩阵论的重要基础，所考虑的数域是实数域(记为)和复数域(记为)，统称数域． 一、线性空间的定义及性质 定义1 设是一个非空集合，是一数域．如果存在一种规则，叫做的加法运算：对于中任意两个元素，总有中一个确定的元素与之对应．称为的和，记为．另有一种规则，叫做对于的数乘运算：对于中的任意数及中任意元素，总有中一个确定的元素与之对应，叫做与的数乘，记为．而且，以上两种运算还具有如下的性质： 对于任意，，及，，有 1)； 2)； 3)中存在零元素０，对于任何，恒有； 4)对于任何，都有的负元素，使； 5)； 6)；(式中是通常的数的乘法) 7)；(式中是通常的数的加法) 8)． 则称为数域上的一个线性空间，也称向量空间． 中所定义的加法及数乘运算统称为线性运算，其中数乘又称数量乘法．在不致产生混淆时，将数域上的线性空间简称为线性空间． 需要指出，不管的元素如何，当为实数域时，则称为实线性空间；当为复数域时，就称为复线性空间． 线性空间称为零空间． 例1 任何数域(作为集合)，对于通常的数的加法与乘法(作为数乘)运算，都构成此数域上的线性空间． 例2 实数域作为集合，对于通常的数的加法及乘法(作为数乘)运算，不能构成复数域上的线性空间． 因为． 例3 以数域上的数为系数的多项式称为数域上的多项式．数域上的、以为变量的全体多项式的集合记为；次数小于的全体多项式的集合记为． 可以证明，对于通常的多项式加法及多项式数乘运算构成数域上的线性空间． 对于多项式，设 ， ， 这里，于是 ，对于任何，有．易证明线性空间定义中的八条性质都成立，因此是上的线性空间． 类似可证对于通常的多项式加法及数乘运算也构成数域上的线性空间． 例4 数域上的维列(或行)数组向量的全体所构成集合记为，它对于数组向量加法、数乘运算构成上的线性空间． 例5 数域上的矩阵的全体构成的集合记为，它对于矩阵加法、数乘运算构成数域上的线性空间． 例6 定义在上的实函数全体的集合，对于函数加法、数乘运算构成实数域上的线性空间． 例7 常系数二阶齐次线性微分方程 的解的集合，对于函数加法及数与函数乘法有：若，则，当时，则，即关于这两种运算是封闭的，且满足定义１中的八条性质，故构成了上的线性空间． 定理1 设是数域上的线性空间，则 1) 中零元素惟一； 2) 中任一元素的负元素惟一；，用表示的负元素； 3) ；特别有，； 4) 如果，那么． 证 这里仅证明2)，其余的证明留给读者去完成． 假设有两个负元素与，则，，从而 ． 二、向量的线性相关性 在线性代数中，已讨论了维数组向量的性质：线性表示，等价性，线性相关性等，对于一般的数域上的线性空间也有类似结果． 定义2 设是数域上的线性空间，是中一组向量，是数域中的数，如果中向量可以表示为 ， 则称可由线性表示(线性表出)，或称是的线性组合． 定义3 设与是线性空间中两个向量组，如果中每个向量都可由向量组线性表示，则称向量组可以由向量组线性表示．如果向量组与向量组可以互相线性表示，则称向量组与向量组是等价的． 容易证明向量组之间的等价具有如下性质： (1) 自反性 每一个向量组都与它自身等价； (2) 对称性 如果向量组与等价，那么向量组也与等价； (3) 传递性 若向量组与等价，而且向量组与等价，则向量组与等价． 定义4 设为数域上的线性空间，是中一组向量，如果存在个不全为零的数使得 ， 则称线性相关；如果向量组不线性相关，就称为线性无关． 由定义4可得向量组线性相关定义的另一说法． 定理 2 设为数域上的线性空间，中一个向量线性相关的充分必要条件是；中一组向量线性相关的充分必要条件是其中有一个向量是其余向量的线性组合． 证 如果一个向量线性相关，由定义4可知，有，使 ， 由定理1 的4)知． 反之，若，由对任意数都有．由定义4知，向量线性相关． 如果向量组线性相关，则存在不全为零的数，使得， 因为不全为零，不妨设，于是上式可改写为 ， 即向量是其余向量的线性组合． 反过来，如果向量组中有一个向量是其余向量的线性组合，譬如说 ， 上式可写为 ， 因为不全为零，由定义4知，向量组线性相关． 例8 实数域上线性空间的一组向量(矩阵) 是线性无关的． 事实上，如果 ， 即 ， 则．因此，满足的只能全为零，于是线性无关． 定理3 设为数域上的线性空间，如果中向量组线性无关，并且可由向量