mathchap离散数学二元关系.ppt

庄伯金 bjzhuang@bupt.edu.cn * 商集与集合的划分 定义：设R为非空集合A上的等价关系，以R的所有等价类为元素的集合称为A关于R的商集，记作A/R，即A/R={[x]|x∈A}。 定义：设A为非空集合，若A的子集族?满足： ???； ?x?y(x,y ∈?∧x≠y→x∩y=?)； ∪?=A。 则称?为A的一个划分，称?中的元素为A的划分块。 商集A/R是A的一个划分。 商集与集合的划分 定理：对于集合A的任何一个划分，存在A上的一个等价关系R，使得该划分为A关于R的商集A/R。反之亦然。 庄伯金 bjzhuang@bupt.edu.cn * 庄伯金 bjzhuang@bupt.edu.cn * 偏序关系 定义：设R为非空集合A上的一个关系，若R具有自反性、反对称性和传递性，则称R为A上的偏序关系，记作?。如果x,y∈?，则称x小于或等于y。 定义：设R为非空集合A上的偏序关系，定义 ?x,y∈A，x?y?x?y∧x≠y； ?x,y∈A，x与y可比?x?y∨y?x。 定义：集合A和A上的偏序关系?一起叫做偏序集，记作(A,?)。 定义：设R为非空集合A上的偏序关系，如果?x,y∈A，x与y都是可比的，则称R为A上的全序关系（或线序关系）。 庄伯金 bjzhuang@bupt.edu.cn * 偏序图的表示 哈斯图 排序：若x?y，将x放在y的下方； 连线：?x,y∈A，如果x?y，且不存在z，使得x?z?y，则将x和y连线。 例：偏序集({1,2,3,4,5,6,7,8,9},整除) 庄伯金 bjzhuang@bupt.edu.cn * 偏序集中的特殊元素 定义：设(A,?)为偏序集，B?A，y∈B， 若?x(x∈B→y?x)，则称y为B的最小元； 若?x(x∈B→x?y)，则称y为B的最大元； 若?x(x∈B∧x?y→x=y)，则称y为B的极小元； 若?x(x∈B∧y?x→x=y)，则称y为B的极大元。 定义：设(A,?)为偏序集， B?A，y∈A， 若?x(x∈B→x?y)，则称y为B的上界； 若?x(x∈B→y?x)，则称y为B的下界； 令C={y|y为B的上界}，则C的最小元为B的上确界； 令D={y|y为B的下界}，则D的最大元为B的下确界。 偏序集中的特殊元素 例：设A={1,2,3,4,5,6,7,8,9,10,11,12,…,24}，集合A上的偏序关系为整除关系，B={2,3,4,6,9} 庄伯金 bjzhuang@bupt.edu.cn * 庄伯金 bjzhuang@bupt.edu.cn * 函数的概念 定义：设任意两非空集合A和B，F为A到B上的关系，若?x∈A，都存在唯一的y∈B，使得x,y∈F，则称F为A到B的函数或映射，记作F：A→B。 若x,y∈F，可记作y=F(x)，称x为自变量，y为F在x上的函数值。 函数是关系，所以函数是集合。 函数F=G?F?G∧G?F 所有从A到B的函数记作BA={F|F: A→B}，读作B上A。 庄伯金 bjzhuang@bupt.edu.cn * 函数的概念 定义：设函数F: A→B 若?x1,x2∈A，且x1≠x2，都有F(x1)≠F(x2)，则称F为A到B的单射； 若ranF=B，则称F为A到B的满射； 若F既是单射又是满射，则称F为A到B的双射，或一一对应函数。 庄伯金 bjzhuang@bupt.edu.cn * 常用函数 常值函数：函数F: A→B，对?x∈A，存在一固定元素c∈B，满足F(x)=c； 恒等函数：IA={x,x|x∈A}； 单调函数：函数F: A→B， ?x1,x2∈A，若x1x2时 F(x1)≤F(x2)，则称F为单调递增函数； F(x1)≥F(x2)，则称F为单调递减函数； 特征函数：任意集合A’?A，函数XA’:A→{0,1}，若x∈A’，则F(x)=1，否则，F(x)=0； 自然映射：设R为A上的等价关系，函数G:A→A/R，G(x)=[x]。 庄伯金 bjzhuang@bupt.edu.cn * 函数的运算 复合函数：设函数F与G，满足： dom(G°F)={x|x∈domF∧F(x)∈domG}； ?x∈dom(G°F)，G°F(x)=G(F(x))。 则称G°F为G对F的复合函数。 反函数：若函数F的逆关系也是函数，则称为F的反函数，记为F-1。 定理：设函数F: A→B为双射，则其逆关系F-1仍为函数，且是从B到A的双射。 庄伯金 bjzhuang@bupt.edu.cn * 练习 设集合A={1,2,3,4,5}，找出A上的等价关系R，使得R能产生划分{{1,2},{3},{4,5}}，并画出关系图。 设R是一个二元关系，S={a,b|?c(a,c∈R∧c,b∈R)}。证明：若R是等价关系，则S也是等价关