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

文章目录

• ​​写在前面​​
• ​​一些定义​​

• ​​映射的有关定义​​
• ​​单射​​
• ​​满射​​
• ​​双射​​
• ​​逆映射​​

• ​​一点理解​​
• ​​一些命题与定理​​

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

• ​​证明​​

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

• ​​证 明​​

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

• ​​证 明​​

• ​​题外话​​

写在前面

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

一些定义

映射的有关定义

• 设和是两个集合，如果集合到集合存在一个对应法则，使得中每一元素，都有中唯一确定的一个元素与之对应，那么称是集合到集合的一个映射，记作
  
  其中称为在下的像，称为在下的一个原像。
• 设是集合到集合的一个映射，则把叫做的定义域，把叫做的陪域。
• 一个映射由定义域、陪域、对应法则三部分组成。
• 一般地，设是集合到集合的一个映射，称的所有元素在下的像组成的集合称为的值域（像集），记作，即
  
  易知，，即的值域是陪域的子集。

单射

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

满射

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

双射

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

逆映射

设是集合到集合的一个映射，如果对于中每一个元素，都有中唯一的元素，使得，那么把对应到的映射称为的逆映射，并将记作，此时称是可逆的。

一点理解

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

• 首先是关于映射的定义，映射是函数的推广，所以很多性质都与函数类似，只是集合不只是数集而可以是任意集合。映射的定义是两集合间的一个对应关系，这个关系是唯一确定的，也就是说，定义域中的每个元素都能从值域中找到一个元素与之对应，这是映射必须满足的条件，最下面两幅图显然不满足映射定义（左边的未保证中每一个元素都建立对应，右边的未保证在陪域中有唯一确定的一个元素与之对应），因此不是映射。
• 其次是单射与满射的理解，满射可以理解为陪域中每一个元素都是由对应法则作用得到的像，也即像充满了整个陪域，因此显然有，或者可以理解为陪域中每一个元素都可以找到一个唯一确定的定义域中的元素与之对应；单射可以理解为不能有重复的定义域元素对应到相同的像上，也即不能有“多对一”的对应关系出现。
• 由于单射的定义是“定义域中不同元素在对应法则下的像不同”，所以根据逆否命题亦真，得到：单射像相同则其原像也相同，这个命题也需要注意。
• 总之，映射中可以存在“一对一”、“多对一”的对应关系，但是不能出现“一对多”的对应关系，因为这样不能保证定义中的唯一确定的元素与之对应，相当于同一个定义域中元素对应了陪域的多个值，这样会出现歧义。

一些命题与定理

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

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

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

证明

设集合，由于是单射，所以像两两均不相等，从而值域为，于是。又因为是满射，所以，所以。

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

设与都是有限集合，且，是到的一个映射。

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

证 明

1. 由满射，得到，而，所以，即必须满足各个像均不同才能使像的个数达到，因此是单射。
2. 由单射，得到，而，所以，又因为恒成立，于是，因此是满射。

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

映射是可逆的充要条件是是双射。

证 明

• 必要性：若映射有逆映射，那么的值域等于，且中不同元素在下的像不同，因此是双射。
• 充分性：如果是到的双射，显然根据逆映射的定义，有是可逆的。

题外话

• 在这里要说一下，百度百科里“满射”词条关于满射定义的描述有一个小问题，应该为“陪域”而不是“值域”，详细请见​​满射-百度百科讨论​​。
• 文中的图形是用Inkscape画的，第一次用，画的有点粗糙了，见谅。