看到类似定义的东西,就会觉得特别没用;由此导致很多东西未理解。越简单,越基础,越重要。
设A,B为集合,用A中元素为第一元素,B中元素为第二元素构成有序对,所有这样的有序对组成的集合叫做A与B的笛卡尔积,记作AXB。
笛卡尔积的符号化为:
AXB = {(x,y)|x∈A ∧ y∈B }
离散数学: ∧,称为合取,就是逻辑与 P∧Q :当且仅当P与Q同时为真(T)时,结果为真例如:A = {a,b}, B = {0,1,2}, 则∨,称为析取,就是逻辑或,例如: P∨Q,当且仅当P与Q同时为F时,结果为假,其余全为真。 ┐ 为逻辑非
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= {计算机专业,信息专业}
则D1,D2,D3的笛卡尔积为D:
D=D1×D2×D3 ={(张清玫, 计算机专业, 李勇), (张清玫, 计算机专业, 刘晨),
(张清玫, 计算机专业, 王敏), (张清玫, 信息专业, 李勇),
(张清玫, 信息专业, 刘晨), (张清玫, 信息专业, 王敏),
(刘逸, 计算机专业, 李勇), (刘逸, 计算机专业, 刘晨),
(刘逸, 计算机专业, 王敏), (刘逸, 信息专业, 李勇),
(刘逸, 信息专业, 刘晨), (刘逸, 信息专业, 王敏)} = 2X2X3个
这样就把D1,D2,D3这三个集合中的每个元素加以对应组合,形成庞大的集合群。