一致半连续格的理论研究.pdfVIP

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