第一节二次型和对称矩阵.ppt

作业 P260-261 1,3,4 * * * * 9.2 标准正交基 9.4 正交变换 9.1 欧氏空间的定义及基本性质 9.5 对称变换和对称矩阵 9.6 主轴问题 9.7 酉空间 9.3 正交子空间 一、向量的内积、欧氏空间的定义 二、向量的长度、两非零向量的夹角 三、两向量正交、两向量距离的定义、性质 一、向量的内积、欧氏空间的定义 1) 2) 3) 4) 当 时, 定义1 设V是实数域R上一个向量空间. 如果对于 V中任意一对向量 有一个确定的记作 的实数与它们对应，并且下列条件被满足： 这里 是V的任意向量，a是任意实数， 那么 这个内积来说的一个欧几里得空间（简称欧氏空间）. 叫做向量ξ与η的内积，而V叫做对于 例1 在 规定 里,对于任意两个向量 容易验证,关于内积的公理被满足,因而 对于这样定义的内积来说作成一个欧氏空间. 例2 在 规定 里,对于任意向量 不难验证, 也作成一个欧氏空间. 例3 令C[a,b]是定义在[a,b]上一切连续实函数 我们规定 所成的向量空间, 则C[a,b]按上述定义作成一个欧氏空间. 证： 且若 则 从而 故 因此， 为内积， 为欧氏空间. 设 规定 向量 的内积由公式 给出，那么H是一个欧氏空间. 例4 令H是一切平方和收敛的实数列 所成的集合.在H中用自然的方式定义加法和标 量与向量的乘法: 推广： 内积的简单性质 V为欧氏空间， 二、向量的长度、两非零向量的夹角 定义2 设ξ是欧氏空间的一个向量，非负实数 的算术根 叫做ξ的长度，向量ξ的长度用符号 表示： 例5 令 是例1 中的欧氏空间. 中向量 的长度是 由长度的定义,对于欧氏空间中任意向量ξ 和 任意实数a,有 注：一个实数a与一个向量ξ的乘积的长度 等于a的绝对值与ξ的长度的乘积. 定理9.1.1 在一个欧氏空间里,对于任意向量 有不等式 (6) 当且仅当ξ与η线性相关时，上式才取等号. 证：如果 和 线性相关，那么或者 ，或者 ，无论哪一种情况都有 现在设 和 线性相关. 那么对于任意实数 来实, ,于是 即 最后不等式左端是 的一个二次三项式. 由于它对于 的任意实数值来说都是正数,所以它的判别式一定 小于零,即 或 例 6 考虑例 1 的欧式空间 由不等式(6)推出,对于任意实数 有不等式 (7) (7)式称为柯西(Cauchy)不等式. （7）和（8）在欧氏空间的不等式（6）里被 统一 起来. 因此通常把(6)式称为柯西-施瓦兹 不等式. 例7 考虑例3的欧氏空间C[a,b]，由不等式(6) 推出，对于定义在[a,b]上的任意连续函数 有不等式 (8) (8)式称为施瓦兹(Schwarz)不等式. 现在来定义欧氏空间中两个向量的夹角. 定义3 设ξ与η是欧氏空间的两个非零向量， ξ与η的夹角θ由以下公式定义： 由不等式(6),我们有 所以这样定义夹角是合理的. 这样,欧式空间任意两个非零向量有唯一的夹角 . 定义4 欧氏空间的两个向量ξ与η说是正交的, 如果 定理9.1.2 在一个欧氏空间里，如果向量ξ 中每一个正交， 那么ξ与 的任意一个线性组合也正交. 与 三、两向量正交、两向量距离的定义、性质 下面的定理几乎是自明的. 设 是欧氏空间的任意向量. 由定理9.1.1，我们 有 由于 和 都是非负实数，所以我们有 (9) 在欧式空间里，两个向量 与 的距离指的是 的长度 . 用符号 表示 与 的距离. 根据内积的公式和公式(9), 距离有下列 性质： (10) 当 时， (11) (12) 这里 是欧式空间的任意向量. 不等式(12)称为 三角形不等式.