空関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

空関数: empty function)、あるいは空写像とは、数学における関数写像)の一種で、定義域が空集合の関数をいう。任意の集合 A について、以下のような空関数が必ずちょうど1つ存在する。

fA : ∅ → A

空関数のグラフは、直積集合 ∅×A部分集合である。直積は空なので、その部分集合も空集合 ∅ である。定義域 ∅ に属する全ての x に対して、(x,y) ∈ ∅ となるような値域 A 内の y が一意に定まるので、空部分集合は妥当なグラフである。実際には「定義域にはどんな x も存在しない」ので、これは空虚な真英語版の一例である。

空関数が定数関数の定義に含まれるかどうかを気にすることは少なく、その場その場で便利なように定義することが多い。しかし場合によっては空関数を定数関数の一種と考えない方がよく、値域を用いた定義が望ましい場合もある。これは、1素数に含めないとか、空の位相空間連結空間に含めないとか、自明単純群に含めないといったことと同列の考え方である。

任意の集合 A について唯一の空関数が存在するということは、空集合が集合の圏始対象 (initial object) であることを意味する。

参考文献[編集]

  • Herrlich, Horst and Strecker, George E.; Category Theory, Allen and Bacon, Inc. Boston (1973).