计算机工程与应用 ›› 2016, Vol. 52 ›› Issue (16): 56-58.

• 理论与研发 • 上一篇    下一篇

命题集[F(S)]上的一种等价分类方法

王昭海1,吴洪博2   

  1. 1.安康学院 数学与统计学院,陕西 安康 725000
    2.陕西师范大学 数学与信息科学学院,西安 710062
  • 出版日期:2016-08-15 发布日期:2016-08-12

Equivalent classification method on thesis set [F(S)]

WANG Zhaohai1, WU Hongbo2   

  1. 1.College of Mathematics and Statistics, Ankang University, Ankang, Shaanxi 725000, China
    2.School of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, China
  • Online:2016-08-15 Published:2016-08-12

摘要: 给出了命题集[F(S)]上的一种等价分类方法,得到一个集合[[F]]。同时在集合[F]上定义距离[ρ]及闭包运算[C*],得到在[[F]]上存在唯一的一个拓扑[Τ],使得在拓扑空间[([F],Τ)]中对任意的集合[Γ?[F]]都有[C*(Γ)=Γ]。

关键词: 相似关系, 距离, 闭包, 拓扑

Abstract: Give an equivalent classification method propositions on the set [F(S)], and get a set [[F]]. The metric and closure operator are defined, a unique topology space on [[F]]is obtained. Moreover, the equality[C*(Γ)=Γ] is true for every set [Γ?[F]].

Key words: similarity relation, metric, closure operator, topology