“离散数学”中的等价关系.docx

《“离散数学”中的等价关系.docx》由会员分享，可在线阅读，更多相关《“离散数学”中的等价关系.docx（8页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、“离散数学”中的等价关系 文章编号：1673-5913(2022)01-0050-03 摘要：本文阐述了离散数学课程中的一个特别重要的概念即等价关系以及各种详细的等价关系和等价关系在计算机领域中的应用，并运用相识论中的同一性原理和联系与发展的观点，分析了各种等价关系间的联系，说明白对等价关系的概念以及各种详细的等价关系及其应用的教学对促进学生抽象思维实力和逻辑推理实力提高的重要性。 关键词：离散数学；等价关系；相识论；教学 中图分类号：G642 文献标识码：B “离散数学”是计算机专业的重要基础课程和核心课程。通过该课程的教学，不仅要为学生们进一步学习本专业的后续课程供应必备的数学理论基础，更

2、重要的是培育和提高学生的抽象思维实力和逻辑推理实力。与高等数学主要以连续量作为探讨对象不同，离散数学主要以离散量作为主要的探讨对象，内容包括数理逻辑、集合论、代数结构、图论以及组合数学、数论和离散概率等。由于这些内容在描述形式、探讨方法和计算机应用领域等方面均存在着较大差异，且含有大量比较抽象的概念、定理和各种各样的形式化描述，因而学生普遍感到困难重重，学习效果不志向。因此，如何改进教学方法，提高教学效果，使学生们的抽象思维实力和逻辑推理实力真正得到提升，是“离散数学”课程教学过程中必需仔细解决的重要课题。 1离散数学课程中的等价关系 1.1离散数学课程中等价关系的概念 定义1 设R为非空集合

3、A上的二元关系。假如R是自反的、对称的和可传递的，则称R为A上的等价关系。 定义2 设R为非空集合A上的等价关系， xA，令 x R= y | y A xRy ， 则称 x R 为x关于R的等价类，简记为 x 。 定义3 设R为非空集合A上的等价关系，以R的全部等价类作元素的集合称为A关于R的商集，记为A/R，即A/R= x R| xA 。 依据定义1，很简单证明矩阵理论中的矩阵合同关系、相像关系都是等价关系；线性空间的同构关系也是一种等价关系。下面主要探讨离散数学中一些常见的等价关系。 1.2离散数学课程中各种详细的等价关系 数理逻辑中，命题公式A和B等值(记为A B)是指由它们构成的等价式

4、A B为永真式。命题公式的等值关系是建立在由全部命题公式构成的集合上的一种等价关系，这种等价关系将全部命题公式按其是否等值划分成若干个等价类，属于同一个等价类中的命题公式彼此等值，因而，只要清晰了等价类中某一个公式的性质，则与该公式同类的公式的性质也就完全清晰了。因此，命题公式的等值关系(等价关系)是获得命题公式性质的基石。 集合论中，集合A和B的等势是指从A到B存在一个双射函数即集合A中的元素与集合B中的元素存在着一一对应。明显，集合的等势关系是建立在由全部集合作元素构成的集合上的一个等价关系，它事实上是从集合所含元素多少的角度来对集合进行划分，只要两个集合所含元素的个数相同，就视它们为相同

5、的集合，可将它们归于同一类。 图论中，无向图中点与点之间的连通关系是一种等价关系，它是建立在由无向图中全部结点做成的集合上的等价关系，只要两个结点间存在通路，则这两个结点就是等价的，它们便归于同一类，无向图中连通分支的概念就建立在连通关系的基础之上。图的同构关系也是图论中又一种非常重要的等价关系，它事实上是全体图集合上的一个同时具有自反、对称和可传递三特性质的二元关系，可按此等价关系对全体图集合中的图进行划分，使属于同一个等价类中的图具有完全相同的性质。 代数结构中有一个重要的概念，即代数系统的同构。代数系统的同构关系是全部代数系统构成的集合上的等价关系，利用代数系统的同构关系可以对代数系统集

6、进行划分，从而使属于同一个等价类但其表现形式不同的代数系统具有同样的运算性质，只要知道了一个代数系统的性质，便可将其性质干脆移植到与之同类但表现形式可能不同的新的代数系统上去。 在组合计数问题中会遇到这样一种困难，即区分所探讨的组合计数问题中哪些应当看成是相同的，哪些应当看成是不同的，在计数的过程中不能出现任何的重复或遗漏。这种困难是概念性的，因为它要依据详细问题的要求准确地给出对象异同的数学定义。也就是说，要在对象集合上定义一个等价关系，这样，计数的对象便是等价类，而不是元素本身。组合计数问题中的很多结论、定理(如闻名的Burnside引理、Polya计数定理)都要以这类等价关系的概念为基础

