有限高度正交模偏序集中的算子剩余
逻辑
2022-04-25 v1
摘要
我们证明，对每一个有限高度的正交模偏序集 P，可在 P 的幂集上定义一种类序关系，并据此定义两个构成伴随对的算子。这使我们能引入对应于 P 的所谓算子剩余偏序集，并从中恢复原有的正交模偏序集 P。此外，该对应几乎是单射的。我们表明此算子构造亦可应用于所谓弱正交模与对偶弱正交模偏序集。文中给出了此类偏序集的示例。
引用
@article{arxiv.2204.10794,
title = {Operator residuation in orthomodular posets of finite height},
author = {Ivan Chajda and Helmut Länger},
journal= {arXiv preprint arXiv:2204.10794},
year = {2022}
}