高等工程数学课件--2.4 线性空间.pptVIP

定理2.4.21 设 是域 F上线性空间V到 的同态 映射，则 与 同构。 推论2.4.2设 是域 F上线性空间V到 的同态 满映射，则 与 同构。 定理2.4.20 设W是域 F上有限维线性空间V的子空间，则 2.5 模 设R是一个具有单位元的环，R上的加法和乘法运算用通常的“+”和“.”表示，并且R的单位元用“1”表示。 2.5.1 模的基本概念 定义2.5.1 设M 是一个非空集合，R是一个具有单位元的环。在M上定义了一种代数运算，称为加法(addition)，记为“+”；定义了R与M 到M 的一种代数运算，称为数乘(scalar multiplication)（简称数乘），记为“·”。如果 M按加法构成交换群，并且数量乘法满足如 下规则： 其中k，m是R中的元素，α，β是M中的任意元素，则称M为环R上的模(a module over R)。 模M中按加法运算的单位元称为M的零元，记为“0”。 模M中任一元素a按加法运算的逆元称为a的负元素，记为“－a”。 利用负元素，定义模M中的减法： * 2.1 代数运算，同态与同构 2.2 群 2.3 环与域 2.4 线性空间 2.5 模 第2章 代数结构与线性空间