# Funzione indicatrice

In matematica, nel campo della teoria degli insiemi, se $A$ è un sottoinsieme dell'insieme $X$, la funzione indicatrice, o funzione caratteristica di $A$ è quella funzione da $X$ all'insieme $\{0,1\}$ che sull'elemento $x\in X$ vale $1$ se $x$ appartiene ad $A$, e vale $0$ in caso contrario.

## Definizione

La funzione indicatrice di un sottoinsieme $A$ di $X$ è una funzione
    $\mathbf {1} _{A}:X\to \lbrace 0,1\rbrace$
definita come
    $\mathbf {1} _{A}(x)=\left\{{\begin{matrix}1&{\mbox{se}}\ x\in A\\0&{\mbox{se}}\ x\notin A\end{matrix}}\right.$
La funzione indicatrice di $A$ è talvolta indicata con $\chi _{A}(x)$ oppure $I_{A}(x).$

## Proprietà fondamentali

La funzione che associa un sottoinsieme $A$ di $X$ alla sua funzione indicatrice $\mathbf {1} _{A}$ è iniettiva; il suo codominio è l'insieme delle funzioni $\mathbf {f} \colon X\to \{0,1\}.$
Se $A$ e $B$ sono due sottoinsiemi di $X,$ allora
    $\mathbf {1} _{A\cap B}=\min\{\mathbf {1} _{A},\mathbf {1} _{B}\}=\mathbf {1} _{A}\mathbf {1} _{B}\qquad {\mbox{e}}\qquad \mathbf {1} _{A\cup B}=\max\{{\mathbf {1} _{A},\mathbf {1} _{B}}\}=\mathbf {1} _{A}+\mathbf {1} _{B}-\mathbf {1} _{A}\mathbf {1} _{B}.$
Più in generale, supponiamo che $A_{1},\ldots ,A_{n}$ sia una collezione di sottoinsiemi di $X.$ Per ogni $x\in X$ si ha che il prodotto
    $\prod _{k=1}^{n}(1-\mathbf {1} _{A_{k}}(x))$
è chiaramente un prodotto di $0$ e $1.$ Questo prodotto ha il valore $1$ proprio in corrispondenza degli $x\in X$ che non appartengono a nessuno degli insiemi $A_{k}$ ed è $0$ altrove. Cioè
    $\prod _{k=1}^{n}(1-\mathbf {1} _{A_{k}})=\mathbf {1} _{X-\bigcup _{k}A_{k}}=1-\mathbf {1} _{\bigcup _{k}A_{k}}.$
Sviluppando il prodotto a destra e a sinistra,
    $\mathbf {1} _{\bigcup _{k}A_{k}}=1-\sum _{F\subseteq \{1,2,\ldots ,n\}}(-1)^{|F|}\mathbf {1} _{\bigcap _{F}A_{k}}=\sum _{\varnothing \neq F\subseteq \{1,2,\ldots ,n\}}(-1)^{|F|+1}\mathbf {1} _{\bigcap _{F}A_{k}}$
Dove $|F|$ è la cardinalità di $F.$ Questa è una delle forme del principio di inclusione-esclusione.
Come suggerito dal precedente esempio, la funzione indicatrice è uno strumento utile nella combinatoria. La notazione è usata in altri casi, ad esempio in teoria della probabilità: se $X$ è uno spazio di probabilità con misura di probabilità $P$ e $A$ è un insieme misurabile, allora $\mathbf {1} _{A}$ diventa una variabile casuale la cui media è uguale alla probabilità di $A:$
    $E(\mathbf {1} _{A})=\int _{X}\mathbf {1} _{A}(x)\,dP=\int _{A}dP=P(A).$
Questa identità è usata in una dimostrazione semplice della disuguaglianza di Markov.
Se $A$ è l'insieme di tutti i numeri positivi di $X$ compreso lo zero se ne è incluso allora si può scrivere
    $\mathbf {1} _{A}(x)=\mathbf {1} _{X^{+}}(x)=\mathrm {sgn} \left(\mathrm {sgn} (x)+1\right).$

## Analisi convessa

In analisi convessa, una branca dell'analisi matematica che studia funzioni e insiemi convessi, spesso con applicazioni alla teoria dell'ottimizzazione, si utilizza un'altra definizione di funzione indicatrice, che si rivela più utile per gli strumenti della disciplina: una funzione indicatrice è qui rappresentata da una $\chi _{A}:X\to \mathbb {R} \cup \{-\infty ,+\infty \}$ tale che
    $\chi _{A}(x):={\begin{cases}0,&x\in A;\\+\infty ,&x\not \in A.\end{cases}}$
Rispetto alla funzione indicatrice prima definita ha questo rapporto:
    $\mathbf {1} _{A}(x)={\frac {1}{1+\chi _{A}(x)}}$
e
    $\chi _{A}(x)=(+\infty )\left(1-\mathbf {1} _{A}(x)\right)$
relazioni valide ponendo per convenzione ${1 \over 0}=+\infty$ e ${1 \over +\infty }=0$.