初等数学O 集合论基础 第四节 二元关系、等价类与运算

这一讲的目标是在非空集合上定义关系与运算，我们学过的常见的关系有大小关系、整除关系、同余关系等；常见的运算有四则运算、乘方运算、开方运算等，但这一讲要做的事情是给出关系与运算的更抽象的定义，使在任意集合上定义关系与运算变得可能。

之所以要引入关系与运算是因为前三讲介绍的工具大部分都是处理集合运算的，而能够处理集合元素的工具只有序关系，为了让集合论起更大的作用，我们需要扩充能够处理集合元素的工具箱。

---

在正式引入关系与运算前，我们先介绍一个重要的工具——笛卡尔积(Cartesian Product)。
定义0.13 笛卡尔积（或称为直积）
假设$X,Y$是两个非空集合，定义它们的笛卡尔积为
X × Y = { ( x , y ) : x ∈ X , y ∈ Y } X \times Y = \{(x,y):x \in X,y \in Y\} X×Y={ (x,y):x∈X,y∈Y}

假设 { X i } i = 1 n \{X_i\}_{i=1}^n { Xi​}i=1n​是有限个非空集合，定义它们的笛卡尔积为
∏ i = 1 n X i = { x = ( x 1 , x 2 , ⋯   , x n ) : x i ∈ X i , i = 1 , ⋯   , n } \prod_{i=1}^n X_i = \{x=(x_1,x_2,\cdots,x_n):x_i \in X_i,i=1,\cdots,n\} i=1∏n​Xi​={ x=(x1​,x2​,⋯,xn​):xi​∈Xi​,i=1,⋯,n}

比如$X=Y=\mathbb{R}$，即$X,Y$都是一根数轴，则$X\times Y={\mathbb{R}}^2$，也就是$X\times Y$就成了平面直角坐标系。

评注0.6
i) 集合的笛卡尔积与原集合之间自然就存在一个映射${\pi }_i:{\prod }_{i=1}^n{X}_i\to X_i$，满足
$${\pi }_i(x)=x_i$$

显然这个映射是一个单射，通常我们称这个映射为projection，因为它就是$n$维直角坐标系中的点向第$i$个轴的投影。比如在平面直角坐标系中，
$${\pi }_x((x,y))=x,{\pi }_y((x,y))=y$$

分别表示平面直角坐标系中的点到$x$轴、$y$轴的投影。在数学分析与实分析中，这个映射是非常有用的。

ii）我们回顾一下第三讲选择公理的叙述，一列非空集合的笛卡尔积也是非空集合。对于
∏ i = 1 n X i = { x = ( x 1 , x 2 , ⋯   , x n ) : x i ∈ X i , i = 1 , ⋯   , n } \prod_{i=1}^n X_i = \{x=(x_1,x_2,\cdots,x_n):x_i \in X_i,i=1,\cdots,n\} i=1∏n​Xi​={ x=(x1​,x2​,⋯,xn​):xi​∈Xi​,i=1,⋯,n}

这个集合非空说明至少存在一个 x ∈ ∏ i = 1