第六章 线性空间（Linear Space）.docVIP

第六章 线性空间(Linear Space) 引言 线性空间是线性代数的中心内容，它是几何空间的抽象和推广。 我们知道，在解析几何中讨论的三维向量，它们的加法和数与向量的乘法可以描述一些几何和力学问题的有关属性．为了研究一般线性方程组解的理论，我们把三维向量推广为n维向量，定义了n维向量的加法和数量乘法运算，讨论了向量空间中的向量关于线性运算的线性相关性，完满地阐明了线性方程组的解的理论。 现在把n维向量抽象成集合中的元素，撇开向量及其运算的具体含义，把集合对加法和数量乘法的封闭性及运算满足的规则抽象出来，就形成了抽象的线性空间的概念，这种抽象将使我们进一步研究的线性空间的理论，可以在相当广泛的领域内得到应用．事实上，线性空间的理论与方法己渗透到自然科学与工程技术的许多领域，同时对于我们深刻理解和掌握线性方程组理论和矩阵代数也有非常重要的指导意义。 §1 集合·映射 一、集合 集合是数学中最基本的概念之一，所谓集合就是指作为整体看的一堆东西.组成集合的东西称为这个集合的元素.用 表示是集合的元素，读为：属于.用 表示不是集合的元素，读为：不属于. 所谓给出一个集合就是规定这个集合是由哪些元素组成的.因此给出一个集合的方式不外两种，一种是列举法：列举出它全部的元素，一种是描述法：给出这个集合的元素所具有的特征性质. 设是具有某些性质的全部元素所成的集合，就可写成 . 不包含任何元素的集合称为空集，记作. 如果两个集合与含有完全相同的元素，即当且仅当，那么它们就称为相等，记为. 如果集合的元素全是集合的元素，即由可以推出，那么就称为的子集合，记为或. 两个集合和如果同时满足和.，则和相等. 设和是两个集合，既属于又属于的全体元素所成的集合称为与的交，记为. 属于集合或者属于集合的全体元素所成的集合称为与的并，记为. 二、映射 设和是两个集合，所谓集合到集合的一个映射就是指一个法则，它使中每一个元素都有中一个确定的元素与之对应.如果映射使元素与元素对应，那么就记为 , 就为在映射下的像，而称为在映射下的一个原像. 到自身的映射，有时也称为到自身的变换. 关于到的映射应注意： 1）与可以相同，也可以不同； 2）对于中每个元素，需要有中一个唯一确定的元素与它对应； 3）一般，中元素不一定都是中元素的像； 4）中不相同元素的像可能相同； 5）两个集合之间可以建立多个映射. 集合到集合的两个映射及，若对的每个元素都有则称它们相等，记作.. 例1 是全体整数的集合，是全体偶数的集合，定义 , 这是到的一个映射. 例2 是数域上全体级矩阵的集合，定义 . 这是到的一个映射. 例3 是数域上全体级矩阵的集合，定义 . 是级单位矩阵，这是到的一个映射. 例4 对于,定义 这是到自身的一个映射. 例5 设，是两个非空的集合，是中一个固定的元素，定义 . 这是到的一个映射. 例6 设是一个集合，定义 . 即把的每个元素都映到它自身，称为集合的恒等映射或单位映射，记为. 例7 任意一个定义在全体实数上的函数 都是实数集合到自身的映射，因此函数可以认为是映射的一个特殊情形. 对于映射可以定义乘法,设及分别是集合到，到的映射，乘积定义为 , 即相继施行和的结果，是到的一个映射. 对于集合到的任何一个映射显然都有 . 映射的乘法适合结合律.设分别是集合到，到，到的映射，映射乘法的结合律就是 . 设是集合到的一个映射，用 代表在映射下像的全体，称为在映射下的像集合.显然 . 如果，映射称为映上的或满射. 如果在映射下，中不同元素的像也一定不同，即由一定有,那么映射就称为的或单射. 一个映射如果既是单射又是满射就称对应或双射. 对于到的双射可以自然地定义它的逆映射，记为.因为为满射，所以中每个元素都有原像，又因为是单射，所以每个元素只有一个原像，定义 . 显然，是到的一个双射，并且 . 不难证明，如果分别是到，到的双射，那么乘积就是到的一个双射. §2 线性空间(Linear Space)的定义与简单性质 一、线性空间的定义. 例1 在解析几何里,讨论过三维空间中的向量.向量的基本属性是可以按平行四边形规律相加，也可以与实数作数量算法.不少几何和力学对象的性质是可以通过向量的这两种运算来描述的. 10 按平行四边形法则所定义的向量的加法是V3的一个运算; 20 解析几何中规定的实数与向量的乘法是R×V3到V3的一个运算. 30 由知道, 空间上向量的上述两种运算满足八条运算规律. 例2. 数域上矩阵所成的集合对于矩阵的加法和数与矩阵的乘法满足上述规律. 定义1 令是一个非空集合，是一个数域.在集合的元素之间定义了一种代数运算，叫做加法addition；这就是说给出了一个法则，对于中任意两个元素与,在中都有唯一的一个元素与它们对应,称为与的和sum,记为.在数域