数学 > 一般拓扑
[提交于 2024年12月27日
]
标题: 点无形式的$C_c (X)$的Cozero部分
标题: The Cozero part of the pointfree version of $C_c (X)$
摘要: 设$\mathcal C_{c}(L):= \{\alpha\in \mathcal{R}(L) \mid R_{\alpha} \, \text{ is a countable subset of } \, \mathbb R \}$,其中$R_\alpha:=\{r\in\mathbb R \mid {\mathrm{coz}}(\alpha-r)\neq\top\}$对于每个$\alpha\in\mathcal R (L).$ 通过使用幂等元素,将证明对于每个完全正则框架$L,$,${{\mathrm{Coz}}}_c[L]:= \{{\mathrm{coz}}(\alpha) \mid \alpha\in\mathcal{C}_c (L) \}$是一个$\sigma$-框架,并由此得出它是正则的,仿紧的,完美正则的,并且是一个Alexandroff代数框架,使得它的每个覆盖都是可收缩的。 此外,我们证明当且仅当 $ L$ 是一个$c$-完全正则框架时,$L$是一个零维框架。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.