1线性函数 定义1设V是数域P上的一个线性空间,f是V到P的一个映射,如果f满 足

定义14设V是复数域上一个线性空间,在V上定义了一个二元复函数,称 为内积,记作(a,B),它具有以下性质:

在解析几何中,两个点a和B间的距离等于向量a-B的长度 定义13长度-(称为向量a和B的距离,记为d(a,B) 不难证明距离的三条性质

由第五章得到,任意一个对称矩阵都合同于一个对角矩阵,换句话说,都有 一个可逆矩阵C使CAC成对角形现在利用欧氏空间的理论,第五章中关于实对 称矩阵的结果可以加强这一节的主要结果是: 对于任意一个n级实对称矩阵A,都存在一个n级正交矩阵T

定义10设v1,V2是欧氏空间V中两个子空间如果对于任意的a∈V1,BEV2 恒有 (a,B)=0 则称V,2为正交的,记为V1⊥V2一个向量,如果对于任意的B∈V,恒有 (a,B)=0

定义9欧氏空间V的线性变换A叫做一个正交变换如果它保持向量的内积 不变,即对任意的,都有a,B∈V,都有 (Aa, AB)=(a, B)

定义8实数域R上欧氏空间V与V称为同构的如果由V到V有一个双射

一、标准正交基 定义5欧氏空间V的一组非零的向量如果它们两两正交,就称为一个正交 向量组 按定义,由单个非零向量所成的向量组也是正交向量组 正交向量组是线性无关的这个结果说明,n维欧氏空间中,两两正交的非 零向量不能超过n个

一、向量的内积 定义1设V是实数域R上一个向量空间在V上定义了一个二元实函数,称为内积记作(a,B),它具有以下性质:

前一节中证明了复数域上任一矩阵A可相似于一个若尔当形矩阵这一节将 对任意数域P来讨论类似的问题我们证明了上任一矩阵必相似于一个有理标 准形矩阵