4.2.7线性空间关于一个子空间的同余关系 定义给定K上的线性空间V,M是V的子空间,设a是V的一个向量。如果V的 一个向量a'满足:a-a∈M,则称a'与a模M同余,记作a'=a(modM) 易见,同余关系是V上的一个等价关系

4.2.2子空间的交与和,生成元集 定义4.13设a1,a2,,a,∈V,则{ka1+k2a2++ka,k∈K,i=12}是V的 一个子空间,称为由a1,a2,,a,生成的子空间,记为(aa2,,a)易见,生成的子 空间的维数等于a1,a2,…,a的秩

4.1.3线性空间的基与维数,向量的坐标设V是数域K上的线性空间, 定义4.9基和维数如果在V中存在n个向量a1,a2,…,an,满足 （1)、a1,a2,…,an线性无关; （2)、V中任一向量在K上可表成a1,a2,…,an的线性组合,则称a1,a2,,an为V的一组基

3.4.1一些基本概念 定义给定n个互不相同的自然书,把它们按一定次序排列起来: 称为该n个自然数的一个排列。在上述排列中,如果有一个较大的自然竖排在一个较小的 自然数前面,则称为一个反序

2.5.1n阶方阵,对角矩阵,数量矩阵,单位矩阵,初等矩阵,对称、反对称、上三角、 下三角矩阵 定义(数域K上的n阶方阵)数域K上的nn矩阵成为K上的n阶方阵,K上全 体n阶方阵所成的集合记作Mn(K)

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

第二章向量空间与矩阵 第一节m维向量空间 2.1.1向量和m维向量空间的定义及性质

2.1.4向量组的线性等价和集合上的等价关系 定义(线性等价)给定Km内的两个向量组

一、线性变换的定义线性空间V到自身的映射称为V的一个变换定义1线性空间V的一个变换A称为线性变换,如果对于V中任意的元素a,B和数域P中任意数k,都有 (1) 一般用花体拉丁字母A,B,表示V的线性变换,A(a)或a代表元素a在 变换下的像定义中等式

命题在同构意义下张量积满足交换律、结合律以及与直和的分配律,即 VOV= V1(2V3)=(V1V2)V3 V1(2V3)=(V1V2)⊕(VV3) 证明利用张量积的定义性质。 12.2.2线性变换的张量积的定义 定义12.5线性变换的张量积 设V1,V2为K线性空间,A为V1上的线性变换,B为V2上的线性变换。定义A和 B的张量积(记为AB)为V1V2上的线性变换: AB:V1V2→V1V2