关于D∞的一个基本投射不等式.pdfVIP

第7卷第1期 杭州师范学院学报(自然科学版) V01．7 No．1 2008年 1月 Journal of Hangzhou Teachers College(Natural Science Edition) Jan．2008 文章编号：1O08—9403(2008)01一O0O6一O3 关于D∞的一个基本投射不等式 王 建 (1．浙江师范大学数理学院，浙江金华321004；2．衢州学院教育系，浙江衢州324000) 摘 要：该文给出D。。的一个基本投射不等式．它在文[1]证明D。。是一个外延 模型时的地位是重要的，但 文[1]将它误认为一个等式的多次应用． 关键词：完备偏序集；投射；D。。； 演算 中图分类号：TP301．2；O141．3 MSC2000：03B40 文献标志码：A D 是 演算的第一个被置于ZF公理集论的模型，它是由D．Scott在1969年作为完备格的射影极限 首先构造的．在 演算和组合逻辑的一些历史性经典著作 卜。 以及最近出版的J=卜演算和Domain理论的有 关专著[3]中，对D 是一个外延的J=卜模型或详或简都有完整的介绍，并且按照 模型后来的发展，一般都 把D 改进为完备偏序集的射影极限来构造．D。。对 演算及程序语言的语义研究有着巨大的影响，它第 一 次实现了计算机程序语言中指称语义的模型解析，因而在Domain理论和计算机语言形式语义学的发 展过程中占有非常重要的地位．在此讨论D。。中的一个基本投射不等式，该文用到而又未能另加说明的相 关概念与结论均见文献[1]． 该文按[1]先将Do。的构造作一个简要的陈述．所谓完备偏序集(简记作c．P．o)，它是一个偏序集D，≤，使 对每个定向子集X c D，有最小上界V X，且D本身有最小元(或称底元)，记作J一．且称V X为X的定向 并．设D，D 为c．P．0，声：D—D 为函数，若声保序，则称声为单调函数．又若声保定向并，则称声为连续函数， 它等价于声关于D，D 的Scott拓扑连续(例如见[1])，取一个初始的非平凡的c．P．0，D。，例如D。一(N+， ≤)，其中N十一N U{J一。)，N是自然数集，J一。 N，≤是平坦序，即V n，b∈N ，n≤6甘n—J一。且b∈ N或n—b．将D0到D0的连续函数集记作D 一[Do—D0]，若V厂，g∈D ，规定厂≤g甘V d∈Do，厂( ) ≤g( )，则D1，≤也是一个c．P．0．一般，可以归纳定义一列c．P．0，使 一[Dn— ]，每个 的底元记 作J一 ．设D，D 是c．P．0，从D，到D的一对投射是满足下面条件的一对函数声∈[D—D ]， ∈[D 一D]： 。 声= ID，声。 ≤ ID，． 对c．P．0序列Do，D ，… ，D ，…，定义初始投射 ∈[D。一D ]， ∈[D 一D。]为：V d∈D。， ( )一 An∈Do·d；V g∈D ，go(g)一g(_上-o)，然后对 ≥1，归纳定义投射 ， 为，V厂∈D ，V g∈D井 ， (厂)一声 一1。厂。伽一1，9-(g)一伽一1。g。声，r1； 从 与 出发，对所有 ， ≥0，定义从D 到D 的复合映射声 ， 为： 收稿日期：2007-06-06 基金项目：浙江省自然科学基金(Y105272)． 作者简介：王 建(1974一)，男，浙江常山人，副教授，硕士，主要从事拓扑学与理论计算机科学研究 第1期 王 建：关于D。。的一个基本投射不等式 7 r 一1。 2… ·。 +1。 ， 若mn， ， 一 J ， 若m—n， I 。 …·。 一2。 一1， 若mn． D。。是所有无限列d一(d。，d ”，