单子理论对拓扑等度连续与均匀连续的刻画及其应用.pdfVIP

2009年3月 纯粹数学与应用数学 Mar．2009 第25卷 第1期 PureandAppliedMathematics Vbl_25No．1 单子理论对拓扑等度连续与均匀 连续的刻画及其应用 靳永军 ，一，陈东立 2，翟美娟 2 (1西安工业大学数理系，陕西 西安 710032，2西安建筑科技大学理学院，陕西 西安 710055) 摘要：在扩大模型下，应用单子理论给出了拓扑等度连续和均匀连续的非标准刻画，并 应用均匀连续的非标准特征证明了网收敛与均匀连续之间的关系，最后应用拓扑等度连 续和均匀连续的非标准特征证明了拓扑等度连续和均匀连续之间的关系． 关键词：拓扑等度连续；均匀连续；单子 中图分类号：O141．41 文献标识码：A 文章编号：1008-5513(2009)01—0157-03 非标准分析作为一种数学方法，其一个重要应用就是利用离散化的方法研究连续性的问题， 这就首先需要研究有关数学概念的离散化特征 (即非标准特征)．本文首先给出了函数空间理 论中的拓扑等度连续和均匀连续的非标准特征，进而应用它们讨论了这两种连续之间的关系． 本文所讨论问题均在扩大模型下，设拓扑空间 包含在标准全域 的个体集中， 是 的扩大，于是有 c ． 定义 1 令 是从拓扑空间 到拓扑空间y 的连续映射族，且 和 Y分别是 和 y 中的点．我们称 为在点 和 Y的拓扑等度连续，若给定任何包含 Y的开集 D，存在 的邻 域 和Y的邻域 ，使得对于每个 ，∈ ，只要．flU】nV≠ ，就有 flu]cO．我们说 为 在点 的拓扑等度连续，若对于每个Y∈Y，它在点 和 Y拓扑等度连续；我们说 拓扑等度 连续，若它在每个点z∈X 拓扑等度连续． 定义2 设 是 ∈X 的邻域系，称 ()=n{E：E∈ )为点 的单子． 定理 1 f拓扑等度连续的非标准特征) 设 是从拓扑空间 到拓扑空间 y 的连 续映射族， 为在点 和 Y的拓扑等度连续，当且仅当V，∈ ，若 ，【)]n ()≠ ， 则， ()]c ()． 证明 必要性 设 是在点 和 Y的拓扑等度连续，由定义得，设 ∈X，Y∈Y，VO ∈ ，3U∈ ，V ∈ ，使得 }==(V，∈ )(， nV≠西 ， c0) 由转换原理得 }==(vf∈ )(，rU】nV≠ 一，r c 0) 因为 ， )】n ()≠ ，，【(z)]C，【，所以，rU】n V≠ ；故有 ，【U]c 0．所 以， )】c，【U]C 0，由0的任意性及 ()=n{F：F∈ )得：， ()】c ()． 收稿 日期：2006-10-28． 基金项目：陕西省自然科学基金项目(2007A12)，西安建筑科技大学青年科技基金 (QN0736) 作者简介：靳永军 (1979-)，助教，研究方向：应用非标准分析． 158 纯粹数学与应用数学 第25卷 充分性 假设条件成立．因为对v．f∈ ，当， ()】n ()≠圣时，有 ，【(z)]c ()，所 以VO∈ ，由文 …1定理3．1．1(内逼近定理)，得：3U∈ ，Uc ()，3V∈ ，Vc ()，使 得 }==(3U∈ )(j ∈ )(，【】nV≠ 一f[U]c 0) 由转换原理得 }=：(3U∈ )(1，，∈ )(，【nV≠ — ，【]c0) 故 是在点37和 的拓扑等度连续． 推论 1 拓扑等度连续，当且仅当对V：r∈X， ∈Y，V，∈ ，若 ， )】f7U(U)≠西， 则，【()】c ()． 定义 3 令 是从拓扑空间 到拓扑空间y的映射族，且 和 分别是 和 y 中的 点．我们称 为在点 和 的均匀连续，若给定任何包含 的开集 D，存在 z的邻域 U和 的邻域 ，使得对于每个 ，∈ ，只要y(x)∈V，就有 f[V]c0．我们