映射与集合的可列性

映射

基本概念

给定两个集合$X,Y$，若对于任意的元素$x\in X$，都存在唯一的$y\in Y$与之对应，就称定义了一个从$X$到$Y$的映射，记作

$$f:X\to Y$$

其中$y$称为$x$在映射$f$下的象，记作$f(x)$；$X$称为映射$f$的定义域。

设$A\subset X,B\subset Y$，定义象集$f(A)$和原象集$f^{-1}(B)$：

f ( A ) = { f ( x ) ∈ Y ∣ x ∈ A } f − 1 ( B ) = { x ∈ X ∣ f ( x ) ∈ B } \begin{aligned} f(A)&=\{f(x)\in Y|x\in A\}\\ f^{-1}(B)&=\{x\in X|f(x)\in B\} \end{aligned} f(A)f−1(B)​={f(x)∈Y∣x∈A}={x∈X∣f(x)∈B}​

根据定义，显然有$f(A)\subset Y,f^{-1}(B)\subset X$。

要注意的是$f^{-1}$并不是一个映射。原因是对于$y\in Y$，可能有多个$x\in X$使得$f(x)=y$，此时有$A\subset f^{-1}(f(A))$；也有可能不存在$x\in X$使得$f(x)=y$，此时有$f(f^{-1}(B))\subset B$。

映射由定义域$X$和对应法则$f$确定。若映射$f,g$的定义域相同（记为$A$），且对于任意的$x\in A$，都有$f(x)=g(x)$，则称映射$f,g$相等，记作$f=g$。

映射的分类

对于映射$f:X\to Y$：

• 若$f(X)\subset Y$，则称$f$是内射。

• 若$f(X)=Y$，则称$f$是满射或全射。

• 若对于任意的$y\in f(X)$，$f^{-1}(y)$是单点集，则称$f$是单射。

  “$f$是单射”有两个等价描述，常用来证明一个映射是单射：

  • 若对任意的$x_1,x_2\in X$，$x_1\ne x_2$，则$f(x_1)\ne f(x_2)$。
  • 若对任意的$x_1,x_2\in X$，$f(x_1)=f(x_2)$，则$x_1=x_2$。

• 若$f$既是单射又是满射，则称$f$是一一映射或双射。

设$f:X\to Y$是一个一一映射，则可以通过“若$x\mapsto y$，则$y\mapsto x$”的方法作出其逆映射

$$f^{-1}:Y\to X$$

映射$f^{-1}$也是一一映射，且其逆映射$(f^{-1}{)}^{-1}:X\to Y$与$f:X\to Y$一致。

映射的复合

设映射$f:X\to Y,g:Y\to Z$，且$g$定义在$f$的值域上，则可用

$$(g\circ f)(x):=g(f(x))$$

确定$X$上的一个新映射$g\circ f:X\to Z$，该映射称为映射$f$与映射$g$的复合。

复合映射一般不满足交换律，因为交换后定义域可能不同。

复合映射满足结合律，即设$f:X\to Y,g:Y\to Z,h:Z\to W$，则

$$h\circ (g\circ f)=(h\circ g)\circ f$$

事实上，对任意的$x\in X$，有

$$\begin{array}{rl}(h\circ (g\circ f))(x)& =h((g\circ f)(x))=h(g(f(x)))\\ & =(h\circ g)(f(x))=((h\circ g)\circ f)(x)\end{array}$$

例1： 设映射$f:X\to Y,g:Y\to Z$，求证：

（1）若$g\circ f$是单射，则$f$是单射；
（2）若$g\circ f$是满射，则$g$是满射。

证明：

若对任意的$x_1,x_2\in X$，$f(x_1)=f(x_2)$，则$g(f(x_1))=g(f(x_2))$。由于$g\circ f$是单射，所以$x_1=x_2$，即$f$是单射。

由于$g\circ f$是满射，所以对任意的$z\in Z$，存在$x\in X,g(f(x))=z$，也即有$y=f(x)$，使得$g(y)=z$，所以$g$是满射。

例2： 设映射$f:X\to Y,g:Y\to X$，${\text{id}}_X$表示恒等映射¹，求证：

（1）若$g\circ f={\text{id}}_X$，则$f$是单射，$g$是满射；
（2）若$g\circ f={\text{id}}_X,f\circ g={\text{id}}_Y$，则$f,g$是一一映射，且$f^{-1}=g,g^{-1}=f$。

证明：

因为$g\circ f$是单射，所以$f$是单射；因为$g\circ f$是满射，所以$g$是满射。

由$g\circ f={\text{id}}_X$可知$f$是单射，$g$是满射；由$f\circ g={\text{id}}_Y$可知$g$是单射，$f$是满射。所以$f,g$是一一映射。

对任意的$x\in X$，有

$$g(f(x))={\text{id}}_X(x)=x=g(g^{-1}(x))$$

由于$g$是单射，所以$f(x)=g^{-1}(x)$，即$f=g^{-1}$。

同理，对任意的$y\in Y$，有

$$f(g(y))={\text{id}}_Y(y)=y=f(f^{-1}(y))$$

由于$f$是单射，所以$g(y)=f^{-1}(y)$，即$g=f^{-1}$。

等势集

定义

给定集合$A,B$，如果存在从$A$到$B$的一一映射，则称集合$A,B$等势，也称$A,B$是等势集，记作$A\sim B$。

两个有限集合等势，当且仅当两个集合元素个数相等。

空集只与空集本身等势。

