arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

一个没有区间收缩的拟连续域

A Quasicontinuous Domain Without an Interval Retract

Chong Shen, Xiaoyong Xi, Dongsheng Zhao

arXiv 2609.20284首次发表:更新:

AI 中文总结

本文构造了一个非拟代数且良基的拟连续dcpo,它不含同构于单位区间的子dcpo,且单位区间不是其斯科特连续收缩,从而否定了两个相关问题。

AI 中文摘要

我们针对关于单位区间在非拟代数拟连续域中出现的问题给出了否定回答。直接从二叉树和二元值映射出发,构造了一个良基的拟连续dcpo \\[ P=2^{<\omega}\mathbin{\dot\cup}[0,1] \\],它不是拟代数的。此外,$P$ 不包含与 $[0,1]$ 同构的子dcpo,且 $[0,1]$ 不是 $P$ 的斯科特连续收缩。

英文摘要

We give negative answers to two questions of X.Xu concerning the occurrence of the unit interval in nonquasialgebraic quasicontinuous domains. We construct, directly from the binary tree and the binary-value map, a well-founded quasicontinuous dcpo \[ P=2^{<ω}\mathbin{\dot\cup}[0,1] \] which is not quasialgebraic. Moreover, $P$ contains no sub-dcpo isomorphic to $[0,1]$, and $[0,1]$ is not a Scott-continuous retract of $P$.

论文原文

arXiv 摘要页 · PDF 原文 · HTML 原文

↑