命题集F(S)基于相似关系定义的拓扑

摘要：

在命题集F(S)上利用相似关系进行等价分类,得到一个集合[F].在集合[F]上定义距离p及闭包运算C*,则在[F]上存在唯一的一个拓扑T使得在拓扑空间([F],T)中,对任意的集合Γ(∪)[F]都有C*(Γ)=(Γ).

关键词：相似关系、距离、闭包、拓扑

所属期刊栏目：19

分类号：O141.1(数理逻辑、数学基础)

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

页数：共3页

页码：69-71