论文速览

论文速览

当前位置: 首页 > 论文速览 > 正文

由T0空间的特殊化序定义的定向空间

Directed spaces defined through T0 spaces with specialization order

作者:俞月(四川大学数学学院);寇辉(四川大学数学学院)

Author:YU Yue(College of Mathematics, Sichuan University);KOU Hui(College of Mathematics, Sichuan University)

收稿日期:2014-03-24          年卷(期)页码:2015,52(2):217-222

期刊名称:四川大学学报: 自然科学版

Journal Name:Journal of Sichuan University (Natural Science Edition)

关键字:定向空间; 范畴; cartesian闭Picard迭代

Key words:Directed space; Category; Cartesian closed

基金项目:国家自然科学基金(11371262)

中文摘要

通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间. 该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质. 特别地, 本文证明了所有定向空间及连续函数构成的范畴是T0空间范畴的余反射子范畴并且具有cartesian 闭性以及定向完备偏序集范畴是该范畴的真子范畴.

英文摘要

Through convergences of directed subsets of a T0 space with specialization order, we introduce a new topological space——directed space. We show that these directed spaces have some similar properies satisfied by the directed complete posets (dcpos). Particularly, we show that a category of directed space and continuous functions has following properties: (i) it is a co reflective full subcategory of the category of T0 space; (ii) it is cartesian closed and contains the category of dcpos with Scott topologies as a proper subcategory.

上一条:爆炸荷载作用下缺陷岩体破坏特征的数值模拟研究

关闭

Copyright © 2020四川大学期刊社 版权所有.

地址:成都市一环路南一段24号

邮编:610065