半连续格理论.pdfVIP

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 2006 20(Supplement) September FuzzySystems 半连续格理论 李庆国 伍秀华 (湖南大学数学与计量经济学院，湖南长沙410082) 摘要：本文讨论了半连续格的一些基如l生质．研究了半连续格上的一些拓扑性质，并定义 了半连续格之间的映射，得出半连续格映射的像集是半连续格的条件，同时证明了丰连续格的 收缩仍是半连续的．最后我们得到了半连续函数空间是半连续格的条件． 关键词： 半素理想；半连续格；收缩；半连续映射 中图分类号：0153．1：0189．1文献标识码： A 1 引言 20世纪50年代以来，随着计算机的出现及其在人类社会活动中所扮演的角色越 来越重要，大量计算机科学理论随之产生并迅速发展．如20世纪60年代末Scott为 研究程序语言的指称语义引入的数学模型Domain理论以及他本人于1982年提出的 该理论在逻辑意义下的相应表示一信息系统就是今年来众多从事计算机科学理论研 究与应用的科学家所关注的一种新型理论．连续格理论于70年代初期由几位在不同 领域工作的数学家和计算机科学家几乎同时建立与发展，它是Domain理论中的重要 研究分支．连续Domain和连续格理论处于数学、逻辑和理论计算机科学等学科的 交汇处，是当前极为活跃的研究领域．正因为其多学科的特点，从70年代开始连续格 与Domain理论的发展十分迅速，取得了一系列深刻而影响深远的结果【1，2】．随着时 间的推移，人们把对这一领域的研究推广到更一般的范围内．Ray．Y首先提出格中的 半素理想，并研究了它的一些基本性质[3】D．Zhao则利用半素理想给出了一种新的 关系，并由此定义了一种新的格一半连续格，研究了它的一些基本性质，还研究了半 连续格中素元与伪素元相等的条件并讨论了半连续格的几种刻画『41I但是对半连续格 的性质、拓扑结构等问题并未涉及，有待进一步深入．我们将致力于探讨半连续格的 性质、拓扑结构、半连续映射和半连续格范畴，使我们能对半连续格有更深入的了解， 为计算机科学提供更坚实的理论基础． 1收稿B期：2006—07-02． 作者简介：李庆国(1963一)山东淄博人，博士，教授．研究方向：格上拓扑及应用 李庆国，伍秀华：半连续格理论 2 预备知识 设三是偏序集，s∈L，记t S=扛∈L13a∈S，o≤z)．1S=扛∈n13a∈ 最茁SB)，特别地，当s=如)时，记Ts=tP，Is=JP，并且当s=ts时，称s是 上集；当S=lS时称S是下集． 定义2．1【3】格L的一个理想J称为半素理想，若对于任意z，Y，。∈L，当xAy∈，， oA2∈I时，有窭A(YV Z)∈I．用Rd(L)表示所有半素理想组成的集合． e 定义2．2141设L为完备格，对于任意a，b∈L．称ab，若对于任意I∈Rd(L)， b≤VI，有D∈，．记扎a一扣∈LI=乍o)，价a=扛∈LIx々n)． 定义2．3141完备格L称为半连续格，若对于任意a∈L，有o≤v扎n；完备格L a． 称为强半连续格，若对于任意Ⅱ∈L，有o=VU 引理2．1【3】设工为完备格，则扎a=n{，∈Rd(L)In≤V毋． 引理2．2[31格￡中的理想P为半素理想当且仅当存在一族素理想{B：J∈以 使P=n∈J弓． 引理2．3设三是完备格，对任意a∈L，有扎o∈忍d(L)． 定义2．4N设三是完备格，若对于任意z∈L，茹≤V㈨茹nK(L))，且l似 on 代数格．显然半代数格是半连续格． 引理2．4设三是半代数格，则对任意茹，Y∈L，Y#z当且仅当存在d∈口