查看“︁賦範向量空間”︁的源代码

{{NoteTA|G1=Math}}
在[[数学]]中，'''赋范向量空间'''（{{lang-en|Normed vector space}}）是具有“'''长度'''”概念的[[向量空间]]。是通常的[[欧几里得空间]] <math>\mathbb{R}</math> 的推广。 <math>\mathbb{R}</math> 中的长度被更抽象的[[范数]]替代。“长度”概念的特征是：
# '''零向量'''的长度是零，并且任意向量的长度是非负[[实数]]。
# 一个向量 <math>v</math> 乘以一个[[标量 (数学)|标量]] <math>a</math> 时，长度应变为原向量 <math>v</math> 的 <math>|a|</math>（<math>a</math> 的[[绝对值]]）倍。
# [[三角不等式]]成立。也就是说，对于两个向量 <math>v</math> 和 <math>u</math>，它们的长度和（“[[三角形]]”的两边和）大于 <math>v+u</math>（第三边）的长度。

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

== 定义 ==

一个半赋范向量空间 <math>(E, p)</math> 由一个向量空间 <math>E</math> 以及一个 <math>E</math> 上的[[范数|半范数]] <math>p</math> 构成。

一个赋范向量空间 <math>(E, \|\cdot\|)</math> 由一个向量空间 ''<math>E</math>'' 以及一个 ''<math>E</math>'' 上的[[范数]] <math>\|\cdot\|</math> 构成。



== 拓扑结构 ==

设 <math>(E, \|\cdot\|)</math> 是一个赋范向量空间，那么由范数 <math>\|\cdot\|</math> 很自然地定义了一个[[拓扑空间|拓扑]]上的[[距离]]：
:<math>\mathbb{E} \times \mathbb{E} \longrightarrow \mathbb{R}</math>
:<math>\ (x,y) \mapsto \Vert x-y\Vert</math>

由此就定义了一个 ''<math>E</math>'' 上的拓扑结构，称为范数 <math>\|\cdot\|</math> [[诱导]]的自然拓扑。这也是使得函数 <math>\|\cdot\|</math> [[连续]]的最弱的拓扑。此外，这个自然拓扑和[[向量空间]]的线性结构相容，因为：
# 向量加法：'''<math>+</math>''' 在此拓扑下是连续的，这可以由范数的三角不等式性质得出。
# 向量的数量乘法 '''<math>\cdot</math>''' 在此拓扑下是连续的，这也可由范数的线性性和三角不等式性质得出。

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

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

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

一个赋范向量空间被称为[[局部紧致]]的，如果[[单位球]] <math>B = { x \ | \ \Vert x\Vert \le 1 }</math> 是[[紧集]]。由{{tsl|en|Riesz's lemma|里斯引理}}可知，一个赋范向量空间局部紧致当且仅当它的维数有限。实际上，这个定理证明了对任意的[[拓扑空间]]（不一定是由范数诱导的度量空间）都有这个结论。

== 线性变换和对偶空间 ==

在赋范向量空间之间的[[线性变换]]中，最重要的是[[连续线性变换]]，赋范向量空间和连续线性变换一起构成一个[[範疇 (數學)|范畴]]。

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

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

对于在[[体 (数学)|域]] ''<math>\mathbb{K}</math>'' 上的赋范向量空间 <math>(E, \|\cdot\|)</math>，我们可以考虑它关于 <math>\|\cdot\|</math> 的[[对偶空间]] <math>E^*</math>，也就是所有从 ''<math>E</math>'' 射到 ''<math>\mathbb{K}</math>'' 的连续线性变换（一般称为“'''函子'''”）构成的空间。对于一个函子 <math>\phi</math> ，定义它的范数是 <math>| \phi (v) |</math> 的[[上确界]]，其中 ''<math>v</math>'' 是 ''<math>E</math>'' 中范数为 1 的所有向量。由于函子是连续的，这个上确界存在。这样我们就将 ''<math>E^*</math> ''定义成为一个赋范向量空间。关于赋范向量空间上的连续线性函子有[[哈恩-巴拿赫定理]]。

== 商空间 ==

很多赋范向量空间（特别是[[巴拿赫空间]]）的定义涉及到空间上定义的半范数。赋范向量空间可以定义为一个空间关于半范数为零的元素的[[商空间]]。比如说，对于 [[lp空间|L<sup>p</sup> 空间]]的定义，考虑所有函数组成的空间上的函数：
:<math> \Vert f\Vert _p = \left( \int |f(x)|^p dx\right)^{1/p} </math>

是一个半范数，它对所有能使式子右边[[勒贝格积分|勒贝格可积]]的函数有定义。然而，对于任意定义在[[勒贝格测度]]为 0 的支撑上的函数，其半范数皆为 0 。在“除掉”这些函数（将它们归为 0 函数的等价类）之后，得到的商空间就是一个赋范向量空间：[[lp空间|L<sup>p</sup> 空间]]。

== 空间的直积 ==

给定 <math>n</math> 个半赋范向量空间 ''<math>(E_i, q_i)</math>'' ，我们可以定义它们的[[直积空间]] ''<math>X</math>'' 为：
:<math>X := \prod_{i=1}^{n} X_i</math>

其中向量的加法定义为：
:<math>(x_1,\ldots,x_n)+(y_1,\ldots,y_n):=(x_1 + y_1, \ldots x_n + y_n)</math>

数量乘法定义为：
:<math>\alpha(x_1,\ldots,x_n):=(\alpha x_1, \ldots, \alpha x_n)</math>

我们定义一个函数 ''<math>q</math>''：
:<math>q:X \mapsto \mathbb{R}</math>

比如说：
:<math>q:(x_1,\ldots,x_n) \to \sum_{i=1}^n q_i(x_i)</math>

这是 ''<math>X</math>'' 上的一个半范数。''<math>q</math>'' 是范数当且仅当 ''<math>q_i</math>'' 都是范数。

对大于 1 的 ''<math>p</math>'' ，''<math>q</math>'' 也可以定义为：
:<math>q:(x_1,\ldots,x_n) \to \left( \sum_{i=1}^n q_i^p \right)^\frac{1}{p}</math>

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

== 参考资料 ==
* [https://web.archive.org/web/20080622134554/http://www.math.scu.edu.tw/teacher/Chieping/metricspace.html 赋范空间介绍]
* [http://202.114.64.60/jpkc/sbhs/Arobat/FunctionalA/1/12.pdf]{{dead link|date=2018年4月 |bot=InternetArchiveBot |fix-attempted=yes }} [http://202.114.64.60/jpkc/sbhs/Arobat/FunctionalA/1/11.pdf]{{dead link|date=2018年4月 |bot=InternetArchiveBot |fix-attempted=yes }}，武汉大学线上课程【已失效】

== 参见 ==
* [[局部凸空间]]，半赋范向量空间的推广。
* [[巴拿赫空间]]，范数诱导的度量完备的赋范向量空间。
* [[内积空间]]，其上的内积可以诱导一个范数。
{{泛函分析}}
[[Category:拓扑向量空间|F]]
[[Category:线性代数|F]]
[[Category:赋范空间|F]]