第四章 向量空间1.pptVIP

§4.1 向量空间 故 (2) 如果 和 线性无关, 则 和 均为非零向量, 且对任 意实数 , 有 , 从而 由于对任何实数 , 上面的不等式总是成立. 特别取 代入上面的不等式得: 所以 开方得 综合上述两种情形, 定理得证. (柯西-布涅可夫斯基) 基与坐标 定义4.4 在 中, 个线性无关的向量 称为 的一组基. 复 习 定义4.5 设 是 中的一组基, 如果 中 的向量 可以表示为 则称 为 关于基 的坐标. 记为 注: 向量 关于某一组基的坐标是唯一的, 而关于不 同的基, 其坐标一般是不同的. 矩阵 称为由基 到 基 的过渡矩阵. 称之为由基 到基 的基变换. 基变换与坐标变换 设 和 是 中的两组基. 由 基 到基 的过渡矩阵为 , 关 于基 和 的坐标分别为 和 , 则 或 上面的这两式称为坐标变换公式. 坐标变换公式. 向 量 内 积 定义4.8 给定 中的向量 实数 称为向量 和 的内积, 记为 或者 向量长度 定义4.9 设 为 中任意向量, 将非负实数 定义 为 的长度, 记为 . 即若 则有 4.2.3. 向量正交 定义4.10 如果向量 和 的内积等于零, 即 则称 和 互为正交. 如果非零向量组 中两两向量正交, 即 则称该向量组为正交向量组. 例如, 设 则有 所以 与 正交. 正交向量(组)的性质: 1. 零向量与任何向量正交. 2. 与自己正交的向量只有零向量. 3. 正交向量组是线性无关的. 证明: 设 是正交向量组, 设有数 使得 上式两端与正交向量组中任一向量 作内积得 因为 从而 所以有 又因为 所以 再由 的任意性, 可推出 故向量组 是线性无关的. 4. 对任意向量 和 有三角不等式 当且仅当 和 互为正交时, 证明: 根据内积的性质和柯西-布涅可夫斯基不等式得: 两端开平方得 当且仅当 和 互为正交, 即 时, 由(4.5)式得 §4.3 正 交 矩 阵 4.3.1. 的标准正交基 定义4.11 如果 中的 个向量 满足 (1) 两两正交, 即 (2) 都是单位向量, 即 则称 为 的一组标准正交基. 若利用克罗内克(Kornicker)符号 则 是标准正交基等价于它们满足 如果令 则 容易验证 的一组基 是一组常用标准正交基. 4.3.2. 两组标准正交基间的过渡矩阵 设 的两组标准正交基 和 间的 过渡矩阵为 则有下列等式 若令 上式可写为 将(4.6)式两端转置得 由(4.6)和(4.7)得 因为 和 均为标准正交基, 所以 故 即过渡矩阵 满足性质 * 4.1.1. 向量空间 定义4.1 数域 上的所有 维向量组成的集合, 在其上 定义了向量的线性运算, 且满足八条运算律, 称为 数域 上的 维向量空间. 记作 例如, 实数域 上的 维向量空间 , 即 这是我们本章讨论的重点. 特别地, 平面上所有起点在原点的向量(有向线段)组成 的集合, 对于向量的加法(平行四边形法则)和数乘运算 就构成了数域 上的二维向量空间, 记为 即 三维空间中所有起点在原点的向量组成的集合, 对于向 量的加法和数乘运算组成了一个数域 上的三维向量 空间, 记为 . 即 注: 通常称为几何空间. 有时 和 中的元素也可 用列向量形式表示: 定义4.