4.1 向量空间与子空间
第1章和第2章中的许多内容停留在 的一些简单且明显的代数性质上,这些性质列在1.3节中.事实上,许多其他的数学系统具有与 中相同的性质,这些具体而有趣的性质列在下面定义中.
定义 一个向量空间是由一些被称为向量的对象构成的非空集合 ,在这个集合上定义了两个运算,称为加法和标量乘法(标量取实数),服从以下公理(或法则) ,这些公理必须对 中所有向量 及所有标量(或称数) 和 均成立。
-
之和(表示为 )属于 .
-
.
-
-
中存在一个零向量 0,使得 .
-
对 中每个向量 ,存在 中一个向量 -u,使得 .
-
与标量 的标量乘法(记为 cu)属于 .
-
-
-
.
-
.
只需利用这些公理,就可以证明公理4中的零向量是唯一的。对 ,公理5中向量 ,公理5中向量 称为 的负向量,也是唯一的,见习题25和26。下列简单事实的证明也在习题中给出了大致概要:
对 中每个向量 和任意标量 ,有
空间 ( )为向量空间的首要的例子。 的几何直觉可以帮助我们使本章的许多概念清晰化并且直观化。
设 是三维空间中所有有向线段的集合,如果其中两个向量方向相同且长度相等,则二者视为相等。由平行四边形法则定义加法(见1.3节),且对 中每个向量 ,定义 为长度等于 乘以 的长度的有向线段。若 ,则 与 同向,否则与 反向(见图 4-2)。证明 是一个向量空间。这个空间是物理学中变力问题中一个常用的模型。
解
的定义是按几何方式定义的,只用到长度和方向的概念,没有涉及 坐标系。一个零长度的有向线段就是一个单点,表示零向量。 的负向量为 ,所以公理1,4,5,6,10显然成立。剩下的可用几何方法证明,比如图4-3、图4-4。

