相容核的拓扑解释

摘要：

给出了相容核的拓扑解释.给定论域上的一个相容关系R,指出该相容关系诱导的拟离散闭包空间的内集拓扑是以每个元素的R_相关集构成的集族为拓扑基生成的.进而利用该内集拓扑所对应的指定预序,证明了每个元素的相容核就是内集拓扑中单点集的闭包.

关键词：相容核、拟离散闭包空间、内集拓扑

所属期刊栏目：32

分类号：TP18(自动化基础理论)

在线出版日期：2006-08-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：31-32,56