跳至内容

泛函分析/拓扑向量空间

来自 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 在 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 来说是豪斯多夫空间。

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

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

.

因此成为一个度量。事实上,由于 对任何半范数 成立,


参考文献

[编辑 | 编辑源代码]


华夏公益教科书