半拓扑线性空间及其性质（II）

我们在文[9]引入了半拓扑线性空间的概念,并得到了半拓扑线性空间中半开集、半闭包、半内部、S邻域、局部S-基等方面的一些基本结果.本文进一步讨论了半拓扑线性空间的性质,得到了如下结果:(1)证明了半拓扑线性空间中凸集的半闭包和半内部均为凸集;半拓扑线性空间中平衡集的半闭包是,平衡集,并且当平衡集的半内部包含0点时,平衡集的半内部也是平衡集;在半拓扑线性空间中存在着由半闭的平衡集构成的0点的局部S-基. (2)证明了半拓扑线性空间中半拓扑线性有界集的子集是半拓扑线性有界的,有限个半拓扑线性有界集的并集也是半拓扑线性有界的,S-紧集是半拓扑线性有界的.(3)对具有C性质的半拓扑线性空间,证明了半拓扑线性有界集的半闭包是半拓扑线性有界的,有限个半拓扑线性有界集的和是半拓扑线性有界的.(4)对具有C性质的半拓扑线性空间,证明了α集A是S-紧集当且仅当A是完全半拓扑线性有界的S-完备集.     

半拓扑线性空间及其性质(Ⅱ)

我们在文[9]引入了半拓扑线性空间的概念,并得到了半拓扑线性空间中半开集、半闭包、半内部、S邻域、局部S-基等方面的一些基本结果.本文进一步讨论了半拓扑线性空间的性质,得到了如下结果:(1)证明了半拓扑线性空间中凸集的半闭包和半内部均为凸集;半拓扑线性空间中平衡集的半闭包是,平衡集,并且当平衡集的半内部包含0点时,平衡集的半内部也是平衡集;在半拓扑线性空间中存在着由半闭的平衡集构成的0点的局部S-基.(2)证明了半拓扑线性空间中半拓扑线性有界集的子集是半拓扑线性有界的,有限个半拓扑线性有界集的并集也是半拓扑线性有界的,S-紧集是半拓扑线性有界的.(3)对具有C性质的半拓扑线性空间,证明了半拓扑线性有界集的半闭包是半拓扑线性有界的,有限个半拓扑线性有界集的和是半拓扑线性有界的.(4)对具有C性质的半拓扑线性空间,证明了α集A是S-紧集当且仅当A是完全半拓扑线性有界的S-完备集.     

关于(BS)空間.(Ⅰ)

最近几年,在綫性拓扑空间理论的发展中出现一种新的趋向,即研究某些泛函分析学中重要定理所成立的空间,例如N.Bourbaki引进的t—空间,即使Mazur形式的共鸣定理(采取以同等连续的概念来描述者)成立的局部凸空间.本文就是在这个总的提法之下,来引进一种比t—空间更接近于古典形式的共鸣定理的空间. 定理.设E和F是两个分离的局部凸的空间,(E,F)是所有从E到F的连续綫性算子构成的綫性空间;则凡(E,F)中逐点有界集皆强有界(此处所谓强有界是指对由E上一切有界集所确定的-拓扑而言有界)的充要条件是:E中圆桶可吸收任何有界集. 定义.设E是局部凸的空间,若它的每个圆桶皆可吸收任何有界集;则称E为(BS)空间. 命题1.凡完全的分离的局部凸空间皆(BS)空间.     

拟有界算子与有界算子、连续算子间的关系

本文在拓扑线性空间中,通过拟有界集定义了一种新的算子--拟有界算子,主要研究了拟有界算子分别与有界算子,连续算子之间的关系. 并且证明了:设E,E1都是拓扑线性空间,E是局部有界或局部凸的,E1是局部凸的,T为从E到E1内的算子,那么T是有界算子的充要条件是T是拟有界算子. 并且,若E满足A1公理且是局部有界或是局部凸的,E1是局部凸的,T为从E到E1内的线性算子,则T是连续算子的充要条件为T是拟有界算子.     

交换李群上的拟不变测度和相应拓扑

设G是一个拓扑群,是G中由全体开集张成的Borel σ-代数,是G的子群,Ω=(G,μ)是关于平移拟不变的有限正则测度空间,即对每一个h∈,若定义测度μ_h(A)=μ(h~(-1)A),A∈,则μ_h～μ.若上本身具有拓扑,对于每一个h∈,G中紧集K及包含h_0K的任一开集0,必存在h_0在中的环境V,使当h∈V时有hK(?)0,则称拓扑是适宜的.对于G是线性拓扑空间情形,[1]证明了上第二纲适宜拓扑总是存在的,并且具体给出了此拓扑的构造.本文将对G是以Banach空间E为参数的无限维李群进行讨论,并说明其相应的适宜拓扑必存在,从而得到了和线性拓扑空间情形相应的一些结果.我们采用的李群概念是B.Maissen在[2]中所定义的.     

半拓扑线性空间的一些性质

引入了半拓扑线性空间的概念,并得到了半拓扑线性空间中半开集、局部S-基、半拓扑线性有界集等方面的一些基本结果.在此基础上讨论了半拓扑线性空间中的S-分离性,给出了一些半拓扑线性空间中新的性质.     

从Bloch-type空间到Bers-type空间的复合算子

