分析中的可计算性

工程和自然科学中大量的科学计算问题,需要可靠的计算方法和计算软件,通常的实数浮点表示方法只提供了一种逼近实数的基本方法.对实数的不同逼近方法诱导不同的可计算性.对实数的重新理解和认识是研究分析中可计算性的重要基础.Klaus Weihrauch基于第二型图灵计算模型,引入了基于无穷串的可计算函数的概念,并建立了第二型能行计算理论.有关可计算实数理论的几种经典模型可以统一在第二型能行计算理论框架中.对于一般的集合,为研究其中元素的可计算性,引入基于字母集Σ的表示系统.形式上是一个部分函数υ∶Σ*→M或δ∶Σω→M(称为命名系统),不同命名系统下刻画不同的逼近方法,诱导出不同的可计算性,在能行拓扑空间中诱导出不同的拓扑.拓扑与命名系统之间的内在联系,使得抽象空间中可计算性的研究得到自然延伸.

对系统局部Lipschitz性质进行推广的商榷

在回顾Khalil教授将系统局部Lipschitz性质延拓到紧致子集的基础上,分析其延拓方法中的潜在问题,并给出R中的反例揭示其证明过程的第2种情况并非必然成立,进而以拓扑度量空间中的Lebusgue数理论为工具,将其演绎到n维欧式空间,得到2个重要性质。给出利用2个性质将系统局部Lipschitz性质延拓到紧致子集上的具体过程。

实数集R的不同拓扑结构和拓扑性质

针对实数空间R中不同的拓扑结构,讨论实数空间R若干拓扑结构之间的关系,并讨论在不同的拓扑结构中,聚点、极限点等有关性质。

实数下限拓扑空间的若干性质

本文对实数下限拓扑空间的拓扑性质进行了较为系统的分析，特别是对其可数性、分离性、紧致性、连通性等作了较详细的讨论。

实数上限拓扑空间在拓扑教学中的应用

实数上限拓扑空间是一个简单、直观的拓扑空间.在拓扑学教学中,利用该拓扑空间可以淡化一些抽象的、逻辑性强的概念和理论,引导学生严密、深刻地思考问题,从而达到知识的完全理解和掌握.在总结教学经验的基础上,本文讨论实数上限拓扑空间在四个方面的应用.

LF拓扑空间的T_0和T_1分离性

本文定义了LF拓扑空间中的新的T0与T1分离性，讨论了它们的一系列性质，并进一步说明模糊单位区间和模糊实直线仅满足极弱的分离性。

序拓扑空间上的类实数理论

序拓扑空间具有许多与实直线相似的良好结构和性质,为此就实数理论在序拓扑空间下做了一定的推广、分析和研究.

实数集上去倒数拓扑空间的研究

对实数集上的去倒数拓扑空间进行了研究.证明了它是可分空间、Lindelof空间、满足第二可数性公理的空间、连通空间等,并证明它不是局部连通空间、道路连通空间、紧致空间等.