闭元确定的拓扑系统中闭包元及其应用

高雅; 吴洪博

doi:10.12263/DZXB.20210332

您当前的位置：

首页 >

文章列表页 >

闭元确定的拓扑系统中闭包元及其应用

科研通信 | 更新时间：2025-12-08

- 闭元确定的拓扑系统中闭包元及其应用
- Closure Elements in the Topological System Determined by Closed Elements with Applications
- 电子学报 2022年50卷第5期页码：1270-1276
- 作者机构：
  
  陕西师范大学数学与统计学院，陕西西安 710062
- 作者简介：
  
  [ "高　雅　女， 1996年6月生于山西大同.现为陕西师范大学数学与统计学院硕士研究生.主要研究方向为非经典数理逻辑与格上拓扑.E-mail: 910653355@qq.com" ]
  [ "吴洪博　男， 1959年6月生于陕西咸阳.现为陕西师范大学数学与统计学院教授、博士生导师.主要研究方向为非经典数理逻辑与格上拓扑.E‑mail: wuhb@snnu.edu.cn" ]
- 基金信息：
  
  国家自然科学基金(61572016;11531009;61673250)
- DOI：10.12263/DZXB.20210332
  中图分类号： O189.1;O153.1;O141.1
- 收稿：2021-03-10，
  
  修回：2021-05-15，
  
  纸质出版：2022-05-25
- 稿件说明：
移动端阅览
高雅,吴洪博.闭元确定的拓扑系统中闭包元及其应用[J].电子学报,2022,50(05):1270-1276.

GAO Ya,WU Hong-bo.Closure Elements in the Topological System Determined by Closed Elements with Applications[J].ACTA ELECTRONICA SINICA,2022,50(05):1270-1276.
高雅,吴洪博.闭元确定的拓扑系统中闭包元及其应用[J].电子学报,2022,50(05):1270-1276. DOI： 10.12263/DZXB.20210332.

GAO Ya,WU Hong-bo.Closure Elements in the Topological System Determined by Closed Elements with Applications[J].ACTA ELECTRONICA SINICA,2022,50(05):1270-1276. DOI： 10.12263/DZXB.20210332.

摘要

本文利用余Frame和点集两部分建立由闭元确定的拓扑系统，对其基本性质进行了讨论；通过闭元给出了点集部分的闭包元概念，并对闭包元性质进行了讨论. 在余Frame和点集部分之间利用双映射建立了闭包元算子，证明了与拓扑系统相关的Kuratovski闭包定理；作为应用，利用闭包元算子对闭元确定的拓扑系统之间的连续映射进行了等价刻画.

Abstract

A topological system determined by closed elements is established with coframe and point set

and its basic properties are discussed. The concept of closure element of point set part is given through closed element

and the properties of closure element are discussed. The closed element operator is established through double mapping between coframe and point set

and the Kuratovski closure theorem related to topological system is proved. As an application

the continuous mapping between topological systems determined by closed elements is characterized by closure element operators.

关键词

Keywords

references

ENGELKING R . General Topology [M]. Warszawa : Panstwowe Wgdawnictwo Naukowe , 1977 .

熊金城 . 点集拓扑讲义 [M]. 北京 : 高等教育出版社 , 2003 .

JOHNSTONE P . Stone Spaces [M]. Cambridge : Cambridge University Press , 1982 .

郑崇友 , 樊磊 , 崔宏斌 . Frame与连续格 [M]. 北京 : 首都师范大学出版社 , 1994 .

罗懋康 . 拓扑结构的本质-Locale [J]. 西南民族学院学报(自然科学版) , 1990 , 18 ( 4 ): 29 ‑ 33 .

LUO Mao-kang . Essence of topology-Locale [J]. Journal of Southwest Nationalities College(Natural Science) , 1990 , 18 ( 4 ): 29 ‑ 33 . (in Chinese)

王国俊 . L-Fuzzy拓扑空间论 [M]. 西安 : 陕西师范大学出版社 , 1988 .

王国俊 , 等 . 拓扑分子格理论 [M]. 西安 : 陕西师范大学出版社 , 1990 .

WANG Guo-jun . Theory of topological molecular lattices [J]. Fuzzy Sets and Systems , 1992 , 47 ( 3 ): 351 ‑ 376 .

樊磊 , 郑崇友 . 连通Locale的基本性质 [J]. 数学进展 , 2001 , 30 ( 3 ): 247 ‑ 251 .

FAN Lei , ZHENG Chong-you . Basic properties of connected locale [J]. Advances in Mathematics , 2001 , 30 ( 3 ): 247 ‑ 251 . (in Chinese)

梁基华 . Locale上的收敛结构 [J]. 数学学报 , 1995 , 38 ( 3 ): 294 ‑ 301 .

LIANG Ji-hua . Convergence and cauchy structures on locales [J]. Acta Mathematica Sinica , 1995 , 38 ( 3 ): 294 ‑ 301 . (in Chinese)

梁基华 . 一致Locale的乘积 [J]. 数学学报 , 1998 , 41 ( 2 ): 411 ‑ 416 .

LIANG Ji-hua . The product of uniformity locale [J]. Acta Mathematica Sinica , 1998 , 41 ( 2 ): 411 ‑ 416 .

