偏序结构上的某些弱附加关系与弱连续性.pdfVIP

偏序结构上的某些弱附加关系与弱连续性 2预备知识 在这部分中，我们主要介绍一般文献【4115】中连续偏序集与连续格及附加关系 的定义，以及连续偏序集与连续格的结构性质及相关的定理． 2．1连续偏序集 2．1．1定义【5J below关系 设(A，!)是定向完备的偏序集，则A上的way 《定义如下：vn．bEA， a《b咎对A的任意定向子集S，b≤VS辛3s∈Sa!s． b《Ⅱ}为a的w科below下集． 称』a={6I 紧元． 2．1：3定义【5】设A是定向完备的偏序集，若 (1)Va∈A，0a∈Idl(A)； 0a， (2)Va∈A，a=V 则称A为连续偏序集． 注：有些文献(尤其是存Dommn理论中)在定义连续偏序集时并不要求定向 完备性，而仅要求在定义2：1．3巾出现的定向子集有并．本文所涉及的连续偏序集 均指连续domain即连续dcpo． 得a《c《b． 证明记 S={d∈A『3c∈A，d《c《”． S≠g．以下证明S是定向的． E 任取d1，d2∈S，则存存cl，02A，使得 d1《01《b，d2《02《b 偏序结构上的某些弱附加关系与弱连续性 因为cl，c2∈ib．￡b是定向的，从而存在c3∈06，使得 dl《01《白，d2《c2《03 由此可知，d1，d2∈』c3．因而由0c3也是定向的可知，存在d3∈￡c3满足 dl≤如id2兰如． 但是d3《c3《b．所以，d3∈．S即S为A的定向子集． 压j为 VS=v(d∈AI3c∈A，d《c《6} =v{v‘$CIc《b) b =V 0 =6． d《c《b进而有a《c《b． 2．1．5定义㈣设A是定向完备偏序集，n∈A，D∈A是定向子集，若 (1)D∈$Ⅱ； (2)vD=a， 则称D是a的一个拟极小集(或局音lf基)． 2．1．6定理【5】 设A是定向完备偏序集，则A是连续偏序集当且仅当 地∈A，o有拟极小集 (1)与(2)的x中的全体子集G作成的集族： (1)G是上集，即G=TG； (2)G有定向弗不可达性，即若S姓x的定向子囊，则 vS∈G号G17S≠a 则根据下面的定理可知，∑(x．≤)是x上的拓扑，称为Scott拓扑． 在不致于引起混淆时，∑(x，≤)简记为∑(x)． 偏序结构上的某些弱附加关系与弱连续性 证明显然有o，X∈￡(x，S) 设G1，(毛∈∑(x，≤)，则 G·nG2--T(G1)n(G2)=T(G1nG2) 即G。nG2是上集；又设S是X的定向子集，则 vS EG2nG2 =争VS∈Gl，vS∈G2 =}SnGl≠D，SnG2≠a ESnG2 =}j51∈SnGl，82 =}js∈S，81≤s’82茎8 号s∈GlnG2 辛Sn(G1nG2)≠g． 这表明GtnG2有定向并不可达性，所以，G1nG2∈∑(x，≤) 设集族{G^fA∈A}￡∑(x，≤)，则 u^∈^G^=叱∈^T(Gx)=T(Ux∈AG^) 即u^∈^G