It is discussed in this paper that under what conditions, for a continuous domain L, there is a Scott continuous self-mapping f : L → L such that the set of fixed points fix(f) is not continuous in the ordering in...It is discussed in this paper that under what conditions, for a continuous domain L, there is a Scott continuous self-mapping f : L → L such that the set of fixed points fix(f) is not continuous in the ordering induced by L. For any algebraic domain L with a countable base and a smallest element, the problem presented by Huth is partially solved. Also, an example is given and shows that there is a bounded complete domain L such that for any Scott continuous stable self-mapping f, fix(f) is not the retract of L.展开更多
In this paper we study the properties of the set consisting of all fixed points of a Scott continuous self-map between domains. All the results give an answer to an open problem posed by Lawson and Mislove in 1990.
在偏序集上引入测度拓扑和全测度概念,研究其性质以及与其它内蕴拓扑间的众多关系。主要结果有:连续偏序集的测度拓扑实际上是由其上的任一全测度所决定且可由它的定向完备化上的测度拓扑和全测度分别限制得到;当连续偏序集还是D om a i...在偏序集上引入测度拓扑和全测度概念,研究其性质以及与其它内蕴拓扑间的众多关系。主要结果有:连续偏序集的测度拓扑实际上是由其上的任一全测度所决定且可由它的定向完备化上的测度拓扑和全测度分别限制得到;当连续偏序集还是D om a in时,其上的测度拓扑与μ拓扑一致;连续偏序集有可数基当且仅当其上的测度拓扑是可分的;一个网如果测度收敛则存在最终上确界;任一ω连续偏序集上都存在全测度。展开更多
基金Supported by the National Natural Science Foundation of China (Grant No.10571112)the National Key Project of Fundamental Research (Grant No.2002CB312200)
文摘It is discussed in this paper that under what conditions, for a continuous domain L, there is a Scott continuous self-mapping f : L → L such that the set of fixed points fix(f) is not continuous in the ordering induced by L. For any algebraic domain L with a countable base and a smallest element, the problem presented by Huth is partially solved. Also, an example is given and shows that there is a bounded complete domain L such that for any Scott continuous stable self-mapping f, fix(f) is not the retract of L.
基金the National Natural Science Foundation of China (Grant. No. 10071053) the SFEM of China and the Project of "Excellent Scholars Crossing Centuries" of the Education Ministry of China.
文摘In this paper we study the properties of the set consisting of all fixed points of a Scott continuous self-map between domains. All the results give an answer to an open problem posed by Lawson and Mislove in 1990.
文摘在偏序集上引入测度拓扑和全测度概念,研究其性质以及与其它内蕴拓扑间的众多关系。主要结果有:连续偏序集的测度拓扑实际上是由其上的任一全测度所决定且可由它的定向完备化上的测度拓扑和全测度分别限制得到;当连续偏序集还是D om a in时,其上的测度拓扑与μ拓扑一致;连续偏序集有可数基当且仅当其上的测度拓扑是可分的;一个网如果测度收敛则存在最终上确界;任一ω连续偏序集上都存在全测度。