拓扑空间中几类紧性的非标准刻画

利用非标准分析理论,对拓扑中的紧性、相对紧、局部紧性进行非标准刻画,简化原有证明,使它们的本质性质更为清晰,使拓扑学在理论上更加深刻.     

拓扑的非标准定义

目的用非标准分析的方法给出拓扑的定义。方法在扩大模型下,利用转换原理,通过定义邻域系单子给出拓扑的定义。结果这种貌似离散的非标准定义与一般的拓扑定义是一致的。在此基础上,定义了闭集、分离性及紧性,讨论了闭集、分离性及紧性的一些相关性质。结论充分体现了非标准分析方法的“貌似离散,实则连续”、简洁直观的特点。     

模糊拓扑空间中Q-紧集的非标准刻画

在非标准扩大模型下,讨论了模糊拓扑空间中Q-紧集的非标准刻画．首先,将模糊集合扩张为非标准模糊集合,借助模糊点的重域定义了模糊点的单子．其次,以模糊点的单子为工具,给出了Q-紧集的非标准刻画,并在此基础上得到了Q-紧空间的非标准刻画．最后,证明了Q-紧空间的Tychonoff乘积定理．     

由X上理想族诱导出的* X上的ψ -拓扑

在非标准扩大模型下,利用集合X上全体理想之族,诱导出了集合X的非标准扩张* X上的一种拓扑--ψ -拓扑.研究了集合X上全体理想之族的基本性质及理想族上、下确界存在的条件.在此基础上,利用X上全体理想之族诱导出了* X上的ψ -拓扑.讨论了ψ -拓扑的紧性、分离性等基本性质及其在非标准拓扑学中的一些应用.     

遥远点的若干应用

目的 用非标准的方法给出拓扑空间中一些重要概念的非标准刻画.方法 在非标准扩大模型下,利用转换原理,通过定义非标准空间中的遥远点给出拓扑空间中一些重要概念的非标准刻画.结果 给出了具有紧支撑函数、在无穷远处为零的函数以及完备一致空间的非标准特征,并讨论了它们的一些基本性质.结论 这些刻画充分体现了非标准方法简洁、直观的特性.     

由X上理想族诱导出的~*X上的I-拓扑

在非标准扩大模型下,利用集合X上全体理想之族,诱导出了集合X的非标准扩张*X上的一种拓扑——I-拓扑.研究了集合X上全体理想之族的基本性质及理想族上、下确界存在的条件.在此基础上,利用X上全体理想之族诱导出了*X上的I-拓扑.讨论了I-拓扑的紧性、分离性等基本性质及其在非标准拓扑学中的一些应用.     

关于紧性的一个注记

在文[1]、[2]中,A.Robinson和D.G.Tacon用非标准分析的方法给出了集合是紧的、算子是紧的和一族算子是集紧的充要条件。本注记的目的就是用超积的方法给出这些结果。作为一个应用,我们推广了幂紧算子定理。     

拓扑空间的次分离性

旨在研究T4拓扑空间的一般化.为此定义了拓扑空间的次T2、次正则、次正规、遗传次正规等次分离性,详细地讨论了它们之间以及它们与已有分离性之间的联系,并且研究了这些次分离性的遗传性、可乘性以及与Wallman紧化和非标准紧化的联系.     

Y.Meyer型小波的构造

Y.Meyer小波不仅具有快速衰减和无穷可微的性质,而且在频域具有紧支性。利用多分辨分析理论及AWM方法,给出了Y.Meyer型小波一般形式构造的具体方法及过程,使构造方法规范化,并保持了它在频域的紧支性及自身的快速衰减和无穷可微的性质。     

用力迫法构造的一个非标准的算术模型

