分享到:

广义λ超连续格、广义λ完全分配格和强代数格的关系表示

本文引入了广义λ超连续格和广义λ完全分配格的概念,证明了完备格L上的λ-区间拓扑θ_λ(L)是严格T_2的(?)L是广义λ超连续格(?)L上的关系(?)是广义λ正则的;L为广义λ完全分配格(?)L~(op)是广义λ超连续格(?)L上的关系(?)~(op)=(?)是广义λ正则的。在本文中,我们给出了强代数格的关系表示。  (本文共15页) 本文目录 | 阅读全文>>

《模糊系统与数学》2006年05期
模糊系统与数学

广义λ超连续格的关系表示

给出广义λ超连续格的几个刻画。特别地,我们证明了完备格...  (本文共5页) 阅读全文>>

《工科数学》1950年30期
工科数学

Gierz—Lawon定理的一个直接证明

在本文中,我们给出完...  (本文共2页) 阅读全文>>

四川大学
四川大学

拟超连续Domain与拟超连续格

Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究。大约在同一时期,在纯数学领域,Lawson、Stralka等人为寻求一类紧半格的代数刻画而定义了一种有特殊性质的完备格。但他们很快发现这种完备格恰好是Scott发现的连续格。作为理论计算机和纯数学这两个方面研究的殊途同归,连续格理论引起了人们极大的兴趣,并作了大量的工作。1980年,Gierz等在专著[21]中系统地总结了这些工作,标志着作为domain理论前期形式的连续格理论的成熟。2003年,这一专著又出版了新的补充版[22],吸收了最近20多年的成果。Domain理论主要以满足一定条件的偏序集以及它们之间的映射为研究对象。Domain理论研究的一个重要内容是尽可能地将连续格理论推广到更为一般的格序结构上去,作为连续格的最成功推广之一,Gierz和Lawson在中引入了广义连续格(专著[22]重新命名为拟连续格)。完备格...  (本文共80页) 本文目录 | 阅读全文>>

江西师范大学
江西师范大学

理想格的完全分配性

本学位文主要讨论了理想格的完全分配性,证明了对完备格L,理想格Id(L)是完全分配的当且仅当L是余素元有限并生成的.最后给出了一个超代数格的理想格不是超连续格的反例.  (本文共23页) 本文目录 | 阅读全文>>

《模糊系统与数学》2007年04期
模糊系统与数学

超连续Domain与拟超连续Domian

讨论了超连续domain与拟超连续domain的相关...  (本文共8页) 阅读全文>>