北大离散数学05.pptxVIP

会计学1北大离散数学05 2023/1/232有序对与卡氏积有序对(有序二元组)有序三元组, 有序n元组卡氏积卡氏积性质第1页/共61页 2023/1/233有序对(ordered pair)有序对: a,b = { {a}, {a,b} } 其中, a是第一元素, b是第二元素. a,b也记作(a,b)定理1: a,b=c,d ? a=c?b=d推论: a?b ? a,b?b,a第2页/共61页 2023/1/234有序对(引理1)引理1: {x,a}={x,b} ? a=b证明: (?) 显然. (?) 分两种情况.(1) x=a. {x,a}={x,b} ? {a,a}={a,b} ? {a}={a,b} ? a=b.(2) x?a. a?{x,a}={x,b} ? a=b. #第3页/共61页 2023/1/235有序对(引理2)引理2: 若A=B ??, 则 (1) ∪A=∪B (2) ∩A=∩B证明: (1) ?x, x?∪A ? ?z(z?A ? x?z) ? ?z(z?B ? x?z) ? x?∪B.(2) ?x, x?∩A ? ?z( z?A ? x?z ) ? ?z( z?B ? x?z ) ? x?∩B. #第4页/共61页 2023