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重因式

8-2同余式 8.2.1有理整数环中的同余的定义 定义8.5设m是一个正整数,若a,b∈Z,且ba∈(m),亦即m(b-a),则 称b与a模m同余,记作b=a(modm)。不难得到,b与a模m同余就是它们用m做带 余除法所得的余数相同。整数模m同余为一等价关系,验证如下: 1、反身性:a=a(modm) 2、对称性:若b=a(modm),则a=b(modm) 3、转递性:若a=b(modm),b=c(modm),则

8-1有理整数环的基本概念 8.1.1有理整数环的基本概念 全体整数所组成的集合中有两种运算:加法和乘法,而且它们满足下面运算法则: 1)加法满足结合律; 2)加法满足加换律 3)有一个数0,是对任意整数a,0+a=a; 4)对任意整数a,存在整数b,使b+a=0 5)乘法满足结合律 6)有一个数1,是对任意整数a,la=a 7)加法与乘法满足分配律:a(b+c)=ab+ac

准对角矩阵称为 Jordan形矩阵,而主对角线上的小块方阵J称为 Jordan块 定理设A是数域K上的n维线性空间V上的线性变换.如果A的特征值全属于K, 则A在V的某组基下的矩阵为 Jordan形,并且在不计 Jordan块的意义下 Jordan形是唯 一的. 证明:对n作数学归纳法

设A是n维酉空间V内的线性变换,如果V内的线性变换A满足a,BV,有 (Aa, B)=(a, B) 则称A是A的共轭变换.A为A的共轭变换当且仅当它们在标准正交基下的矩阵互为共轭 转置. 共轭变换的五条性质: 1)E=E 2)(A)=A 3)(kA)*=kA 4)(A+B)=a+B 5)(AB)'=B'A' 如果A=A,则称A是一个厄米特变换

北京大学：《高等代数》课程教学资源（讲义）第六章 带度量的线性空间（6.3）酉空间（1/2）

第六章6-2欧氏空间中特殊的线性变换(续) 命题正交矩阵的特征多项式的根的绝对值等于1 证明设入∈C是正交矩阵A的特征多项式的根,则≠0.齐次线性方程组(e-a)X=0 在C内有非零解向量 ( a:a 显然Aa=a=a'a'=a'a'a==a'aa=aa=aa=1从而 入|=1 推论正交矩阵的特征值只能是±1 命题设A是n维欧氏空间V上的正交变换,若A的特征多项式有一个根=e

第六章带度量的线性空间 6-1欧几里得空间 设f是实线性空间V上的一个正定、对称的双线性函数,则Va,B∈V,(a,): f(a,B)称为向量a与B的内积;具有内积的实线性空间称为欧几里得空间(简称欧氏空 间) 对任意α∈V,定义 lalv(a,a) 为向量a的长度或模.|a|=1时,称a为单位向量 命题1.1(柯西-布尼雅可夫斯基不等式)对欧氏空间V内任意两个向量a,,有

第五章5-3实与复二次型的分类 1.复、实二次型的规范形 定理复数域上的任一二次型f在可逆变数替换下都可化为规范形 zi+…+z, 其中r是f的秩.复二次型的规范形是唯一的. 证明复数域C上给定二次型) f=, x,x, ( =ai 设它在可逆线性变数替换X=TZ下变为标准型 d1z2+d2z2+…an 这相当于在C上n维线性空间V内做一个基变换 (n2n)=(1,2EnT 使对称双线性函数f(a,B)在新基下的矩阵成对角形

第五章5-1双线性函数 5.1.1线性空间上的线性函数的定义 1、线性函数的定义 定义设V为数域K上的线性空间,fV→K为映射,满足 f(a+B)=f(a)+f(),va,B∈V;f(ka)kf(a),∈k,aev,则称f为由V 到K的一个线性函数(即f为V到K的一个线性映射) 如同一般的线性映射,有以下事实: i)、f:V→K是线性函数当且仅当f(ka+1B)=kf(a)+lf(B) i)、f(0)=0; i)、f(-a)=-f(a) 命题数域K上的n维线性空间V上的线性函数的全体关于函数加法和数乘构成K上 的n维线性空间