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.3线性空间上的对称双线性函数、二次型函数的定义 定义若f为V上的双线性函数且f(a,B)=f(B,a),则称f为V上的对称双线性函数

定理7设A是n维线性空间V的一个线性变换A的矩阵可以在某一基下为 对角矩阵的充要条件是A有n个线性无关的特征向量. 定理8属于不同特征值的特征向量是线性无关的 推论1如果在n维线性空间V中,线性变换的特征多项式在数域P中有n 个不同的根,即A有n个不同的特征值,那么A某组基下的矩阵是对角形的 推论2在复数上的线性空间中,如果线性变换A的特征多项式没有重根

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

定义14设V是复数域上一个线性空间,在V上定义了一个二元复函数,称 为内积,记作(a,B),它具有以下性质:

一、集合 集合是数学中最基本的概念之一，所谓集合就是指作为整体看的一堆东西

经过非退化线性替换，二次型的矩阵变成一个与之合同的矩阵.由第四章§4 定理 4，合同的矩阵有相同的秩，这就是说，经过非退化线性替换后，二次型矩 阵的秩是不变的.标准形的矩阵是对角矩阵，而对角矩阵的秩就等于它对角线上 不为零的平方项的个数

2.正定二次型: 正惯性指数等于变元个数的实二次型称为正定二次型: 正定二次型的(实对称)矩阵称为正定矩阵 设A=(an)为n阶实对称矩阵,称A的r阶子式 12 2 为方阵的顺序主子式。 定理设f是实二次型,则下述四条等价:

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

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