指示関数

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

数学において指示関数(しじかんすう、indicator function)、集合の定義関数あるいは特性関数(とくせいかんすう、characteristic function)は、集合の元がその集合の特定の部分集合に属するかどうかを指定することによって定義される関数である。

確率論においては、分布関数のフーリエ変換を「分布の特性関数」と呼ぶため、区別のために「集合の特性関数」を「指示関数」、「分布の特性関数」を単に「特性関数」と読んで区別する傾向が強い。また一般には、「集合の定義関数」を単に「定義関数」と呼ぶことが多いが、これも文脈上の意味が明らかな場合のことである。

定義[編集]

集合 E とその部分集合 A に対して、E の元 xA に属すならば 1 を、さもなくば 0 を返す二値関数

を集合 E における部分集合 A指示関数と呼ぶ。ある集合 E について、その部分集合 A を与えることと、A の指示関数を与えることとは等価である。すなわち、E冪集合 2E と、E 上の指示関数全体のなす集合 Χ(E) との間に

なる全単射が存在する。この意味で部分集合 A は指示関数 χA によって特徴付けられるので、χA を部分集合 A特性関数ともよぶ。また、χA によって部分集合 A が定められるという意味で部分集合 A定義関数ともいう。

A の指示関数をあらわすための記号として

などがしばしば用いられる。

集合演算[編集]

A, B はある特定の集合 U の部分集合とする。部分集合の間の集合演算に関して、U 上の指示関数は

  • 空集合:
  • 全体集合:
  • 非交和:
  • 共通部分:

を満足する。また、これらから

  • 差集合:
  • 和集合:
  • 対称差:
  • 補集合:

などが成り立つことも示される。

積分[編集]

3 次元ユークリッド空間 R3図形 A が(リーマンあるいはルベーグの意味で)体積確定であるというのは、その指示関数 χA は(リーマンあるいはルベーグの意味で)可積分となることであり、積分値

がその集合 A体積である。一般に可測空間 (X, M) (M ⊂ 2X) が与えられたとき、X の部分集合 A がある測度 μ に関する可測集合であるなら、その指示関数 χA の測度 μ に関する積分値

を測度 μ に関する A体積(たいせき、volume)と呼ぶ。

ある集合 X 上の可積分関数 f(x) に対して、X の部分集合 A における f の積分を、しばしば

によって(各積分が定義できる限り)定める。特に、集合 supp(f) を {xX | f(x) ≠ 0} の閉包(f の台とよばれる)とすると

が成り立つ。また、一点集合の指示関数は(適当な条件下で)ディラックのデルタ関数をあらわすと考えられる。実際、一点集合 {x} に対して、その可測集合からなる近傍系 Nx でその共通部分が {x} となるものが存在するとき(たとえば {x} 自身が可測となるとき)

が成立する。χ{x} はしばしば χx と略記される。

その他[編集]

統計学では、この指示関数によってカテゴリデータ(A に属すか属さないか)を 1 か 0 に変換したものをダミー変数 (dummy variable) という。

"Dummy variable"束縛変数のことを指す場合もある。

メンバーシップ関数[編集]

ファジィ集合におけるメンバーシップ関数

メンバーシップ関数は、集合の指示関数をファジィ集合へ拡張したものである。ファジィ論理における「真の度合い」(英語: degree of truth)を表す(真の度合いは確率と混同されるが、概念上別物である)。ある任意の集合 X があるとき、X のメンバーシップ関数は集合 X から区間 [0, 1] の実数値を返す。

関連項目[編集]