集合论第二课关系的概念、性质与运算综述.ppt

第二课 关系的概念、性质与运算;引言;形式化和非形式化的描述;2.1 二元关系;;2.1 二元关系;;2.1 二元关系;;;2.1 二元关系;2.2 关系的性质;定义2.4 称二元关系R是传递的，当且仅当对任意a, b, c，若aRb且bRc，则aRc。 定义的核心是一个推论命题： “若aRb且bRc，则aRc” ， 其中“aRb且bRc”是前提，aRc”是结论。“若…则…”表示从前提到结论的推论关系。这类命题的准确涵义是什么？ 请判断以下推论命题是不是真的。 i：若32，则3+12+1 ii：若雪是白的，则太阳从东方升起 iii: 若水被加热到100℃，则其会沸腾 （标准大气压） 命题iii为真是毫无异议的。下面就从它入手对推论命题进行分析。 ;若水被加热到100℃，则其会沸腾 因果推论：前提和结论之间有内在的因果关系 在形式上（只考虑前提和结论的真假而非内容）有明显特点： 水被加热到100 ℃时（前提真），必然会沸腾（结论真），推论为真。 水没被加热到100 ℃时（前提假），并不妨害“若水被加热到100 ℃ ，则其会沸腾”的正确性，因此推论也为真。 概括为性质P：或者前提为假，或者前提为真且结论为真 这是一个可以形式地检验的性质：任给一“若A则B”推论，先检查A的真假，为假时，已经符合P，为真时，再检查B的真假，若也为真，则符合P，否则不符合。 形式推论：符合性质P的推论。非形式推论：前提真，并且结论假因果推论必为形式推论，非形式推论必非因果推论 数学中使用的“推论”，都是形式推论，而未必是因果推论 只要前提为真，从形式推论得出的结果一定为真，如从雪是白的推出太阳东升，结果没有错。至于这样的推论是否有意义，要靠人来把握。 没有人会从假命题出发进行任何严肃的推论，因此“若32，则3+12+1”这样的形式推论是无害的。;设A={1,2,3}，R是A上的二元关系，判断如下R是否具有传递性： R={1,3,3,2,1,2} R={1,2,2,3} R={1,2} R= ? 设A是你家的男孩集合，R是A上的兄弟关系，判断如下情形时R是否具有传递性： 你家共有三个男孩：你哥、你、你弟 你家共有两个男孩：你哥、你 你家只有一个男孩：你 以下关系是否传递？父子关系、朋友关系、整数不等关系。;;以正难则反思想理解关系传递性;;2.2 关系的性质;;;以正难则反思想理解关系反对称;应用逆否定义判断关系的反对称性 前述例7： 自然数集N上的关系，是反对称的 用正面定义： 是反对称的 当且仅当 任取a,b? N，若ab且ba，必有a=b。 由于不可能有ab且ba的情况，似乎难以根据正面定义来判断。怎么办？ 正难则反！ 逆否定义：是反对称的 当且仅当 任取a,b? N，若a?b ，必有ab或ba。由此就可以很明确地得出结论： 是反对称的！ ;;2.2 关系的性质;;2.2 关系的性质;2 .3 关系的运算;2 .3 关系的运算——逆运算;2 .3 关系的运算;证明方法;证明两个关系相等;; 2 .3 关系的运算;2 .3 关系的运算——复合运算;2 .3 关系的运算;2 .3 关系的运算——幂运算;;;归纳证明的思想 / 思维过程;2 .4 关系的闭包;2 .5 关系的闭包;;;;;2 .5 关系的闭包;;;;;;;;;;;2 .5 关系的闭包;;;;;第2次作业;第2次作业