一致空间中的Cauchy网与Cauchy滤子.pdfVIP

第22卷第1期 甘肃联合大学学报(自然科学版) Vo1．22 No．1 2008年1月 Journal of Gansu Lianhe University(Natural Sciences) Jan．2008 文章编号：1672—691X(2008)01—0001—03 一 致空间中的Cauchy网与Cauchy滤子 沈 晨 ，金惠华 (1．中国石油大学数学与计算科学学院，山东东营257061；2．吴江市实验中学，江苏吴江215200) 摘 要：对于一致空间(x， )，研究了其中Cauchy网的极限与其子网极限的关系．(X， )的完备性可通过网或 滤子的Cauchy性来刻画，本文研究了网和滤子的Cauchy性与它们分别导出的滤子和网的Cauchy性之间的关 系，得到了有关Cauchy网与Cauchy滤子的一个等价关系． 关键词：一致空间；一致拓扑；Cauchy网；Cauchy滤子 中图分类号：O189．I1 文献标识码：A A．WeilE~ 所引进的一致空间与拓扑空间有 ∈B)；A[ ]={yE X}( ， )∈A)． 密切的联系，并且具有类似于度量空间的某些性 若A—A一，则称A为对称的． 质，以至能够定义这种空间的完备性概念，它是通 定义3[4 非空集合X的一个一致结构是 过一致空间中的Cauchy网来定义的．H．Car— XxX的一个滤子 ，且满足(a)VUE ：X×X tan[ 所引进的滤子概念可用于建立一套与网的 的对角线{( ， )I E X)E U；(b)V UE／x：U ’c 收敛理论平行的收敛理论，它们各有所长．本文研 ；(c)VU∈ ，jVE ：V·V U． 究了一致空间中Cauchy网的极限与其子网极限 又(X， )称为一致空间． 之间的一个关系(下面定理1)，并得到了有关一 定义4【4] 设(X，／1)为一致空间， ={ 。QED 致空间中的Cauchy网与相应的Cauchy滤子之 为(X， )中的网，若V V∈ ，3 7∈D，V a， (∈ 间的一个等价性关系(下面定理3)． D)≥)，：( 。， )∈V，则称 为(X， )中的Cauchy 我们首先在滤子概念的基础上，引入一致空 网． 间的定义． 若(X， )中的每个Cauchy网收敛于该空间 定义1[。 非空集X的子集族9≠j2『称为X 中的某个点，则称一致空间(X，／1)是完备的． 的一个滤子，若满足下列条件：(a)j2『 9；(b)若A 定义5 设 一{ ) 。是拓扑空间X的一 E9且ACBCX，则BE9；(c) 的两个元的交仍 个网，ACX， E X．称 终于A，若 然属于 ． a。∈D，V a E D(a≥ a。)：z E A． 定义2[3 设(D，≥)为有向集， ={ ) 。 若 终于 的每个邻域，则称 为 的一个 一{z ，aE D，≥)为非空集X的一个网，I为有向 极限点，并称 收敛于 ，记作 ． 集(为方便，D与，的定向均用≥表示)，映射k： 定义6ls 设(X， )为一致空间，令 —D满足： r一{T c x}V E T，j U E ： ] T}， (a) 2≥ 1=是( 2)≥ k( 1)； r称为一致结构 的拓扑或一致拓扑． (b)V a。ED，j 8o∈J：k(艿。)≥a。． 一 致结构 的基是指 作为X×