4.3.2线性映射的运算的定义与性质 定义线性映射的运算(加法与数域K上的数量乘法) 设f:U→V,g:U→V为线性映射,定义f+g为 f+g:U→V, af(a)+g(a)(a∈U) 定义kf(Vk∈K)为 kf:u→v akf(a)(a∈U) 说明f+g与kf仍为线性映射。 命题Hom(U,V)在加法和数乘下构成数域K上的线性空间。 证明逐项验证

第四章4-3线性映射与线性变换 4.3.1线性映射的定义 定义设U,V为数域K上的线性空间,φ:U→V为映射,且满足以下两个条件: i)、(a+)=(a)+(),(a,B∈U); i)、(ka)=k(a),(a∈U,k∈K), 则称为(由U到V的)线性映射, 由数域K上的线性空间U到V的K的线性映射的全体记为Hom(U,V),或简记为 Hom(U,). 定义中的i和)二条件可用下述一条代替 (ka+1)=k(a)+kq(B),(a,B∈U,k,l∈K)

北京大学：《高等代数》课程教学资源（讲义）第四章 线性空间与线性变换 4.5 商空间上诱导的线性变换 4.5.1 线性变换在（关于不变子空间的）商空间上的诱导变换的定义

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

8-3模m的剩余类环 8.3.1模m的剩余类环的定义 定义8.7设m设一个正整数,定义 /(m)={a+(m)a∈} 将模m的剩余类a+(m)记作a,现定义Z/m)中的加法和乘法如下: 此两种运算满足8.1.1中除第9)条以外的其余八条性质(其中0称为Z/(m)的零元素,1 称为Z/(m)的单位元素),于是Z/(m)构成一个代数系统,称为Z模理想(m)的剩余类环 或乙模理想(m)的商环

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),则

9-3实系数多项式根的分布 9.3.1复系数多项式的根的绝对值的上界 命题设f(x)=axn+a1xn+…+an∈C[x],其中a≠0而n≥1。令 a=max{ 则对f(x)的任一复根a,有|ak1+A/a 证明如果A=0,则a=0,命题成立。下面设A>0 如果|a1+A/a,那么,因为f(a)=0,故有 la Haa++aa a+…+an ≤A(ar-++1)=a(la--1)/(a-1) 现在|a>1,故从上式立刻得到 la a\ Ala\ /(al-1) 两边消去|a,得|ak1+A/a|,矛盾

12.2.3一元多项式的判别式的定义 给定K[x]内一个n次多项式 F(x)=ax+axn-+…+an(a≠0) 设a1,a2,…an是它的n个根,令 称其为F(x)的判别式。显然,F(x)有重根其充分必要条件是D(F)=0 现在考察n元式

9-4单变量有理函数域 9.4.1域上的一元有理分式域的定义 设R为一整环,命S={(b,a)|a,b∈R,a≠0}。现在S中规定为 逐一验证“反身性”、“对称性”、“传递性”可知为一等价关系。用(b,a)表示与 (ba)等价的元素的全体。现记S关于u的等价类的集合为%,则(b,a)是中的元 素。下面在上定义二元运算:

定理设A是数域K上的n阶方阵.如果A的特征值全属于K,则A在K上相似于 Jordan形矩阵,并且在不计 Jordan块顺序的意义下 Jordan形是唯一的. 证明:此定理就是上一定理用矩阵的语言叙述出来 Jordan标准形的计算方法: