第八章欧氏空间.doc.docVIP

第八章 欧氏空间 1、教学目标；掌握欧氏空间的基本概念与定理，正交变换。 2、教学重、难点：正交变换 3、教学时数：17课时 第一节 内积与欧氏空间 定义 1 ? 内 积 ： 是 一 个 两 元 实 函 数 , 满 足 条 件 ? ? ? ? ? ? ? ? ? ? ? ? ?当? ? 当 且 仅 当 ?  定义 2 ? 具有内积的 实 数 域 上 的 线 性 空 间 称 为 欧氏空间. 例子 1 ? 通常所定义的那样,定义二元函数 例子 2 ? 如通常所定义的那样,定义二元函数 那么为欧氏空间 有 关 内 积 的 两 个 不 等 式. 性质 1 ? 设 为 欧 氏 空 间 的 一 个 内 积, 则 柯 西 不 等 式： ; 三 角 不 等 式： 一 些 名 词 术 语: 向 量 长 度： ; 非 零 向 量 的 夹 角： 单 位 向 量 与 单 位 化： ; . 欧 氏 空 间 的 基、坐标与 任 意 两 个 元 素 的 内 积的关系 定理 1 ? 设 , , , 则 上 面 的矩 阵 称 为 基 的 度 量 矩 阵. 基 的 度 量 矩 阵 有 着 良 好 的 性 质. 性质 2 ? 度 量 矩 阵 是 正 定 的. 性质 3 ? 不 同 基 础 下 的 度 量 矩 阵 是 合 同 的. 标 准 正 交 基 定义 1 ? 欧 氏 空 间 的 一 组 非 零 向 量 , 如 果 他 们 两 两 正 交 的 , 就 称 为 正 交 向 量 组 . 因 为 有 性 质 性质 4 ? 正 交 的 向 量 组 一 定 是 线 性 无 关 的. 所 以 引 入 定义 2 ? 欧 氏 空 间 的 一 组 基 , 如 果 他 们 两 两 正 交 的 , 就 称 为 标 准正 交 基 . 出 了 上 面 的 联 系, 线 性 无 关 的 向 量 组 和 正 交 向 量 组 之 间 可 以 互 化. 先 来 了 解 转 化 过 程--- 有 名 的 Schimidt 正 交 化 方 法. 然 后 再 给 出 主 要 定 理 的 证 明. 例子 1 ? 已知线性无关的向量组 ,求一组向量 ,使得 解：设存在一系列未知数使得 ? ? ? ? ? ? ? ? ? ? 代入条件 ,依次求出这些未知数 这些关系是用矩阵来可以看得很清楚 定理 1 ? 维 欧 氏 空 间 中 任 一 个 正 交 向 量 组 都 可 以 扩 充 为 一 组 正 交 基. 定理 2 ? 对 于 维 欧 氏 空 间 中 任 一 组 基 都 可 以 找 到 一 组 正 交 基, 使 得 定义 3 ? 阶 实 矩 阵 称 为 正 交 矩 阵, 如 果 . 欧氏空间的同构 定义 1 ? 实 数 域 上 欧 氏 空 间 与 称 为 同 构 的, 如 果 由 到 有 一 个1-1 的 映 上 的 映 射, 适 合 ? ? ? ? ? ? ? ? ? 这 里 , 这 样 的 映 射 称为 到 的 同 构 映 射. 正 交 变 换 与 正 交 矩 阵 定义 1 ? 正 交 变 换： 双 射 , 使 得 1) 2) 3) 称 为 正 交 变 换. 定理 1 ? 设 是 一 个 线 性 变 换, 则 以 下 四 个 结 论 等 价 (i) 是 一 个 正 交 变 换； (ii) 是 一 个 保 长 度 的 变 换； (iii) 是 一 个 保 标 准正 交 基 的 变 换； (iv) 在 一 组 标 准正 交 基 的 矩 阵 是 正 交 矩 阵 变 换. 正交补空间 定义 1 ? 假设是的两个子空间,如果对任意的 均有 则称是正交的,记为 . , 定理 1 ? 如果子空间 两两正交,那么 是直和 定义 2 ? 假设是的两个子空间,如果对任意的称为 的正交补,如果 且 定理 2 ? 正交补的存在性 欧氏空间的每一个子空间均有唯一的正交补 证明唯一性 ? ? ? ? ? ? ,那么 . 计算内积 所以 同理可证, 得 对称矩阵的对角化 已知的结论是：任意的一个对角矩阵,均有一个可逆的矩阵使得 为对角形.利用欧氏空间的性质,可以将这一方法加强.主要结果是： 对于任意的实的矩阵,都存在一个阶的正交的矩阵,使得 为对角形. 为此引入 引理 1 ? 实的对称矩阵的特征值为实数. 引理 2 ? 设是实对称矩阵,且定义如下 ? ? ? 则对任意 ,有 定义 1 ? 欧氏空间中满足上市的线性变换称为对称变换. 引理