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

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

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

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

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

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

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

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

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

设V是数域P上一个n维线性空间.V上全体线性函数组成的集合记作 L(V,P).可以用自然的方法在L(V,P)上定义加法和数量乘法 设f,g是V的两个线性函数定义函数f+g如下: