アイバーソンの記法
アイバーソン括弧（英語: Iverson bracket）は、数式中の命題（論理式）P を、真なら 1、偽なら 0 を返す関数として扱うための記法である。数学における指示関数（特性関数）を、式変形に使いやすい形で表す目的で用いられる。ケネス・アイバーソンにちなんで名づけられた。[1][2]
一般に命題 P に対して と定義し、角括弧（[ ]）に命題を入れて表す。[1][2]
![{\displaystyle [P]={\begin{cases}1&(P\ {\text{が真}})\\0&(P\ {\text{が偽}})\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb29d9608d317838483162be3da63892cb529b9c)
なお「アイバーソン記法」という語は、アイバーソンが開発した言語であるAPL（あるいは Iverson language）を指す文脈でも用いられるため、用語の混同に注意が必要である。[3]
概要
[編集]アイバーソン括弧は、命題を 0/1 値の関数として扱うことで、和・積・条件付きの式を「添字の条件を取り払った形」で表しやすくする。たとえば、条件付きの総和 を、無条件の総和に直して と書ける。[1]
![{\displaystyle \sum _{k}f(k)\,[P(k)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5204e3f8b874376a7138f871027447d74cc20a57)
また、クロネッカーのデルタはアイバーソン括弧で と表せ、特性関数・デルタ記号を同一の枠組みで扱える。[1][2]
![{\displaystyle \delta _{ij}=[i=j]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00437977e804acd257190c85c9bd6276d778cb75)
表記と定義
[編集]角括弧の利用と注意点
[編集]この記法は角括弧（[ ]）を用いることが多いが、角括弧は他の用途（例えば床関数の表記など）に使われることもあるため、同一文脈での混同が起きないよう配慮が必要である。[2]
指示関数との関係
[編集]集合 の指示関数 は と書ける。つまり、アイバーソン括弧は命題（または集合への所属）を 0/1 値に写す指示関数を、式操作に適した形で表したものとみなせる。[1][2]
![{\displaystyle \mathbf {1} _{A}(x)=[x\in A]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3dc361e55203c0358e9e336852ca855841e0843)
歴史
[編集]名称はケネス・アイバーソンに由来し、プログラミング言語・記法の設計を通じて広められたとされる。[2] その後、離散数学や計算機科学の数学的基礎を扱う文脈で有用性が強調され、ドナルド・クヌースは「命題を 0/1 の関数として書く」記法として、特性関数やクロネッカーのデルタを明快に扱える点を論じた。[1]
性質
[編集]アイバーソン括弧の基本的な計算規則は、論理や集合演算の規則と対応する。命題 P、Q に対して以下が成り立つ。[1]
- 論理演算との対応
![{\displaystyle [P\land Q]=[P][Q],\qquad [\neg P]=1-[P],\qquad [P\lor Q]=[P]+[Q]-[P][Q].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b6063fb84e3497e2c8b1a01e25c76a63564890f)
- 集合演算との対応（ を任意の元とする）
![{\displaystyle [x\in A\cap B]=[x\in A][x\in B].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afea6d677282ce54bd0ecb0b5164c108d0d8c0dd)
さらに、量化（全称・存在）や個数（基数）も、積・和で表せる。
- 全称量化（有限集合上の積として）
![{\displaystyle [\forall m\in M\,.\,P(m)]=\prod _{m\in M}[P(m)].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d86649d040e2d6061d9dead1a0a06dd43e5fd952)
- 存在量化（有限集合上の和として）
![{\displaystyle [\exists m\in M\,.\,P(m)]=\min {\Bigl (}1,\sum _{m\in M}[P(m)]{\Bigr )}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0de423a52e20a35766edb0c8308d68cfc84dd9f7)
- 条件を満たす元の個数
![{\displaystyle \#\{m\in M\mid P(m)\}=\sum _{m\in M}[P(m)].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95c1abedc04fe15fcc0ed665b54347c33330b7fb)
応用
[編集]条件付き総和の変形
[編集]添字に条件が付いた総和を、無条件の総和に置き換える操作は、離散数学・確率論・計算機科学で頻用される。[1] たとえば、区間条件 を用いた和は のように表せる（右辺では が範囲外で 0 となる）。
![{\displaystyle \sum _{k=a}^{b}f(k)=\sum _{k}f(k)\,[a\leq k\leq b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b0608cd3e29f3f7ef32037ed247d9683261385a)
![{\displaystyle [a\leq k\leq b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/912991a913422ee86a9a8992aaf6aa2debabd25b)
クロネッカーのデルタ・選択の表現
[編集]と書けることから、式中の「一致した場合だけ寄与する」条件を統一的に表せる。[1][2] 例えば、有限集合 上で は「 成分の選択」を意味し、アイバーソン括弧を用いると と表現できる。
![{\displaystyle \sum _{i\in I}a_{i}\,[i=j]=a_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94afd0a8673e6dd2017f51e4e15983ba1f4e11a6)
床・天井関数の議論における利用
[編集]クヌースらの教科書では、床・天井関数の性質を扱う際にもアイバーソン括弧を用いた等式が登場し、「真偽によって 0/1 を返す」関数として式を完結させる用法が示されている。[4]
脚注
[編集]- 1 2 3 4 5 6 7 8 9 Knuth, Donald E. (1992). “Two notes on notation”. The American Mathematical Monthly 99 (5): 403–422.
- 1 2 3 4 5 6 7 Weisstein, Eric W.. “Iverson Bracket”. MathWorld—A Wolfram Resource. Wolfram Research. 2026年3月6日閲覧。
- ↑ 所真理雄「IVERSON 言語 (A Programming Language)」『情報処理』14巻3号、196頁（1973年）。“IVERSON 言語 (A Programming Language)”. 情報学広場（情報処理学会電子図書館）. 2026年3月6日閲覧。
- ↑ “Concrete Mathematics: A Foundation for Computer Science (sample pages)”. Pearson/ Addison-Wesley. 2026年3月6日閲覧。
参考文献
[編集]- Knuth, Donald E. (1992). “Two notes on notation”. The American Mathematical Monthly 99 (5): 403–422.
- Weisstein, Eric W.. “Iverson Bracket”. MathWorld—A Wolfram Resource. Wolfram Research. 2026年3月6日閲覧。
- 所真理雄「IVERSON 言語 (A Programming Language)」『情報処理』14巻3号、196頁（1973年）。“IVERSON 言語 (A Programming Language)”. 情報学広場（情報処理学会電子図書館）. 2026年3月6日閲覧。
- “Concrete Mathematics: A Foundation for Computer Science (sample pages)”. Pearson/ Addison-Wesley. 2026年3月6日閲覧。