赋范向量空间与范数zz

赋范向量空间

维基百科，自由的百科全书

在中，赋范向量空间是具有“长度”概念的。是通常的 Rⁿ 的推广。Rⁿ中的长度被更抽象的替代。“长度”概念的特征是：

1. 零向量的长度是零，并且任意向量的长度是非负。
2. 一个向量 v 乘以一个 a 时，长度应变为原向量 v 的 |a|（ a 的）倍。
3. 成立。也就是说，对于两个向量 v 和 u ，它们的长度和（“”的两边）大于 v+u （第三边）的长度。

一个把向量映射到非负实数的如果满足以上性质，就叫做一个；如果只有零向量的函数值是零，那么叫做。拥有一个范数的叫做赋范向量空间，拥有半范数的叫做半赋范向量空间。

定义

一个半赋范向量空间（E,p）由一个向量空间 E 以及一个 E 上的 p 构成。

一个赋范向量空间（E,||•||）由一个向量空间 E 以及一个 E 上的 ||•|| 构成。

拓扑结构

设（E,||•||）是一个赋范向量空间，那么由范数 ||•|| 很自然地定义了一个上的：

由此就定义了一个 E 上的拓扑结构，称为范数 ||•||的自然拓扑。这也是使得函数 ||•|| 的最弱的拓扑。此外，这个自然拓扑和的线性结构相容，因为：

1. 向量加法：+ 在此拓扑下是连续的，这可以由范数的三角不等式性质得出。
2. 向量的数量乘法•在此拓扑下是连续的，这也可由范数的线性性和三角不等式性质得出。

对于半赋范向量空间，可以定义类似的函数，这时 E 成为一个（弱于度量空间）。在其中我们也可以定义和等概念。更抽象地说，每个半赋范向量空间都是一个，其拓扑结构由它的半范数。

在赋范向量空间中，的赋范向量空间特别重要，称为。每个赋范向量空间都是一个巴拿赫空间的子空间，这个巴拿赫空间由此赋范向量空间唯一确定，称为它的。

在拓扑的角度来说，有限维的向量空间上的任意两个范数都是等价的，即它们诱导出相同的拓扑结构（尽管由它们各自定义的度量空间并不相同）。由于欧几里德空间是完备的，我们可以推出每个有限维的赋范向量空间都是巴拿赫空间。实际上对自然拓扑来说，任意有限维的赋范向量空间都于欧几里德空间Rⁿ。

一个赋范向量空间被称为的，如果 是。由（）可知，一个赋范向量空间局部紧致当且仅当它的维数有限。实际上，这个定理证明了对任意的（不一定是由范数诱导的度量空间）都有这个结论。

线性变换和对偶空间

在赋范向量空间之间的中，最重要的是，赋范向量空间和连续线性变换一起构成一个。

范数自身，作为函数，是连续的。任意两个有限维的赋范向量空间之间的线性变换也都是连续的。

两个赋范向量空间之间的一个 f 是指使得对任意向量 v 都有||f(v)|| = ||v|| 的线性变换。保距变换总是连续的。如果两个赋范向量空间之间的一个等距变换是，那么称其为一个等距同构。两个保距同构的赋范向量空间在拓扑的意义上可以说是相等的（拥有相同的性质；在一者中成立的命题，在另一者中也成立）。

对于在 K 上的赋范向量空间（E,||•||），我们可以考虑它关于||•||的 E^* ，也就是所有从 E 射到 K 的连续线性变换（一般称为“函子”）构成的空间。对于一个函子 φ ，定义它的范数是 | φ(v) | 的，其中 v 是 E 中范数为 1 的所有向量。由于函子是连续的，这个上确界存在。这样我们就将 E^* 定义成为一个赋范向量空间。 关于赋范向量空间上的连续线性函子有（）。

[] 商空间

很多赋范向量空间（特别是）的定义涉及到空间上定义的半范数。赋范向量空间可以定义为一个空间关于半范数为零的元素的。比如说，对于的定义，考虑所有函数组成的空间上的函数：

是一个半范数，它对所有能使式子右边的函数有定义。然而，对于任意定义在为 0 的支撑上的函数，其半范数皆为 0 。在“除掉”这些函数（将它们归为 0 函数的等价类）之后，得到的商空间就是一个赋范向量空间：。

[] 空间的直积

给定 n 个半赋范向量空间（E_i,q_i） ，我们可以定义它们的 X为：

其中向量的加法定义为：

数量乘法定义为：

我们定义一个函数 q：

比如说：

这是 X 上的一个半范数。q 是范数当且仅当 q_i 都是范数。

对大于 1 的 p ，q 也可以定义为：

这些半范数都是等价的。通过泛代数的结论可以证明，任意的有限维半赋范向量空间都可以表示成一个赋范向量空间和一个有平凡的半范数的半赋范向量空间的直积空间。因此，半赋范向量空间的比较有趣或“反常”的例子都是无限维的。