[数学]矩阵论 第一张.ppt

第一章 线性空间与线性变换 第一节 线性空间 对于任意 ， ，及 ，有 1) ； 2) ； 3) V中存在零元素0，对于任何 ，恒有 ； 4) 对 ，都有 ，使 ； 5) ； 6) ； 7) ； 8) ； 则称 为数域 上一个线性空间，也称向量空间。 1、V中所定义的加法及数乘运算统称为线性运算，其中数乘又称数量乘法．在不致产生混淆时，将数域F上的线性空间简称为线性空间． 2、不管V的元素如何，当F为实数域时，则称V为实线性空间；当F为复数域时，就称V为复线性空间． 例1：复数域 (或实数域R)，对于通常的加法与乘法 (作为数乘)运算，构成复数域 (或实数域R)上的线性空间。 例2：实数域 (作为集合)，对于通常的加法与乘法(作为数乘)运算，不能构成复数域 上的线性空间。因为 这里 ， ， 易证明线性空间定义中八条性质都成立， 因此 是 上的线性空间。 类似地可证对 通常的多项式加法及数乘 运算也构成数域 上的线性空间。 例7 常系数二阶齐次线性微分方程 的解的集合 ，对于函数加法及数与函数乘法有：若 ，则 ，当 时，则 ．即 关于这两种运算是封闭的，且满足定义1中的八条性质，故构成了R上的线性空间． 基本性质： 1°零元素唯一； 2°任一元素的负元素唯一； 3° ；特别有 ， ； 4°如果 ，那么 。 向量的线性相关性 定义2 设 是数域 上的线性空间， 是 中一组向量， 是数域 中的数，如果 中向量 可以表示为 ， 则称 可由 线性表示(线性表出)，或称 是 的线性组合． 容易证明向量组之间的等价具有如下性质： (1) 自反性：每一个向量组都与它自身等价； (2) 对称性：如果向量组 与 等价，那么向量组 也与 等价； (3) 传递性：若向量组 与 等价，且向量组 与 等价，则向量组 与 等价． 定义4 设 为数域 上的线性空间， 是 中一组向量，如果存在 个不全为零的数 使得 ， 则称 线性相关；如果向量组不线性相关，就称为线性无关． 定理 2 设 为数域 上的线性空间，中一个向量 线性相关的充分必要条件是 ； 中一组向量线性相关的充分必要条件是其中有一个向量是其余向量的线性组合． 例8 实数域 上线性空间 的一组向量(矩阵) 是线性无关的． 事实上，如果