指示関数

テンプレート:出典の明記 数学において指示関数（しじかんすう、テンプレート:Lang-en-short）、集合の定義関数、特性関数（とくせいかんすう、テンプレート:Lang-en-short）は、集合の元がその集合の特定の部分集合に属するかどうかを指定することによって定義される関数である。

定義

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

${\chi }_A:E\to \{1,0\};x\mapsto {\chi }_A(x):=\{\begin{array}{cc}1& \text{ if }x\in A,\\ 0& \text{ if }x\notin A\end{array}$

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

$\chi :2^E\to \mathrm{X}(E);A\mapsto {\chi }_A$

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

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

${\chi }_A(x),{\mathrm{Ch}}_A(x),I_A(x),1_A(x),11_A(x),1_A(x)$

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

集合演算

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

• 空集合: ${\chi }_{\mathrm{\varnothing }}=0,$
• 全体集合: ${\chi }_U=1,$
• 非交和: ${\chi }_{A\bigsqcup B}={\chi }_A+{\chi }_B,$
• 共通部分: ${\chi }_{A\cap B}={\chi }_A{\chi }_B=\min \{{\chi }_A,{\chi }_B\}$

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

• 差集合: ${\chi }_{A\setminus B}={\chi }_A-{\chi }_A{\chi }_B,$
• 和集合: ${\chi }_{A\cup B}={\chi }_A+{\chi }_B-{\chi }_{A\cap B}={\chi }_A+{\chi }_B-{\chi }_A{\chi }_B=\max \{{\chi }_A,{\chi }_B\},$
• 対称差: ${\chi }_{A\mathrm{△}B}={\chi }_{A\setminus B}+{\chi }_{B\setminus A}={\chi }_A+{\chi }_B-2{\chi }_A{\chi }_B,$
• 補集合: ${\chi }_{A^c}={\chi }_{U\setminus A}=1-{\chi }_A$

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

積分

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

$m(A):=\underset{{ℝ}^3}{\int }{\chi }_A(x)dx$

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

${\mathrm{vol}}_{\mu }(A)=\mu (A):=\underset{X}{\int }{\chi }_A(\xi )d\mu (\xi )$

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

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

$\underset{A}{\int }f{|}_A(\xi )d\xi :=\underset{X}{\int }{\chi }_A(\xi )f(\xi )d\xi$

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

$\underset{X}{\int }f(\xi )d\xi =\underset{\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}(f)}{\int }f{|}_{\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}(f)}(\xi )d\xi$

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

$\underset{N\in {𝐍}_x}{\inf }{\chi }_N={\chi }_{\{x\}},$

$\underset{X}{\int }{\chi }_{\{x\}}(\xi )f(\xi )d\xi :=\underset{N\in {𝐍}_x}{\inf }\underset{X}{\int }{\chi }_N(\xi )f(\xi )d\xi =f(x)\mathrm{v}\mathrm{o}\mathrm{l}(\{x\})$

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

その他

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

メンバーシップ関数

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

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

関連項目

• 集合
• 部分集合
• 冪集合
• ブール値関数