아이버슨 괄호

아이버슨 괄호 (Iverson Bracket) 는 어떤 명제 $P$에 대하여 다음과 같이 정의합니다.

$$ \left[ P \right] = \begin{cases} 1 & \text{if } P \text{ is true;} \\ 0 & \text{otherwise.} \end{cases} $$

예를 들어, n = 1부터 n = 5까지 더하라는 식은 $\sum_{n = 1}^{5} n$에서 $\sum_{n} n \times \left[1 \leq n \leq 5\right]$라고 쓸 수 있습니다.
램프 함수 $R(x)$를 $R(x)= x [ x > 0 ]$와 같이 정의할 수도 있습니다.
일반적으로 참 & 거짓이 명확한 경우에만 사용하는 편입니다. 무턱대고 [ 리만 가설 은 참이다] 같은 명제를 넣지는 않습니다.