Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2503.02602 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915181612761088 |
|---|---|
| author | Hou, Huijun Li, Qingguo |
| author_facet | Hou, Huijun Li, Qingguo |
| contents | Inspired by Zhao and Xu's study on which a dcpo can be determined by its Scott closed subsets lattice, we further investigate whether a poset (or dcpo) $P$ is able to be determined by the family $\mathcal Q(P)$ of its Scott compact saturated subsets, in the sense that the isomorphism between $(\mathcal Q(P), \supseteq)$ and $(\mathcal Q(M), \supseteq)$ implies the isomorphism between $P$ and $M$ for any poset (or dcpo) $M$, in such case, $P$ is called $\mathcal Q_σ$-unique. Quasicontinuous domains are proved to be $\mathcal Q_σ$-unique posets and draw support from which, we provide a class of $\mathcal Q_σ$-unique dcpos. We also define a new kind of posets called $K_D$ and show that every co-sober $K_D$ poset is $\mathcal Q_σ$-unique. It even yields another kind of $\mathcal Q_σ$-unique dcpos. It is gratifying that weakly well-filtered co-sober posets are also $\mathcal Q_σ$-unique. At last, we distinguish among the conditions which make a poset (or dcpo) $\mathcal Q_σ$-unique from each other by some examples; meanwhile, it is confirmed that none of them except the property of being co-sober are necessary for a poset (or dcpo) to be $\mathcal Q_σ$-unique. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_02602 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Posets uniquely determined by its compact saturated subsets Hou, Huijun Li, Qingguo General Topology Inspired by Zhao and Xu's study on which a dcpo can be determined by its Scott closed subsets lattice, we further investigate whether a poset (or dcpo) $P$ is able to be determined by the family $\mathcal Q(P)$ of its Scott compact saturated subsets, in the sense that the isomorphism between $(\mathcal Q(P), \supseteq)$ and $(\mathcal Q(M), \supseteq)$ implies the isomorphism between $P$ and $M$ for any poset (or dcpo) $M$, in such case, $P$ is called $\mathcal Q_σ$-unique. Quasicontinuous domains are proved to be $\mathcal Q_σ$-unique posets and draw support from which, we provide a class of $\mathcal Q_σ$-unique dcpos. We also define a new kind of posets called $K_D$ and show that every co-sober $K_D$ poset is $\mathcal Q_σ$-unique. It even yields another kind of $\mathcal Q_σ$-unique dcpos. It is gratifying that weakly well-filtered co-sober posets are also $\mathcal Q_σ$-unique. At last, we distinguish among the conditions which make a poset (or dcpo) $\mathcal Q_σ$-unique from each other by some examples; meanwhile, it is confirmed that none of them except the property of being co-sober are necessary for a poset (or dcpo) to be $\mathcal Q_σ$-unique. |
| title | Posets uniquely determined by its compact saturated subsets |
| topic | General Topology |
| url | https://arxiv.org/abs/2503.02602 |