(1.5.4)--ch3—第二讲离散数学离散数学.pdfVIP

离散数学

DiscreteMathematics

3.4序偶与笛卡尔积

1.序偶

定义.由两个客体x和y按一定顺序排列成的二元组叫作

一个有序对或序偶,记作x,y.

称x为序偶x,y的第一元素,y为序偶x,y的第二元素.

注意

①序偶的次序不能随便调换.当x≠y时,x,y≠y,x.

②序偶x,y允许x＝y,且x和y可以代表不同类型的事物.

定义3-4.1两个序偶相等,x,y=u,v,iffx＝u,y＝v.

序偶的概念可以推广到n元组：

三元组:x,y,z=x,y,z

四元组:x,y,z,w=x,y,z,w

…………

n元组:x,…x=x,…x,x

1n1n-1n

x称为n元组的第i个坐标.

i

两个n元组相等

a，…,a=b，…,b(a=b)∧…∧(a=b)

1n1n11nn

2.笛卡尔积(DescartesProduct)

定义3-4.2设A和B是任意两集合,若序偶的第一成员是

A的元素,第二个成员是B的元素,所有这样的序偶集合称为

A和B的笛卡尔积或直积,记作A×B.符号表示为:

A×B={x,y|xA∧yB}

例1.设A={a,b},B={1,2,3}.试求A×B,B×A,(A×B)∩(B×A).

解.A×B={a,1,a,2,a,3,b,1,b,2，b,3}

B×A={1,a,1,b,2,a,2,b,3,a,3,b}

(A×B)∩(B×A)=

注意:

①一般地说,笛卡尔积运算不满足交换律,即

A×B≠B×A(当A≠∧B≠∧A≠B时)

②若A=或B=,则A×B=

③笛卡尔积运算不满足结合律,即

(A×B)×C≠A×(B×C)(当A≠∧B≠∧C≠时)

(A×B)×C={a,b,c|a,b(A×B)∧cC}

={a,b,c|(aA)∧(bB)∧(cC)}

A×(B×C)={a,b,c|aA∧b,c(B×C)}

故(A×B)×C≠A×(B×C)

笛卡尔积的性质

定理3.4.1设A、B、C是任意的集合,则有

(1)A×(B∪C)＝(A×B)∪(A×C)

(2)A×(B∩C)＝(A×B)∩(A×C)

(3)(A∪B)×C＝(A×C)∪(B×C)

(4)(A∩B)×C＝(A×C)∩(B×C)

定理3.4.2若C≠,则

AB(A×CB×C)(C×AC×B)

定理3.4.3设A,B,C,D为任意四个非空集合,则有如下结论:

ABCD的充分必要条件是AC,BD.

定义推广

A1×A2×A3=(A1×A2)×A3

A1×A2×A3×A4=(A1×A2