邻域系统

doi:10.6040/j.issn.1671-9352.0.2015.536

山东大学学报（理学版） ›› 2016, Vol. 51 ›› Issue (6): 65-69.doi: 10.6040/j.issn.1671-9352.0.2015.536

邻域系统

卢涛¹,贺伟^2*

1.淮北师范大学数学科学学院, 安徽淮北 235000;2.南京师范大学数学科学学院, 江苏南京 210097

收稿日期:2015-11-09 出版日期:2016-06-20 发布日期:2016-06-15
通讯作者: 贺伟(1964— ), 男, 博士, 教授, 博士生导师, 研究方向为topos理论, 范畴论, locle理论. E-mail:weihe@njnu.edu.cn E-mail:lutao7@live.com
作者简介:卢涛(1974— ), 男, 博士, 副教授, 研究方向为topos理论, 范畴论, locle理论. E-mail:lutao7@live.com
基金资助:
国家自然科学基金资助项目(11571175);安徽省高校自然科学研究重点项目(KJ2015A064)

Neighborhood systems

LU Tao¹, HE Wei^2*

1. School of Mathematical Sciences, Huaibei Normal University, Huaibei 235000, Anhui, China;
2. School of Mathematical Sciences, Nanjing Normal University, Nanjing 210097, Jiangsu, China

Received:2015-11-09 Online:2016-06-20 Published:2016-06-15

摘要/Abstract

摘要： 作为拓扑空间、 locale和拓扑系统的推广, 引入了邻域系统概念。证明了拓扑空间范畴、拓扑邻域系统范畴、locale式邻域系统范畴、拓扑系统范畴为邻域系统范畴的满子范畴。

关键词: 邻域系统, 拓扑系统, locale, 拓扑空间

Abstract: The concept of neighborhood systems which is common generalizations of topological spaces, locales and topological systems is introduced. And it is proved that the topological space category Top, the topological neighborhood systems category TopN, the localic neighborhood systems category NSL and the topological systems category TopS can be embedded as full subcategories of the category NS of neighborhood systems.

Key words: topological space, neighborhood system, topological system, locale

中图分类号:

O189.11

卢涛,贺伟. 邻域系统[J]. 山东大学学报（理学版）, 2016, 51(6): 65-69.

LU Tao, HE Wei. Neighborhood systems[J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2016, 51(6): 65-69.

参考文献

[1] STEVEN VICKERS. Topology via logic[M]. Cambridge: Cambridge University Press, 1989.
[2] ADAMEK J, PEDICCHIO M C. A remark on topological spaces, grids, and topological systems[J]. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 1997, 38:217-226.
[3] BARR M, PEDICCHIO M C. Top^op is a quasi-variety[J]. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 1995, 36:3-10.
[4] JOHNSTONE P T. Stone spaces[M]. Cambridge: Cambridge University Press, 1982.
[5] JOHNSTONE P T. Sketches of an elephant: a topos theory compendium[M]. Oxford: Oxford University Press, 2002.
[6] ISBELL J R. First steps in descriptive theory of locales[J]. Trans Amer Math Soc, 1991, 327:353-371.
[7] MAC LANE S. Categories for working mathematician[M]. New York: Springer-Verlag, 1972.
[8] 贺伟. 范畴论[M]. 北京: 科学出版社, 2006. HE Wei. Category theory[M]. Beijing: Science Press, 2006.
[9] MAC LANE S, MOERDIJK L. Sheaves in geometry and logic: a first introduction to topos[M]. New York: Springer-Verlag, 1992.
[10] ENGELKING R. General topology[M] // Sigma Series in Pure Math: Vol6. Berlin: Heldermann, 1989.

相关文章 15

[1]	杨小飞. 模糊化拓扑空间的刻画[J]. 山东大学学报（理学版）, 2016, 51(2): 114-118.
[2]	刘敏, 赵彬*. Quantale上的Localic核与Localic余核映射[J]. J4, 2013, 48(2): 81-87.
[3]	刘春辉1,2. 正则剩余格的素模糊⊙理想及其拓扑性质[J]. J4, 2013, 48(12): 52-56.
[4]	申文霞,李生刚. 双预拓扑空间的不连通类[J]. J4, 2013, 48(10): 56-61.
[5]	王延军马保国. L-smooth次强不定弱映射[J]. J4, 2010, 45(2): 95-98.
[6]	贺晓丽1, 伏文清2. L-预拓扑空间的局部连通性:可乘性与L-好的推广[J]. J4, 2010, 45(10): 78-82.
[7]	. 用网族的预收敛类刻画预拓扑空间的可数性公理[J]. J4, 2009, 44(6): 25-28.
[8]	于茸茸，李生刚. 具有分离性的预拓扑空间的范畴性质 [J]. J4, 2009, 44(4): 15-20 .
[9]	刘红平,孟广武 . L-拓扑空间中的*-拟仿紧性[J]. J4, 2008, 43(8): 38-41 .
[10]	胡晓楠,孟广武 . 诱导L-smooth拓扑空间[J]. J4, 2008, 43(8): 64-68 .
[11]	韩红霞 . L-拓扑空间的(强)相对半紧性[J]. J4, 2008, 43(6): 64-67 .
[12]	刘红平,孟广武 . L-双拓扑空间中的*-配仿紧性[J]. J4, 2008, 43(4): 42-46 .
[13]	李宁 . 不分明化拓扑空间中的拟R0分离公理的刻画[J]. J4, 2008, 43(4): 17-20 .
[14]	刘红平,孟广武 . L-拓扑空间中的F*-仿紧性[J]. J4, 2008, 43(3): 75-79 .
[15]	于娜,孟晗,孟广武 . L-拓扑空间的Os-r连通性[J]. J4, 2008, 43(3): 87-91 .

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed

邻域系统

Neighborhood systems

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

多维度评价

本文评价

推荐阅读 0