2.5集合笛卡尔乘积.pdf

离散数学 Discrete Mathematics 2.5集合的笛卡尔乘积 张晓西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011110 二重组与序偶二重组与序偶 定义定义2.5-1 定义定义 (1) 两个元素a 、a 组成的序列记作 〈a ,a 〉, 称为二重组或序偶二重组或序偶。 1 2 1 2 二重组或序偶二重组或序偶 a 和a 分别称为二重组 〈a ,a 〉的第一和第二个分量。 1 2 1 2 (2) 两个二重组 〈a,b〉和〈c,d 〉相等当且仅当a=c并且b=d 。 (3) 设a ,a ,…,a 是n个元素, 定义 1 2 n 〈a ,a ,…,a 〉= 〈〈a ,a ,…,a 〉,a 〉为n重组重组, 这里n ＞2 。 1 2 n 1 2 n-1 n 重组重组 2011110 离散数学 2 序偶的性质 (1) 二重组中元素的次序是重要的二重组中元素的次序是重要的。。 二重组中元素的次序是重要的二重组中元素的次序是重要的。。 例如 〈2,3 〉≠ 〈3,2〉, 这一点和集合相等的定义不同, 在集合 中元素的次序是无关紧要的, 例如{2,3}={3,2}。 (2) n重组是一个二重组重组是一个二重组, 其第一分量是其第一分量是n-1重组重组。。 重组是一个二重组重组是一个二重组 其第一分量是其第一分量是 重组重组。。 〈2,3,5 〉代表 〈〈2,3 〉,5〉而不代表 〈2, 〈3,5〉〉, 按定义后 者不是三重组, 并且 〈〈2,3 〉,5〉≠ 〈2, 〈3,5〉〉。 2011110 离散数学 3 (3) 由二重组相等的定义容易推得两个由二重组相等的定义容易推得两个n 重组重组 〈〈a ,a ,…,a 〉和〉和 由二重组相等的定义容易推得两个由二重组相等的定义容易推得两个 重组重组 〈〈 〉〉和和 1 2 n 〈〈b ,b ,…,b 〉相等当且仅当〉相等当且仅当a =b , 1≤i≤n 。。 〈〈 〉〉相等当且仅当相等当且仅当 。。 1 2 n i i 例如, 由二重组相等的定义得 〈〈〈〈a,b 〉〉,c〉〉= 〈〈〈〈d,e〉〉,f 〉当且仅当〉 c=f ∧〈∧ 〈a,b 〉〉= 〈〈d,e〉〉, 〈〈〈〈 〉〉 〉〉 〈〈〈〈 〉〉 〉〉 ∧∧ 〈〈 〉〉 〈〈 〉〉 再由二重组相等的定义得 〈a,b〉= 〈d,e〉当且仅当a=d ∧b=e 。 这样, 〈〈〈〈a,b 〉〉,c〉〉= 〈〈〈〈d,e〉〉,f 〉〉当且仅当a=d ∧∧b=e ∧∧c=f 。 〈〈〈〈 〉〉 〉〉 〈〈〈〈 〉〉 〉〉 ∧∧ ∧∧ 我们通常需要由集合族A 1,A2,…,An 的元素生成的所有n重组, 因而有以下定义。 2011110 离散数学 4 定义定义2.5-2 (1)集合A 和B 的叉积叉积记