Colchetes de Iverson

Em matemática, os colchetes de Iverson, que recebem o nome em honra a Kenneth Iverson, são definidos conforme a seguir:

$[P]={\begin{cases}1;&{\mbox{se }}P{\mbox{ e verdadeiro;}}\\0;&{\mbox{caso contrario.}}\end{cases}}$

onde $P\,$ é uma proposição.

Por exemplo, o delta de Kronecker pode ser escrito em termos de colchetes de Iverson conforme:

$\delta _{ij}=[i=j]\,$

Ver também

• Função indicadora

Ligações externas

• Donald Knuth, "Two Notes on Notation", American Mathematical Monthly, Volume 99, Number 5, May 1992, pp. 403-422. tex PDF https://arxiv.org/abs/math/9205211