推理闭包系统的一些性质.pdfVIP

西 安 工 程 大 学 学 报 JournalofXi’aJlPolytechnicUniversity 第25卷第3期(总 109期) 2011年6月 Vo1．25，No．3(Sum．No．1O9) 文章编号：1674-649X(2011)03-0398-05 推理闭包系统的一些性质 张 懿，尉文静，李生刚 (陕西师范大学 数学与信息科学学院，陕西 西安 710062) 摘要：证明了对于一个给定的非空集合 ，可以在 RCL(X)( 上的推理闲包算子的全体)、 RIN()(X上的推理 内部算子的全体)、ROU()(上的推理外部算子的全体)、RB()(上的 推理边界算子的全体)上定义适当的序关系，使它们与(RCS(X)， )序 同构，其 中RCS()是 给定集合 上的推理闭包系统的全体． 关键词：推理闭包系统；推理闭包算子；推理内部算子；推理外部算子；推理边界算子 中图分类号：0189．1 文献标识码：A 1 引言及预备知识 闭包系统的确定是一个有趣的问题．设 是一个集合，cs()是 上的闭包系统的全体．则可以定义 上的弱闭包算子，给WCL(X)(即 上的弱闭包算子得全体)上定义适当的偏序关系 ≤并具体地给出 (WCL(X)，≤)和 (cs(x)， )之问的序同构．如果这时可以用弱闭包算子确定闭包系统，那么由文献 [1]知道可以用弱内部算子、弱外部算子、弱边界算子确定闭包系统．由文献[2]提出的推理闭包系统 (一 种特殊的闭包系统)建立了逻辑学与拓扑学之间的联系，本文将证明可以用推理闭包算子、推理内部算 子、推理外部箅子、推理边界算子确定推理闭包系统． 定义 I2【 设 是非空集合， 2(即 的子集的全体)．若两菏足 (RCS)I2)诺 (RCS2)V E2，n E 这里约定 nj25= )； (RCS)对于( )的任意定向子集珂，u珂 E。 则称 是 上的一个推理闭包系统或结论闭域，且称(， 为一个推理闭包空间2【】．给定的非空集合 上 的推理闭包系统的全体记作RCS(X)． 文中未标注部分见文献[3-8]． 2 用推理闭包算子确定 定义2 设 是一个集合，则称满足以下条件的映射c：2--+2为 上的推理闭包算子： 收稿 日期：2010．12-28 基金项 目：国家 自然科学基金资助项 目；陕西省 自然科学基金资助项 目(2010JM1005)；陕西师范大学研究 生培养创新基金资助项 目(2010CXS021) 通讯作者：李生刚(1959-)，男，陕西省神木县人，陕西师范大学教授，博士生导师．E-mall：shenggangli@yahooe伽 ．cn ． 第3期 推理闭包系统的一些性质 399 (RCL1)c( )≠ (2j (VA ∈2)； (RCL2)A c(A) (VA∈2)； (RCL3)c(c(A))=c(A) (VA ∈2)； (RCL)如果定向集 2，则 c(u =uc( ． 上的推理闭包算子的全体记作RCL()． 引理 1[21 (I)设集合X是一个非空集，c：2一2 为X上的推理闭包算子，则 = {F∈2 IC(F) = F}为集合 上由C诱导的结论闭域． (2)设集合 是一个非空集 ，C：2一 2为 上的推理闭包算子，则C是保序算子，即VA，B X，A ，则 c(A) C(B)． 定理1 给定一个非空集合 ，先在RCL(X)上定义一个关系 ≤具体为C，≤c：当且仅当对任意集合 A 有C1(A) c：(A)，然后定义t1．2：(RCS(X)， )一 (RCL(X)