关于映射的一些理解与常见命题

写在前面

映射在高中作为一个不需要深入理解的内容，那时候只知道映射是函数的推广。但在大学的数学学习中，映射的概念贯穿了分析、代数等多个学科，下面详细介绍一下映射以及一些关于映射的一些定理。部分内容参考丘维声教授所著《数学的思维方式与创新》一书的引言部分。

一些定义

映射的有关定义

• 设$A$和$B$是两个集合，如果集合$A$到集合$B$存在一个对应法则$f$，使得$A$中每一元素$a$，都有$B$中唯一确定的一个元素$b$与之对应，那么称$f$是集合$A$到集合$B$的一个映射，记作
  $$\begin{array}{rl}f:A& \to B,\\ a& \mapsto b,\\ f(a)& =b,a\in A,\end{array}$$
  其中$b$称为$a$在$f$下的像，$a$称为$b$在$f$下的一个原像。

• 设$f$是集合$A$到集合$B$的一个映射，则把$A$叫做$f$的定义域，把$B$叫做$f$的陪域。

• 一个映射$f:A\to B$由定义域、陪域、对应法则三部分组成。

• 一般地，设$f$是集合$A$到集合$B$的一个映射，称$A$的所有元素在$f$下的像组成的集合称为$f$的值域（像集），记作$f(A)$，即
  f ( A ) : = { f ( a )   ∣   a ∈ A } f(A):=\{f(a)\,|\,a\in A\} f(A):={f(a)∣a∈A}
  易知，$f(A)\subseteq B$，即$f$的值域是$f$陪域的子集。

单射

一般地，设$f$是集合$A$到集合$B$的一个映射，如果$A$中不同元素在$f$下的像不同，那么称$f$是单射。

满射

一般地，设$f$是集合$A$到集合$B$的一个映射，如果$f$的值域$f(A)$与$f$的陪域$B$相等，那么称$f$是满射。

双射

一般地，设$f$是集合$A$到集合$B$的一个映射，如果$f$既是满射又是单射，那么称$f$是双射（或者称$f$是$A$与$B$之间的一个一一对应）。

逆映射

设$f$是集合$A$到集合$B$的一个映射，如果对于$B$中每一个元素$b$，都有$A$中唯一的元素$a$，使得$f(a)=b$，那么把$b$对应到$a$的映射$g$称为$f$的逆映射，并将$g$记作$f^{-1}$，此时称$f$是可逆的。

一点理解

下图直观地展示了单射、满射及双射的区别与联系。

• 首先是关于映射的定义，映射是函数的推广，所以很多性质都与函数类似，只是集合不只是数集而可以是任意集合。映射的定义是两集合间的一个对应关系，这个关系是唯一确定的，也就是说，定义域中的每个元素都能从值域中找到一个元素与之对应，这是映射必须满足的条件，最下面两幅图显然不满足映射定义（左边的未保证$A$中每一个元素都建立对应，右边的未保证在陪域中有唯一确定的一个元素与之对应），因此不是映射。

• 其次是单射与满射的理解，满射可以理解为陪域中每一个元素都是由对应法则作用得到的像，也即像充满了整个陪域，因此显然有$f(A)=B$，或者可以理解为陪域中每一个元素都可以找到一个唯一确定的定义域中的元素与之对应；单射可以理解为不能有重复的定义域元素对应到相同的像上，也即不能有“多对一”的对应关系出现。

• $★$由于单射的定义是“定义域中不同元素在对应法则下的像不同”，所以根据逆否命题亦真，得到：单射$⟺$像相同则其原像也相同，这个命题也需要注意。

• 总之，映射中可以存在“一对一”、“多对一”的对应关系，但是不能出现“一对多”的对应关系，因为这样不能保证定义中的唯一确定的元素与之对应，相当于同一个定义域中元素对应了陪域的多个值，这样会出现歧义。

一些命题与定理

根据上面的定义，可以得出一些有用的结论。

命题1：有限集合间建立双射，两集合元素个数相等

设$A$与$B$都是有限集合，如果存在$A$到$B$的一个双射$f$，那么$A$与$B$的元素个数相等，即$|A|=|B|$。

证明

设集合 A = { a 1 ,   a 2 ,   ⋯   ,   a n } A=\{a_1,\,a_2,\,\cdots,\,a_n\} A={a1​,a2​,⋯,an​}，由于$f$是单射，所以像$f(a_1),f(a_2),\cdots ,f(a_n)$两两均不相等，从而值域为 f ( A ) = { f ( a 1 ) ,   f ( a 2 ) ,   ⋯   ,   f ( a n ) } f(A)=\{f(a_1),\,f(a_2),\,\cdots,\,f(a_n)\} f(A)={f(a1​),f(a2​),⋯,f(an​)}，于是$|f(A)|=n=|A|$。又因为$f$是满射，所以$|B|=|f(A)|$，所以$|A|=|B|$。

命题2：有限集的单射与满射可由元素数相等互相推出

设$A$与$B$都是有限集合，且$|A|=|B|$，$f$是$A$到$B$的一个映射。

1. 若$f$是满射，则$f$必为单射；
2. 若$f$是单射，则$f$必为满射。

证 明

1. 由满射，得到$|f(A)|=|B|$，而$|A|=|B|$，所以$|f(A)|=|A|$，即必须满足各个像均不同才能使像的个数达到$|A|$，因此$f$是单射。
2. 由单射，得到$|f(A)|=|A|$，而$|A|=|B|$，所以$|f(A)|=|B|$，又因为$f(A)\subseteq B$恒成立，于是$f(A)=B$，因此$f$是满射。

定理1：映射是可逆的当且仅当其为双射

映射$f:A\to B$是可逆的充要条件是$f$是双射。

证 明

• 必要性：若映射$f:A\to B$有逆映射$g:B\to A$，那么$f$的值域等于$B$，且$A$中不同元素在$f$下的像不同，因此$f$是双射。

• 充分性：如果$f$是$A$到$B$的双射，显然根据逆映射的定义，有$f$是可逆的。

题外话

• 在这里要说一下，百度百科里“满射”词条关于满射定义的描述有一个小问题，应该为“陪域”而不是“值域”，详细请见满射-百度百科讨论。

• 文中的图形是用Inkscape画的，第一次用，画的有点粗糙了，见谅。