Skolem建立了形式算式的第一个非标准模型.A.Robinson在由紧致性定理和共点关系所获得的非标准模型中引进了标准的、内的和外的对象(集合、关系、函数等)的概念,并证明了:如果S是无穷的,则S中含有非标准的内对象.这是形式算术的一切非标准模型的共性吗?本文对这一问题作了否定回答,获得并证明了下述结果:主要定理.存在着形式算术的一个非标准模型,在其中有无穷多个不包含非标准元素的无穷内子集合.这就是说,这些无穷的内子集合纯粹是由有限的自然数所组成.我们的证明使用了 P.J.Cohen的力迫法.     

纤维拓扑超空间的局部紧性

纤维拓扑与超空间拓扑,无论在理论上还是在应用中都是有意义的拓扑结构,两个研究领域都产生了丰富的成果.但是迄今为止,探讨复合两种结构的工作还基本没有出现.引入纤维超空间概念,并讨论纤维投射的基本性质.根据该复合结构的特点,定义了纤维超空间的局部紧以及纤维超空间具有局部紧纤维的概念,并讨论了两者间的关系,以及与基底空间相关性质的联系.得到了某些关于紧子集超空间和闭子集超空间纤维紧性,以及纤维超空间局部紧性的一些等价刻画.     

一种数据库的加密法

本文介绍一种利用数据库的空白部分,用一种可编译的语言,对数据库的文件结构信息,字段描述信息部分进行加密的方法．     

拓扑系统范畴完备性与Tychonoff乘积定理

拓扑系统是目前最广泛的拓扑学研究对象,它以点集拓扑空间、Locale的空间化、模糊拓扑空间与拓扑分子格为特例,用它可研究计算机程序设计语言指称语义的Domain理论．本文旨在建立拓扑系统范畴的乘积结构与等子结构,表明拓扑系统范畴是完备范畴．讨论拓扑系统的紧性,得到了拓扑系统关于紧性的Tychonoff乘积定理．     

非标准拓扑动力系统

本文采用非标准分析方法研究拓扑动力系统。应用Nelson的“内涵集合论”概念给出了拓扑动力系统的非标准表达,为进一步解决该领域中一些公开问题打下基础。     

德摩根拓扑代数的可列紧和序列紧

引入和研究德摩根拓扑代数的可列紧和序列紧，探讨了这两种紧性之间的关系以及这两种紧性与德摩根拓扑代数的紧之间的关系。     

关于覆盖式不分明紧性

给出了不分明拓扑（ｆｔｓ）中覆盖式紧性的主要性质,讨论了其与若干模糊紧性等价刻划     

级数论中几个著名命题的非标准分析简证及其评述

本文对级数论中P.du Bois-Reymond,N.H.Abel,U.Dini,G.L.Dirichlet和A.Pringsheim等的几个熟知命题提供了由非标准分析方法(NSA方法——Methods of Nonstandard Analysis)作成的简证。本文要旨不在介绍这些简易的初等证法,而在于通过所作例证这一小侧面,说明NSA方法为什么能比经典分析方法更简捷地发现证明思路和更容易地培养学生数学发现能力的原因。这对认识在高等学校数学教学中讲授严谨无穷小理论和方法的必要性,是有参考价值的。     

从Blogα空间到Qk空间的复合算子

算子理论是函数空间理论研究的一个重要分支,函数空间上复合算子的有界性、紧性的研究与函数空间自身的函数性质密不可分;虽然不同的解析函数空间有着许多相似的函数理论,但其上的复合算子的有界性、紧性、K-Carleson测度的刻画往往取决于每个函数空间的特殊性及算子本身的性质.把算子与函数空间放在一起讨论是深入研究算子、函数空间的佳径,近年来国内外的研究动态就是很好的证明.Blαog空间是经典Bloch空间的子空间,而Bloch型空间和QK空间一直都是研究的热点;主要利用复分析、泛函分析的理论与方法讨论了Blαog空间到QK空间的复合算子,利用K-Carleson测度刻画了Blαog空间到QK空间的复合算子,得到了该算子为有界和紧的充要条件;此结果是Bloch型空间到QK空间上复合算子为有界和紧的一种全新的刻画.