| 交连续dcpo的遗传性和不变性 |
| |
| 引用本文： | 戴向梅,徐罗山. 交连续dcpo的遗传性和不变性[J]. 模糊系统与数学, 2010, 24(3) |
| |
| 作者姓名： | 戴向梅 徐罗山 |
| |
| 作者单位： | 1. 扬州大学,数学科学学院,江苏,扬州,225002;东台中学,数学组,江苏,东台,224200
2. 扬州大学,数学科学学院,江苏,扬州,225002 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 讨论了交连续dcpo的遗传性和不变性,证明了如下结论:(1)交连续dcpo对于开子空间和闭子空间都是可遗传的;(2)交连续dcpo在加最大元和去最小元运算下保持交连续性;(3)交连续dcpo的收缩核为交连续dcpo.另外,给出了交连续的主理想刻画的一个直接证明;构造了反例说明交连续dcpo对于主滤子是不可遗传的;也构造了反例说明所有主滤子都交连续的一个dcpo,自身不必是交连续的.
|
| 关 键 词： | 交连续dcpo Scott拓扑 主理想 主滤子 子空间 |
Heredity and Invariance of Meet Continuous Dcpos |
| |
| DAI Xiang-mei,XU Luo-shan. Heredity and Invariance of Meet Continuous Dcpos[J]. Fuzzy Systems and Mathematics, 2010, 24(3) |
| |
| Authors: | DAI Xiang-mei XU Luo-shan |
| |
| Affiliation: | DAI Xiang-mei,XU Luo-shan (College of Mathematics Science,Yangzhou University,Yangzhou 225002,China) |
| |
| Abstract: | In this paper,heredity and invariance of meet continuous dcpos are discussed. Main results are:(1) Meet continuous dcpos are hereditary for Scott open or closed subsets; (2) A dcpo obtained by adding a top element or a bottom element to a meet continuous dcpo remains a meet continuous dcpo; (3) Retractions of meet continuous dcpos are all meet continuous dcpos. In adition,a direct proof for the characterization theorem of meet continuity with pricipal ideals is given. Some counterexamples are constructed to... |
| |
| Keywords: | Meet Continuous Dcpos Scott Topology Principal Ideal Principal Filter Subspace |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
