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

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

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

为了减轻铸件顶部缩孔缺陷以降低冒头切除率提高铸锭成材率，基于ProCAST软件建立了铁镍合金真空下凝固数值仿真模型，通过解剖实验验证了模拟参数正确性，进而研究锭模参数对铁镍合金缩孔缩松分布的影响并得到最优锭型.研究表明：数值模拟中，关于真空条件下传热参数的设置较为合理，能较准确地模拟得到与实际生产一致的缩孔缺陷；在本研究条件下，冒口锥度对缩孔高度方向上位置的影响远大于锭身锥度和高径比对其的影响，缩孔位置随冒口锥度减小上移，中心疏松程度随锭身锥度增加而减弱，高径比对缩孔缩松影响不大；优化后的锭型能有效改善缩孔缺陷，将缩孔控制在冒口线以上提高铸锭成材率

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,那么就有