一致结构的单子及其应用α.PDFVIP

2001 年 6 月 纯粹数学与应用数学 June 2001 第 17 卷第 2 期 Pure and A pp lied M athem atics V o l17 N o2 一致结构的单子及其应用 陈东立 (西安建筑科技大学理学院, 西安　710055) 摘　要: 讨论了乘积一致结构的单子的刻画. 利用一致结构的单子给出了 Cauchy 网 及含小集集族的非标准特征. 作为应用给出一致空间几个重要定理的离散化证明. 关　键　词: 一致结构的单子; 扩大; Cauchy 网; 含小集的集族 中图分类号: O 141. 41　文献标识码: A 　文章编号:(2001) 引　言 非标准分析做为一个数学方法, 其一个重要应用就是用离散的方法研究连续性的问题, 这 ( ) 就首先需要研究有关数学概念的离散化特征 即非标准特征 , 这方面国内外已有大量论文发 表. 本文首先讨论了乘积一致结构的单子的结构特征, 而后用一致结构的单子给出了 Cauchy 网及含小集集族的非标准特征, 最后给出了它们的若干应用. 本文论及的集合X 在扩大 U 中的自然扩张. 1　予　备 首先给出证明本文主要结论的若干基本概念及引理. ( ) 定义 1　 设 X , U 为一个一致空间, 则称∩ { U : U ∈U } 为一致结构 U 的单子, 记为 (U). ( ) 文[3 ] 证明了对每一个 x ∈X , x 关于一致拓扑的单子为 U [x ] = ∩ { U [x ]: U ∈ U }, 从而用一致结构的单子刻画了一致拓扑. + ( 若 P 为一致结构U 的格集, 由于{V d , r : d ∈P , r ∈R } 为U 的一个基, 其中V d , r = { x , ) ( ) ( ) + ( ) y ∶d x , y r }, 所以 U = ∩{ V d , r : d ∈P , r ∈R }. 进而对每一个x ∈X , y ∈ x = ( ) ] 当且仅当对任一个d ∈P , d ( , y ) ( ( , y ) ) U [x x ≈ 0 即 d x 为无穷小数 . ( ) 定义2　 设 X , U 为一致空间, {S n , n ∈D } 为X 中的网. 若对每一个U ∈U , 存在N ∈ ( ) D , 使当m , n ∈D 且m , n ≥N 时, 有 S m , S m ∈U , 则称网{S n , n ∈D } 为Cau chy 网. 收稿日期: ( )