笛卡尔积

看到类似定义的东西，就会觉得特别没用；由此导致很多东西未理解。越简单，越基础，越重要。

设A，B为集合，用A中元素为第一元素，B中元素为第二元素构成有序对，所有这样的有序对组成的集合叫做A与B的笛卡尔积，记作AXB。

笛卡尔积的符号化为：

AXB = {(x,y)|x∈A ∧ y∈B }     

离散数学： ∧，称为合取，就是逻辑与    P∧Q   ：当且仅当P与Q同时为真(T)时，结果为真
           ∨，称为析取，就是逻辑或,例如： P∨Q,当且仅当P与Q同时为F时，结果为假，其余全为真。
           ┐ 为逻辑非

例如：A = {a,b}, B = {0,1,2}, 则

AXB = {(a,0),(a,1),(a,2),(b,0),(b,1)(b,2)};

BXA = {(0,a),(0,b),(1,a),(1,b),(2,a),(2,b)};

对任意集合A，根据定义有

AxΦ =Φ , Φ xA=Φ                                   ??

案例

给出三个域：

D1=SUPERVISOR = { 张清玫，刘逸 }

D2=SPECIALITY= {计算机专业，信息专业}

D3=POSTGRADUATE = { 李勇， 刘晨， 王敏}

则D1，D2，D3的笛卡尔积为D：

D=D1×D2×D3 ={(张清玫, 计算机专业, 李勇), (张清玫, 计算机专业, 刘晨),

(张清玫, 计算机专业, 王敏), (张清玫, 信息专业, 李勇),

(张清玫, 信息专业, 刘晨), (张清玫, 信息专业, 王敏),

(刘逸, 计算机专业, 李勇), (刘逸, 计算机专业, 刘晨),

(刘逸, 计算机专业, 王敏), (刘逸, 信息专业, 李勇),

(刘逸, 信息专业, 刘晨), (刘逸, 信息专业, 王敏)} = 2X2X3个

这样就把D1,D2,D3这三个集合中的每个元素加以对应组合，形成庞大的集合群。