设 是数的双向无穷序列空间(通常写成行而不写成列):
若 是 中的另一个元素,则和 是序列 ,它由 与 对应项之和构成.数乘 是序列 .用与 中相同的方法可以证明向量空间的那些公理.
中的元素来源于工程学,例如,每当一个信号在离散时间上被测量(或被采样)时,它就可被看作中的一个元素。这样的信号可以是电的、机械的、光的,等等。在本章“介绍性实例”中提到的航天飞机的大控制系统就使用离散或“数字”信号。为了方便,我们称为(离散时间)信号空间。一个信号可以直观地由图 4-5表示。
对 ,次数最高为 的多项式集合 由形如下列的多项式组成:
(4)
其中系数 和变量 均为实数。 的次数是(4)中系数不为零的项中 的最高幂。若 ,则 的次数为零。若所有系数均为零,则 称为零多项式。零多项式包含在 中,尽管它的次数没有定义。
若 由(4)式给出,且 ,则 定义为
标量乘法 定义为
这些定义满足公理1和公理6,这是因为 的多项式。公理2、3和公理7 的负向量,所以满足公理5,于是 公理4中的零向量。最后, 均为次数不超过 的多项式。公理2、3和公理7~10由实数性质验证。显然,零多项式可以作为公理4中的零向量。最后, 作为 的负向量,所以满足公理5,于是 是一个向量空间。
对不同的 ,向量空间 用于(比如说)统计数据的趋势分析中,这在 6.8 节中讨论.
设 是定义在集合 上的全体实值函数的集合(典型地, 为实数集或实轴上的区间)。用通常方式定义加法 仍为函数,在 中 处的值为 。同样,对标量 和 中的 ,标量乘法 仍为函数,在 的值为 。例如,若 , , ,则
中两个函数相等,当且仅当对任意 中的 函数值相等。从而 中的零向量是恒等于零的函数,即 ,任意 , 的负向量为 。公理1和公理6显然成立,其余公理由实数性质得证,所以 为一个向量空间。
把例5中的向量空间 中每个函数看作一个独立的个体是很重要的,如同在向量空间中的一个“点”或向量那样。两个向量 与 的和( 与 中的函数,即向量空间中的元素)可以通过图 4-6给予直观解释,因为这样可以帮助你将 中的函数,即向量空间中的元素)可以通过图4-6给予直观解释,因为这样可以帮助你将 中建立的几何直觉上升到一般向量空间,“学习指南”可以帮你接受更一般的观点。
在许多问题中,一个向量空间是由一个大的向量空间中适当的向量的子集所构成。在此情形下,向量空间的10个公理中只需要验证三个,其余的自然成立。
定义 向量空间 的一个子空间是 的一个满足以下三个性质的子集 :
. V 中的零向量在 中.
. H 对向量加法封闭,即对 中任意向量 , ,和 仍在 中.
. 对标量乘法封闭,即对 中任意向量 和任意标量 ,向量 仍在 中.
性质()、()、()保证 的子空间 本身对 中定义的向量空间运算而言是一个向量空间。为证此结论,注意到()、()、()分别是公理1、4、6。公理2 中的元素。公理5在 公理7~10自然成立,这是因为它们对 中所有元素均成立,自然包括 中的元素。公理5在 中也成立,因为若 在 即公理5中的 )知, 也在 中,同时,从本节等式(3)知, 即公理5中的 。
这样每个子空间都是一个向量空间。反之,每个向量空间是一个子空间(针对本身或其他更大的空间而言)。对两个向量空间,若其中一个在另一个内部,此时子空间这个词被使用,而 的子空间是将 看作更大的空间(见图 4-7)。
向量空间 中仅由零向量组成的集合是 的一个子空间,称为零子空间,写成 .
令 为全体实系数多项式的集合, 中运算的定义与函数运算相同,则 是定义在 上的全体实值函数的空间的一个子空间。再者,对每个 是 的子空间,因为 是 的子集,它包含零多项式,且 中两个多项式之和仍在 中,数乘以 中一个多项式仍在 中。
向量空间 不是 的子空间,因为 甚至不是 的子集( 中的向量有3个元素,而 中的向量仅有两个元素).集合
是 的一个子集,尽管从逻辑上讲它与 不同,但实际上很像 ,见图 4-8.证明 是 的一个子空间.
解
零向量在 中,且对向量的加法和标量乘法, 是封闭的,这是因为对 中的向量而言,那些运算产生的向量中的第 3 个元素仍为零(从而属于 ),所以 是 的一个子空间.
中一个不通过原点的平面不是 中子空间,这是因为此平面不包含 中的零向量. 类似地, 中一条不通过原点的直线(如图 4-9所示)也不是 的子空间.
由一个集合生成的子空间
Section titled “由一个集合生成的子空间”下一个例子说明了描述子空间的最常用的方法. 与第 1 章中相同, 线性组合这个词表示一些向量的任意标量乘法之和, 表示所有可以表示成 的线性组合的向量集合.
给定向量空间 中向量 ,令 ,证明 是 的一个子空间.
解
由于 ,所以零向量在 中.为证 对加法封闭,任取 中两个向量,比如
对向量空间 ,由公理2、3和8知,
所以 在 中. 进一步, 若 是任意标量, 则由公理7 和 9 知,
这证明 在 中,从而 对标量乘法封闭,从而 是 的一个子空间.
在 4.5 节中,我们将证明 的每一个非零子空间除了 本身之外,要么是 ,这里 是某线性无关的两个向量,要么是 , 。对第一种情形,此子空间是一个通过原点的平面;对第二种情形,子空间是一条通过原点的直线(见图 4-10)。记住这些几何图形是有好处的,甚至对一个抽象的向量空间也有帮助。
例10 中的讨论可以很容易地推广从而证明下面的定理.
若 在向量空间 中,则 Span 是 的一个子空间.
我们称 是由 生成(或张成)的子空间。给定 的任一子空间 , 的生成(或张成)集是集合 ,满足 。
下例说明如何使用定理1.
令 是所有形如 的向量的集合,其中 , 是任意数,即
证明
是 的一个子空间.
解
将 中向量写成列向量,则 中任意向量具有如下形式:
这个计算表明 ,其中 标示如上,从而由定理1 知 是 的一个子空间。
展示了一个有用的技巧,用来表示作为某些向量的线性组合的集合的子空间 。若 ,则可把这个生成集中的向量 看作“柄”,它们使我们能够掌握这个子空间 。H 中无穷多个向量的运算经常被化简成生成集中的有限多个向量的运算。
问 取何值时, 在由 生成的 的子空间中?其中
解
此问题是 1.3 节中的练习题 2,这里用子空间这个词还不如用 Span 。此处 在 Span 中当且仅当 h=5。这个解法现在值得复习一下,可以复习 1.3 节中习题 11~16 和习题 19~21。
虽然本章中许多向量空间是 的子空间,但牢记那些抽象理论用在其他向量空间仍成立是很重要的。函数的向量空间起源于许多应用,这些空间在后面的章节将受到关注。
-
通过证明标量乘法不封闭,证明 中所有形如 的点集 不能构成一个向量空间。(找出 中一个特殊向量 和数 ,使 不在 中。)
-
令 ,其中 在向量空间 中,证明 在 中, 。(提示:先写一个能证明 在 中的方程,再类似证明一般情形。)
-
矩阵 是对称的,如果 。设 是所有 对称矩阵的集合。证明 是 的子空间, 是 矩阵的向量空间。
-
令 是 平面中的第一象限,即 a. 若 在 中,那么 在 中吗?为什么? b. 找出 中一个特殊向量 和一个特殊数 ,使得 不在 中。(这足以说明 不是一个向量空间。)
-
令 是 xy 平面中第一象限与第三象限的并集, 即 . a. 若 在 中, 为任意数,cu 在 中吗? 为什么? b. 求 中特殊向量 , ,使得 不在 中。 这足以说明 不是一个向量空间.
-
令 是 平面上所有单位圆内和圆上的点集,即 ,找出一个特殊的例子,即两个向量或者是一个向量与一个数,证明 不是 中的一个子空间.
-
构造一个几何图形说明为什么 中一条不过原点的直线对向量的加法不封闭. 在习题5~8中, 取适当的值,判定给出的集合是否为 的子空间,验证你的答案.
-
所有形如 的多项式,其中 .
-
所有形如 的多项式,其中 .
-
所有次数最多是 3 的整系数多项式.
-
中所有使得 的多项式.
-
令 为所有形如 的向量集,求 中一个向量 ,使得 . 为什么这样能证明 是 的一个子空间?
-
令 为所有形如 的向量集,其中 是任意实数. 证明 是 的一个子空间.(利用习题
9 的方法.)
-
令 是所有形如 的向量集,其中 是任意数,求向量 使得 . 为什么这样能证明 是 的一个子空间?
-
令 是所有形如 的向量集,证明 是 的一个子空间。(利用习题 11 的方法。)
-
令 , , , .
. 在 中吗? 中有多少个向量?
. 中有多少个向量?
. 在由 生成的子空间中吗?为什么?
- 令 与习题 13 中相同, . w 在由 生成的子空间中吗?为什么?
在习题 15~18 中,令 表示已给形式的所有向量的集合,其中 , , 表示任意实数。在每种情形下,要么给出生成 的向量集合 ,要么给出一个例子证明 不是一个向量空间。
-
16. 17. 18.
-
一个物体 挂在弹簧的末端,若向下拉动物体再放开,这个物体-弹簧系统开始振动,物体从其静止位置的位移 由下列形式的函数给出:
其中 是一个常数,它与弹簧及物体有关。(见下图。)证明由(5)式给出(其中 固定, 任意)的所有函数的集合是一个向量空间。

