Menge/Indikatorfunktion/Definition

Indikatorfunktion

Es sei ${}M$ eine Menge und ${}T\subseteq M$ eine Teilmenge. Dann nennt man die Abbildung

$e_{T}\colon M\longrightarrow \{0,1\},$

die durch

$e_{T}(x)={\begin{cases}1{\text{ falls }}x\in T\,,\\0{\text{ falls }}x\not \in T\,,\end{cases}}$

definiert ist, die Indikatorfunktion zu ${}T$.