6-1欧几里得空间 设f是实线性空间V上的一个正定、对称的双线性函数,则Va,B∈V,(a,): f(a,B)称为向量a与B的内积;具有内积的实线性空间称为欧几里得空间(简称欧氏空 间) 对任意α∈V,定义

第六章6-2欧氏空间中特殊的线性变换(续) 命题正交矩阵的特征多项式的根的绝对值等于1证明设入∈C是正交矩阵A的特征多项式的根,则≠0.齐次线性方程组(e-a)X=0在C内有非零解向量

设A是n维欧氏空间V内的一个线性变换,如果对a,∈V,都有 (Aa,)=(a, AB) 则称A是V内的对称变换 命题n维欧氏空间V上的线性变换A是对称变换当且仅当它在标准正交基 ,2n下的矩阵A是实对称矩阵

设V是复线性空间.V×V上的一个函数,如果满足 (i)(·,·)对第一个变量是线性的 (i)(a,B)=(B (ii1)ya∈V,(a,a)≥0,且(a,a)=0分a=0 则称(a,B)为向量a,B的内积,具有内积的复线性空间称为酉空间(欧氏空间在复线性 空间上的推广)

7-1幂零线性变换的 Jordan标准型 A是数域K上n维线性空间V上的线性变换,如果存在正整数m,使A=0,则称A是一个 幂零线性变换. 对数域K上n阶方阵A,如果存在正整数m,使Am=0,则称A为幂零矩阵 命题幂零线性变换的特征值等于0 证明设是V上幂零线性变换A的特征值,则存在V中非零向量a,使得 Aa= 假设A=0

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同余为一等价关系,验证如下:

9.1.7用形式微商判断多项式是否有重因式 定义9.10设f(x)=ax+a1x+…+an-1x+an∈K[x],定义 f\(x)=na\+(n-1)\-+..+[], 称f(x)为f(x)的一阶形式微商

9.1.7用形式微商判断多项式是否有重因式 定义9.10设f(x)=axn+a1x-+…+anx+an∈K[x],定义 f(x)=naxn-+(n-1)a1xn-2+…+an-∈[x] 称f(x)为f(x)的一阶形式微商

本课程是高等职业学校机械类专业的一门技术基础课程。本课程的主要任务 是:培养学生掌握通用机械零件和机械传动的基本知识、基本理论和基本技 能,初步具有分析选用和设计常用机构和通用零件的能力以及运用和维护机械 传动装置的能力,为今后解决生产实际问题及继续学习打下基础

第九章一元多项式环 9-1一元多项式环的基本理论 9.11域上的一元多项式环的定义 定义9.1设K是一个数域,x是一个不定元。下面的形式表达式