用秩的概念，线性方程组(1)有解的条件可以叙述如下： 定理 7(线性方程组有解判别定理) 线性方程组(1)有解的充要条件为它的系 数矩阵

4.3.1线性映射的定义 定义设U,V为数域K上的线性空间,φ:U→V为映射,且满足以下两个条件:

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

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)的商环

对称多项式是多元多项式中常见的一种,也是一 类比较重要的多元多项式,它的应用比较广泛,对称 多项式的来源之一以及它应用的一个重要方面,是一 元多项式根的研究,下面我们从一元多项式的根与系 数的关系谈起

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

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

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的一个线性映射)如同一般的线性映射,有以下事实:

12-3张量 12.3.1线性变换的张量积的矩阵与线性变换的矩阵的关系 设V是域K上的n维线性空间,G和是V的两组基,且 (n)= (1) 设a∈V在(1n)下的坐标为(x1,x),则由前面的知识,可得 x :=T (2) ) 由此可知,坐标是逆变的 现在考虑V的对偶空间n在的对偶基为f,在v的 对偶基为gg,那么就有

设V是数域P上一个n维线性空间.V上全体线性函数组成的集合记作 L(V,P).可以用自然的方法在L(V,P)上定义加法和数量乘法 设f,g是V的两个线性函数定义函数f+g如下: