集合的笛卡尔积和关系

时间: 2025-07-20 08:01:39

集合的笛卡尔积（Cartesian Product）

1. 定义

给定两个集合 $ A $ 和 $ B $，它们的 笛卡尔积 $ A \times B $ 是所有有序对 $ (a, b) $ 的集合，其中 $ a \in A $，$ b \in B $。即：

$A \times B = \{ (a, b) \mid a \in A, b \in B \}$

推广到 $ n $ 个集合：

$A_1 \times A_2 \times \cdots \times A_n = \{ (a_1, a_2, \ldots, a_n) \mid a_i \in A_i \}$

2. 例子

- 若 $ A = \{1, 2\} $，$ B = \{x, y\} $，则：

$ A \times B = \{ (1, x), (1, y), (2, x), (2, y) \} $

- 实数平面的笛卡尔积：

$ \mathbb{R} \times \mathbb{R} = \mathbb{R}^2 = \{ (x, y) \mid x, y \in \mathbb{R} \} $

3. 性质

- 基数（有限集情形）：

$ |A \times B| = |A| \times |B| $

- 结合律：

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

（有序三元组 $ ((a, b), c) $ 和 $ (a, (b, c)) $ 结构不同，但通常视为等价。）

关系（Relation）

1. 定义

给定集合 $ A $ 和 $ B $，一个 二元关系 $ R $ 是笛卡尔积 $ A \times B $ 的一个子集：

$R \subseteq A \times B$

- 若 $ (a, b) \in R $，记作 $ aRb $ 或 $ R(a, b) $，表示“$ a $ 与 $ b $ 满足关系 $ R $”。

- 当 $ A = B $ 时，称 $ R $ 为 $ A $ 上的关系。

2. 例子

- 等于关系：

$ R = \{ (a, a) \mid a \in A \} \subseteq A \times A $

- 整除关系（$ A = \mathbb{N} $）：

$ R = \{ (a, b) \mid a \text{ 整除 } b \} $

- 图论中的边：

若 $ V $ 是顶点集，则边集 $ E \subseteq V \times V $ 表示顶点间的关系。

3. 关系的性质（$ A $ 上的关系）

设 $ R \subseteq A \times A $：

1. 自反性（Reflexive）：

$ \forall a \in A, \, (a, a) \in R. $

（如“小于等于”关系 $ \leq $ 是自反的。）

2. 对称性（Symmetric）：

$ \forall a, b \in A, \, (a, b) \in R \implies (b, a) \in R. $

（如“朋友关系”是对称的。）

3. 反对称性（Antisymmetric）：

$ \forall a, b \in A, \, (a, b) \in R \land (b, a) \in R \implies a = b. $

（如“整除”关系是反对称的。）

4. 传递性（Transitive）：

$ \forall a, b, c \in A, \, (a, b) \in R \land (b, c) \in R \implies (a, c) \in R. $

（如“祖先关系”是传递的。）

4. 特殊类型的关系

笛卡尔积与关系的联系

- 关系是笛卡尔积的子集：任何关系 $ R $ 均可表示为 $ R \subseteq A \times B $。

- 函数是特殊的关系：函数要求每个输入对应唯一输出（即垂直线测试）。

应用场景

1. 数据库：表的每一行是笛卡尔积的一个元素，关系模型基于集合论。

2. 离散数学：图的邻接矩阵表示顶点间的关系。

3. 逻辑与语言：谓词逻辑中的关系符号（如 $ P(x, y) $ 表示 $ x $ 与 $ y $ 的关系）。

总结

- 笛卡尔积：构造有序对的工具，是定义关系和函数的基础。

- 关系：描述集合元素间的关联，通过自反性、对称性等性质分类（如等价关系、偏序）。

- 函数：关系的特例，强调唯一性和确定性。