相容连续Domain上的序同态

Order-homomorphism of Consistently Continuous Domains

首先给出相容定向极小集的概念,讨论它的性质及与相容连续Domain的关系;其次给出相容连续Domain基的概念,得到它的等价刻画。最后,引入了相容连续Domain上的序同态,同时研究了它的性质,并得出相应的扩张定理。

Firstly,the definition of consistently directed minimal set is given. Some properties and the relationship between consistently directed minimal sets and consistently continuous domains are argued about.Secondly,the concept of basis and its equivalent items are obtained.Besides introducing the order-homomorphism of consistently continuous domains,its some properties and relevant extension theorems are studied at last.