8线性空间的同构.docVIP

§8 线性空间的同构 一、数域 上的 维线性空间 二、数域 上的一般的 维线性空间 例如： 等 设是线性空间的一组基，在这组基下，中每个向量都有确定的坐标， 而向量的坐标可以看成元素，因此向量与它的坐标之间的对应实质上就是到的 一个映射.显然这个映射是单射与满射，换句话说，坐标给出了线性空间与的 一个双射. 这个对应的重要性表现在它与运算的关系上.设 , 而向量的坐标分别是,，那么 ; . 于是向量的坐标分别是 , . 以上的式子说明在向量用坐标表示之后，它们的运算就可以归结为它们坐标的运算. 因而线性空间的讨论也就可以归结为的讨论. 三、线性空间同构 1．定义11 数域上两个线性空间与称为同构的，如果由到有一个双射，具有以下性质： 1）; 2) 其中是中任意向量，是中任意数.这样的映射称为同构映射. 前面的讨论说明在维线性空间中取定一组基后，向量与它的坐标之间的对应 就是到的一个同构映射.因而，数域上任一个维线性空间都与同构. 2．同构映射具有下列性质 由定义可以看出，同构映射具有下列性质： (1). . (2). . (3).中向量组线性相关它们的象线性相关. 因为维数就是空间中线性无关向量的最大个数，所以由同构映射的性质可以推知， 同构的线性空间有相同的维数. (4). 如果是的一个线性子空间，那么，在下的象集合 是的子空间，并且与维数相同. (5). 同构映射的逆映射以及两个同构映射的乘积还是同构映射. 同构作为线性空间之间的一种关系，具有反身性、对称性与传递性. 既然数域上任意一个维线性空间都与同构，由同构的对称性与传递性即得， 数域上任意两个维线性空间都同构. 3. 定理12 数域上两个有限维线性空间同构的充要条件是它们有相同的维数. 由线性空间的抽象讨论中，并没有考虑线性空间的元素是什么，也没有考虑其中运算 是怎样定义的，而只涉及线性空间在所定义的运算下的代数性质.从这个观点看来， 同构的线性空间是可以不加区别的.因之，定理12说明了，维数是有限维线性空间的 唯一的本质特征. 第六章、线性空间(小结) 线性空间是线性代数的中心内容，是几何空间的抽象和推广，线性空间的概念具体 展示了代数理论的抽象性和应用的广泛性. 一、线性空间 1. 线性空间的概念 2. 线性间的性质 (1) 线性空间的零元，每个元素的负元都是唯一的； (2) ;. 二、基、维数和坐标 1．基本概念：线性表示（组合）；向量组等价；线性相关（无关）；基、维数和坐标； 过渡矩阵. 2．基本结论 (1)线性相关性的有关结论. (2)在维线性空间中，任意个线性无关的向量都作成的一个基；任意 个线性无关的向量都可扩充为的一个基；任意个向量都是线性相关的. (3)若在线性空间中有个线性无关的向量,且中任意向量都可由它线性表示，则是维的，而就是的一个基. (4)设{}和{}是维线性空间的两个基，是由基{}到基{}的过渡矩阵，和分别是向量在这两个基下的坐标，则是可逆的，且 三、线性子空间及其形成 1．基本概念：子空间；生成子空间；子空间的和与直和. 2．基本结论： (1) 线性空间的非空子集合作成的子空间对于的两种运算封闭. (2) 线性空间的两个子空间的交与和仍为子空间. (3)(维数公式) 若是线性空间的两个有限维子空间，则 (4). 向量组{}与{}等价. (5) 设是线性空间的一个子空间，则存在一个子空间，使得， 此时称为的一个余子空间. (6) 设是线性空间的子空间，下面这些条件等价： ① 是直和； ② 零向量的表示法唯一； ③ ④ . 四、线性空间的同构 1.同构的定义 2. 同构映射的基本性质： (1) 线性空间的同构映射保持零元，负元，线性组合，线性相关性； (2) 同构映射把子空间映成子空间； (3) 线性空间的同构关系具有反身性，对称性和传递性； (4) 数域上两个有限维线性空间同构它们有相同的维数，因而，每一个数域 上的维线性空间都与元数组所成的线性空间同构. 本章的重点是线性空间的概念，子空间的和，基与维数； 难点是线性空间定义的抽象性，线性相关和子空间的直和. 本章的基本题型主要有：线性空间，子空间的判定或证明，线性相关与无关的判定 或证明，基与维数的确定，过渡矩阵和坐标的求法，直和及同构的判定或证明. 本章的基本内容及其内在联系可用下图来说明： 线 线 性 空 间 子空间子空间的交与和子空间的直和余子空间线性相关性极大无关组基、维数和坐标同构 子空间 子空间的交与和 子空间的直和 余子空间 线性相关性 极大无关组 基、维数和坐标 同构