Funkcja charakterystyczna zbioru

Funkcja charakterystyczna zbioru, funkcja wskaźnikowa^[1], indykator zbioru^[1] – niech ${\displaystyle A}$ będzie dowolnym zbiorem, zaś ${\displaystyle B}$ jego podzbiorem, ${\displaystyle B\subseteq A.}$ Funkcją charakterystyczną zbioru ${\displaystyle B}$ nazywa się funkcję rzeczywistą ${\displaystyle f\colon A\longrightarrow \{0,1\}}$ określoną następującym wzorem^[2]:

${\displaystyle f(x):={\begin{cases}1,&{\mbox{gdy }}x\in B,\\0,&{\mbox{gdy }}x\notin B.\end{cases}}}$

Oznaczeniem funkcji charakterystycznej zbioru ${\displaystyle B\subseteq A}$ jest ${\displaystyle \mathbf {1} _{B,A},\ \mathbf {I} _{B,A},\ \chi _{B,A},\ \mathbf {1} _{B},\ \mathbf {I} _{B}}$ bądź ${\displaystyle \chi _{B}.}$

Funkcje charakterystyczne mają zastosowanie w teorii miary i teorii ciągów funkcji mierzalnych^{[potrzebny przypis]}.