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$.