7、。 通过上面各种详细等价关系的描述可以看到，尽管这些详细的等价关系分属于离散数学课程中各个不同的分支，所基于的集合中的对象表现形式和描述方式不同，对象的性质也是千差万别，但它们都是基于某一集合上的二元关系且均具有自反、对称和可传递三特性质，将它们的这种共性抽象出来便可使这些详细的等价关系都统一到定义1上来，从而实现了从特别到一般的抽象。由此可见，等价关系实质上是对相应集合中的具有同一性的对象即具有共性特征的对象的一种抽象，从相识论的角度来看，这符合从特别到一般的相识规律。 在许多教材中，数理逻辑往往是最先介绍的内容，而等价关系的定义往往在其后介绍，所以，可以由命题公式的等值关系的性质(自反、对

8、称和可传递)来引入(抽象)出等价关系的定义(定义1)，这是从特别到一般的相识过程；其他的内容如图论和代数系统等则往往在等价关系的定义之后讲授，因此，可用一般等价关系的定义来阐述图的同构关系、代数系统的同构关系和组合计数中的等价关系等，这是从一般到特别的相识过程。 在离散数学各个部分的教学过程中，可以等价关系作为一条重要的线索，将离散数学中的各个部分有机地组织和联系起来，使学生们能够深刻理解等价关系这一重要的概念，学会用联系的观点去分析、思索和解决问题，尽可能做到对各部分的相关内容融会贯穿，这对学生的抽象思维实力和逻辑推理实力的提高特别有益。 2等价关系的发展和应用 任何事物都是不断发展的，等价

9、关系的概念也同样如此。 自从美国计算机与限制论专家L.A.Zadeh于1965年首次提出Fuzzy集的概念，从而对经典的Cantor集合理论做出了深刻的推广以来，模糊数学已经逐步发展成为一个较为完善的数学分支，并在众多的领域特殊是人工智能领域获得了卓有成效的应用。经典的二元关系理论中存在一个缺限，即没有考虑元素与元素间关系程度的不同。在Zadeh提出了Fuzzy集的概念以后，人们便将经典的二元关系扩充为模糊数学中的模糊二元关系，通过模糊二元关系可以较好地刻画元素与元素间关系程度的不同，以模糊二元关系为基础，人们很自然地提出了模糊等价关系的概念。借助于模糊等价关系，可以较好地解决具有Fuzzy性

10、的聚类分析问题，而聚类分析则是数据挖掘领域中的重要课题之一。 比较建立在经典集合理论基础上的等价关系和建立在模糊二元关系基础上的模糊等价关系的定义，简单看出，在Cantor集合理论基础上的等价关系是模糊等价关系的特例，而模糊等价关系则是Cantor集合理论基础上的等价关系的推广，是更高层次上的抽象。 在教学过程中适当介绍模糊等价关系，一方面可以使学生们加深对等价关系概念的理解，学会用发展的眼光分析和解决问题，另一方面可以克服大多数离散数学教材只注意阐述理论而很少涉及其理论在计算机领域中的应用的缺陷，使学生们尽可能多地了解离散数学在计算机领域中的详细应用，提高学习离散数学的爱好。 事实上，等价关

11、系在计算机领域中还有许多应用，例如在软件工程领域，为了尽可能多的找出软件设计过程中可能存在的各种错误，经常运用一种被称之为“等价类划分”的软件测试方法。这种方法事实上就是将全部待测试的数据所构成的集合划分成若干个符合软件需求规格及设计规定的有效等价类和若干个不符合软件需求规格及设计规定的无效等价类，然后在每个有效等价类和无效等价类中只各取一个数据进行测试。若某个等价类中的一个数据能测出软件中的错误，则该等价类中的其余数据也能测出错误；相反地，若某个等价类中的一个数据不能测出软件中的错误，则该等价类中的其余数据也不能测出错误，从而可以大大提高软件测试的效率。 又如，在数据库理论中，分组查询是一种

12、重要的数据库操作，它在本质上也是一种等价类的划分，即将相关数据表中的全部记录作为一个集合，依据记录的一个或多个属性(字段)的值是否相同来对表中的记录进行分类，字段值相同的归于同一类，在此基础上可以进行进一步的分组统计等操作。 再如，粗糙集理论是一种处理模糊和不确定性学问的数学工具，其主要思想就是在保持分类实力不变的前提下，通过学问约简，导出问题的决策或分类规则。在经典粗糙集理论(Pawlak粗糙集模型)中，等价关系是最为重要的基本概念之一，经典粗糙集理论的大部分概念均建立在等价关系的概念之上。目前，粗糙集理论已被胜利地应用于机器学习、决策分析、模式识别、过程限制和学问发觉与数据挖掘等众多领域。

13、 3结束语 为了提高教学效果，使学生的抽象思维实力和逻辑推理实力真正得到提升，老师可在离散数学各个部分的教学过程中，以等价关系作为一条重要的线索，将离散数学中的各个部分有机地组织和联系起来，使学生们能够深刻理解等价关系这一重要的概念，并学会用联系与发展的观点去分析、思索和解决问题，这对学生的抽象思维实力和逻辑推理实力的提高特别有益。 参考文献： 1 耿素云,屈婉玲. 离散数学M. 北京:高等教化出版社,2004. 2 张文修,吴伟志,梁吉业等. 粗糙集理论与方法M. 北京:科学出版社,2001. 3 胡宝清. 模糊理论基础M. 武汉高校出版社,2004. “本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文” 第8页 共8页第 8 页 共 8 页第 8 页 共 8 页第 8 页 共 8 页第 8 页 共 8 页第 8 页 共 8 页第 8 页 共 8 页第 8 页 共 8 页第 8 页 共 8 页第 8 页 共 8 页第 8 页 共 8 页