关于完全链格与完全格的讨论 |
| |
引用本文: | 冯文澜,冯涛.关于完全链格与完全格的讨论[J].安徽大学学报(自然科学版),1993,17(2):91-92. |
| |
作者姓名: | 冯文澜 冯涛 |
| |
摘 要: | <正> 1、问题的提出文2]中讨论递归程序的不动点语义时,指出函数空间(D~+)~n→D~+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L,都存在它的最大下界glb(x,y)和最小上界lub(x,y),则称L为格,对于CL,如对于任意x,y∈C,或有x≤y或有y≤x,称C为链。如果对格L中的任意链C,在L中都存在它的最小上界lub(c)和最大下界glb(c),则称L为完全链格。
|
关 键 词: | 完全链格 完全格 |
本文献已被 维普 等数据库收录! |
|