两个设集合M函数f:A→B是一个满射。则值域{f(a)}=B对于任意b，b∈B至少存在一个a，a∈A使得f(a)=b

设一个有限设集合MA到它自身的满射不一定是双射。既存在函数f：A→A是满射且不是单射至少对于函数f的值域A的某个元素a，有b≠c且都属于函数f的定义域A的两个元素使得f(b)=a=f(c)。[aj]是函数f的值的一个标记它满足：J是一个设集合M，函數g使得函数f的任何值f(x)都有g(f(x))=j（j∈J）是单射，既如果g(f(x1))=g(f(x2))=j则f(x1)=f(x2)，x1未必等于x2标记[aj]，其中a=f(x)j=g(f(x))。任何a∈A在函数f下，f(a)都有标记[aj]对于b和c这种情形的元素，它们的标记是同一个[aj]

在A中存在不被标记的元素，因为f的反函数可以把任何标记[aj]在A找到一个本象a,对于形同f(b)=a=f(c)的只选取其中的一个本象b。那么由本象组成的设集合MA'显然不等于A这是因为，如果A'=A那么c也是一个本象了，既除了f(c)=a=f(b)的那个标记[aj]外还有另外一个标记[ej]使得f(c)=e，并且a≠e可见f不是一个函数。被标记的元素组成的设集合M和设集合MA'已经存在一个一一映射了那么现在可以得到矛盾了：函数f：A→A不是满射。因為A有不被标记的元素假设不成立。证完

4分 （超过74%的文档） 106阅读 0下载 上传 3页