(2008 年 5 月 28 日)
一个赋予了拓扑结构的向量空间,使得平移(即
)和伸缩(即
)连续,被称为拓扑向量空间或简称为TVS。
TVS 的一个子集
被称为
- 有界,如果对于
的每个邻域
,都存在
使得对于每个
有 
- 平衡,如果对于每个标量
有
,则 
- 凸,如果对于任何
和任何
有
,则
.
1 结论 当且仅当
为凸集时,对于任何
有
。
证明:假设
,我们得到
对于所有
。反之,如果
是凸集,
,或者
对于任何
。
由于
一般情况下成立,证明完成。
定义
对于标量
,向量
。如果
是平衡集,对于任何
,根据连续性,
.
因此,平衡集的闭包仍然是平衡集。以类似的方式,如果
是凸集,对于 
,
这意味着凸集的闭包仍然是凸的。这里第一个等式成立,因为
是单射的,如果
。此外,
的内部,用
表示,也是凸的。实际上,对于
,其中 
,
并且由于左边是开集,它包含在
中。最后,TVS 的 *子空间* 是一个同时是线性子空间和拓扑子空间的子集。令
是 TVS 的子空间。那么
是拓扑子空间,并且它在标量乘法下是稳定的,如上面类似的论证所示。令
。如果
是 TVS 的子空间,那么根据连续性和线性,
.
因此,
是一个线性子空间。我们得出结论,子空间的闭包是一个子空间。
设
是
的邻域。根据连续性,存在
和
的邻域
,使得

因此,集合
是开集的并集,包含于
且是平衡的。换句话说,每个 TVS 都承认一个由平衡集组成的局部基。
1 定理 设
是一个 TVS,
。下列等价。
- (i)
是有界的。
- (ii)
的每个可数子集都是有界的。
- (iii) 对于
的每个平衡邻域
,存在
使得
.
证明:(i) 蕴含 (ii) 是显然的。如果 (iii) 为假,则存在一个平衡邻域
使得对于每一个
,有
。也就是说,在
中存在一个无界序列
。最后,为了证明 (iii) 蕴含 (i),令
为 0 的邻域,
为一个平衡开集,使得
。使用假设,选择
使得
。那么对于任何
,我们有

推论 1 在 TVS 中,每个柯西序列和每个紧集都是有界的。
证明:如果该集合不是有界的,则它包含一个不是柯西序列且没有收敛子序列的序列。 
引理 1 令
为 TVS 之间的线性算子。如果对于
的某个邻域
,
是有界的,则
是连续的。
定理 6 设
是 TVS
上的线性泛函。
- (i)
的核要么是闭集,要么是稠密集。
- (ii)
是连续的当且仅当
是闭集。
Proof: To show (i), suppose the kernel of
is not closed. That means: there is a
which is in the closure of
but
. For any
,
is in the kernel of
. This is to say, every element of
is a linear combination of
and some other element in
. Thus,
is dense. (ii) If
is continuous,
is closed. Conversely, suppose
is closed. Since
is continuous when
is identically zero, suppose there is a point
with
. Then there is a balanced neighborhood
of
such that
. It then follows that
. Indeed, suppose
. Then
如果
,这是一个矛盾。
的连续性现在由引理得出。 
定理 6 设
是 TVS,
是它的子空间。假设:
是稠密的
在
中意味着
在
中。
(注意,这是推论 2.something 的结论) 然后,每个在子空间
上的连续线性函数
可以扩展到
的一个元素。
证明:我们基本上重复定理 3.8 的证明。所以,令
为
的核,它是闭合的,我们可以假设
。因此,根据假设,我们可以找到
使得:
在
中,但
对某些点
在
之外。根据引理 1.6,
对某个标量
。由于
和
在
处不为零,
。 
引理 令
是包含
的线性空间的一系列子集,使得对于所有
,
。如果
且
,那么
。
证明:我们将通过对
的归纳来证明这个引理。基本情况
成立,因为对于所有
,
。因此,假设该引理在
之前已经被证明。首先,假设
并不全都不相同。通过排列,我们可以假设
。因此,得出
且
.
归纳假设得出:
。 接下来,假设
都是不同的。 同样通过置换,我们可以假设
。 由于当时没有进位,并且
,
等等,因此
.
因此,根据归纳假设,
。 
1 定理 令
是一个 TVS。
- (i) 如果
是豪斯多夫空间并且具有可数个局部基底,则
是可度量的,且度量为
,使得
以及
对所有
成立
- (ii) 对于每一个邻域
of
,存在一个连续函数
使得
,
在
上,并且
对任何
成立。
证明:为了证明(ii),令
是
的邻域序列,满足引理中的条件,且
。定义
在
上,以及
对任意
成立。为了证明三角不等式,我们可以假设
和
均小于 1,因此假设
且
。那么

因此,
。对所有这样的
求下确界,我们得到

and do the same for the rest we conclude
. This proves (ii) since
is continuous at
and it is then continuous everywhere by the triangular inequality. Now, to show (i), choose a sequence of balanced sets
that is a local base, satisfies the condition in the lemma and is such that
. As above, define
for each
. For the same reason as before, the triangular inequality holds. Clearly,
. If
, then there are
such that
and
. Thus,
by the lemma. In particular, if
for "every"
, then
since
is Hausdorff. Since
are balanced, if
,
对于每个
,其中
.
这意味着
,特别是
。定义
将完成 (i) 的证明。事实上,我们收集的
的性质表明函数
是一个具有所需性质的度量。然后该引理表明,对于任何
,
对于某些
。也就是说,集合
在
上构成了原始拓扑的局部基。 
在 (i) 中,
的第二个性质意味着以这个
定义的原点开球是平衡的,并且当
具有由凸集组成的可数局部基时,它可以被强化为:
,这意味着以原点为中心的开球是凸的。事实上,如果
,并且如果
且
且
,则

因为凸集的和仍然是凸的。也就是说,

并且通过迭代和连续性,可以证明对于每个
,有
。
推论 对于某个点
的任何邻域
,存在
的一个邻域,使得 
证明:由于我们可以假设
,取
。 
推论 如果 TVS
的每一个有限集都是闭集,则
是豪斯多夫空间。
证明:令
是给定的。根据前面的推论,我们可以找到一个包含
的开集
。 
具有由凸集组成的局部基的 TVS 被称为局部凸空间。由于在这本书中,我们永远不会研究非豪斯多夫局部凸空间,因此我们将默认地假设每个局部凸空间的每个有限子集都是闭集,因此根据定理 something 来说是豪斯多夫空间。
引理 令
是局部凸空间。有界集的凸包是有界的。
给定一个半范数序列
,定义
.
因此成为一个度量。事实上,由于
对任何半范数
成立,
。