第6节第1,2节.ppt

第六章 线性空间 线性空间是2维、3维几何空间及n维向量空间的推广. 将一个具有加法和数乘运算且这些运算具有和向量一样的基本性质的集合定义为一个线性空间. 满足这样性质和特点的集合可能会有很多. 线性空间是在不考虑集合的具体对象，抛开它们的具体内容仅关心规定了运算的集合所体现的公共性质，因此线性空间是我们遇到的第一个高度抽象的概念. 3) 映射可逆的条件 集合 X 到 Y 的映射 ? 可逆的充分必条件是 ? 为双射. 证明 必要性 设 ? 可逆，即有唯一的从集合 Y 到 X 的映射 ? ，使 ? ? = 1X 且 ? ? = 1Y , 于是，对任意的 ? ? Y ，有 ? = 1Y ( ? ) = (? ? ) ( ? ) = ? ( ? (? ) ) ， 由于? (? ) ? X，故 ? 是满射； 又因为，若 ? ( ?1 ) = ? ( ?2 ) ， 则 ?1 = 1X( ?1 ) = ? ( ? ( ?1 ) ) = (? ? ) ( ?1 ) = ? ( ? ( ?2 ) ) = (? ? ) ( ?2 ) = 1X( ?2 ) = ?2 ， 故 ? 是单射，从而 ? 是双射. 再证充分性. 设 ? 是双射，对任意的? ? Y ， 存在唯一的 ? ? X，使 ? ( ? ) = ? ，于是可定义集 合 Y 到 X 的映射? ，使得 ? ( ? ) = ? ，其中 ? 是 X 中与 ? 一一对应的元素，这样，对任意的 ? ? X , 都有 (? ? ) ( ? ) = ? ( ? ( ? ) ) = ? ( ? ) = ? ， 所以， ? ? = 1X . 同样，对任意的 ? ? Y ，都有 (? ? ) ( ? ) = ? (? ( ? ) ) = ? (? ) = ? ， 所以， ? ? = 1Y . 因此? 是可逆的. 证毕 主要内容 引入 第二节 定义 线性空间的简单性质 线性空间的定义与简单性质 一、引入 线性空间是线性代数最基本的概念之一. 这一 节我们来介绍它的定义，并讨论它的一些最简单的 性质. 线性空间也是我们碰到的第一个抽象的概念, 为了说明它的来源，在引入定义之前，先看几个熟 知的例子. 例 1 在解析几何中，我们讨论过三维空间 中的向量. 向量的基本属性是可以按平行四边形规 律相加，也可以与实数作数量乘法. 我们知道，不 少几何和力学对象的性质是可以通过向量的这两种 运算来描述的. 例 2 为了解线性方程组，我们讨论过以 n 元 有序数组 ( a1 , a2 , … , an ) 作为元素的 n 维向量空 间. 对于它们，也有加法和数量乘法，那就是 ( a1 , a2 , … , an ) + ( b1 , b2 , … , bn ) = ( a1 + b1 , a2 + b2 , … , an + bn ) , k ( a1 , a2 , … , an ) = (k a1 , k a2 , … , k an ) . 例 3 对于函数，也可以定义加法和函数与实 数的数量乘法. 譬如说，考虑全体定义在区间[a,b] 上的连续函数. 我们知道，连续函数的和是连续 函数，连续函数与实数的数量乘积还是连续函数. * * 主要内容 集合 第 一 节 集合 ? 映射 映射 一、集合 1. 集合的定义 集合 集合是数学中最基本的概念之一， 它不能用更简单的概念来定义，而只能对它作些解 释. 所谓集合是指由一些确定的对象(或事物)汇集 成的整体，其中每个对象叫集合的元素. 通常用大写字母 A，B，X，Y 等表示集合，用 小写字母 a, b, x, y 等表示集合的元素. 如果元素 a 在集合 A 中，就说“a 属于 A”，记作 a ? A ； 如果元素 a 不在集合 A 中，就说“a 不属于 A”， 记作 a ? A . 例如 全体整数组成一个集合， 记作 Z； 全体有理数组成一个集合，记作 Q； 全体实数组成一个集合， 记作 R； 全体复数组成一个集合， 记作 C； 全体正整数组成一个集合，记作 N* . 一个班的学生组成一个集合，元素是每一个学生. 一条曲线是由一些点组成的集合，一个曲面也是 由一些点组成的集合，它们的元素都是点. 上述几个集合是数学中最常用的集合，它们有 一个共同特点：元素都是数. 事实上，集合中的元 素，可以不是数，如 2. 集合的表示法 集合的表示法有两种：列举法和描述法. 列举法 : 把集合中的元素一一列举出来. 例如，设 M 是由数1, 2, 3 组成的集合，则 M 可记为 M = {1, 2, 3}. 描述法: 即用集合中全