线性空间的同构-厦门大学《高等代数》.PDFVIP

线性空间的同构 厦门大学 林亚南 代数学是研究一个代数对象的结构理论与 表示理论的一门学科。线性空间则是本科生所 接触，所学习的第一个代数结构。 《高等代数》课程中体现的代数研究基本思 想方法主要有： （1）空间的直和分解方法； （2）同构方法； （3）等价分类方法。 一．对线性空间同构的理解和思考 1．线性空间的同构是刻画两个线性空间具有 相同的代数结构的概念。 根据定义，线性空间的同构是保持元素之 间一一对应且保持线性运算的映射。线性空 间的同构就是保持空间的线性运算导出的所 有性质和结构。 研究线性空间的第一个层次是研究向量之 间的线性关系，内容包括线性组合，线性表 示，线性相关性，线性无关极大组，基与维 数等。第二个层次研究线性子空间，内容包 括子空间与子空间的运算 （交与和），生成 子空间，直和分解。第三个层次研究线性空 间之间的关系，内容包括线性映射，线性变 换 。 2．线性空间同构关系是等价分类思想方法的 一个特例。 两个有限维线性空间同构的充分必要条件 是它们的维数相等，所以维数是同构关系的 全系不变量。任意数域上维线性空间都同构 n 与上维列向量空间同构，所以数域上 维列 向量空间是 维线性空间同构类的代表元。  n  3．《高等代数》课程中研究线性空间同 构的内容是多层次的。 V @ Fn  Hom (V,U) @ Fm¥n  F  V @ F n  Hom (V,V) @ F n¥n  和 F  的 拓广  二．对线性空间同构内容的理解 总设线性空间是有限维的。 1．引进概念。 一一映射等价于可逆映射。 j :V Æ U j 设 是一一映射， 是单的指的是 a  b j (a ) j (b ) j  若 ，则 。 是满的指的是 g Œ U a Œ V j (a )= g 对于任意的 ，存在 使得 。 j  g Œ U 是一一的，指的是对于任意的 ， a Œ V j (a )= g 存在唯一 的使得 。  例1： +  a b= ab （1）全体正实数 在加法定义为 ，数乘定 R k  R  义为 ，是否构成实数域 上线性空间？ k o a= a （2）这个空间的维数是多少？ + x Æ log x +