性质

• 等势具有自反性，即$A\sim A$。
• 等势具有对称性，即若$A\sim B$，则$B\sim A$。
• 等势具有传递性，即若$A\sim B,B\sim C$，则$A\sim C$。

例1： 自然数集与整数集等势。

证明： 可以用自然数集中的奇数对应整数集中的负数，用自然数集中的偶数对应整数集中的非负数。

$$\begin{array}{rrrrrrr}0& 1& 2& 3& 4& 5& \dots \\ 0& -1& 1& -2& 2& -3& \dots \end{array}$$

据此构造一一映射$f:\mathbb{N}\to \mathbb{Z}$，其中

$$f(n)=\{\begin{array}{ll}k& n=2k\\ -(k+1)& n=2k+1\end{array},k\in \mathbb{N}$$

例2： 任意两个实闭区间$[a,b]$和$[c,d]$等势。

证明： 如图，对于$x\in [a,b]$，存在$y\in [c,d]$与之一一对应。其中$\frac{x-a}{y-c}=\frac{a-b}{c-d}$，解得$y=\frac{c-d}{a-b}(x-a)+c$。

据此构造一一映射$f:[a,b]\to [c,d]$，其中

$$f(x)=\frac{c-d}{a-b}(x-a)+c,x\in [a,b]$$

例3： 区间$(0,1)$与实数集$\mathbb{R}$等势。

证明： 如图，对于$x\in (0,1)$，存在$y\in \mathbb{R}$与之一一对应。不难得到$\theta =\pi x$，则$-y=\cot \theta =\cot \pi x$，即$y=-\cot \pi x$。

据此构造一一映射$f:(0,1)\to \mathbb{R}$，其中

$$f(x)=-\cot \pi x,x\in (0,1)$$

可列集

定义

与自然数集等势的集合称为可列集或可数集。

换言之，如果无限集合$A$中的元素可以按照一定次序排成一列并标上序号，

$$a_1,a_2,a_3,\dots ,a_n,\dots$$

那么集合$A$就为可列集。

由于整数集与自然数集等势（见前文），所以整数集是可列集。

性质

根据可列集的定义，不难发现如下性质：

• 有限个可列集的并集是可列集。

  既然每个可列集中的元素可以排成一个序列，那么并集中的元素就是这有限个序列组成的一个新的序列，所以并集可列。

• 可列个可列集的并集是可列集。

  既然每个可列集中的元素可以排成一个序列，可列个可列集也可以排成一个序列，并集中的元素自然能够排成一个序列，所以并集可列。

• 可列集的无限子集是可列集。

  一个无限的序列中任意抽出无限个元素，也一定能排成一个序列。

例1： 有理数集是可列集。

证明： 有理数可以写成分数的形式。对于分数$\frac{a}{b}$，若满足$a+b=n$，则所有这样的分数可以排成一列：

$$\frac{1}{n-1},\frac{2}{n-2},\frac{3}{n-3},\dots ,\frac{n-2}{2},\frac{n-1}{1}$$

对于$n⩾2$，这些分数可以全部排列成

$$\frac{1}{1},\frac{1}{2},\frac{2}{1},\frac{1}{3},\frac{2}{2},\frac{3}{1},\frac{1}{4},\frac{2}{3},\frac{3}{2},\frac{4}{1},\frac{1}{5},\frac{2}{4},\frac{3}{3},\frac{4}{2},\frac{5}{1},\dots$$

其中会有重复的元素（例如$\frac{1}{1}$和$\frac{2}{2}$），除去其中重复的元素，得到的仍然是一个无限序列：

$$\frac{1}{1},\frac{1}{2},\frac{2}{1},\frac{1}{3},\frac{3}{1},\frac{1}{4},\frac{2}{3},\frac{3}{2},\frac{4}{1},\frac{1}{5},\frac{5}{1},\dots$$

所以有理数可以全部排成一列，即有理数集可列。

例2： 区间$(0,1)$上的实数不可列。

证明： 假设$(0,1)$上的实数可列，则可以排列成

$$\begin{array}{l}0.a_{11}{a}_{12}{a}_{13}{a}_{14}{a}_{15}\dots \\ 0.a_{21}{a}_{22}{a}_{23}{a}_{24}{a}_{25}\dots \\ 0.a_{31}{a}_{32}{a}_{33}{a}_{34}{a}_{35}\dots \\ 0.a_{41}{a}_{42}{a}_{43}{a}_{44}{a}_{45}\dots \\ ⋮\end{array}$$

取$(0,1)$内的一个实数$b=0.b_1{b}_2{b}_3{b}_4{b}_5\dots$，使得$b_1\ne a_{11},b_2\ne a_{22},\dots ,b_n\ne a_{nn},\dots$。这样，数$b$与序列中的每一个数都至少有一位不同，即数$b$不在序列中，矛盾。所以$(0,1)$上的实数不可列。

例3： 实数集不可列。

证明： 假设实数集可列，由于$(0,1)$与实数集等势（见前文），则$(0,1)$可列，矛盾，所以实数集不可列。

例4： 无理数集不可列。

证明： 假设无理数集可列，由于有理数集可列，则有理数集与无理数集的并集可列，即实数集可列，矛盾。所以无理数集不可列。

另外，代数数集可列，超越数集不可列。

---

1. 恒等映射${\text{id}}_X:X\to X$满足对任意的$x\in X$，${\text{id}}_X(x)=x$。恒等映射是一一映射。 ↩︎