族谱网 头条 人物百科

拓扑向量空间

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:1216
转发:0
评论:0
定义File:Topologicalvectorspaceillust2.svg如果乘法运算在0处是连续的,则对于0的任何邻域U和任何标量λ存在另一个0的邻域V使得λV被包含在U中。这个必要条件也会变为充分条件,如果增加了额外假设;参见Trèves(1967,Chapter3)。带有上述两个性质的原点的邻域族唯一确定一个拓扑向量空间。在这个向量空间内的任何其他点的邻域系统是通过平移获得的。一个拓扑向量空间X是布于一个拓扑域K(通常取实数或复数域)上的向量空间,其上带有拓扑结构使得向量加法X×X→X与标量乘法K×X→X为连续映射。注:某些作者也要求X是豪斯多夫空间,更有要求其为局部凸空间者(例如Fréchet空间)。一个拓扑向量空间是豪斯多夫空间的充分条件是该空间为T1{\displaystyleT_{1}}空间。布于K上的拓扑向量空间范畴通常记为TVSK或TVectK,其对象为布于K上的拓...

定义

File:Topological vector space illust2.svg 如果乘法运算在 0 处是连续的,则对于 0 的任何邻域 U 和任何标量 λ 存在另一个 0 的邻域 V 使得 λ V 被包含在 U 中。这个必要条件也会变为充分条件,如果增加了额外假设;参见Trèves (1967, Chapter 3)。

拓扑向量空间

带有上述两个性质的原点的邻域族唯一确定一个拓扑向量空间。在这个向量空间内的任何其他点的邻域系统是通过平移获得的。

一个 拓扑向量空间 X 是布于一个拓扑域 K (通常取实数或复数域)上的向量空间,其上带有拓扑结构使得向量加法 X × X → X 与标量乘法 K × X → X 为连续映射。

注 :某些作者也要求 X 是豪斯多夫空间,更有要求其为局部凸空间者(例如 Fréchet 空间)。一个拓扑向量空间是豪斯多夫空间的充分条件是该空间为 T 1 {\displaystyle T_{1}} 空间。

布于 K 上的拓扑向量空间范畴通常记为 TVS K 或 TVect K ,其对象为布于 K 上的拓扑向量空间,态射则为连续的 K -线性映射。拓扑向量空间的同构是既是同胚也是线性的映射。

例子

所有赋范向量空间都是拓扑向量空间的例子。因此所有巴拿赫空间及希尔伯特空间也是这些例子。

函数空间

更多资料:函数空间

在数学分析中应用的拓扑向量空间主要是函数空间。较常见的例子有:

C ( X ) {\displaystyle C(X)} :拓扑空间 X {\displaystyle X} 上的连续函数空间,其拓扑由一族半范数 ∥ ∥ --> f ∥ ∥ --> := sup x ∈ ∈ --> K | f ( x ) | {\displaystyle \|f\|:=\sup _{x\in K}|f(x)|} 定义,其中 K {\displaystyle K} 遍取 X {\displaystyle X} 中的紧子集。

C 0 ( X ) {\displaystyle C_{0}(X)} :拓扑空间 X {\displaystyle X} 上的紧支撑集连续函数空间,拓扑由范数 ∥ ∥ --> f ∥ ∥ --> := sup | f ( x ) | {\displaystyle \|f\|:=\sup |f(x)|} 定义。

