资源描述：
《湘潭大学 刘任任版 离散数学课后习题答案 习题2》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、习题二1.确定下列二元关系：（1）（2）分析：本题主要运用知识为集合的交、关系以及笛卡尔积的定义。解：(1)(2)2.请分别给出满足下列要求的二元关系的例子：（1）既是自反的，又是反自反的；（2）既不是自反的，又不是反自反的；（3）既是对称的，又是反对称的；（4）既不是对称的，又不是反对称的.分析本题主要考察关系的5个性质（自反性、反自反性、对称性、反对称性、传递性）。解：设是定义在集合上的二元关系。(1)令，则，于是既是自反又是反自反的；(2)令，于是既不是自反又不是反自反的；(3)令，于是既是对称又是反对称的；(4)令，于是既不是对称
2、又不是反对称的。3.设集合有个元素，试问：（1）共有多少种定义在上的不同的二元关系？（2）共有多少种定义在上的不同的自反关系？（3）共有多少种定义在上的不同的反自反关系？（4）共有多少种定义在上的不同的对称关系？（5）共有多少种定义在上的不同的反对称关系？分析：本题主要考察知识为二元关系的自反性、反自反性、对称性、反对称性所对应的关系矩阵之性质，本题可以在做完第四题（根据满足某个性质的关系之关系矩阵）之后再来考虑。解：设，于是(1)共有种定义在上的不同的二元关系；(2)共有种定义在上的不同的自反关系；(3)共有种定义在上的不同的反自反关系
3、；(4)共有种定义在上的不同的对称关系；(5)共有种定义在上的不同的反对称关系，其中，。4.请分别描述自反关系，反自反关系，对称关系和反对称关系的关系矩阵以及关系图的特征.分析：本题主要是根据自反关系、反对称关系、对称关系和反对称关系之定义来确定关系矩阵以及关系图。解：(1)自反关系矩阵的主对角线上元素全为1；而关系图中每个结点上都有圈。(2)反自反关系矩阵的主对角线上元素全为0;而关系图中每个结点上均无圈。(2)对称关系矩阵为对称矩阵;而关系图中任何两个结点之间的有向弧是成对出现的,方向相反。(3)反对称关系矩阵的元素满足：当时，。5．
4、设，试求及.分析主要考察关系的复合运算之定义。解：。6.试举出使成立的二元关系的实例.分析本题主要说明关系的复合与关系的交运算不满足分配率。解：设,于是,有,因此,,从而,。又，，因此，，从而,。7.设和是集合上的二元关系.下面的说法正确吗?请说出理由.（1）若和是自反的，则也是自反的；（2）若和是反自反的，则也是反自反的；（3）若和是对称的，则也是对称的；（4）若和是反对称的，则也是反对称的；（5）若和是传递的，则也是传递的分析本题主要是考察两个满足同一种性质的关系之复合运算是否保该性质，是的可以根据定义给出证明，不正确请给出反例，一般
5、如果正确相对容易证明，不正确给出反例相对较难。解：(1)正确。因为对任意，有，所以。故是自反的。(2)错误。例如，设，且，于是。故不是自反的。(3)错误。例如，设对称关系。于是，，但。故不是对称的。(4)错误。例如，设反对称关系。于是，。故不是反对称的。(5)错误。例如，设传递关系。于是，，但因为，所以，。8．设和是集合上的二元关系，试证明：（1）；（2）；（3）并举出使时使的实例.分析：（1）本小题根据自反闭包的定义，它一个关系的自反闭包应该包含，然后根据即可证得。（2）本小题根据对称闭包的定义，它一个关系的对称闭包应该包含，然后根据即
6、可证得。（3）由于传递闭包的特殊性，它不满足类似与（1）（2）的情形，所以要进行相对麻烦的证明，主要运用集合的包含关系的证明方法。解：(1)(2)(3)由定义，于是，。下证对任意，有。任取，不妨设。于是，存在使得从而，。举例说明“”成立。设，于是，。9．设和是集合上的二元关系，试证明：（1）；（2）；（3）并请给出时使和的实例.分析：（1）本题主要是根据自反关系的定义得到一个特殊的等式进行变换，只要想到这个等式，下面的工作就比较容易做。（2）本题主要是根据对称关系的定义及定理2.2.6得到如下三个公式：,,，有这三个公式以及集合之间包含关
7、系的证明方法就可得到结论。（3）本小题根据传递闭包的定义及定理2.2.6得有了上面三个等式以及集合之间包含关系证明方法可得结论。解：设是集合上的二元关系。注意到，于是，(1)====(2),,。任取，(i)若则且从而，；(ii)若则即从而，且于是，故。举例说明“”成立。设，于是，，而，因此，。（3）证明：因为又设A={1,2,3},，于是，而，故.10．有人说，“如果集合上的二元关系是对称和传递的，则必是自反的.因此，等价关系定义中的自反性可以去掉”.并给出如下证明，如果，由的对称性有，再由的传递性知，且，即是自反的.你的看法如何?分析：
8、本题主要是没有弄明白对称和传递都是满足一定前提条件的，而自反关系则是中每个元素都必须满足这个条件。解：说法不正确。对任意,对称性并不要求一定有，因此也就不一定有。于是。例如：设,，则是对称和传
