511
个编辑
更改
映射
，无编辑摘要
{{IMSS}}
设X,Y为集合，如果存在一个法则f，使得在法则f下，对X中的每个元素x，在Y中有唯一的一个元素y与x对应，则称f为X到Y的映射，记为Y为[[集合]]，如果存在一个法则f，使得在法则f下，对X中的每个元素x，在Y中有唯一的一个元素y与x对应，则称f为X到Y的映射，记为
<math>f:X\rightarrow Y</math>
==定义==
===双射===
f既是满射又是单射（一一对应）
==有穷集合间的映射==
设X,Y为集，|X|=m，|Y|=n
<math>f:X\rightarrow Y</math>
# f是单射,m≤n
# f是满射,m≥n
# f是双射,m=n
# |{f|f:X→X}|= m!
# |{f|f:X→Y}|=Y<sup>X</sup>=n<sup>m</sup>
# |{f|f:X→Y,f是单射}|=<math>C^n_m\cdot n!</math>
# |{f|f:X→Y,f是满射}|=<math>C^1_n(n-1)!</math>