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

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

定义3V是数域P上一个线性空间,f(a,B)是上一个二元函数,即对V 中任意两个向量a,B,根据f都唯一地对应于P中一个数f(a,B)如果f(a,) 有下列性质:

现在应用行列式解决线性方程组的问题.在这里只考虑方程个数与未知量个 数相等的情形

设V是复线性空间.V×V上的一个函数,如果满足 (i)(·,·)对第一个变量是线性的 (i)(a,B)=(B (ii1)ya∈V,(a,a)≥0,且(a,a)=0分a=0 则称(a,B)为向量a,B的内积,具有内积的复线性空间称为酉空间(欧氏空间在复线性 空间上的推广)

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

第六章带度量的线性空间 6-1欧几里得空间 设f是实线性空间V上的一个正定、对称的双线性函数,则Va,B∈V,(a,): f(a,B)称为向量a与B的内积;具有内积的实线性空间称为欧几里得空间(简称欧氏空 间) 对任意α∈V,定义 lalv(a,a) 为向量a的长度或模.|a|=1时,称a为单位向量 命题1.1(柯西-布尼雅可夫斯基不等式)对欧氏空间V内任意两个向量a,,有

定义 9 设 1 2 V ,V 是线性空间 V 的子空间，如果和 V1+V2 中每个向量  的分 解式

定理 5 如果 V1 ,V2 是线性空间 V 的两个子空间，那么它们的交 V1 V2 也是 V 的子空间

一般向量空间除只有一个零向量构成的零空间外，都含有无穷多个向量，这 些向量之间有怎样的关系，对于弄清向量空间的结构至关重要