2.2.1 向量与向量空间

域 上的向量空间(vector space)(或称线性空间(linear space)) 是一个集合,在其中定义了两种运算:加法,以及与 中元素(称为标量(scalar))的乘法。(本书主要关注 和 两种情形。) 中的元素(称为向量)满足以下公理:

(i) 。
(ii)
(iii) 存在零向量 ,使得 。
(iv) 对任意 ,存在 ,使得 。
(v)
(vi)
(vii)
(viii)

其中 ,,而 1 是 的单位元。

设 是由 个向量组成的集合。若方程

有非平凡解,即对某个 有 ,则称向量组 线性相关;反之,若 (2.6) 只有平凡解,即对任意 都有 ,则称 线性无关(linearly independent)。若这些向量中至少有一个是零向量 ,则该向量组总是线性相关的。

若线性无关向量组 满足:任意元素 都能唯一地写成 的线性组合,则称该向量组为 的一个基:

数 称为 关于基 的分量。若基中含有 个元素,则 的维数为 ,记作 。通常把 上的 维向量空间记作 (若由上下文已明确 与 ,则简记为 )。我们假定 是有限的。

2.2.2 线性映射、像与核

给定两个向量空间 与 ,若映射 对任意 和 都满足 ,则称它为线性映射。线性映射是保持向量加法与标量乘法的同态的一个例子。 的像为 , 的核为 ,二者分别记作 和 。由于 恒为 ,故 不可能是空集。若 就是域 本身,则称 为线性函数。若 是同构,则称 与 同构,反之亦然,记作 。由此可得 。事实上,所有 维向量空间都与 同构,因而被视为同一个向量空间。向量空间之间的同构是 的一个元素。

若 是线性映射,则

证明

由于 是线性映射,可知 与 都是向量空间,见练习 2.8。设 的基为 , 的基为 。对每个 (),取 使得 ,并考虑向量集合 。

下面我们证明这些向量构成 的一组线性无关的基。任取向量 。由于 ,它可以展开为 。再由 的线性性可得 ,即 。这表明任意向量 都是 的线性组合。因此, 由 个向量张成。接下来我们

假设 。于是 ,这意味着 。再由 可得 ,从而集合 在 中线性无关。最后我们得到 。

[注:由 张成的向量空间称为 的正交补(orthogonal complement),记作 。]

(1) 设 为线性映射。证明 与 都是向量空间。

(2) 证明线性映射 是同构,当且仅当 。

2.2.3 对偶向量空间

在量子力学的语境中,1.2 节已经介绍过对偶向量空间。这里的论述更为数学化,是对那里所讲内容的补充。

设是域上的向量空间上的一个线性函数。取一组基以及任意向量。由的线性性可得。因此,只要知道了所有对应的,也就知道了作用于任意向量的结果。值得注意的是,线性函数的集合可以构成一个向量空间,也就是说,两个线性函数的线性组合仍是线性函数。

这个线性空间称为的对偶向量空间,记作,或简记为。若有限,则等于。下面在中引入一组基。由于是线性函数,只要给出所有对应的,它就完全确定了。我们选取对偶基,

任何线性函数(在此语境下称为对偶向量)都可用展开,

作用于 的结果,可以解释为一个列向量与一个行向量之间的内积,

我们有时用记号 来表示内积。

设 与 是向量空间, 是线性映射,而 是 上的线性函数()。容易看出,

复合映射 是 上的线性函数。因此,由 与 便得到元素 ,其定义为

给定 ,映射 便诱导出一个映射 。相应地,我们得到一个诱导映射 ,其定义为 ,如图 2.9所示。映射 称为 在 下的拉回。

图 2.9 函数 的拉回是一个函数 。

由于 , 与 之间存在同构。然而,这个同构并非典范的;要定义 与 之间的同构(以及反向的同构),我们必须在 中指定一个内积,详见下一节。向量空间与其对偶向量空间的这种等价性,在后续内容中会反复出现。

设 是 的另一组基, 为其对偶基。用旧基表示, 可写成 ,其中 。证明两组对偶基满足关系 。

2.2.4 内积与伴随

设 是一个带有基 的向量空间,并设 是一个向量空间同构 ,其中 是 的任意元素。 的分量表示为

一旦给定了这个同构,我们就可以把两个向量 的内积定义为

为确定起见,我们假定域 是实数域 。于是式 (2.15)有分量表达式,

我们要求矩阵 是正定的,从而使内积 具有向量 的范数平方的意义。我们还要求度量是对称的,即 ,从而 。

其次,设 是一个带有基 和向量空间同构 的向量空间。给定映射 ,我们可以定义 的伴随,记作 ,其定义为

其中 ,。容易看出 。式 (2.17) 的分量表达式为

其中 与 分别是 与 的矩阵表示。若 且 ,则伴随 退化为矩阵 的转置 。

下面我们来证明 。由于对任意 与 都有 (2.18) 成立,故有 ,即

利用下面习题的结果,可得 ,其中映射的秩由相应矩阵的秩来定义(注意 且 )。显然, 就是表示映射 的矩阵的秩,于是我们得出结论 。

习题 2.10. 设 ,,并设 是从 到 的线性映射所对应的矩阵。验证 ,其中 ,。

习题 2.11. 设 是 上的向量空间。两个向量 与 的内积(inner product)定义为

其中 表示复共轭。由内积的正定性与对称性 可知,向量空间同构 须为正定的埃尔米特矩阵。设 为(复)线性映射, 为向量空间同构。 的伴随由 定义。重复上述分析,证明

(a) ,其中 表示埃尔米特共轭,以及
(b)

定理 2.2 · 玩具指标定理

设 与 是域 上的有限维向量空间, 是线性映射。则

证明

由定理 2.1可知

而若将其应用于 ,则

前面我们已经看到 ,由此得到

注意在(2.21)中,左端的每一项都依赖于映射 的具体细节。然而右端表明,这两项之差与 无关!这可以看作是指标定理的有限维类比,参见第 12 章。

2.2.5 张量

对偶向量是一种线性对象,它把向量映射为标量。这一概念可以推广为多重线性对象,即张量,它把若干个向量和对偶向量映射为一个标量。类型为 的张量 是一个多重线性映射,它把 个对偶向量和 个向量映射到 ,

例如,类型为 的张量把一个向量映射为实数,因而等同于一个对偶向量。类似地,类型为 的张量就是一个向量。若 把 1 个对偶向量和 2 个向量映射为标量,即 ,则 的类型为 。

所有类型为 的张量构成的集合称为类型为 的张量空间(tensor space),记作 。张量积 是 中的一个元素,其定义为

张量空间中的另一种运算是缩并(contraction),它是从类型为 的张量空间到类型为 的映射,定义为

其中 与 是对偶基。

设 与 是向量空间, 是线性映射。证明 是 (1, 1) 型张量。

来源与版本

正文:中文 · 机器译稿 · 待校对

核对状态:机器译稿 · 待校对

原书 PDF

来源版本:second-edition-local

来源 PDF SHA-256:fcd24c3371d092a8c699ccf5cf0765462924b6c48412804231076e8084b1940d

OCR 来源 SHA-256:0b6324f01172a3548cd34382e82fd8bfae574602b6b2cfaa357ba96bc2c35478

译稿产物 SHA-256:f8db6dc4e087dad571da851e37e4925de3c0bd7ea6498c09ef99e0b17b33eb03