罗懋康 . 格上拓扑的点式处理 [D]. 成都 : 四川大学 , 1992 .

VICKERS S . Topology via Logic [M]. Cambridge : Cambridge University Press , 1989 .

徐罗山 , 李高林 . 拓扑系统的(强) <math id="M522"><msub><mrow><mi>T</mi></mrow><mrow><mn mathvariant="normal">2</mn></mrow></msub></math> http://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=39133879&type= http://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=39133875&type= 2.87866688 3.21733332 分离性 [J]. 扬州大学学报(自然科学版) , 2005 , 8 ( 4 ): 1 ‑ 5 .

XU Luo-shan , LI Gao-lin . (Strong) <math id="M523"><msub><mrow><mi>T</mi></mrow><mrow><mn mathvariant="normal">2</mn></mrow></msub></math> http://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=39133879&type= http://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=39133875&type= 2.87866688 3.21733332 separation in topological systems [J]. Journal of Yangzhou University (Natural Science Edition) , 2005 , 8 ( 4 ): 1 ‑ 5 . (in Chinese)

李世伦 . 拓扑系统的分离性 [J]. 四川大学学报(自然科学版) , 2002 , 39 ( 4 ): 644 ‑ 648 .

LI Shi-lun . The separation in topological systems [J]. Journal of Sichuan University (Natural Science Edition) , 2002 , 39 ( 4 ): 644 ‑ 648 . (in Chinese)

李高林 , 徐罗山 . 拓扑系统的紧性和分离性 [J]. 模糊系统与数学 , 2007 , 21 ( 2 ): 6 ‑ 13 .

LI Gao-lin , XU Luo-shan . Compactness and separation in topological systems [J]. Fuzzy Systems and Mathematics , 2007 , 21 ( 2 ): 6 ‑ 13 . (in Chinese)

陈仪香 . 拓扑系统范畴与子拓扑系统 [J]. 陕西师大学报(自然科学版) , 1994 , 22 ( 4 ): 19 ‑ 24 .

CHEN Yi-xiang . Category of topological systems and sub-topological systems [J]. Journal of Shaanxi Normal University(Natural Science Edition) , 1994 , 22 ( 4 ): 19 ‑ 24 . (in Chinese)

刘菡 , 贺伟 . 拓扑系统的子系统 [J]. 四川大学学报(自然科学版) , 2007 , 44 ( 2 ): 229 ‑ 235 .

LIU Han , HE Wei . Subsystems of a topological systems [J]. Journal of Sichuan University (Natural Science Edition) , 2007 , 44 ( 2 ): 229 ‑ 235 .

陈仪香 . 拓扑系统范畴完备性与Tychonoff乘积定理 [J]. 上海师范大学学报(自然科学版) , 1998 , 27 ( 3 ): 20 ‑ 27 .

CHEN Yi-xiang . Completeness of category of topological systems and Tychonoff product theorem [J]. Journal of Shanghai Normal University(Natural Science Edition) , 1998 , 27 ( 3 ): 20 ‑ 27 . (in Chinese)

冯丹丹 , 吴洪博 . 拓扑系统的开远域及其应用 [J]. 山东大学学报(理学版) , 2019 , 54 ( 11 ): 90 ‑ 96 .

FENG Dan-dan , WU Hong-bo . Open remote neighborhoods of topological systems and their applications [J]. Journal of Shandong University(Natural Science) , 2019 , 54 ( 11 ): 90 ‑ 96 . (in Chinese)

卢涛 , 贺伟 . 邻域系统 [J]. 山东大学学报(理学版) , 2016 , 51 ( 6 ): 90 ‑ 96 .

LU Tao , HE Wei . Neighborhood systems [J]. Journal of Shandong University(Natural Science) , 2016 , 51 ( 6 ): 90 ‑ 96 . (in Chinese)

马娜娜 , 赵彬 . Quantale系统的空间化和Q-Locale化 [J]. 陕西师大学报(自然科学版) , 2013 , 41 ( 2 ): 9 ‑ 13 .

MA Na-na , ZHAO Bin . The spatialization and Q-localification of a quantale systems [J]. Journal of Shaanxi Normal University(Natural Science Edition) , 2013 , 41 ( 2 ): 9 ‑ 13 . (in Chinese)

吴洪博 , 石慧君 . Heyting系统及其H-空间化表示形式 [J]. 电子学报 , 2012 , 40 ( 5 ): 995 ‑ 999 .

WU Hong-bo , SHI Hui-jun . Heyting syestems and its representation by H-spatialization [J]. Acta Electronica Sinica , 2012 , 40 ( 5 ): 995 ‑ 999 . (in Chinese)

吴洪博 , 石慧君 . Heyting系统及其H-Locale化形式 [J]. 数学学报(中文版) , 2012 , 55 ( 6 ): 1119 ‑ 1130 .

WU Hong-bo , SHI Hui-jun . Heyting syestems and its H-localification [J]. Acta Mathematica Sinica(Chinese Series) , 2012 , 55 ( 6 ): 1119 ‑ 1130 . (in Chinese)

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

Heyting系统及其H-空间化表示形式