准对角矩阵称为 Jordan形矩阵,而主对角线上的小块方阵J称为 Jordan块 定理设A是数域K上的n维线性空间V上的线性变换.如果A的特征值全属于K, 则A在V的某组基下的矩阵为 Jordan形,并且在不计 Jordan块的意义下 Jordan形是唯 一的. 证明:对n作数学归纳法

设A是n维酉空间V内的线性变换,如果V内的线性变换A满足a,BV,有 (Aa, B)=(a, B) 则称A是A的共轭变换.A为A的共轭变换当且仅当它们在标准正交基下的矩阵互为共轭 转置. 共轭变换的五条性质: 1)E=E 2)(A)=A 3)(kA)*=kA 4)(A+B)=a+B 5)(AB)'=B'A' 如果A=A,则称A是一个厄米特变换

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

5.1.3线性空间上的对称双线性函数、二次型函数的定义 定义若f为V上的双线性函数且f(a,B)=f(B,a),则称f为V上的对称双线性函数

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 双线性函数 5.1.3 线性空间上的对称双线性函数、二次型函数的定义 5.2 二次型 5.2.1 数域上的二次型的定义，二次型 5.2.2 二次型化为标准形的计算方法（配方法）

一、排列与对换 排列的定义:由n个数码1,2,…,n组成的一 个无重复的有序数组称为这n个数 码的一个排列,简称为n元排列。 例如,312是一个3元排列,2341是一个4元排列, 45321是一个5元排列,等等

对一般的数字行列式,如果它的元素之间没有特定的规律, 其计算方法是: 1)利用行列式性质把它化为上三角或下三角行列式,则 行列式的值等于其主对角线上元素的连乘积; 2)选定某一行(列),利用行列式性质把其中元素尽可 能多的化为0;然后按这一行(列)展开,如此继续下去 可得结果

+∞ 在函数级数∑un(x)中令un(x)=an(x-x),为最简单的幂级数,则我们得到形为 n=1 ∑an(x-x)\的函数级数,称之为x处展开的幂级数本章中我们将讨论幂级数的性质, n= 并证明从可导性而言,幂级数构成所有函数

设V是复线性空间.VV上的一个函数(,·),如果满足: (i)(,)对第一个变量是线性的; (ii)(a,)=(B,a); (iii)a∈v,(a,a)≥0,且(a,a)=0a=0