指示函数
indicating function
特性函数
characteristic function
定義
部分集合
$ A\subseteq X
の指示函数
$ \chi_A
$ \chi_A\colon X→ \mathbb B
:
写像
where
$ \mathbb{B}
:
Boole域
$ \chi_A(x) =\begin{cases} \top& x\in A\\\bot&\mathrm{otherwise}\end{cases}
記法について
なんの部分集合なのか明記すべきでは？
$ \chi_A = \lambda x\in X. x \in A
reference.icon
指示関数 - Wikipedia