共 28 条
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
相关论文