空関数
空関数(くうかんすう、英: empty function)、あるいは空写像とは、数学における関数(写像)の一種で、定義域が空集合の関数をいう。任意の集合 A について、A を終域とする空関数
∅ A: ∅ → A
は必ずちょうど1つ存在する。
空関数のグラフ(あるいは空間数そのもの)は、直積集合 ∅×A の部分集合である。∅×Aは空なので、その部分集合も空集合 ∅ である。ここで定義域 ∅ に属する全ての x に対して、(x, y) ∈ ∅ となるような値域 A 内の y が一意に定まるので、 空集合∅は空関数のグラフ(あるいは空関数そのもの)である。実際には「定義域にはどんな x も存在しない」ので、これは空虚な真の一例である。
空関数が定数関数の定義に含まれるかどうかを気にすることは少なく、その場その場で便利なように定義することが多い。しかし場合によっては空関数を定数関数の一種と考えない方がよく、値域を用いた定義が望ましい場合もある。これは、1を素数に含めないとか、空の位相空間を連結空間に含めないとか、自明群を単純群に含めないといったことと同列の考え方である。
空関数は単射であり、とくに終域 A も空集合のときは全単射である。
任意の集合 A について唯一の空関数が存在するということは、空集合が集合の圏の始対象 (initial object) であることを意味する。
値域を空集合とする空関数を考えることにより、基数あるいは順序数の冪の意味で 0 = 1 を示すことが出来る。詳細は0の0乗#集合論による導出を参照。