“离散数学”中的等价关系-2019年文档.pdfVIP

“离散数学” 中的等价关系 文献标识码：B “离散数学”是计算机专业的重要基础课程和核心课程。通过该课程的教 学，不仅要为学生们进一步学习本专业的后续课程提供必备的数学理论基础， 更重要的是培养和提高学生的抽象思维能力和逻辑推理能力。与高等数学主要 以连续量作为研究对象不同，离散数学主要以离散量作为主要的研究对象，内 容包括数理逻辑、集合论、代数结构、图论以及组合数学、数论和离散概率 等。由于这些内容在描述形式、研究方法和计算机应用领域等方面均存在着较 大差异，且含有大量比较抽象的概念、定理和各种各样的形式化描述，因而学 生普遍感到困难重重，学习效果不理想。因此，如何改进教学方法，提高教学 效果，使学生们的抽象思维能力和逻辑推理能力真正得到提升，是“离散数学” 课程教学过程中必须认真解决的重要课题。 1 离散数学课程中的等价关系 1.1 离散数学课程中等价关系的概念 定义1 设R 为非空集合A 上的二元关系。如果R 是自反的、对称的和可传 递的，则称R 为A 上的等价关系。 定义2 设R 为非空集合A 上的等价关系，x ∈A ，令[x]R={y| y∈A ∧xRy } ， 则称[ x ]R 为x 关于R 的等价类，简记为[ x ]。 定义3 设R 为非空集合A 上的等价关系，以R 的所有等价类作元素的集合 称为A 关于R 的商集，记为A/R ，即A/R={[x]R|x ∈A} 。 根据定义1，很容易证明矩阵理论中的矩阵合同关系、相似关系都是等价关 系；线性空间的同构关系也是一种等价关系。下面主要讨论离散数学中一些常 见的等价关系。 1.2 离散数学课程中各种具体的等价关系 数理逻辑中，命题公式A 和B 等值(记为A B)是指由它们构成的等价式AB 为永真式。命题公式的等值关系是建立在由所有命题公式构成的集合上的一种 1 / 5 等价关系，这种等价关系将所有命题公式按其是否等值划分成若干个等价类， 属于同一个等价类中的命题公式彼此等值，因而，只要清楚了等价类中某一个 公式的性质，则与该公式同类的公式的性质也就完全清楚了。因此，命题公式 的等值关系(等价关系)是获取命题公式性质的基石。 集合论中，集合A和B的等势是指从A到B存在一个双射函数即集合A 中 的元素与集合B中的元素存在着一一对应。显然，集合的等势关系是建立在由 所有集合作元素构成的集合上的一个等价关系，它实际上是从集合所含元素多 少的角度来对集合进行划分，只要两个集合所含元素的个数相同，就视它们为 相同的集合，可将它们归于同一类。 图论中，无向图中点与点之间的连通关系是一种等价关系，它是建立在由 无向图中所有结点做成的集合上的等价关系，只要两个结点间存在通路，则这 两个结点就是等价的，它们便归于同一类，无向图中连通分支的概念就建立在 连通关系的基础之上。图的同构关系也是图论中又一种十分重要的等价关系， 它实际上是全体图集合上的一个同时具有自反、对称和可传递三个性质的二元 关系，可按此等价关系对全体图集合中的图进行划分，使属于同一个等价类中 的图具有完全相同的性质。 代数结构中有一个重要的概念，即代数系统的同构。代数系统的同构关系 是全部代数系统构成的集合上的等价关系，利用代数系统的同构关系可以对代 数系统集进行划分，从而使属于同一个等价类但其表现形式不同的代数系统具 有同样的运算性质，只要知道了一个代数系统的性质，便可将其性质直接移植 到与之同类但表现形式可能不同的新的代数系统上去。 在组合计数问题中会碰到这样一种困难，即区分所讨论的组合计数问题中 哪些应该看成是相同的，哪些应该看成是不同的，在计数的过程中不能出现任 何的重复或遗漏。这种困难是概念性的，因为它要依据具体问题的要求确切地 给出对象异同的数学定义。也就是说，要在对象集合上定义一个等价关系，这 样，计数的对象便是等价类，而不是元素本身。组合计数问题中的许多结论、 定理(如著名的Burnside引理、Polya计数定理)都要以这类等价关系的概念为基 础。 2 / 5 通过上面各种具体等价关系的描述可以看到，尽管这些具体的等价关系分 属于离散数学课程中各个不同的分支，所基于的集合中的对象表现形式和描述 方式不同，对象的性质也是千差万别，但它们都是基于某