(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,它是豪斯多夫空间。
引理 设 为局部凸空间。有界集的凸包是有界的。
给定一个半范数序列,定义
- .
则成为一个度量。事实上,由于对于任何半范数,有,。