Colchetes de Iverson

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

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

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

Predefinição:Mínimo sobre