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

设E1,E2,…,E是线性空间V的一组基,在这组基下,V中每个向量都有确定 的坐标,而向量的坐标可以看成P元素,因此向量与它的坐标之间的对应实质 上就是V到P的一个映射.显然这个映射是单射与满射,换句话说,坐标给出了 线性空间V与P的一个双射.这个对应的重要性表现在它与运算的关系上

5.1.3线性空间上的对称双线性函数、二次型函数的定义 定义若f为V上的双线性函数且f(a,B)=f(B,a),则称f为V上的对称双线性 函数。 命题f为对称双线性函数,当且仅当f在任意一组基下的矩阵为对称矩阵,当且仅 当f在某一组基下的矩阵为对称矩阵。 证明任取V的一组基1,2,…,n,任取a,B∈V,设它们在此组基下的坐标所构成 的列向量分别为X和Y,f在此组基下的矩阵记为A,若f为对称双线性函数,则由定

北京大学：《高等代数》课程教学资源（讲义）第十二章 张量积与外代数 12.1 多重线性映射 12.2 线性空间的张量积 12.2.1 域 K 上的二线性空间的张量积的定义（归纳地有多个张量积的定义）

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

2.6.1分块矩阵的乘法,准对角阵的乘积和秩 1、矩阵的分块和分块矩阵的乘法 设A是属于K上的m×n矩阵,B是K上n×k矩阵,将A的行分割r段,每段分别包含m,m2,,m,个行,又将A的列分割为s段,每段包含nn2,n个列。于是A可用小块矩阵表示如下:

2.6.1分块矩阵的乘法,准对角阵的乘积和秩 1、矩阵的分块和分块矩阵的乘法 设A是属于K上的m×n矩阵,B是K上n×k矩阵,将A的行分割r段,每段分别包含m,m2,,m,个行,又将A的列分割为s段,每段包含nn2,n个列。于是A可用小块矩阵表示如下:

2.6.1分块矩阵的乘法,准对角阵的乘积和秩 1、矩阵的分块和分块矩阵的乘法 设A是属于K上的m×n矩阵,B是K上n×k矩阵,将A的行分割r段,每段分别包含m,m2,,m,个行,又将A的列分割为s段,每段包含nn2,n个列。于是A可用

2.6.1分块矩阵的乘法,准对角阵的乘积和秩 1、矩阵的分块和分块矩阵的乘法 设A是属于K上的m×n矩阵,B是K上n×k矩阵,将A的行分割r段,每段分别包 含m,m2,,m,个行,又将A的列分割为s段,每段包含nn2,n个列。于是A可用 小块矩阵表示如下: A1A12… A=4424

2.5.2可逆矩阵,方阵的逆矩阵 1、可逆矩阵,方阵的逆矩阵的定义 定义设A是属于K上的一个n阶方阵,如果存在属于K上的n阶方阵B,使