Lp空间:测度空间 ( X , μ μ --> ) {\displaystyle (X,\mu )} 上满足 ∫ ∫ --> | f | p d μ μ --> {\displaystyle \int |f|^{p}\mathrm {d} \mu 的函数空间,拓扑由范数 ∥ ∥ --> f ∥ ∥ --> p := ( ∫ ∫ --> | f | p d μ μ --> ) 1 / p {\displaystyle \|f\|_{p}:=(\int |f|^{p}\mathrm {d} \mu 定义,其中 p ∈ ∈ --> [ 1 , + ∞ ∞ --> ] {\displaystyle p\in [1,+\infty ]}

索伯列夫空间:偏微分方程理论中常用的空间,详见主条目索伯列夫空间。

分布:一种广义函数理论,用以定义并研究偏微分方程的广。全体分布构成一个拓扑向量空间。

施瓦兹空间:又称快速递减函数空间,定义为 S ( R n ) := { f ∈ ∈ --> C ∞ ∞ --> ( R n ) ∣ ∣ --> | | f | | α α --> , β β --> ∀ ∀ --> α α --> , β β --> } {\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n}\right):=\{f\in C^{\infty }(\mathbb {R} ^{n})\mid ||f||_{\alpha ,\beta } ,其中 α α --> , β β --> {\displaystyle \alpha ,\beta } 为多重指标,其中的半范数由 | | f | | α α --> , β β --> = | | x α α --> D β β --> f | | ∞ ∞ --> {\displaystyle ||f||_{\alpha ,\beta }=||x^{\alpha }D^{\beta }f||_{\infty }} 给出。此空间的重要性主要在于傅立叶变换理论。

积向量空间

当赋予乘积空间后,拓扑向量空间的家族的笛卡儿乘积都是拓扑向量空间.例如, X 是 f : R → R 函数的集合. X 可以被乘积空间 R 来确定的,并带有自然的乘积空间.有了这个拓扑, X 成了拓扑向量空间,称呼为逐点收敛的空间.命名的原因是如果( f n ) 是 X 集合内元素的序列而对于所有实数 x f n ( x )都有一个极限 f ( x ) ,那么 f n 在 X 集合内有一个极限 f .这个空间就是完整但不能赋范.

拓扑结构

向量空间对加法构成阿贝尔群,拓扑向量空间的加法逆运算 v ↦ ↦ --> − − --> v {\displaystyle v\mapsto -v} 是连续的(因为 − − --> v = ( − − --> 1 ) ⋅ ⋅ --> v {\displaystyle -v=(-1)\cdot v} ),拓扑群扑向量空间可视为可交换的拓扑群。

特别是:拓扑向量空间是一致空间,因此可以谈论完备性、一致收敛与一致连续。向量运算(加法与标量积)是一致连续的,因此拓扑向量空间的完备化仍为拓扑向量空间,原空间在其中是个稠密的线性子空间。

向量运算不只连续,实则还是同胚,因此我们可以从原点附近的一组局部基重构整个空间的拓扑。局部基可由以下两种开集组成:

吸收集: ∀ ∀ --> v ∈ ∈ --> E ∃ ∃ --> α α --> ∈ ∈ --> R + ∗ ∗ --> ∀ ∀ --> λ λ --> ∈ ∈ --> K | λ λ --> | ≤ ≤ --> α α --> ⇒ ⇒ --> λ λ --> v ∈ ∈ --> U {\displaystyle \forall v\in E\quad \exists \alpha \in \mathbb {R} _{+}^{*}\quad \forall \lambda \in K\quad |\lambda |\leq \alpha \Rightarrow \lambda v\in U} ;事实上,原点的任何邻域都是吸收集。

平衡集: ∀ ∀ --> λ λ --> ∈ ∈ --> K ∀ ∀ --> v ∈ ∈ --> E | λ λ --> | ≤ ≤ --> 1 ⇒ ⇒ --> λ λ --> v ∈ ∈ --> U {\displaystyle \forall \lambda \in K\quad \forall v\in E\quad |\lambda |\leq 1\Rightarrow \lambda v\in U}

一个拓扑向量空间可度量化的充要条件是:(一)它是豪斯多夫空间(二)原点有一组可数的局部基。

拓扑向量空间之间的线性函数若在某一点连续,则在整个定义域上连续。一个线性泛函连续的充要条件是其核为闭子空间。

有限维向量空间有唯一的豪斯多夫拓扑,因此任何有限维拓扑向量空间都同构于 K n {\displaystyle K^{n}} (带上确界范数: ∥ ∥ --> ( a 1 , … … --> , a n ) ∥ ∥ --> := sup | a i | {\displaystyle \|(a_{1},\ldots ,a_{n})\|:=\sup |a_{i}|} )。对于豪斯多夫拓扑向量空间,有限维等价于局部紧。

拓扑向量空间的种类

在应用中,我们常考虑具有一些附带拓扑性质的空间,以下是一些常见的种类,大致以其性质之“良好”与否排序。

局部凸拓扑向量空间:每一点都有一组由凸集构成的局部基。一个空间是局部紧当且仅当其拓扑可由一组半范数定义。局部紧性对某些“几何”论证(例如哈恩-巴拿赫定理)至关重要。

F-空间:由一个具平移不变性的度量定义的完备拓扑向量空间,例子包括Lp空间(p > 0)。

弗雷歇空间:局部凸的 F-空间。许多有趣的函数空间都是弗雷歇空间。

核空间:使得映至任何巴拿赫空间的有界算子均为核算子的弗雷歇空间。

赋范向量空间与半赋范向量空间:顾名思义,即其拓扑由一范数或一族半范数定义的拓扑向量空间。在赋范向量空间中,一算子的连续性等价于有界性。

巴拿赫空间:完备赋范向量空间。泛函分析学大部奠基于此。

自反巴拿赫空间:使得自然映射 V → → --> V ∧ ∧ --> ∧ ∧ --> {\displaystyle V\to V^{\wedge \wedge }} 为同构的巴拿赫空间。非自反空间的重要例子之一是 L 1 {\displaystyle L^{1}} 空间。

希尔伯特空间:拓扑由一内积定义的拓扑向量空间。虽然这类空间可能是无穷维的,大部分有限维上的几何论证仍可照搬至此。

欧几里得空间:即有限维的豪斯多夫拓扑向量空间。

对偶空间

拓扑向量空间 V {\displaystyle V} 的连续对偶空间定义为所有连续线性泛函构成的空间 V ∗ ∗ --> {\displaystyle V^{*}} ,其拓扑可定义为使对偶配对 V ∗ ∗ --> × × --> K V → → --> K : ( λ λ --> , v ) ↦ ↦ --> λ λ --> ( v ) {\displaystyle V^{*}\times _{K}V\to K:(\lambda ,v)\mapsto \lambda (v)} 为连续映射的最粗拓扑(称为弱-*拓扑)。当 V {\displaystyle V} 为巴拿赫空间时, 可以藉算子范数在 V ∗ ∗ --> {\displaystyle V^{*}} 上定义更细的拓扑,然而弱-*拓扑具有一些紧致性定理(巴拿赫-阿劳格鲁定理),因而在应用中仍相当重要。

文献

A Grothendieck: Topological vector spaces , Gordon and Breach Science Publishers, New York, 1973. ISBN 978-0-677-30020-7

G Köthe: Topological vector spaces . Grundlehren der mathematischen Wissenschaften, Band 159, Springer-Verlag, New York, 1969. ISBN 978-0-387-04509-2

Schaefer, Helmuth H. Topological vector spaces. New York: Springer-Verlag. 1971. ISBN 978-0-387-98726-2.

Lang, Serge. Differential manifolds. Reading, Mass.–London–Don Mills, Ont.: Addison-Wesley Publishing Co., Inc. 1972.

F Trèves: Topological Vector Spaces, Distributions, and Kernels , Academic Press, 1967. ISBN 978-0-486-45352-1.


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 向量空间
公理化定义给定域F,F上的向量空间V是一个集合,其上定义了两种二元运算:向量加法:+:V×V→V,把V中的两个元素u和v映射到V中另一个元素,记作u+v;标量乘法:·:F×V→V,把F中的一个元素a和V中的一个元素u变为V中的另一个元素,记作a·u。V中的元素称为向量,相对地,F中的元素称为标量。而V装备的两个运算满足下面的公理(对F中的任意元素a、b以及V中的任意元素u、v、w都成立):向量加法结合律:u+(v+w)=(u+v)+w,向量加法交换律:u+v=v+u,存在向量加法的单位元:V里存在一个叫做零向量的元素,记作0,使得对任意u∈V,都有u+0=u,向量加法的逆元素:对任意u∈V,都存在v∈V,使得u+v=0。标量乘法对向量加法满足分配律:a·(v+w)=a·v+a·w.标量乘法对域加法...
· 辛向量空间
标准辛空间更多资料:辛矩阵标准辛空间R带有由一个非奇异斜对称矩阵给出的辛形式ω。典型地,ω写成矩阵形式表为分块矩阵这里In是n×n单位矩阵。用基向量表示一个经过修改的正交化过程指出任何有限维辛向量空间都有这样一组基,经常称为达布基或辛基底。有另外一种方式理解标准辛形式。因上面所使用的带有标准结构的模型空间R容易导致误会,我们用一个“匿名”空间替代之。设V是一个n-维实向量空间,V为其对偶空间。现在考虑直和W:=V⊕V,带有如下形式:选取V的任何一组基(v1,…,vn),考虑其对偶基我们能将基理解成在W中的向量。若记xi=(vi,0)和yi=(0,vi),将它们放在一块,组成了W一组完整的基,这里定义的形式ωω-->{\displaystyle\omega}可以证明具有本节最初的那些性质,换句话说,每一个辛结构都同构于一个形如V⊕V的形式。对子空间V的选择不是唯一的,对V选...
· 向量空间的维数
例子向量空间R的基底为,因此有dimR(R)=3.更一般的,dimR(R)=n,更一般的,dimF(F)=n对任何的域F.复数C既是实向量空间又是复向量空间;dimR(C)=2以及dimC(C)=1.所以向量空间的维数取决于构成向量空间的域.只有一个零向量构成的向量空间{0}的维数是0.一些事实如果W是V的线性子空间,那么dim(W)≤dim(V).为证明两个有限维向量空间相等,通常使用下面的准则:如果V是有限维向量空间,W是V的线性子空间,并且dim(W)=dim(V),那么W=V.R有标准基底{e1,...,en},其中ei是单位矩阵的第i列.域F上的任何两个向量空间是同构的.任何他们基底之间的双射能够唯一的扩展到整个向量空间上的线性双射.参阅基底拓扑维数,也被称为勒贝格覆盖维数分形维数,也被称为豪斯多夫维数科鲁尔维数参考资料Gannon,Terry,Moonshinebeyondth...
· 拓扑空间
定义拓扑空间是一个集合X{\displaystyleX}和其上定义的拓扑结构ττ-->{\displaystyle\tau}组成的二元组(X,ττ-->){\displaystyle(X,\tau)}。X{\displaystyleX}的元素x{\displaystylex}通常称为拓扑空间(X,ττ-->){\displaystyle(X,\tau)}的点。而拓扑结构ττ-->{\displaystyle\tau}一词涵盖了开集,闭集,闭包域,开核,闭包,导集,滤子等若干概念。从这些概念出发,可以给拓扑空间(X,ττ-->){\displaystyle(X,\tau)}作出若干种等价的定义。在教科书中最常见的定义是从开集开始的。开集公理X{\displaystyleX}的子集族O{\displaystyle{\mathfrak{O}}}称为开集系(其中的元素...
· 拓扑空间范畴
作为具体范畴如同许多范畴一般,范畴Top也是个具体范畴,意指其物件为有附加结构的集合(即拓扑),且其态射为维持此一结构的函数。自然地存在一可遗函子将每个拓扑空间指派给同个拓扑空间内的集合,每个连续函数给为同个连续函数的函数。可遗函子U有一个左伴随函子及一个右伴随函子实际上,上述两个函子皆对U为右可逆(即UD和UI都等于在Set上的单位函子)。甚至,因为任何一个在离散或密著空间之间的函数皆为连续的,所有这两个函子都给出了由Set映射至Top的完全内嵌。具体范畴Top也是“纤维完全的”,意即由在一给定集合X上的所有拓扑所组成的范畴(称为U在X上的纤维)会形成一个依包含关系排序的完全格。这个纤纤的最大元素为X上的离散拓扑,而最小元素则为密著拓扑。参考资料Herrlich,Horst:TopologischeReflexionenundCoreflexionen.SpringerLectureNo...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信