高等代数 (84)古今数学思想.pdf

第五章 线性空间 5.4 子空间的交与和 5.4.1 子空间的定义 一 子空间的定义 . 子空间: V: F- 空间, W: V 的非空子集, 如果 对 的加法 数乘也构成 空间 称 为 的 W V , F- , W V 子空间. 平凡子空间: F- V : O = {0}, V 任一 空间 都具有的子空间 零空间 自身 例1: 复数域 关于通常复数的加法与有理数数乘做成一个 空间 此时 V = ℂ ℚ- ,   , ,  2 a b 2 a, b    都是 的子空间 V . 子空间判定 W V . :  设 是 的非空子集 则 对 中的线性运算封闭 是 的子空间 W V . W V 证明:  显然.  需要证明 对 中运算满足八条线性规则 W V : 0 0 , 1  W 任取 中一个向量 视为 中向量 由 对数乘封闭知   W α, V , W V ( 1)α α W . 此时 是 中的零向量 - 是 在 中的负向量 0V W , , ,  W , 均视为 中的向量 由 是线性空间知运算满足 V , V :   ,      , k  l  kl      1 ,     k  k k   k l  k l    k , l F W V W , W ! 因此 是 的子空间 注意到 对线性运算封闭 因此如上也可视为 中的等式 子空间的判定: 子空间 非空 对加法封闭 对数乘封闭 不是: 否定任