Domain上的拓扑及信息导数.PDFVIP

维普资讯 2004年 4月 四川大学学报 (自然科学版) Aug．2004 第41卷第4期 JournalofSichuanUniversity(NaturalScienceEdition) V01．41 No．4 文章编号~0490—6756(2004)04．0714—06 Domain上的 拓扑及信息导数 雷银彬 (四川大学数学学院，成都 610064) 摘要：通过对Domain上 拓扑t·gN-a．~息导数的研究，回答 了KeyeMatin于2000年提 出的有 关 拓扑及信 ．g-导数的问题 ． 关键词 ： 拓扑 ；局部紧；第二可数；信息导数 中图分类号 ：08911 文献标识码：A 1 引言与预备知识 KeyeMartin在其博士论文中提出了Domain上测度的概念(该测度是对Domain中元素所含信息量的 一 种量化)，在对该测度 的研究中自然产生 了 拓扑，它细于Lawson拓扑，而且关于 拓扑的极限概念更 适合于计算 比如任一以 拓扑收敛的序列一定有上确界而该序列不一定为定向集 ， 闭子集关于定向上 确界封闭，但不必为下集 由此可见Domain上的 拓扑蕴含更为自然的计算思想，因而对 拓扑性质的研 究有利于我们更加深入了解其蕴含的计算思想．对此 ，我们给出了 拓扑紧、局部紧和其他覆盖性质相关 的结论，以及 (D，D)第二可数的充分必要条件 ，即 ID I≤ 叫o． Martin在 拓扑的基础上引入了信息导数的概念，亦即信息量变化率的一种刻画，在文[1]中得到了 许多有意义的结果，特别是在不动点分析中的应用；并对信息微分和经典的微分关系进行了研究，提出如 下间题：(i)若 _厂在 [P]处信息导数存在，厂在P处可微吗?(ii)若 f，g在 [P]处信息导数存在，d [P]存在吗?其 中f，g为直线上连续函数．在文[2]中已给出一反例说明信息g~a；--定经典可 导，本文将给出另一较为简洁的反例．对问题(ii)我们作出回答并给出信息可导为经典可导的一个充分条 件，此外 ，对可微和连续的关系得出相应结论． 定义 1．1lJ P是偏序集 ，Vz，YEP 1．z 《 甘VS P为定向集，若Y≤ VS，则存在 sE S使得z≤s．若 z 《z，则称 z为紧元．并 记 z= {YEP Y『 《z}，价z= {YEPJz 《Y}，K(P)= {zEP 『z 《z}； 2．P称为 dcpoC=P 的每个定向集有上确界； 3．B P称为基 甘Vz∈P，BN {Jz为定向集且 sup(BN {Jz)=z； 4．P称为连续的甘P有基 ，也称为Domain．若P具有可数基 ，则称 P为f．O连续 dcpo； 5．D称为理想DomainC：}D为连续 dcpo，VzE D，z为极大元或紧元 ； 6．U P称为 scott开集甘 十U=U且若有定向集S P使 VSE U则SnU≠ l2)．所有soctt 开集组成的拓扑称为 P上的soctt拓扑，记为 Op． 定义 1．2… P是偏序集 ，D是连续 dcpo，：P— D为单调映射 ，X P， 1．VzEP，VeED，记 (z)= }YEPfY≤ z且e《l／y}； 2．VzEP，VUEOp若zEU，则存在 e∈D使得 (z) 【，甘称 在x上诱导 scott拓扑，记 为 6rx 收稿 日期~2003—10—16；修回 日期 ：2004—01—05 作者简介：雷银彬(1978一)，男，lglJ~l大学数学学院2001级硕士研究生． 维普资讯 第4期 雷银彬 ：Domain上的 ／1拓扑及信息导数 715 定义1．311] D是连续dcpo，称D上由{介 n