On joins of complemented sublocales

被引:4
|
作者
Arrieta, Igor [1 ,2 ]
机构
[1] Univ Coimbra, Dept Math, CMUC, P-3001501 Coimbra, Portugal
[2] Univ Basque Country, Dept Matemat, UPV EHU, Bilbao 48080, Spain
关键词
Locale; Frame; Sublocale; Booleanization; Induced sublocale; Complemented sublocale; Subfit locale; T-D-axiom;
D O I
10.1007/s00012-021-00757-y
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
The system S-c(L) consisting of joins of closed sublocales of a locale L is known to be a frame, and for L subfit it coincides with the Booleanization S-b(L) of the coframe of sublocales of L. In this paper, we study S-b(L) for a general locale L. We show that S-c(L) is always a subframe of S-b(L). Moreover, if X is a T-D-space, we prove that S-b(Omega(X)) is precisely the set of classical subspaces of X, and that a locale L is T-D-spatial iff the Boolean algebra S-b(L) is atomic. Some functoriality properties of S-b(L) are also studied.
引用
收藏
页数:11
相关论文
共 28 条