一句话:证明 quasi-Polish 空间上上下幂空间可交换,等价于 consonance,并刻画其对开集格构造的分配。
本文研究拓扑空间上的上下幂空间构造,重点关注 quasi-Polish 空间范畴。作者证明,在所有 quasi-Polish 空间上,上幂空间与下幂空间构造彼此可交换;更一般地,这种可交换性等价于拓扑性质 consonance。随后,论文研究 quasi-Polish 空间的开集格上的幂空间构造,给出上下幂空间如何分配到开集格构造之上的完整刻画。这些结果揭示了幂空间构造、consonance 与开集格之间的精确联系。
We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that this commutativity is equivalent to the topological property of consonance. We then investigate powerspace constructions on the open set lattices of quasi-Polish spaces, and provide a complete characterization of how the upper and lower powerspaces distribute over the open set lattice construction.