- 定义在 中闭区间 上的全体实值连续函数的集合记为 ,此集合是定义在 上的全体实值函数的向量空间的一个子空间.
. 关于连续函数,需要证明什么结论才能说明 如命题所说的确实是一个子空间?(这些结论在微积分中经常讨论).
. 证明 是 的一个子空间.
对固定的正整数 ,在通常的矩阵加法运算和实数乘法运算之下,所有 矩阵的集合 是一个向量空间.
-
判断形如 的全体矩阵的集合 是否是 的一个子空间.
-
令 是一个固定的 矩阵,令 是 中所有使得 ( 中的零矩阵)的矩阵 构成的集合,判断 是否是 的一个子空间.
在习题23和习题24中,判断每个命题的真假,给出理由.
-
. 若 是 上所有实值函数的向量空间 中的一个函数,且对某个 有 ,则 是 中的零向量.
-
在三维空间中,一个向量是一个箭头(有向线段).
对向量空间 的一个子集 ,若零向量在 中,则 是 的一个子空间.
. 一个子空间仍是一个向量空间.
. 模拟信号被用在航天飞机的主控系统中,这在本章“介绍性实例”中有提到.
- . 一个向量是一个向量空间中任意一个元素.
. 若 是向量空间 中一个向量,则 与 的负向量相同.
. 一个向量空间仍是一个子空间.
. 是 的一个子空间.
. 一个向量空间 的一个子集 如果满足以下条件:()V 的零向量在 中,(ii)u, 和 在 中,(iii)c 是一个标量,cu 在 中,则 是 的一个子空间.
习题 25~29 给出向量空间 的公理如何用来证明写在向量空间定义后面的基本性质,用合适的公理序号填空。由公理2、4 和 5 可知,对所有 , 和 均成立。
-
完成下面关于零向量是唯一的证明。假设 在 中,具有性质:对 中所有 , 。特别地, ,但由公理 ____, ,从而 w = 0 + w = 0。
-
完成下面关于 -u 是 中唯一满足 的向量的证明. 假设 满足 ,用 -u 加到两边,则有 这是由公理 ____ () 这是由公理 ____ () w=-u 这是由公理 ____ ()
-
在下列证明 0u=0 对任意 中的 成立的过程中,填写漏掉的公理序号. 0u=0 对 中每个 成立 这是由公理 ____ () 两边加 0u 的负向量: 这是由公理 ____ () 这是由公理 ____ ()
0=0u 这是由公理____()
-
在下列证明 对任意数 成立的过程中,填写漏掉的公理序号: 这是由公理____() 这是由公理____()两边加 的负向量: 这是由公理____() 这是由公理____() 这是由公理____()
-
证明 . (提示: ,用习题27和习题26中某些公理和结论.)
-
假设对某非零数 , 证明 . 说出你用到的公理和性质.
-
令 是向量空间 中的向量, 是 中任意一个包含 和 的子空间。解释为什么 也包含 ,这说明 是包含 和 的 中最小子空间。
-
令 和 是向量空间 的子空间, 和 的交集写作 ,是 中既属于 又属于 的元素 的集合。证明 是 的一个子空间。
(见下图.)在 中给出一个例子,证明一般而言,两个子空间的并集不是一个子空间.

