强Sober空间的若干性质.pdfVIP

第 23 ~努第 1 期 2009 年 2 月 模糊系统与数学 Fuzzy Systems and Mathematics 文编号 :1001捕7402(2009)01心117-06 强 Sober 空间的若干性质. 罗淑珍1，徐晓泉2 (1.江西理工大学理学院，江商锁州 341000, 2. 江西师范大学数学与信息科学学院，江西南昌 330022) Vol. 23 , No.l Feb. .2009 棚 W，讨论 1 ? Sober 空间的一些基本性质，证明 1 ? Sober 空间关于闭子空间和繁饱和子集是遗传 的. !蓝Sober 空间的乘积仍为强Sober 空间， ? Sober 空间的连续收缩为强Sober 空间. 关键诩 :it子 s 是u，子，Sober 交问 d量Sober 交问 中回分类号:0153 文献标识码 :A 设 L 为一个 domain ， L 上的Scott 拓扑和 Lawson 拓扑分别记为 σ(L) 和 à(L门。若 (L ，à.(L)) 为紧 空间，则称L 为紧 domain. 众所周知 ， L为紧 domain 当且仅当 (L ，σ(L)) 为稳定紧空间[川稳定紧空间 所具有的诸多良好性质袭明，稳定紧空间是紧 Tz 空间在 To 情形下的合适推广.为了进一步刻划稳定 紧空间，文献[lJ引入了强Sober 空间的概念，并证明了拓扑空间 X为稳定紧空间~且仅当它是局部紧 的强Sober ~空间 ;X 为强Sober 空间当且仅当它是紧的局部强Sober 空间. 本文讨论了强Sober 空间的一些幕本性质，话E明了强Sober 空间关于闭子空间和紧饱和子集是遗 传的，强Sober 空间的乘积仍为强 Sober 空间，强 Sober 空间的连续收缩为强Sober 空间。 1 预备 拓扑空间 X 上的非空子集族F称为 X的一个a辈子，若满足: (1) .9::p臼， ? ~.9， (2) 若 AltAz e 、罗，则 A1 n Azε ‘9T， (3)若 AE ‘9T， A ?;;; B ， 则 BE ‘9T. X 上的极大滤子称为超滤子。 X 上的非 空子集旗 lJ 称为一个撞子藩，若 V Al ， A2 ε 侈， 3 A3 ε lJ 使 A3 ?A1 n Az. 者F是X 的橡子基，则 {ACX:3 B E .9使B ?;;; A} 是 X 的…个滤子，称之为由油子基Y生成的撞子，记为 lJ(.9) ? 设Y 是拓扑空间， Y 的开集全体制闭集全体分别记为。(Y) 和管(Y). V s?二 Y ， S 在Y 中闭包记为 clyA ， 简记为 clA. S ?二 Y 称为是饱和子鳞，若 S= 门 {U E @(y):S?U}. y 的闭集 A 称为既约闭集， 若V B ，CE 智(Y) ， A ?;;二 B U C::;AC B 或 A ?;;二 C. 拓扑空间 Y 称为是Sober 空间，若对 Y 的锦一既约 闭集 A ， 存在唯一的 xEY使 A=出 cl{x}. 对 To 拓扑空间 X，定义X上的偏序关系 ~(X) 如下: V x ,y E X , X~e(X)Y仲X E cl{y}. ~?(X) 称 为由拓扑所诱导的特殊序tu. 本文中的紧空间均不假定具有几分离性. ·收稿日剿， 2007-10幡09，修订日期 1 2007嗣12唰29 基金项自 s 国家自然科学篡金资助项目(，，高等学校全倒优秀博士学位论文作者专项资金资助项目 (2007日14) ;江两省自然科学者在余金资助项目 (041102S ， 2007GZS0179) ， ttí可师范大学博士基金资助项目 作者简介 a 罗淑珍 (1984-) .女，江两上饶人，江西理工大学理学院助敏.研究方向 g格论. Domain 理论，徐晚泉(1961精) .隽，江商乐 平人，江阴师很大学戴学与销科学学院敏授.悔士生导师，研究方向 11目 t~学，将论.Domain 混论. 118 模糊系统与数学 2009 年 引理1. 1[1.2) 拓扑空间 X 的滤子F是超槐于当且仅当 VACX ， AE $7 或X\A E $. 定义 1. 1[2) 设 X 是拓扑空间 ， x εX，矿是 X 的滤子。点 z称为是矿的极限，记为 x E limJ?r, 着 V U E (e(X) , x E U功U 廷‘$1. 命翩 1. 1 [2J 拓扑空间 X 是 Tz 空间当且仅当 X 的每个撒子茧多有一个极限。 命题 1. 2[2J 空间 X 是紧的当且仪当 X 的任一超掘子均有极限。 定义1. 2[2-3] 拓扑空间 X称为是完全不连通空间，若 V x ,y E x , x*y ， 存在 X 中既开