一个线性算子把有界集映为有界集,则称它为有界的;若一个线性算子把有界集映为有紧闭包的集合,则称它是紧的。在解析函数空间中,感兴趣的是找出解析映射所诱导的有界算子或紧算子的函数理论特征。主要给出了从Bloch-type空间到Bers-type空间及小Bers-type空间的复合算子有界和紧的充要条件。     

向量拓扑空间中全有界性的几个结果

在线性赋范空间中,由完全有界集的性质导出Baire定理,本文将它们推广到向量拓扑空间去,主要结果是线性拓扑空间中的致密集是全有界集,由此得出具Baire性质的T_2线性拓扑空间的维数或是有限或者不可数的。     

线性赋范空间中几个概念的探讨

本文证明了当给线性赋范空间装备以相应的拓扑,与线性拓扑空间体系下所定义的线性赋范空间,有界集、线性算子的有界性等概念是等效的,同时严格证明了有界线性算子范数两种规定的一致性.     

关于弱拓撲

我们知道,如果E是一局部凸的綫性拓扑空间,则E的弱拓扑也是一局部凸拓扑.然而局部凸拓扑却并不一定是弱拓扑,也就是说存在那样的局部凸的綫性拓扑空间,它不是任何局部凸线性拓扑空间的弱拓扑空间.因此自然要问什么样的局部凸拓扑才是弱拓扑呢?本文主要就是要讨论这种弱拓扑的特征性质. 本文§2,主要是给出了Mackey定理的一个新的叙述形式. 在本文的写作过程中,江泽坚教授和黄炎明同志提出了许多宝贵的意见,作者谨向他们表示衷心的感谢。§1.綫性拓扑空间中的有界集     

R空间开区间上的Brouwer度

E=R~n为n维欧氏空间. ω=β为E中所有有界开集所成的集合. M(Ω)=C(Ω,E)为所有连续映象f:Ω→按一致拓扑构成的拓扑空间.显然 M(β)={M(Ω)|Ω∈β}是允许映象族. M(Ω)是凸集,任f∈M(Ω)必映Ω中的闭集成闭集.这时称M(β)上的拓扑度为Brouwer度.     

关于0空间的一个注

设 L 同时是线性拓扑空间和半序线性空间,则 L 中有两种不同的收敛:拓扑收敛和序收敛。Ralph E.Demarr 称序收敛等价于拓扑收敛的半序线性拓扑空间为0空间,我们在中得到定理:设 L 同时是 Riesz 空间和完备线性拓扑空间,则 L 为 O 空间必有穷维。但在引理3的证明中,我们没有注意到 y_n(t)(?)C(S),所以实际上只在σ备的条件下得到定理2的证明。本文给出定理的-个新证明,作为文的改正。证:只须证明中引理3。设 C(S)为无穷维,则 S 为无穷集,由 S 的紧性知必有互不相同     

拓扑线性空间与Euclid空间的线性同胚性

应用拓扑线性空间中局部基构造的方法,利用有界集的性质和Euclid空间的特点,对拓扑线性空间附加了一些条件,证明了拓扑线性空间与Euclid空间是线性同胚的.     

拓扑空间中基本K类算子半群的全局吸引子

在Hausdorff拓扑空间中采用夏道行关于笛卡尔定向集的思想方法和网收敛的概念定义了σ-极限集.并用基本有界集替代距离空间中的有界集定义了基本K类算子半群和全局S-吸引子,进而得到了一类全局吸引子存在的条件和连通性.     

线性拓扑空间中有关凸性的一些结果

本文主要讨论了线性拓扑空间中集合的固有代数边界点集的性质.证明了线性拓扑空间中一类很广泛的集合以其固有代数边界点集为稠密集;并得到紧集是其固有代数边界点集的闭包.此外还研究了固有代数边界点集的序列稠性.并获得了一些有趣的结果.     

半拓扑线性空间中的半拓扑线性有界性

主要研究半拓扑线性空间中半拓扑线性有界与完全半拓扑线性有界的关系,得到了半拓扑线性子空间中半拓扑线性有界的充分必要条件,以及半拓扑线性空间中半拓扑线性有界的等价条件.     

线性拓扑空间中两类算子族的共鸣定理

本文将给出两类非线性算子族——按泛γ-拟次加算子族与凸算子族在线性拓扑空间中的共鸣定理。§1 按泛γ-拟次加算子族的共鸣定理定义1.设A是线性拓扑空间E到拓扑空间F中的算子,φ(y)为F上的非负泛函。如果φ[A(x)]为E上的γ-拟次加泛函,则称A为E到F中的按泛函φ的γ-拟     

拓扑空间的基本布尔格

本文称拓扑空间(X.)中满足A~(-0)A~(0-)的集为β集,证明了空间(X.)中企体β集的集簇β(X.)构成一个布尔格;这个格是拓扑空间的一个半拓扑不变量。     

有界完备的domain范畴是monadic范畴

一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基数κ,作者引入了有界完备的κdomain以及相应的Scott κ拓扑的概念,并证明了有界完备的κdomain范畴是集合范畴和T0的κ拓扑空间范畴上的monadic范畴.     

关于W^＊—有界集为强有界的条件的注记

文[1]给出了下述定理(见[1],定理1):设E为局部凸空间,则每个σ(E′,E)-有界集为β(E′,E)-有界当且仅当E为速完备。本文将指出这定理是错误的。诚然,由E为速完备可推出每个σ(E′,E)-有界集为β(E′,E)-有界,但是下述两个例子表明其逆不真。