第7章 线性空间§1.pdfVIP

- 281 - 7.1 线性空间及其子空间 第 7 章 线性空间 在 3.2 中，讲述了n 元向量空间及其子空间；在 3.1 中，讲述了n 元向量组的线性相 关性；在 3.3 中，讲述了内积空间和正交矩阵. 本章系统讲述线性空间及其线性变换、欧几里得空间及其正交变换. 7.1 线性空间及其子空间 7.1.1 线性空间的概念·举例·性质 一、线性空间的公理化定义 定义 1 设 V {, ,  ,  , }为非空集合， {k , l , }为数域. 在V 中的元素 之间定义了一种称为加法的运算，即对任意,  V ，都有唯一的 V 与它们对应，记 作  ；在中的数与V 中的元素之间定义了一种称为数量乘法的运算，即对任意 k ,  V ，都有唯一的 V 与它们对应，记作k  . 如果对任意, ,  V ， k , l ，恒有以下八条基本规律成立： (A1)    ； (加法交换律) (A2) ()  ( ) ； (加法结合律) (A3) 存在0 V ，使得0  ； (加法右单位元，称为V 的零元素) (A4) 存在V ，使得() 0 ； (加法右逆元，称为 的负元素) 1 (A5) 1  ； ( 倍) (A6) k (l) (kl ) ； (数乘结合律) (A7) (k l ) kl ； (第一分配律) (A8) k () k k ， (第二分配律) 则称V 是数域上的一个线性空间或向量空间，称数域是V 的系数域，常记作V . 实  数域上的线性空间常简称为实空间，复数域上的线性空间常简称为复空间. V 中的 元素常称为(V 中的)向量. 加法与数量乘法合称为线性运算. 注 1 定义要点：集合 V 非空，两种运算良好定义，公理(A1)-(A8)成立(加法四条、数 乘两条、联系两条). 注 2 公理(A6)、(A7)分别为： k  (l  ) (k  l )   ， (k  l ) k l. V V  V  V 二、线性空间举例 线性空间的概念高度抽象，涵盖范围很广. 以下具体线性空间背景不同，运算各异， 但都满足公理(A1)-(A8).  例 1 选定原点 O ，任取点M ，得几何向量OM . 全体几何向量形成的集合  V {OM | M 宇宙} ， 关于几何向量之间的加法(遵循平行四边形法则或三角形法则)、实数与几何向量之间的数 量乘法，是一个实空间，称之为几何向量空间. 例 2 数域 上的全体m n 矩阵形成的集合 mn {[a ] |a } ， ij mn ij 第7章 线性空间 - 282 - 关于m n 矩阵的加法与数乘，是数域上的一个线性空间，称之为数域上的m n 矩 阵空间.