第6章第1,2节.pptVIP

线性空间是2维、3维几何空间及n维向量空间的推广. 将一个具有加法和数乘运算且这些运算具有和向量一样的基本性质的集合定义为一个线性空间. 满足这样性质和特点的集合可能会有很多. 线性空间是在不考虑集合的具体对象，抛开它们的具体内容仅关心规定了运算的集合所体现的公共性质，因此线性空间是我们遇到的第一个高度抽象的概念. 证明 必要性 设 ? 可逆，即有唯一的从集合 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] 上的连续函数. 我们知道，连续函数的和是连续 函数，连续函数与实数的数量乘积还是连续函数. 从这些例子中我们看到，所考虑的对象虽然完 全不同，但是它们有一个共同点，那就是它们都有 加法和数量乘法这两种运算. 当然，随着对象不同 这两种运算的定义也是不同的. 为了抓住它们的共 同点，把它们统一起来加以研究，我们引入线性空 间的概念. 当我们引入抽象的线性空间的概念时， 必须选定一个确定的数域作为基础. 在第一个例子中，我们用实数和向量相乘. 在 第二个例子中用什么数和向量相乘，就要看具体情 况. 例如，在有理数域中解线性方程组时，用有理 数去作数量乘法就已经足够了，而在复数域中解线 性方程组时，就需要用复数去作乘法运算. 可见， 不同的对象与不同的数域相联系. 当我们引入抽象 的线性空间的概念时，也必须选定一个确定的数域 作为基础. 因为 二、定义 定义 6 设 V 是一个非空集合 , P 是一个数域. 在集合 V 的元素之间定义了一种代数运算，叫做 加法； 这就是说，给出了一个法则，对于 V 中任 意两个元素 ? 与 ? ，在 V 中都有唯一的一个元素 ? 与它们对应，称为 ? 与 ? 的和，记为 ? = ? + ? . 在数域 P 与集合 V 的元素之间还定义了一种运算 , 叫做数量乘法； 这就是说，对于数域 P 中任一 数 k 与 V 中任一元素 ? ，在 V 中都有唯一的一个 元素 ? 与它们对应，称为 k 与 ? 的数量乘积，记 ? = k? . 如果加法与数量乘法满足下述规则，那 么 V 称为数域 P 上的线性空间. 加法满足下面四条规则： 1) ?