第二章 向量空间.pptVIP

*******2.4欧几里得空间2.4.1向量的数量积如果以几何空间中的向量作为向量空间理论的一个具体模型，那么就会发现向量的度量性质，如长度和夹角在向量空间中没有得到反映，但是，向量的度量性质在许多问题中有着特殊的地位，因此，有必要引入度量概念.定义1设向量，并且，称实数为向量与的数量积（或内积或点积），记为.即（1）例如,向量的数量积满足下列性质.性质1：设则2.4欧几里得空间（i）（ii）（iii）（iiii），当且仅当时等号成立.由此又有性质：（V）（Vi）证明：（V）显然，任意向量与维零向量的数量积都是零，即有.对于数量积等于零的两个向量，我们有下列定义.定义2设向量，如果，则称向量与相互正交（或垂直）.记作.例如，向量与因为有，所以正交.零向量与任意向量正交；与自己正交的向量只能是零向量.2.4欧几里得空间（i）（ii）（iii）（iiii），当且仅当时等号成立.由此又有性质：（V）（Vi）证明：（V）显然，任意向量与维零向量的数量积都是零，即有.对于数量积等于零的两个向量，我们有下列定义.定义2设向量，如果，则称向量与相互正交（或垂直）.记作.例如，向量与因为有，所以正交.零向量与任意向量正交；与自己正交的向量只能是零向量.2.4欧几里得空间例1设，向量与正交，且，求实数和向量.解：因为向量与正交，所以.那么用向量与作数量积.又知所以.而.定义3设，非负实数称为向量的范数，记作.如果，则（2）例如，向量的范数为，向量的范数为，向量的范数为.定义4设，如果，则称向量为单位向量。对于任意，如果，那么向量就是一个单位向量，称为向量的单位化。容易验证中向量组是两两正交的单2.4欧几里得空间位向量组.即一般地，两两正交的非零向量组（简称正交向量组），有一个很好的