中文

布尔代数上的左、右与序列拓扑

一般拓扑 2018-09-27 v1

摘要

对于代数收敛 λs\lambda_{\mathrm{s}},它在完备布尔代数 B{\mathbb B} 上生成著名的序列拓扑 τs\tau_s,我们有 λs=λlsλli\lambda_{\mathrm{s}}=\lambda_{\mathrm{ls}}\cap \lambda_{\mathrm{li}},其中收敛 λls\lambda_{\mathrm{ls}}λli\lambda_{\mathrm{li}}λls(x)={lim supx} ⁣\lambda_{\mathrm{ls}}(x)=\{ \limsup x\}\!\uparrowλli(x)={lim infx} ⁣\lambda_{\mathrm{li}}(x)=\{ \liminf x\}\!\downarrow 定义(推广了 Alexandrov 立方及其对偶上序列的收敛)。我们考虑最小拓扑 Olsi\mathcal{O}_{\mathrm{lsi}},它扩张由收敛 λls\lambda_{\mathrm{ls}}λli\lambda_{\mathrm{li}} 生成的(唯一)序列拓扑 Oλls\mathcal{O}_{\lambda_{\mathrm{ls}}}(左)与 Oλli\mathcal{O}_{\lambda_{\mathrm{li}}}(右),并建立所有这些拓扑与相应先验、后验收敛之间的一般层次关系。此外,我们考察一些特殊的代数类,特别地证明在 (ω,2)(\omega,2)-分配代数中 limOlsi=limτs=λs\lim_{{\mathcal O}_{\mathrm{lsi}}}=\lim_{\tau _{\mathrm{s}} }=\lambda _{\mathrm{s}},而等式 Olsi=τs\mathcal{O}_{\mathrm{lsi}}=\tau_s 在所有 Maharam 代数中成立。另一方面,在某些坍缩代数中我们观察到最大(可能的)多样性。

关键词

引用

@article{arxiv.1809.10051,
  title  = {The Left, the Right and the Sequential Topology on Boolean Algebras},
  author = {Miloš S. Kurilić and Aleksandar Pavlović},
  journal= {arXiv preprint arXiv:1809.10051},
  year   = {2018}
}

备注

12 pages, 3 figures