互模拟——检验集合相等的一个新工具.pdfVIP

第32卷 第3期 湖南科技学院学报 Vol1．32No．3 2011年 3月 JournalofHunanUniversityofScienceandEngineering MaL2O11 互模拟 检验集合相等的一个新工具 姚从军 (湖南科技学院 思想政治理论课教学科研部，湖南 永州 425100) 摘 要：在 ZFC。(AFA)系统中，外延公理不可强大得足以判断两个非良基集合是否相等 因此随着研究范围的扩大，需 要新的理论解决新问题。为解决非良基集合相等问题，文章介绍了四个方法：图理论方法、互模拟方法、游戏方法和方程法， 这几种方法最后都可以归结为互模拟方法。故互模拟是检验集合相等强有力的工具。 关键词：外延公理；非良基集合；可及点图；互模拟；游戏；解引理 中图分类号：B815．1 文献标识码：A 文章编号：1673—2219 (2011)03—0088—02 在 ZFA公理系统中，根据外延公理可知：两个集合相 等的，因为下图有一个装饰，其中两个结点都指派Q，并且 等当且仅当它们有共同的元素。因此，要判断两个良基集合 还有一个装饰，其中左边的结点指派A，右边的结点指派B。 是否相同，只需通过观察看看它们的元素是否相同即可。但 是在ZFC。(AFA)系统中，对于两个非良基集合而言，外延公 理不可强大得足以判断它们是否相等。例如 A= {B}，B= {A}，是否相等，根据外延公理，会得出A=B 当且仅当 B=A 这样的循环定义 ，这就需要研究新的方法，从而可以 所以我们可得出集合相等的一个判断方法 ：两集合相 判断非良基集合是否相等。 等，如果它们是同一个集合的图，或者可装饰同一个图的同 一 个结点。 一 (二)图之间的互模拟关系判断法 图理论法 但是一个集合可用不同的可及点图来刻画，【例如，集 (一)图的装饰判断法 合 2能够用二下列图刻画： 集合论中，最初人们为了定义 良基集合的相等，使用了 外延公理，但是由于非 良基集合的存在 ，用已有的经典外延 · 入 I ·／＼ 公理无法断定两个非良基集合的相等性，为解决这一问题， ‘ I 一 ‘／／1 ． 集合的图理论首先产生，用可及点图刻画集合。公理AFA 我把这种刻画同一个集合的各种图称为等价图(模型等 假定每个图有唯一装饰。这里存在两个重要事实，装饰的存 价)，并将这种模型等价性称之为装饰等价性，因为它们是 在性和唯一性。前一个事实告诉我们非良基集合存在 ，因为 同一个集合的图，或者说它们有相同的装饰。 非良基图的存在是一个不争的事实，而依据AFA，非良基 那么刻画同一个集合的不 同图之 间有什么必然联系 图也应该有一个装饰，根据可及点图理论这个装饰不可能是 呢?结论是两个图等价当且仅当它们具有互模拟关系。 良基集合，所以必然是非良基集合 ，这样由非良基图的存在， Aczel给出了可及点图理论中的互模拟具体表现形式，他说， 我们就得出非良基集合的存在性。后一个事实告诉我们什么 系统 M 上的一个二元关系 R是M 上的一个互模拟，如果 R ，