线性代数第52讲.docVIP

线性代数 第54讲 矩阵的对角化(6) （ 教材 p.174 --- P.175 ） 关键词： 内积 模 欧几里德空间的概念 由直观的几何向量的集合、几何空间维向量空间 实数域上的维线性空间 . 到目前为止，我们在线性空间中只涉及到向量的加法和数乘. 现在，我们要用适当的方法, 把空间解析几何中有关向量的内积、长度、交角、正交等概念也引入到实线性空间 中. 定义1 设 是实数域 上的线性空间（简称为实线性空间）. 如果对于 中任意一对向量都有唯一确定的实数与它们对应(记此实数为), 且具有以下4条性质： （对称性） （线性性） （线性性） 当且仅当时，有 （正定性） 则称实数为向量与的内积（也可以说二元函数是 上的一个内积） 如果实数域 上的线性空间 定义了一个内积，则称 是一个实内积空间. 有限维的实内积空间 称为欧几里得（Euclid）的维数叫做欧氏空间 的维数. 例如，是定义在 上一切连续实函数所成的线性空间. 对任意 定义一个二元函数为 由定积分的性质可知, 它满足内积定义中的4条性质，从而是上的一个内积. 定义1是一个抽象定义, 在不同的实线性空间中内积可以有不同的内容与形式. 甚至在同一个实线性空间中也可以用不同的形式定义不同的内积, 从而能构成不同的欧氏空间. 例1 在 中，对任意两个向量 , 通常采用定义它们的内积为 容易验证它满足上述4条性质. 于是 关于这个内积就构成一个欧氏空间. 在 中用此种方式定义的内积亦可用矩阵乘法符号表示, 即 例如,设 则和的内积为 欧氏空间 有以下简单性质. 性质1 对任意 0 当且仅当 (即只有零向量与任何向量作内积时其数值才都等于零 )；特别地, 0 当且仅当. 事实上，若 在上式中令 得 0, 但由条件4°应有0, 矛盾. 故有. 利用内积定义中的对称性和线性性, 容易证明下面的性质. 性质2 对任意 性质3 有了内积定义, 我们就可以利用内积给出欧氏空间内向量的长度、夹角、正交、距离等度量概念. 于是有人也称欧氏空间中的向量为欧氏向量. 定义2 设是欧氏空间中的一个向量, 非负实数的算术平方根称为向量的长度（或称模, 也叫范数 ）, 记作即 . 关于向量的长度显然有如下性质. 性质1（非负性）当时， 当时， 性质2（齐次性） 当 时，称为单位向量. 即长度为1 的向量称为单位向量. 对于 中的任一非零向量，向量是一个单位向量. 事实上，利用性质2，有 用向量的长度去除向量，就得到一个单位向量，通常将这种运算称为把向量单位化，或称为法化. 为了在一般欧氏空间内合理地定义向量的夹角, 我们需要证明一个重要的不等式. 这就是我们下一讲的内容. 3