奚小勇,李永明.Domain函数空间上的Isbell拓扑和Scott拓扑的一致性[J].数学研究及应用,2008,28(4):919~927
Domain函数空间上的Isbell拓扑和Scott拓扑的一致性
On Agreement of Isbell and Scott Topologies on Domain Function Spaces
投稿时间:2006-09-20  修订日期:2007-07-13
DOI:10.3770/j.issn:1000-341X.2008.04.023
中文关键词:  DCPO  Isbell拓扑  Scott拓扑  Scott开滤子基.
英文关键词:DCPO  Isbell topology  Scott topology  Scott open filters subbase.
基金项目:国家自然科学基金(No.10571112); 国家基础研究重点项目(No.2002CB312200).
作者单位
奚小勇 陕西师范大学数学与信息科学学院, 陕西 西安710062
徐州师范大学数学科学学院, 江苏 徐州 221009 
李永明 陕西师范大学计算机科学学院, 陕西 西安710062 
摘要点击次数: 8484
全文下载次数: 2161
中文摘要:
      本文主要讨论了Domain函数空间上Isbell拓扑和Scott拓扑的一致性.利用Domain函数空间给出了一个例子: Scott拓扑有开滤子基的非连续的DCPO.
英文摘要:
      In this paper, the agreement of Isbell and Scott topologies on the Domain function spaces is discussed. In terms of Domain function spaces, a non-continuous DCPO with Scott open filters as a subbase of Scott topology is given.
查看全文  查看/发表评论  下载PDF阅读器