跳至内容

泛函分析/拓扑向量空间

来自 Wikibooks,开放世界中的开放书籍

截至 2008 年 5 月 28 日,开发完成度为 25% (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,它是豪斯多夫空间。

引理 为局部凸空间。有界集的凸包是有界的。

给定一个半范数序列,定义

.

则成为一个度量。事实上,由于对于任何半范数,有


参考文献

[编辑 | 编辑源代码]


华夏公益教科书