矢量空间

　　 矢量空间的定义必须依赖一个域（field）．简单来说，域就是能进行加减乘除的对象的一个集合，比如实数域和复数域．这个域本身被称为该矢量空间的标量域（scalar field）或标域，它的元素被称为矢量空间的标量（scalar），它们不是矢量空间的元素，但是可以用来和矢量进行数乘．那么，我们就说矢量空间是 “域 上的”．矢量空间选择的域几乎都是或，即讨论的是实数（或复数）域上的矢量空间．所以即使我们不了解域的具体定义也没关系，只要知道实数和复数是两种常见的域就足够了．

1.1 定义 1　矢量空间

　　 标量域上的矢量空间定义了矢量的集合、两个矢量间的加法运算以及标量和矢量间的数乘运算．令矢量，标量，矢量加法记为，数乘记为．两种运算必须满足以下性质：

1.2 加法运算

1. 满足加法交换律．

2. 满足加法结合律．

3. 存在零矢量，使得．

4. 空间中任意矢量存在逆矢量，使得．

1.3 数乘运算

1. 乘法分配律

2. 乘法分配律

3. 乘法结合律

        说明：加法运算是一个二元映射, 注意运算的结果必须仍然落在 中．我们把这样的运算叫做封闭（closed）的^[2]．数乘运算同样也是封闭的，即一个矢量数乘标量后仍然落在 中．我们现在还没有涉及 以外的元素，所以封闭性看似有些多余，但以后会看到一个矢量空间的子集也可以是矢量空间，称为子空间，上的两种运算封闭意味着运算结果只能落在中而不能是的其他元素．

1.4 习题 1　几何矢量

　　 证明 1,2,3 维空间中的所有几何矢量各自构成实数域上的矢量空间．

    作为一个非几何矢量的例子，我们来看由多项式构成矢量空间．

1.5 例 1　多项式

　　 所有不大于阶的多项式可以构成一个实数或复数矢量空间．定义矢量加法为两多项式相加，满足

• 封闭性：任意两个不大于阶的多项式相加仍然为不大于阶的多项式．

• 交换律：多项式相加显然满足交换律．

• 零矢量：常数 0 可以看做一个 0 阶多项式，任何多项式与之相加都不改变．

• 逆矢量：把任意多项式乘以 −1就得到它的逆矢量，任意多项式与其逆矢量相加等于 0．

　　 定义矢量数乘为多项式乘以常数，显然也满足数乘的各项要求，不再赘述．

    另一个重要的矢量空间，是函数空间（function space）．

1.6 例 2　函数空间

　　 实数到实数的全体函数的集合构成一个线性空间，称为函数空间．函数空间中两个向量的加法定义为，对于任何实数和函数（即向量），有；数乘定义为，对于任何实数 和函数，有．

　　 类似地，复数到复数、实数到复数等的函数都可以构成线性空间；把函数限制在连续函数、可导函数等条件下也依然构成线性空间．特别地，复数域上的归一化可导函数，构成了复数域上的希尔伯特空间，这是一种无穷维的特殊矢量空间，是量子力学的基础概念，我们将会在将来详细讨论．

        注意矢量空间的定义并不需要包含内积（点乘）的概念，但我们可以在其基础上额外定义内积，这样的空间叫做内积空间，留到以后介绍．除了内积，我们可以把 “几何矢量的运算” 和 “线性相关性” 中介绍的概念都拓展到一般的矢量空间中，这里不再重复．

1.7 习题 2　复数列矢量

　　 我们把个复数按顺序排成一列（或一行，下同），叫做列矢量（或行矢量，下同）．列矢量可以看成是的矩阵．给它们定义通常意义的加法和数乘运算，这样所有列矢量可以构成一个维矢量空间．注意由于我们使用了复数，即使时我们也无法将这些矢量与几何矢量对应起来．

　　 如果我们将基底取为^[3]，那么显然任意列矢量的坐标就是有序实数．但我们也可以取其他基底，这时坐标就会改变．所以再次强调坐标和矢量本身是不同的．我们将会在矢量空间的表示中详细区分矢量本身和矢量的坐标这两个概念．

1.8 习题 3　

　　 证明例 1 中多项式空间是维空间，是一组基底（提示：证明它们线性无关，可以表示空间中的任意矢量）．