带度量的向量空间知识讲稿.pptVIP

§3.3 带度量的向量空间;当作向量 与 的“点乘”，就可反向引入向量的 长度与夹角的概念。 ; 设 ，则 ; 定义 定义了内积运算的实向量空间称为Euclid空 间，简称为欧氏空间。 ;定理 设 V是欧氏空间，则对任意 均有 ;证明 (1) ，结论成立； ;于是; 定义 若 ，则称向量 与向量 正交， 记为 。 ;三、标准正交基; 定理 设 是欧氏空间 V 的一个正交向 量组，则 线性无关。 ;于是; 把两个线性无关的向量化 为两个正交的向量： 设?1, ?2 线性无关，令 则 ;又 ，故 。从上式解得 ; 定理 设 V是欧氏空间，