论文部分内容阅读
本文首先通过邻域系引出滤子的概念,并对滤子进行了严密分类并讨论了滤子和超滤子的基本性质及其间的关系;其次通过非标准分析理论给出滤单子的定义并研究其性质,利用滤单子给出了滤子和超滤子的非标准刻画;最后研究了一致结构单子的性质,并利用一致空间上的Cauchy滤单子刻画了一致空间的完备性。 论文的要点以及主要内容如下: 第一章中首先简述非标准分析理论,其次介绍了非标准分析理论产生的背景、发展过程以及国内外研究现状。 第二章中首先通过拓扑给出了滤子的定义并对滤子进行了分类,其次研究了滤子与超滤子一些性质,最后利用滤子生成一类特殊的连通拓扑。 第三章首先讨论了超结构的定义及其相关性质,其次介绍了数理逻辑中的形式语言,以及连接非标准分析与标准分析之间重要的桥梁转换原理,最后讨论了两种经典非标准模型的性质。 第四章利用非标准分析理论给出了滤单子的定义,首先讨论了一族滤子的上下确界,其次利用滤单子给出了超滤子的非标准刻画,在此基础上,根据滤子与超滤子间的关系给出了一般滤子的非标准刻画,最后研究了非标准紧化拓扑空间及其商空间的若干性质。 第五章应用滤单子理论研究一致空间,首先给出了一致结构的非标准刻画与一致结构单子的性质,其次研究了一致空间上的Cauchy滤单子并利用Cauchy滤单子刻画了一致空间的完备性。