自然科学版
陕西师范大学学报(自然科学版)
数学与计算机科学
拟连续Domain的遗传性、不变性及映射空间
PDF下载 ()
赵娜娜,赵彬*
(陕西师范大学 数学与信息科学学院, 陕西 西安 710062)
赵娜娜,女,硕士研究生,主要研究方向为格上拓扑与模糊推理.E-mail:zhaonana@stu.snnu.edu.cn.* 通信作者:赵彬,男,教授,博士研究生导师.E-mail:zhaobin@snnu.edu.cn.
摘要:
讨论了拟连续Domain的遗传性、不变性及映射空间.证明了拟连续Domain及拟代数Domain对开子空间和闭子空间都是可遗传的,拟连续Domain及拟代数Domain在保持集与集之间的way below-preserving序的拟Scott连续映射下保持不变.对于有界完备拟连续Domain X和L,当L是全序时,由Scott连续映射构成的映射空间[X→L]是有界完备拟连续Domain.
关键词:
拟连续Domain; 拟代数Domain; Domain子空间; 步映射; 映射空间
收稿日期:
2010-06-08
中图分类号:
O153.1
文献标识码:
A
文章编号:
1672-4291(2010)06-0018-05
基金项目:
国家自然科学基金资助项目(10871121)
Doi:
The heredity, invariance and mapping space of quasicontinuous Domains
ZHAO Na-na, ZHAO Bin*
(College of Mathematics and Information Science, Shaanxi Normal University, Xi′an 710062, Shaanxi, China)
Abstract:
The heredity, invariance and mapping space of quasicontinuous Domains are discussed. It is proved that quasicontinuous Domains and quasialgebraic Domains are hereditary for scott open subsets and scott closed subsets, and the images of a quasicintinuous domain and a quasialgebraic Domain under the way below-preserving quasi-Scott continuous map are still quasicontinuous and quasialgebraic,respectively. It is shown that if X and L are bounded complete quasicontinuous Domains and L is totally ordered, then the mapping space [X→L] of all Scott continuous maps is a bounded complete quasicontinuous Domain.
KeyWords:
quasicontinuous Domain; quasialgebraic Domain; Domain subspace; step map; mapping space