- 给定向量空间 的子空间 和 , 和 的和(记
为 )是 中可以写成两个向量(一个向量在 中,另一个向量在 中)之和的所有向量的集合,即
a. 证明 是 的子空间. b. 证明 是 的子空间, 是 的子空间.
-
假设 和 是向量空间 中的向量,并设 证明 .
-
[] 证明 在由 生成的 的子空间中,其中
- [] 判定 是否在由 的列生成的 的子空间中,其中
- [] 向量空间 至少包含两个有趣的函数,它们在以后的习题中用到:
对 ,研究 的图像,对 推测一个简单的公式。通过绘图比较 与你的 的公式,验证你的猜测。(你将会看到常函数1。)对 重复你的研究。
- [] 对下列函数,重复习题 37:
它们均在向量空间 中.
- 任取 中的 ,比如取 ,任取 ,比如取 ,则 . 如果它在 中,则存在某个 使得
则 同时 ,而这是不可能的,所以 不在 中, 不是一个向量空间.
-
,这表明 是 的一个线性组合,所以 在 中。一般 也在 中,这是因为 。
-
子集 是 的一个子空间,因为它满足下面列出的子空间定义中的所有三个要求:
. 零矩阵 ,且 ,零矩阵是对称的,因此 .
. 设 . 和 是 对称矩阵,因此 。由矩阵转置的性质, 。所以 是对称的,因此 。
. 设 且 是数. 因为 是对称的, 故由对称矩阵的性质, . 于是 也是对称矩阵, 因此 .
书籍模块索引
线性代数及其应用(原书第5版) · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。