对线性空间的理解.pdfVIP

首先说说空间(space)，这个概念是现代数学的命根子之一，从拓扑空间开始，一

步步往上加定义，可以形成很多空间。线形空间其实还是比较初级的，如果在里

面定义了范数，就成了赋范线性空间。赋范线性空间满足完备性，就成了巴那赫

空间；赋范线性空间中定义角度，就有了内积空间，内积空间再满足完备性，就

得到希尔伯特空间。

总之，空间有很多种。你要是去看某种空间的数学定义，大致都是“存在一个集

合，在这个集合上定义某某概念，然后满足某些性质”，就可以被称为空间。这

未免有点奇怪，为什么要用“空间”来称呼一些这样的集合呢？大家将会看到，其

实这是很有道理的。

我们一般人最熟悉的空间，毫无疑问就是我们生活在其中的（按照牛顿的绝对时

空观）的三维空间，从数学上说，这是一个三维的欧几里德空间，我们先不管那

么多，先看看我们熟悉的这样一个空间有些什么最基本的特点。仔细想想我们就

会知道，这个三维的空间：1.由很多（实际上是无穷多个）位置点组成；2.这

些点之间存在相对的关系；3.可以在空间中定义长度、角度；4.这个空间可以

容纳运动，这里我们所说的运动是从一个点到另一个点的移动（变换），而不是

微积分意义上的“连续”性的运动，

上面的这些性质中，最最关键的是第4条。第1、2条只能说是空间的基础，不算

是空间特有的性质，凡是讨论数学问题，都得有一个集合，大多数还得在这个集

合上定义一些结构（关系），并不是说有了这些就算是空间。而第3条太特殊，其

他的空间不需要具备，更不是关键的性质。只有第4条是空间的本质，也就是说，

容纳运动是空间的本质特征。

认识到了这些，我们就可以把我们关于三维空间的认识扩展到其他的空间。事实

上，不管是什么空间，都必须容纳和支持在其中发生的符合规则的运动（变换）。

你会发现，在某种空间中往往会存在一种相对应的变换，比如拓扑空间中有拓

扑变换，线性空间中有线性变换，仿射空间中有仿射变换，其实这些变换都只

不过是对应空间中允许的运动形式而已。

因此只要知道，“空间”是容纳运动的一个对象集合，而变换则规定了对应空间的

运动。

下面我们来看看线性空间。线性空间的定义任何一本书上都有，但是既然我们承

认线性空间是个空间，那么有两个最基本的问题必须首先得到解决，那就是：

1.空间是一个对象集合，线性空间也是空间，所以也是一个对象集合。那么线

性空间是什么样的对象的集合？或者说，线性空间中的对象有什么共同点吗？

2.线性空间中的运动如何表述的？也就是，线性变换是如何表示的？

我们先来回答第一个问题，回答这个问题的时候其实是不用拐弯抹角的，可以直

截了当的给出答案。线性空间中的任何一个对象，通过选取基和坐标的办法，都

可以表达为向量的形式。通常的向量空间我就不说了，举两个不那么平凡的例子：

L1.最高次项不大于n次的多项式的全体构成一个线性空间，也就是说，这个线

01n

性空间中的每一个对象是一个多项式。如果我们以x,x,...,x为基，那么任何

一个这样的多项式都可以表达为一组n+1维向量，其中的每一个分量a其实就是

i

多项式中x(i-1)项的系数。值得说明的是，基的选取有多种办法，只要所选取的那

一组基线性无关就可以。这要用到后面提到的概念了，所以这里先不说，提一下

而已。

L2.闭区间[a,b]上的n阶连续可微函数的全体，构成一个线性空间。也就是说，

这个线性空间的每一个对象是一个连续函数。对于其中任何一个连续函数，根据

魏尔斯特拉斯定理，一定可以找到最高次项不大于n的多项式函数，使之与该连

续函数的差为0，也就是说，完全相等。这样就把问题归结为L1了。后面就不用

再重复了。

所以说，向量是很厉害的，只要你找到合适的基，用向量可以表示线性空间里任

何一个对象。这里头大有文章，因为向量表面上只是一列数，但是其实由于它的

有序性，所以除了这些数本身携带的信息之外，还可以在每个数的对应位置上携

带信息。为什么在程序设计中数组最简单，却又威力无穷呢？根本原因就在于此。

这是另一个问题了，这里就不说了。

下面来回答第二个问题，这个问题的回答会涉及到线性代数的一个最根本的问

题。

线性空间中的运动，被称为线性变换。也就是说，你从线性空间中的一个点运动

到任意的另外一个点，