第九章向量与空间解析几何 第一节空间直角坐标系与向量的概念 思考题: 1.求点M(x,y,z)与x轴,xOy平面及原点的对称点坐标 解:M(x,y,z)关于x轴的对称点为M1(x-,-z),关于xOy平面的对称点为 M2(x,y-z),关于原点的对称点为M3(-x,-y-z) 2.下列向量哪个是单位向量? (1)ri+i+,(2a-(3)b=33 解:(1)∵=√12+12+12=√3≠1,∴r不是单位向量 (2)=()2+02+(=)2=1,a是单位向量 √ √2 (3)∵3)2++(2=,b不是单位向量

第五章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)在新基下的矩阵成对角形

第四章4-4特征值与特征向量(续) 4.4.2关于特征向量与特征子空间的一些性质 命题线性变换的属于不同特征值的特征向量线性无关。 证明设A为VK上的线性变换,,2,是两两不同的特征值,(1≤i≤t)是 属于特征子空间V的特征向量,设k,k2,k,∈K,使得k5+k252+…+k5=0,两 边用A作用(i=1,2,…,-1),于是得到方程组 5+52++=0,j0,1,t-1 其中入的方幂组成的矩阵为

第一学期第二十八次课 命题如果n维空间V上的线性变换A的矩阵相似于对角矩阵,则A在任一不变子空 间M上(的限制)的矩阵相似于对角矩阵。 证明若V上的线性变换A的矩阵相似于对角矩阵,则V可以分解为特征子空间的直 和。记A的所有特征值为,2,2,则V=V4V,取M=nV, 断言M=M1M2⊕M,首先要证明M=M1+M2+…M “2”显然:“”a∈M,则存在a1∈V,使a=a1+a2+…+a,两边 同时用A(j=1,2,…,t-1)作用,得到表达式

12.3.2用一个多项式的根和另一个多项式计算结式的公式 命题设 f(x)=ax+a1x-+…+an(a≠0 (x) box\+b- + (bo=0) 如果f(x),g(x)在C[x]中的分解式为 g()= bo (x-B) ).(x-)(1) 那么 R(f,g)=ag(a)=(-1)f(B)(*) 证明在数域K上的n+m+1元多项式环K[x,y1yn21m]中,令 f(x,y,yn)=a(x-y)…(x-yn)(2) g(x,z1,m)=b(x-z)…(x-m)(3)

第四章4-3线性映射与线性变换(续) 4.3.4线性变换的定义与运算 定义线性空间到自身的线性映射称为线性变换,记Hom(V,V)为Endr(V)或End (V)。 例恒同变换 E:V→V, >a. 例投影(射影)设V=V1V2,Va∈V,a=a+a2(a1eV,a2∈V2),定义V到 V的投影P(a)=a1,V到V2的投影P2(a)=a2 定义End(V)中的运算(加法、数乘和乘法) 加法定义为(A+)(a)=A(a)+B(a)(Va∈V) 数乘定义为(kA)(a)=k(A(a)),其中k∈K; 乘法(复合)定义为(AB)(a)=A(B(a)

第四章4-2子空间与商空间 4.2.4子空间的直和与直和的四个等价定义 定义设V是数域K上的线性空间,2…,是V的有限为子空间。若对于 ∑中任一向量,表达式 a=a1+a2+…+am,a1e,i=12,m 是唯一的,则称∑V为直和,记为 1 v⊕或V 定理设V12,…,Vn为数域K上的线性空间V上的有限为子空间,则下述四条等

第四章4-4线性变换的特征值与特征向量 4.4.1线性变换的特征值与特征向量的定义 定义若存在非零向量ξ∈V,使得对于某个∈K,有A5=5,则称ξ是A的属 于特征值λ的特征向量。 命题线性空间V中属于确定的特征值λ的特征向量(添加上零向量)构成子空间。 证明设51,52是属于的特征向量,Vk,∈K,则 A(k5+2)=k()+a(2)=k+2=(k5+152), 证毕。 定义线性空间V中属于确定的特征值λ的特征向量(添加上零向量)构成子空间称 为属于特征值的特征子空间,记为V 4.4.2特征值和特征子空间的计算、特征多项式

5.1.3线性空间上的对称双线性函数、二次型函数的定义 定义若f为V上的双线性函数且f(a,B)=f(B,a),则称f为V上的对称双线性 函数。 命题f为对称双线性函数,当且仅当f在任意一组基下的矩阵为对称矩阵,当且仅 当f在某一组基下的矩阵为对称矩阵。 证明任取V的一组基1,2,…,n,任取a,B∈V,设它们在此组基下的坐标所构成 的列向量分别为X和Y,f在此组基下的矩阵记为A,若f为对称双线性函数,则由定

第九章元多项式环 9-1一元多项式环的基本理论 911域上的一元多项式环的定义 定义91设K是一个数域,x是一个不定元。下面的形式表达式 f(x) (其中an3a1,a2属于K,且仅有有限个不是0)称为数域K上的一个不定元x的一元多 式。数域K上一个不定元x的多项式的全体记作K[x] 下面定义K[x]内加法、乘法如下 加法设