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