(2008年5月28日)
如果一个向量空间赋予了一个拓扑结构,使得平移(即
) 和伸缩(即
) 都是连续的,则称之为拓扑向量空间或简称TVS。
TVS 的一个子集
被称为
- 有界的,如果对于
的任何邻域
,都存在一个
,使得对于任何
,都有
。
- 平衡的,如果对于任何标量
满足
,都有
。
- 凸的,如果对于任何
和任何
满足
,都有
。
1 推论 对于任何
,
成立当且仅当
是凸的。
证明:假设

,我们得到

,对于所有

。反之,如果

是凸集,
,或者
对于任何
。
由于
通常成立,证明完成。
定义
,其中
为标量,
为向量。如果
是平衡集,对于任何
,根据连续性,
.
因此,平衡集的闭包仍然是平衡集。类似地,如果
是凸集,对于
,
这意味着凸集的闭包仍然是凸的。这里第一个等式成立是因为当
时,
是单射的。此外,
的内部,记为
,也是凸的。事实上,对于
且 
,
并且由于左侧是开集,它包含于
。最后,TVS 的 子空间 是一个同时是线性子空间和拓扑子空间的子集。设
是 TVS 的一个子空间。则
是一个拓扑子空间,并且它在标量乘法下是稳定的,如上面类似的论证所示。设
。如果
是 TVS 的一个子空间,根据连续性和线性性,
.
因此,
是一个线性子空间。我们得出结论,子空间的闭包是一个子空间。
设
为
的邻域。根据连续性,存在一个
和一个
的邻域
,使得

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

推论 1 拓扑向量空间中的每个柯西序列和每个紧集都是有界的。
证明:如果该集合不是有界的,则它包含一个不是柯西序列且没有收敛子序列的序列。
引理 1 令
为拓扑向量空间之间的线性算子。如果对于
的某个邻域
,
是有界的,则
是连续的。
定理 6 令
为拓扑向量空间
上的一个线性泛函。
- (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.x的结论) 那么,在空间
的子空间
上的每一个连续线性函数
都可以扩展到
中的一个元素。
证明:我们基本上重复定理3.8的证明。因此,令
为
的核,它是闭合的,并且我们可以假设
。因此,根据假设,我们可以找到
,使得:
在
中,但
对于
之外的某一点
成立。根据引理1.6,
,其中
为某个标量。由于
和
在
处均不为零,
。 
引理 设
是一个线性空间的子集序列,包含
,使得对于每个
,都有
。如果
且
,则
。
证明:我们将通过对
进行数学归纳法来证明该引理。基本情况
成立,因为对于每个
,都有
。因此,假设该引理已经证明到
。首先,假设
不全相同。通过排列,我们可以假设
。然后得出
且
。
现在由归纳假设得到:
。接下来,假设
全部不同。再次根据排列,我们可以假设
。由于当时没有进位发生,并且
,
,因此
.
因此,根据归纳假设,
。
定理 1 设
为一个 TVS。
- (i) 如果
是 Hausdorff 空间并且有一个可数局部基,则
可度量化,其度量为
,使得
并且
,对于所有
- (ii) 对于0的每个邻域
,存在一个连续函数
,使得
,
在
上,并且对于任意
,有
。
证明:为了证明(ii),令
是0的一系列满足引理中条件的邻域,并且
。定义
在
上,并且对于每个
,
。为了证明三角不等式,我们可以假设
和
都小于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,它是豪斯多夫空间。
引理 设
为局部凸空间。有界集的凸包是有界的。
给定一个半范数序列
,定义
.
则成为一个度量。事实上,由于对于任何半范数
,有
,
。