贡献者: 零穹; Giacomo
1. 拓扑向量空间
定义 1 拓扑向量空间
一个 -拓扑向量空间 是一个实(或复)向量空间同时也是一个拓扑空间,使得加法 和数乘 都是连续函数。
所谓的加法和数乘是连续的,是指:1.对 ,则对于点 的任一邻域 ,分别存在点 的邻域 ,使得 时,;2.对 ,则对点 的任一邻域 ,存在点 的邻域 及数 ,使得只要 时,就有 。
在常见的的语境下我们要求拓扑向量空间是 Hasdorff 空间(见分离性),此时拓扑向量空间是一个拓扑(加法)群。
例 1
赋范空间、内积空间都是拓扑向量空间。
事实上:赋范空间和内积空间都可以通过定义度量成为度量空间,而度量空间是拓扑空间,对赋范空间(范数为 ),自然的度量定义为 ,对内积空间(内积为 )则为 。因此它们都是拓扑空间。由于它们本身就是在线性空间上定义的,因而都是线性空间。所以只需验证加法和数乘的连续性。
既然它们的拓扑由度量空间来保证,那么可以用度量定义的拓扑来验证。任意 ,设 是 邻域,于是其包含某一开球 ,选取 的邻域 和 的邻域 ,于是任意 ,对赋范空间和内积空间分别成立
即对赋范空间和内积空间,都成立 。即加法的连续性得证!
由于
则在 时,只需令取满足 的 和 分别作为 的邻域,就有 。而在 时,只需任取 作为 的邻域,而取满足 的正数 作为 的球邻域即可。
定理 1
拓扑向量空间的任一点的邻域都可由某一零邻域(零向量 0 的邻域)确定。具体的,若 是 的邻域,则 是 的邻域。
证明:由向量拓扑空间加法的连续性,设 ,即 是加法运算,那么 是连续的,于是对 的每一邻域 , 是 的邻域。
证毕!
注意开集必须邻域,于是,定理 1 表明所有的开集都由包含 0 的开集确定,从而拓扑向量空间的拓扑由零邻域系1所确定。
定理 2
设 是拓扑向量空间,则对任意 及不包含 的闭集 ,都有包含它们的不相交的邻域。即存在开集 ,使得 。
证明:只需考虑 和不包含它的任意闭集 就够了。事实上, 不包含 ,当且将当 不包含 0。如若不然,则 ,那么 ,而这是不可能的。
令 ,则由加法的连续性,存在零邻域 ,使得 ,取 ,则存在零邻域 ,使得 。设 ,则点 的每一邻域,特别是 ,都有属于 的点 ,从而 ,即 ,因此 。注意 ,因此 。即 和 分别是所求点 与 的邻域。
证毕!
定理 2 表明,线性拓扑空间是满足 分离性公理的空间。
未完成:有限维度实向量空间有唯一确定的(Hausdorff)拓扑结构
2. 局部凸拓扑向量空间/局部凸空间
任意拓扑向量空间可能具有的性质与欧氏空间或赋范空间熟知的性质有显著的差异,比赋范空间更一般但保持赋范空间众多性质的重要一类空间构成所谓局部凸空间。
定义 2 局部凸
向量拓扑空间叫做局部凸的,若其中每一非空开集含有非空凸开子集。
定理 3
若空间 是局部凸的,则对任一点 及其任一邻域 ,存在 的凸邻域 ,使得 。
证明:由定理 1 ,只需要证明命题对 成立即可。设 是任一零邻域,则由加法的连续性,可以找到邻域 ,使得 。因为 是局部凸的,所以存在非空凸开集 。设 ,则 是含于 中的凸零邻域。
证毕!
习题 1
拓扑向量空间中的开集 是凸集,当且将当 。
未完成:待续
1. ^ 零矢量 0 的所有邻域
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。