查看“︁空映射”︁的源代码

[[分类:映射]]
{{InfoBox
|name=空映射
|eng_name=empty map
|aliases=空函数,empty functon
}}
'''空映射'''('''empty map''')指对每个[[集合]]，从[[空集]]到这个集合的唯一的[[映射]]。

== 定义 ==

对集合 <math>Y</math> ，映射 <math>f: \varnothing \to Y</math> 是唯一的，称为到 <math>Y</math> 的'''空映射'''('''empty map''')或'''空函数'''('''empty function''')。

注意：部分说法中，映射不接受定义域或陪域出现空集的情况，在这种体系下不接受空映射的存在。

== 性质 ==

空映射的定义域是空集。

空映射总是[[单射]]。

空映射的值域是空集。若 <math>Y = \varnothing</math> ，此时 <math>f: \varnothing \to \varnothing</math> 是[[满射]]。


{{映射}}