一、初等因子的定义 二、初等因子与不变因子的关系 三、初等因子的求法

一、若当块的初等因子 二、若当形矩阵的初等因子 三、若当标准形存在定理

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

一、入一矩阵的初等变换 二、入矩阵的初等矩阵 三、等价入矩阵 四、入一矩阵的对角化

由前一节的讨论,已经得到下面的两点性质: 1.辛空间(V,f)中一定能找到一组基E,E2,n-2n满足 f(n)=1,1≤i≤n, f()=0,-n≤i,jn,i+j≠0

定义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) 不难证明距离的三条性质

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

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

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