-
有界Heyting代数上基于理想的一致拓扑空间
- 刘春辉
-
2022, 57(11):
10-20.
doi:10.6040/j.issn.1671-9352.0.2022.125
-
摘要
(
657 )
PDF (548KB)
(
223
)
收藏
-
参考文献 |
相关文章 |
多维度评价
为了利用拓扑学工具研究有界Heyting代数的性质和结构问题,基于由理想概念诱导的一类同余关系在有界Heyting代数(H,≤,→,0,1)上构造一致拓扑空间(H,τ)并考察其基本性质和拓扑性质,证明了(H,τ)是非连通的局部连通、局部紧、零维、第一可数的完全正则空间,(H,τ)是T1空间当且仅当(H,τ)是Hausdorff空间,获得了(H,τ)成为离散空间和紧致空间的充要条件,指出了(H,≤,→,0,1)中格运算和蕴涵运算关于一致拓扑τ都是连续的,从而构成拓扑有界Heyting代数。同时,讨论了(H,τ)的商空间性质。