【梳理】离散数学 第7章 二元关系 7.1 有序对与笛卡尔积 7.2 二元关系

教材：《离散数学》第2版 屈婉玲 耿素云 张立昂 高等教育出版社
源文档高清截图在最后

第7章 二元关系

7.1 有序对与笛卡尔积

1、由两个元素x、y（可以相同）有序排列成的二元组称为有序对或有序偶，记作<x，y>，x和y分别称作它的第一元素、第二元素。有序对<w, x>和<y, z>相等的充分必要条件是：w = y且x = z。这个性质是二元集{x, y}不具备的，因为有序对中的元素有序而集合中的元素无序。

2、设集合A、B。分别用A和B的一个元素作第一、第二元素构成有序对，所有这样的有序对的集合称为A和B的笛卡尔积，记作A×B。其符号化表示为：{<x, y> | x∈A且y∈B}。易证：若|A| = m，|B| = n，则|AB| = mn。

3、笛卡尔积的性质：
【1】由定义，设集合A，则A×∅ = ∅，∅×A = ∅。
【2】笛卡尔积一般不满足交换律，即A×B≠B×A（当A、B≠∅且A≠B）。
【3】笛卡尔积一般不满足结合律，即(A×B)×C≠A×(B×C)（当A、B、C≠∅）
【4】笛卡尔积运算×对并∪和交∩满足分配律，即：
A×(B∪C) = (A×B)∪(A×C)
(B∪C)×A = (B×A)∪(C×A)
A×(B∩C) = (A×B)∩(A×C)
(B∩C)×A = (B×A)∩(C×A)
这里只证明第一式。
证明 任取<x, y>。