高等代数与解析几何6.3.pdfVIP

§6.3 欧几里得空间 一、从几何空间引入欧几里得空间 二、讨论欧几里得空间的度量性质 三、规范正交基与Schmidt正交化方法 四、欧氏空间的同构 一、从几何空间引入欧几里得空间 分析：（1） 几何空间中所定义的向量的内积 （2 ） 几何空间中向量的长度、夹角、垂直等 现在实线性空间中引入内积,从而可以定义向量的 长度和向量的夹角,也能得出向量的直角坐标. 定义3.1 设V是实数域 R 上的线性空间, 在V上定义了一个被称为内积的二元实函数 (α,β), 它具有如下4条性质(或满足如下4条公里): (1) 对称性: (α,β) (βα, ); (2) 关于向量加法的线性性质: (α+βγ, ) (αγ, ) =+(βγ, ); (3) 关于标量乘法的线性性质: (kα, β) k (αβ, ); (4) 正定性: (α,α) ≥0, 而且等号当且仅当 α 0 时成立. 这里α,βγ, 是V 中任意向量, k 是任意实数. 则称V为 欧几里得空间,简称欧氏空间. 例3.1 在线性空间 Rn 中,对于向量 α (a , a , , a ), β (b ,b , ,b ) 1 2 n 1 2 n 定义内积为 (α, β) a b +a b ++a b 1 1 2 2 n n 容易证明,这个内积满足定义中的4条性质, 因此 Rn 就成为一个欧氏空间. 在上面这个例子中,如果定义内积为: (α, β) a b +2a b ++na b 1 1 2 2 n n 则容易证明这个内积仍然满足定义中的4条性质,故 Rn 也成为欧氏空间. 以后说到欧氏空间R n 总是指例3.1 中定义的内积. 例3.2 在 区间[a,b] 上的所有连续实函数构成的 线性空间C[a,b] 中,对于函数f (x ), g (x ) ,定义内积为 b (f , g ) ∫a f (x )g (x )d x 由定积分的性质容易验证,对于这个内积, C[a,b] 构成 一个欧氏空间. 二、讨论欧几里得空间的度量性质 定义3.2 非负实数 (α,α) 称为向量 α 的长度,记 为 α . 易见 零向量的长度为0,非零向量的长度是一个正数. 而且 kα k α , ∀k ∈R,α∈V 长度等于1的向量称为单位向量. 对非零向量α, 1 向量 α 就是一个单位向量, 称为把 α 单位化. α 命题3.1 (Cauchy-Buniakowski不等式) 对于任意 向量α,β, 有 (α,β) ≤α β 并且当且仅当 α,β 线性相关时,等号才成立. 证明 如果α,β 线性相关,则β 0 或者α kβ, 无论 哪种情况,都容易验证 (α,β) α β 如果 α,β 线性无关,则对于任意