【离散数学】映射的有关概念

【映射】任意给定两个非空集合A和B，若存在对应法则f，使得对于任意均存在唯一的与之对应，则称f是集合A到集合B的一个映射，若A和B均是数集，那么就称映射f是一个从A到B上的函数。其中A称为映射的定义域，记作，B称为映射的值域，记作。

请反复阅读上面关于映射的概念，本节内容将围绕映射和函数的概念展开。

映射的概念中强调几个关键词：非空集合、任意、唯一。

非空集合：表示映射的定义域不可以为空，值域也不可以为空，同时不存在空集与空集之间的映射关系。类比于C语言中的情景：

void MyFunc(void)//该种情况在离散数学中不存在
{
    //函数体内容
}

任意：表示定义域中的元素可以不被完全取到，值域也一样。

唯一：表示定义域和值域的之间元素的关系必须是元素一一对应，不可以存在一对多的情况。

下面介绍映射中的几种特殊映射：

【单射】假设