有限集上二元关系性质的判定.docVIP

PAGE PAGE 1 有限集上二元关系性质的判定 　　摘要：离散数学中，二元关系自反、反自反、对称、反对称和传递性的判定是学习等价关系、相容关系和偏序关系的重要基础知识，为使读者灵活掌握二元关系五种性质的判定，分别从关系性质的定义、关系矩阵、关系图和关系运算四方面对二元关系五种性质的判定方法进行了探讨。 　　关键词：二元关系性质；关系矩阵；关系图；关系运算；判定方法 　　中图分类号：TP301文献标志码：A文章编号：1006-8228（2013）04-51-02 　　Judgmentonthepropertiesofbinaryrelationinafiniteset 　　ZhangSongmin 　　（DepartmentofComputerandInformationEngineering，LuoyangInstituteofScienceandTechnology，Luoyang，Henan471023，China） 　　Abstract：Indiscretemathematics，thejudgmentontheproprietiesofbinaryrelationincludingreflexive，anti-reflexive，symmetric，anti-symmetricandtransitiveisimportantbasicknowledgeinlearningequivalencerelation，compatiblerelationandpartiallyorderedrelation.Inordertoletthereadersmasterthejudgmentmethodseasily，themethodsaresummarizedanddiscussedfromdefinitionofthepropertiesofbinaryrelation，relationmatrix，relationgraphandrelationoperation. 　　Keywords：binaryrelationalproperties；relationalmatrix；relationalgraph；relationaloperation；judgmentmethod 　　0引言 　　集合中的二元关系是离散数学中非常重要的内容，在一个含有n个元素的有限集上，可以定义个关系。但真正有实际意义的关系，只有其中很少一部分，它们都是有着某些性质的关系。一般离散数学课本中都介绍了关系的五种性质—自反、反自反、对称、反对称和传递性，如何判别关系是否具有这五种性质是学习等价关系、相容关系和序关系的重要基础，因此，在离散数学学习中要求学生必须熟练掌握二元关系五种性质的判别。笔者在多年离散数学教学中发现大多数学生不能灵活掌握二元关系性质的判定。其实，在学习完集合与关系这一章内容后，关系性质的判定可以从关系性质定义、关系矩阵、关系图和关系运算四方面着手考虑，本文将详细介绍有限集上二元关系性质的判定方法。 　　1利用关系性质的定义判定 　　文献[1]中给出了二元关系的五种性质的定义： 　　定义设R为集合X上的二元关系，则 　　⑴若对所有的x∈X，均有∈R，则称R是自反的； 　　⑵若对所有的x∈X，均有?R，则称R是反自反的； 　　⑶若对任意的x，y∈X，每当∈R时，就有∈R，则称R是对称的； 　　⑷若对任意的x，y∈X，每当∈R和∈R时，必有x=y，则称R是反对称的； 　　⑸若对任意的x，y，z∈X，每当∈R和∈R时，就有∈R，则称R是传递的。 　　根据这一定义，可以判断给定的关系是否具有上述性质。 　　例1设集合A={a，b，c}，R1={，，}，R2={，}，R3={，，}，R4={，，，，}，分别是集合A上的二元关系，判断这些关系是否具有上述性质？ 　　解：将这些关系性质列表如表1所示。 　　2利用关系矩阵判定 　　2.1关系矩阵的定义 　　设集合X={x1，x2，…，xn}，R是X上的一个关系，则定义MR=。 　　其中，称MR为关系R的关系矩阵[2]。 　　2.2关系矩阵判定关系性质的方法 　　对于给定的关系，可以先作出其对应的关系矩阵，然后从关系矩阵中观察： 　　⑴R是自反的，当且仅当在关系矩阵中，对角线上的所有元素都是1； 　　⑵R是反自反的，当且仅当在关系矩阵中，对角线上的所有元素都不是1； 　　⑶R是对称的，当且仅当关系矩阵是以主对角线对称； 　　⑷R是反对称的，当且仅当关系矩阵中以主对角线对称的元素不能同时为1； 　　⑸R是传递的，从关系矩阵中判别，需逐行查看关系矩阵的元素，若rij=1（i≠j），再查看第j行，若rjk=1，再检查rik，如果rik=1，则关系为传递的。否则，该关系为非传递的[3]。 　　3利