前置博客 : 【集合论】有序对 ( 有序对 | 有序三元组 | 有序 n 元祖 )
卡氏积 :
是两个集合 , 由
集合中的元素作为第一个元素 , 由
集合中的元素作为第二个元素 , 符合上述条件的有序对组成的集合 , 称为集合
与
的卡氏积 ;
记作 :
符号化表示 :
集合
与 集合
的 卡氏积 是一个 新的集合 , 这个新集合是一个 有序对集合 ;
集合
, 集合
每个有序对 第一个元素来自
集合 , 第二个元素来自
集合 ;
每个有序对第一个元素来自
集合 , 第二个元素来自
集合 ;
每个有序对第一个元素来自
集合 , 第二个元素来自
集合 ;
每个有序对第一个元素来自
集合 , 第二个元素来自
集合 ;
1. 非交换性
有三种特殊情况 , 交换性成立
①
②
③
2. 非结合性
有三种特殊情况 , 结合性成立
①
②
③
3. 分配率
4. 有序对为空的情况
n 维卡氏积 :
个集合的卡氏积 ,
维卡氏积结果 , 每个有序对有
个元素 , 每个元素都分别 按照指定顺序 来自这
个集合 ;
这是
个 集合
的
维卡氏积 ;
维卡氏积个数 :
,
: 表示 第
个集合
的元素个数是
;
: 表示
个集合的卡氏积结果集合个数 ;
:
个集合的卡氏积结果 ;
n 维卡氏积性质 : 与
维卡氏积性质类似