空関数

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

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

fA : ∅ → A

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

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

Yが空でないとき,空集合からYへの空写像は単射である.なおYが空であるときは空集合から空集合への空写像となるが,これは全単射である.

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

値域を空集合とする空関数を考えることにより、基数あるいは順序数の冪の意味で00 = 1を示すことが出来る。詳細は0の0乗#集合論による導出を参照。

参考文献[編集]

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