北京大学：《高等代数》课程教学资源（讲义）第九章 一元多项式环 9.1 一元多项式环的基本理论（9.1.7-9.1.11）

在解析几何中,两个点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),它具有以下性质:

9.1.7用形式微商判断多项式是否有重因式 定义9.10设f(x)=ax+a1x+…+an-1x+an∈K[x],定义 f\(x)=na\+(n-1)\-+..+[], 称f(x)为f(x)的一阶形式微商。 设f(x)的k-1阶形式微商已定义,记作f((x)则定义它的k阶形式微商fx)为 f(x)的一阶形式微商:f((x)=(f((x)另外我们约定f(x)=f(x) 命题设f(x)∈K[x],如果K[x]内的不可约多项式p(x)是f(x)的k重因式,则 p(x)是f(x)的k-1重因式

我们用初等因子的理论来解决若尔当标准形的计算问题.首先计算若尔当标 准形的初等因子