【集合论】卡氏积 ( 卡氏积概念 | 卡氏积示例 | 卡氏积性质 | 非交换性 | 非结合性 | 分配律 | 有序对为空 | n 维卡氏积 | n 维卡氏积个数 | n维卡氏积性质 )

前置博客 : 【集合论】有序对 ( 有序对 | 有序三元组 | 有序 n 元祖 )

一、 卡氏积

---

卡氏积 : $A,B$ 是两个集合 , 由 $A$ 集合中的元素作为第一个元素 , 由 $B$ 集合中的元素作为第二个元素 , 符合上述条件的有序对组成的集合 , 称为集合 $A$ 与 $B$ 的卡氏积 ;

记作 : $A\times B$

符号化表示 : A × B = { < x , y > ∣ x ∈ A ∧ y ∈ B } A \times B = \{ <x, y> | x \in A \land y \in B \} A×B={<x,y>∣x∈A∧y∈B}

集合 $A$ 与 集合 $B$ 的 卡氏积 是一个 新的集合 , 这个新集合是一个 有序对集合 ;

二、 卡氏积示例

---

集合 A = { ∅ , a } A = \{ \varnothing , a \} A={∅,a} , 集合 B = { 1 , 2 , 3 } B = \{ 1, 2, 3 \} B={1,2,3}

A × B = { < ∅ , 1 > , < ∅ , 2 > , < ∅ , 3 > , < a , 1 > , < a , 2 > , < a , 3 > } A \times B = \{ <\varnothing , 1> , <\varnothing , 2>, <\varnothing , 3>, <a, 1> , <a, 2> , <a , 3> \} A×B={<∅,1>,<∅,2>,<∅,3>,<a,1>,<a,2>,<a,3>}

每个有序对 第一个元素来自 $A$ 集合 , 第二个元素来自 $B$ 集合 ;

B × A = { < 1 , ∅ > , < 2 , ∅ > , < 3 , ∅ > , < 1 , a > , < 2 , a > , < 3 , a > } B \times A = \{ <1, \varnothing > , <2, \varnothing >, <3 , \varnothing >, <1, a> , <2, a> , <3, a> \} B×A={<1,∅>,<2,∅>,<3,∅>,<1,a>,<2,a>,<3,a>}

每个有序对第一个元素来自 $B$ 集合 , 第二个元素来自 $A$ 集合 ;

A × A = { < ∅ , ∅ > , < ∅ , a > , < a , ∅ > , < a , a > } A \times A = \{< \varnothing, \varnothing> , <\varnothing, a> , <a, \varnothing> , <a, a> \} A×A={<∅,∅>,<∅,a>,<a,∅>,<a,a>}

每个有序对第一个元素来自 $A$ 集合 , 第二个元素来自 $A$ 集合 ;

B × B = { < 1 , 1 > , < 1 , 2 > , < 1 , 3 > , < 2 , 1 > , < 2 , 2 > , < 2 , 3 > , < 3 , 1 > , < 3 , 2 > , < 3 , 3 > } B \times B = \{ <1, 1> , <1, 2> , <1, 3> , <2, 1> , <2, 2> , <2,3> , <3,1> , <3,2> , <3,3> \} B×B={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<2,3>,<3,1>,<3,2>,<3,3>}

每个有序对第一个元素来自 $B$ 集合 , 第二个元素来自 $B$ 集合 ;

三、 卡氏积性质

---

1. 非交换性

$A\times B\ne B\times A$

有三种特殊情况 , 交换性成立

① $A=B$

② $A=\varnothing$

③ $B=\varnothing$

2. 非结合性

$(A\times B)\times C\ne A\times (B\times C)$

有三种特殊情况 , 结合性成立

① $A=\varnothing$

② $B=\varnothing$

③ $C=\varnothing$

3. 分配率

$A\times (B\cup C)=(A\times B)\cup (A\times C)$

4. 有序对为空的情况

$A\times B=\varnothing \iff A=\varnothing \vee B=\varnothing$

四、 n 维卡氏积

---

n 维卡氏积 :

A 1 × A 2 × ⋯ × A n = { < x 1 , x 2 , ⋯   , x n > ∣ x 1 ∈ A 1 ∧ x 2 ∈ A 2 ∧ ⋯ ∧ x n ∈ A n } A_1 \times A_2 \times \cdots \times A_n = \{ <x_1 , x_2, \cdots , x_n> | x_1 \in A_1 \land x_2 \in A_2 \land \cdots \land x_n \in A_n \} A1​×A2​×⋯×An​={<x1​,x2​,⋯,xn​>∣x1​∈A1​∧x2​∈A2​∧⋯∧xn​∈An​}

$n$ 个集合的卡氏积 , $n$ 维卡氏积结果 , 每个有序对有 $n$ 个元素 , 每个元素都分别 按照指定顺序 来自这 $n$ 个集合 ;

$A^n=\begin{array}{c}\underbrace{A\times A\times \cdots \times A}\\ n个\end{array}$

这是 $n$ 个 集合 $A$ 的 $n$ 维卡氏积 ;

五、 n 维卡氏积个数

---

$n$ 维卡氏积个数 :

$|A_i|=n_i,i=1,2,\cdots ,n$

$\Rightarrow$

$|A_1\times A_2\times \cdots \times A_n|=n_1\times n_2\times \cdots \times n_n$

$|A_i|=n_i$ , $i=1,2,\cdots ,n$ : 表示 第 $i$ 个集合 $A_i$ 的元素个数是 $n_i$ ;

$|A_1\times A_2\times \cdots \times A_n|$ : 表示 $n$ 个集合的卡氏积结果集合个数 ;

$n_1\times n_2\times \cdots \times n_n$ : $n$ 个集合的卡氏积结果 ;

六、 n 维卡氏积性质

---

n 维卡氏积性质 : 与 $2$ 维卡氏积性质类似