离散数学（复习集合论).pptVIP

计算机学院*计算机学院**计算机学院*第三、四、五章一、基本概念幂集、笛卡尔集、关系、n元关系、空关系、二元关系、全关系、关系矩阵；关系的交、并、补、差、复合、幂、逆；自反闭包、对称闭包、传递闭包；等价关系、以m为模的同余关系、等价类、偏序关系、偏序集、偏序集的哈斯图、最大元、最小元、极大元、极小元、上界、下界、最小上界、最大下界、全序关系、良序关系、良序集*计算机学院*二、基本要求1、熟练掌握关系的性质和运算2、熟练掌握偏序关系的哈斯图的画法以及由哈斯图给出相应的偏序关系3、熟练掌握求偏序集中子集的最大元、最小元、极大元、极小元、上界、下界、最小上界、最大下界的方法4、熟练掌握利用关系的性质和定义进行证明*计算机学院*第六章一、基本概念复合函数、单射、满射、双射、置换、单位(恒等)置换、循环、逆函数，等势，可数集，不可数集二、基本要求1、熟练掌握判断函数是否为单射、满射、双射的方法题型1：幂集1.令A=｛1，｛2，3｝｝，求2A2A={?,{1},{{2,3}},{1，{2，3}}}*计算机学院*题型2：关系运算1.设A＝{2，3，4｝，B＝{1，2，4｝。考虑从A到B的“大于等于”关系R和“小于等于”关系S：R＝{2,1,2,2,3,1,3,2,4,1, 4,2,4,4}，S＝{2,2,2,4,3,4,4,4｝。求出R?S、R?S、R-S、R?S、、S-1。解：R?S={2,2,4,4｝R?S={2,1,2,2,3,1,3,2,4,1, 4,2,2,4,3,4,4,4｝*计算机学院*R-S={2,1,3,1,3,2,4,1,4,2}R?S={2,2,2,4,3,2,3,4, 4,2,4,4｝={2,4,3,4｝S-1={2,2,4,2,4,3,4,4｝题型2：关系运算*计算机学院*题型3：证明等价关系设R是集合A上的一个传递关系和自反关系，S是A上的一个关系，使得对任意a,b∈A，a,b∈S当且仅当a,b∈R且b,a∈R，试证明S是A上的一个等价关系。证明：1）对任意a∈A，因R是自反的，所以a,a∈R。由a,a∈R并且a,a∈R，有a,a∈S，即S是自反的。2）对任意a,b∈A，若a,b∈S，则由已知条件有a,b∈R并且b,a∈R，即有b,a∈R并且a,b∈R，所以，b,a∈S，即S是对称的。*计算机学院*3）对任意a,b,c∈A，若a,b∈S，b,c∈S，则由已知条件有：a,b∈R并且b,a∈R和b,c∈R并且c,b∈R。所以，由a,b∈R并且b,c∈R，有a,c∈R；由c,b∈R并且b,a∈R，有c,a∈R；由：a,c∈R并且c,a∈R，有a,c∈S，即S是传递的。由1),2),3)知，S是A上的一个等价关系。■*计算机学院*题型4：关系图关系矩阵关系的闭包 1.设集合A＝{a,b,c},R＝{a,b,b,b,b,c}是定义在A上的二元关系，求r(R),s(R),t(R),并画出R，r(R),s(R),t(R)的关系图和求出相应的关系矩阵。解：r(R)＝{a,b,b,b,b,c,a,a,c,c}；s(R)＝{a,b,b,b,b,c,b,a,c,b}；t(R)＝{a,b,b,b,b,c,a,c}。*计算机学院**计算机学院*题型5：哈斯图+特殊元素解：最大元：无；最小元：x5；设A＝{x1,x2,x3,x4,x5},A上定义偏序集A,≤的哈斯图如下，求B＝{x3,x4,x5}的最大(小)元、极大(小)元、上(下)界、最小上界、最大下界。极大元：x3,x4；极小元：x5；上界：x1,x2；下界：x5；最小上界：无；最大下界：x5。x5x3x4x1x2题型5：哈斯图+特殊元素计算机学院