半拓扑空间的性质

§1 引 言 本文继续〔1〕、〔2〕关于半拓扑空间性质的讨论,给出了半拓扑空间中闭图象的等价刻划并将Franklin,S.关于拓扑空间紧性的特征定理推广到O-ST空间类。另外本文还引入了邻域子空间及局部邻域紧空间的概念并对其进行了初步讨论。这些概念及其讨论进一步完善了半拓扑空间理论。     

非定常系统在平衡点邻域拓扑等价与结构稳定的一个条件

本文引进非定常系统在平衡点邻域的局部拓扑等价概念.给出两个系统局部拓扑等价的一个条件.并由此建立高次系统局部结构稳定的若干结论,及非线性系可局部线性化的一个结论.     

连续信息基

D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。     

拓扑群作用下度量空间中链回归点集的研究

仿造度量空间中链回归点的定义,给出了拓扑群作用下度量空间中G-链回归点的概念,并将度量空间中链回归点的一些结论,推广到拓扑群作用下度量空间中,得到如下结果:1)同胚伪等价映射f的G-链回点集等于它的逆映射f~(-1)的G-链回归点集;2)伪等价映射f的G-链回点集和G-链等价集对G强不变;3)同胚等价映射f的G-链回点集f对强不变.4)等价映射f限制在它的G-链回归点集上形成的G-链回归点集就是等价映射f在度量G-空间X上形成的G-链回归点集.这些结果丰富了拓扑群作用下度量空间中G-链回归点的理论.     

关于LF拓扑空间的正则闭分离性

利用正则闭集概念在LF拓扑空间中引入RC-正则(正规)分离性概念,给出了它们的刻画,并利用广义Zadeh型函数证明了它们是LF拓扑性质,在LF拓扑空间的半正则化中RC-正则(正规)分离性与正则(正规)分离性是等价的.     

关于子基的强连通性

在LF拓扑空间中借助于相对闭包引入了关于子基的强连通性的概念,研究了它的一些基本性质和等价刻画.结果表明,这种强连通性保持了LF拓扑空间中已有连通性的许多类似性质     

LF拓扑空间的正则闭分离性

利用正则闭集概念在LF拓扑空间中引入了正则闭分离性Ti^rc（i=-1，O），次To^rc概念，给出了它们的刻画，证明了正则闭Ti^rc（i=-1，0）分离性、次To^rc分离性为拓扑性质，在LF拓扑空间的半正则化中Ti^rc分离性与Ti分离性是等价的。     

谓词转换器的拓扑语义

本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义。，引入D－半拓扑空间概念，用以建立相容谓词转换器的语义，引入SM-半拓扑空间概念，用以刻画连续谓词转换器的语义。针对不确定程序，本文引入了dI-domain上半稳定映射概念，给出了其等价刻画。     

LF拓扑空间的rT-分离性

在利用r闭远域概念引入了rT-分离性的基础上讨论了该分离性的一些等价刻画和基本性质(L-好的推广、LF-r拓扑性质及遗传性等).结果表明它们保持了LF拓扑空间中的T-分离性的主要结果,是LF拓扑空间中的T-分离性的推广.     

聚类分析中的对称原则

通过在集合上赋予对称关系 ,作者分析了对称结构与拓扑结构及等价划分的关系 ,指出 :一个对称关系可以唯一决定一种拓扑 ,也可以唯一决定一种等价划分 ;反之 ,赋予一种拓扑结构或等价划分 ,可以定出一种对称关系 .在此基础上 ,作者提供了由拓扑结构进行聚类的方案 ,并设计了聚类划分的数理统计方法     

能行连续泛函

<正> 本文讨论了部份递归函数族,部份递归泛函和能行运算的一些拓扑性质,定义了连续泛函和能行连续泛函的概念,证明了能行连续泛函与部份递归泛函的等价性,讨沦了能行连续泛函与能行运算的异同.     

广义近似空间的拓扑分离性与紧性

本文对一般广义近似空间(U,R)进行了拓扑式研究,利用R-开集概念诱导了广义近似空间对应的拓扑空间,并利用诱导的拓扑空间定义了相应广义近似空间的T_0性与T_1性及拓扑紧性。证明了广义近似空间的T_0性强于T_0~a性,T_1性与T_1~a性等价;证明了广义近似空间的关系紧性强于拓扑紧性,并用反例说明了关于分离性和紧性其他不能蕴含的情形。     

强S-仿紧空间

在一般拓扑空间中给出了强S-仿紧空间的概念,研究了它的性质并给出了Hausdorff空间下它的等价刻画,同时讨论了它的相对性质.     

L-闭包空间的βc-连通性

在L-闭包空间中定义了βc-连通性和βc-连通空间的概念,并给出了其等价刻画,讨论了它的若干好的性质:弱拓扑不变性、L-好的推广等     

具有无界非线性项的广义逐段常变量微分方程拓扑等价函数的正则性

关于微分方程的拓扑等价以及拓扑等价函数的正则性一直是微分方程研究的焦点之一.当非线性项有界时,已经有很多学者证明了微分方程的拓扑等价函数是H?lder正则的.然而,当非线性项无界时,拓扑等价的正则性尚无突破性结果.在无界情形下, Zou和Shi(2017)得到了拓扑线性化的条件.除Zou和Shi(2017)给出的条件外,在附加的一个前提下,本文证明拓扑等价函数的H?lder正则性.事实上,当系统是有界时,系统线性化的条件足以保证其H?lder正则性.但是,当系统是无界时,这个附加条件是必不可少的.本文举例说明这个事实.这是首篇考虑无界系统拓扑等价H?lder正则的文章.     

连续格上的分析性质

在完备格中给出两个收敛性定义并且证明了这两个收敛性定义是等价的。把连续格和诱导拓扑与积拓扑的等价性建立了联系,并讨论了连续格上的拓扑性质。     

乘积柔拓扑空间及其性质

先定义了柔集的笛卡尔积,射影序同态,柔拓扑空间的基、子基等概念,在此基础上定义了乘积柔拓扑空间,给出了秉积柔拓扑空间的等价描述以及乘积柔拓扑空间的一些基本性质,证明了一族满足T0分离性(resp.,T1分离性,T2分离性,正则分离性,连通性)的柔拓扑空间的乘积柔拓扑空间仍然满足这种性质,同时证明了第二可数是(ξ)0-可秉性质.     

光滑l-Fuzzy拓扑空间的闭包算子

本文的目的是在光滑L—fuzzy拓扑空间上给出闭包算子的概念，利用集合套的方法给出它的一些等价刻画，并讨论它的性质及其应用．     

由对称分布导出的GN空间

本文讨论了概率理论中常见的对称分布等价类所导出的ＧＮ空间及拓扑性质，证明了依拓扑收敛等价于依概率收敛这一重要结论。     

LF中的Q-闭空间

在LF拓扑上定义了q正则开集,并利用q开集定义了LF拓扑上的新概念Q-闭空间和弱Q-闭空间.给出了Q-闭空间和弱Q-闭空间的等价刻画和在q-不定映射下的性质.并且给出了S-闭空间、Q-闭空间和弱Q-闭空间的关系.