论文部分内容阅读
20世纪70年代初,D.Scott因理论计算机的语义问题提出了连续格的概念.这标志着经典Domain理论的出现,同时引起了广泛的关注.1989年,Ray.F首先提出格中的半素理想,1997年赵东升利用半素理想在完备格上给出了一种作用在点与点之间的新关系,从而定义了半连续格,2007年曾丽华等又把这种新关系推广到集与集之间,从而定义了拟半连续格.本学位论文利用半素理想引入一致半素集的定义,以此为基础得到一种作用在点与点之间的新关系,从而定义一致半连续格,并对它进行了深入的研宄,主要内容如下: 第一部分:引入一致半连续格的概念以及它的若干性质,利用一致半素极小集的方法阐述了映射的一致半连续性、保←u?关系和保一致半素极小集之间的联系,并得到一致半连续格的任意收缩仍是一致半连续格. 第二部分:引入并研宄了拟一致半连续格,得到了有限个拟一致半连续格的笛卡尔乘积是拟一致半连续格,给出了拟一致半连续格的逆像是拟一致半连续格的一个充分条件. 第三部分:给出了一致半汾Scott拓扑的概念,讨论了一致半连续格上的一致半Scott拓扑的一些基本性质.