高等工程数学 线性空间.pptVIP

设V是域F上的线性空间，W是V的子空间。在V上定义一个关系“～”：则～是V中的一个等价关系。通常称为一个W型的线性流形。2.4.4商空间第30页，共50页，星期日，2025年，2月5日定理2.4.18若域F上的线性方程组有解，则其解集合是一个线性流形，其中是Ax=b的一个解，Ker(A)是A的核。定理2.4.19设W是域F上线性空间V的子空间，对定义则V/W按上面定义的加法和数量乘法构成域F上的线性空间。第31页，共50页，星期日，2025年，2月5日定理2.4.21设是域F上线性空间V到的同态映射，则与同构。推论2.4.2设是域F上线性空间V到的同态满映射，则与同构。定理2.4.20设W是域F上有限维线性空间V的子空间，则第32页，共50页，星期日，2025年，2月5日2.5模设R是一个具有单位元的环，R上的加法和乘法运算用通常的“+”和“.”表示，并且R的单位元用“1”表示。第33页，共50页，星期日，2025年，2月5日2.5.1模的基本概念定义2.5.1设M是一个非空集合，R是一个具有单位元的环。在M上定义了一种代数运算，称为加法(addition)，记为“+”；定义了R与M到M的一种代数运算，称为数乘(scalarmultiplication)（简称数乘），记为“·”。如果M按加法构成交换群，并且数量乘法满足如下规则：第34页，共50页，星期日，2025年，2月5日其中k，m是R中的元素，α，β是M中的任意元素，则称M为环R上的模(amoduleoverR)。第35页，共50页，星期日，2025年，2月5日第1页，共50页，星期日，2025年，2月5日2.4线性空间设F是一个域，F上的加法和乘法运算用通常的“+”和“.”表示，并且F的单位元用“1”表示。第2页，共50页，星期日，2025年，2月5日2.4.1线性空间的基本概念定义2.4.1设V是一个非空集合，F是一个域。在V上定义了一种代数运算，称为加法(addition)，记为“+”；定义了F与V到V的一种代数运算，称为数量乘法(scalarmultiplication)（简称数乘），记为“·”。如果V按加法构成交换群，并且数量乘法满足如下规则：第3页，共50页，星期日，2025年，2月5日其中k，m是F中的元素，α，β是V中的任意元素，则称V为域F上的线性空间。第4页，共50页，星期日，2025年，2月5日直接由定义2.4.1，可以证明线性空间的一些基本性质。线性空间V中按加法运算的单位元称为V的零元，记为“0”。线性空间V中任一元素a按加法运算的逆元称为a的负元素，记为“－a”。利用负元素，定义线性空间V中的减法：第5页，共50页，星期日，2025年，2月5日定理2.4.1设V是域F上的线性空间，则(1)V中零元素是唯一的；(2)V中任一元素α的负元素是唯一的；第6页，共50页，星期日，2025年，2月5日定义2.4.2设V是域F上的线性空间，是V中一组向量，是域F中的元素。如果V中向量α可表示为则称α可由线性表示，或称α是的线性组合(linearcombination)。第7页，共50页，星期日，2025年，2月5日定义2.4.3设与是线性空间V中两个向量组。如果中每个向量都可由向量组线性表示，则称向量组可以由向量组线性表示。如果向量组与向量组可以互相线性表示，则称向量组与向量组是等价的(equivalent)。向量组之间的等价是向量组之间的一种等价关系第8页，共50页，星期日，2025年，2月5日定义2.4.4设V是域F上的线性空间，是V中一组向量，如果存在r个不全为零的元素