結合法則
![]() | この項目では、数学について説明しています。プログラミング言語については「演算子の結合性(英語版)」をご覧ください。 |
数学における結合性(けつごうせい、英: associative property[1],associativity)は、一部の二項演算がもつ性質である。演算が結合的であるための必要十分条件を結合法則(けつごうほうそく、英: associative law; 結合律、結合則)という。命題論理において、結合則(結合規則)は形式的証明における式に対する妥当(英語版)な置換規則(英語版)のひとつに挙げられる。
同一式にて同じ結合的演算が複数回現れる場合、それらの演算を施す順番は、被演算子の順序を変えない限り、結果に影響しない。つまり、(必要ならば中置記法と括弧を使った式に書き換えて)括弧の位置を入れ替えても、式の値は変わらない。例えば、
を例にとると、各行とも左辺と中辺で括弧の位置が変わっている(そして被演算子の現れる位置は変わっていない)けれども、その値である右辺は変わりないことを述べている。このような関係式は、被演算子を任意の実数とする加法や乗法を計算する限りにおいて満足されるから、それを「実数の加法および乗法は結合的(演算)である」とか、「実数の加法および乗法は(実数全体の成す集合上で)結合法則を満足する」などと言い表す。
結合性は、「二つの被演算子の現れる位置を入れ替えても結果が変わらない」ことを意味する可換則とは異なる。例えば、実数の乗法が可換演算であるのは、実数の乗法において被演算子の順番を変えてもよいこと—つまり a × b = b × a—が満足されることによる。
結合的演算は数学において遍く存在する。事実として、多くの代数的構造(例えば半群や圏)では、それらの持つ二項演算が結合的であることを明示的に要請される。
とはいえ、重要で意義のある非結合的演算もたくさん存在する。例えば減法、冪演算、ベクトルの交叉積などはそうである。
定義
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/80/Semigroup_associative.svg/220px-Semigroup_associative.svg.png)
厳密に、集合 S 上で定義された二項演算 ∗ が結合的であるとは、結合法則 を満足するときに言う。ここで、∗ は考えたい演算(それを一般に「乗法」や「積」と呼んだりする[注釈 1])を表す記号(演算子)であって、これは別にどのような記号が用いられてもよいし、あまつさえ「乗法」を表す記号のない併置 (juxtaposition) 記法で と書くこともある。
結合法則を函数記法で表すこともでき、その場合は のようになる。
一般化された結合法則
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/46/Tamari_lattice.svg/250px-Tamari_lattice.svg.png)
二項演算が結合的ならば、その演算が反復して適用されるとき、その式においてきちんと(開きと閉じが)対になる括弧がどのように挿入されるかを気にすることなく、その演算結果が同じであることがわかる[2]。そのことを一般化された結合法則 (generalized associative law) と言う。実例として、四つの元の積を、それらの因子の順番を変えることなく書き下せば、五種類の異なる計算順序が考えられる:
が、これらの積を得る演算が結合的ならば、一般化された結合法則の述べるに従い、これらすべてが同じ値の積であることが結論される。となれば(これらの式から括弧をすべて取り払った式に既に別の意味が施されているのでない限り)この積において括弧は「不要」のものと考えることができて、この積を紛れの虞なく と書くことができる。
このような繰り返しの積において、因子となる元の数が増えるにしたがって、釣り合いのとれた括弧の挿入の仕方の総数は急速に増加するけれども、演算が結合的ならばそれらの区別もやはり必要がなくなる。
結合的だからといって単純に括弧を取り去ってはいけない例として、双条件(英語版) ↔ を挙げよう。↔ は結合的であって A ↔ (B ↔ C) は (A ↔ B) ↔ C に同値であるが、A ↔ B ↔ C はふつうは A ↔ B かつ B ↔ C の意味であって先のふたつとは同値でない。
例
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2e/Associativity_of_binary_operations_%28without_question_marks%29.svg/220px-Associativity_of_binary_operations_%28without_question_marks%29.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f6/Associativity_of_real_number_addition.svg/220px-Associativity_of_real_number_addition.svg.png)
結合的演算の例をいくつか挙げる:
- 文字列結合。3つの文字列 "a"、"b"、"c" を繋げる際、先の2つを繋いで "ab" を得てから、その末尾に3つめの "c" を繋ぐと、"abc" となる。一方で、後の2つを繋いで "bc" を得てから、その先頭に1つめの "a" を繋いでも、同じく "abc" となる。そのため、文字列結合は結合的である。なお、可換ではない。
- 複素数同士の乗法。グループ化を表す括弧は、曖昧さを生まずに除去できる。
- 右自明演算 (必ず の値を返す)、および左自明演算 ∘ (必ず の値を返す)。どちらも可換ではない。
- 八元数の加法。なお、乗法は結合的でない。
- 最大公約数をとる演算。
- 最小公倍数をとる演算。
- 集合の交叉および合併:
- 少し一般に、四つの集合 M, N, P, Q とそれらの間の写像 h: M → N, g: N → P, f: P → Q についてやはり が成り立つ。要するに写像の合成は常に結合的である。
- 三元集合 {A, B, C} に演算を以下の乗積表に従って定めたものは結合的である(かつ可換でない):
× | A | B | C |
---|---|---|---|
A | A | A | A |
B | A | B | C |
C | A | A | A |
命題論理
演繹の推論規則 |
---|
命題計算 |
モーダスポネンス |
述語計算 |
存在例化 |
![]() |
|
結合規則
標準的な真理函数的命題論理において、結合則 (association[4][5], associativity[6]) は二つの妥当(英語版)な置換規則(英語版)を言う。それは、論理学的証明における論理式に現れる括弧の位置を動かしてもよい規則を述べるもので、論理結合子を用いて書けば
のふたつである。ただし、"" はメタ論理(英語版)の記号(英語版)で、「形式的証明において置換してよい」ことを表す。
論理演算の結合性
真理函数的命題論理における真理函数の結合子のいくつかは結合性 (associativity) を持つ。以下の論理同値(英語版)(これらは真理函数的恒真式である)は結合性が特定の結合子の持つ性質であることを示している [7]:
- 選言の結合性
- 連言の結合性
- 論理同値の結合性
接合否定 (joint denial) は結合的でない真理函数結合子の例である。
非結合的演算
集合 S 上の二項演算 ∗ が結合法則を満足しない—記号で書けば —となるとき、非結合的 (non-associative) である、必ずしも結合的でないなどという。
そのような演算では、計算順序は結果に影響する。非結合演算の例として
などがある。あるいは無限和もまた一般には非結合的である。例えば:
非結合的構造の研究は、古典代数学の主流からはいくらか異なった理由から生じてくるものである。非結合多元環の領域にあってすでに一大分野へと発展したリー代数の理論では、結合法則の代わりにヤコビ恒等式が採用される。リー代数は無限小変換(英語版)の本質的な特質を抽象化するものであり、数学に遍在するものとなった。
既に深く調べられているほかの特定種類の非結合的構造もあり、それらは何らかの特定の応用から、あるいは組合せ論のような分野から生じたものである。その他の例は、Quasigroup(英語版)、準体(英語版)、非結合的環、非結合的多元環、可換(非結合的)マグマ(英語版)など。
非結合的演算の記法
非結合的演算が一つの式の中で複数回現れるときには、評価の順を指し示すために括弧を挿入することは(例えば 2/3/4 のように、ほかの方法で順番を指定する記法を用いているのでない限り)一般には不可避である。とはいえ、いくつかのよく用いられる非結合的演算については、特定の順番に評価することにして括弧の使用を回避する簡便記法が、受け入れられている。
左結合 (left-associative) 演算とは、規約として左から右に評価する—式で書けば を意味する—演算を言う。同様に右結合 (right-associative) 演算は、右から左に評価するものと約束する: 左結合演算も右結合演算もどちらも生じ得る。左結合演算の例:
右結合演算の例:
- 実数の冪(上付き添字記法の場合): 冪演算は、反復的な左結合冪演算にあまり需要がない(左からの繰り返しの冪は、冪指数の乗法を使って と書き直せる)ため、括弧が付かない場合にはふつう右結合的とする。
- 正しく組まれている限り、上付き添字それ自体に括弧で括るのと本質的に同じ効果が期待できる。例えば 2x+3 という式では右肩の和の計算が冪をとるよりも先に行われ、それは括弧で括って 2(x+3) と明示的に書いたときに期待される計算順序になっている。それゆえ、xyz のような式が与えられたときは、底 x に対する全体の冪指数 yz がまず計算されるのは必定である。とはいえ、手書きする場合などは特にそうだが、文脈によっては (これらを、陽に括弧を付けて書けば、順に )の判別が難しいこともある。そういった場合には、ふつう右結合性が暗黙に用いられている。
- 写像の合成(図式順): これらの演算の右結合記法は、カリー–ハワード対応およびカリー化同型に動機づけられる。
評価順について特定の規約がない演算の例:
- 実数の冪演算(中置記法の場合):[13]
- クヌースの矢印記法:
- ベクトルの交叉積(ベクトル三重積):
- 実数の対ごとの算術平均:
- 集合の差: は と一致しない(論理学における否定論理包含(英語版)の場合と比較せよ)。
プログラミング言語
中置記法を採用しているプログラミング言語においては、任意の演算子について数学で言うところの結合法則が成り立たないことを仮定して、その式の意味をどういった順序で、値を演算子により結合させたものとするかについて、それぞれの言語にそれぞれ法則がある。「演算子の優先順位」(英: Operator precedence) と「演算子の結合性(英語版)」(英: Operator associativity) と言う。
なお、優先順位と結合性は値の扱いに関する規則であって、式の評価の順序に関する規則ではないことに注意が必要である。評価順は優先順位と結合性に直感的に従っていることもあれば、従っていないこともある。言語仕様としては決められていないこともある(評価順と関連するものとして、短絡評価がある。短絡評価のためには評価順が決まっている必要があるため、一般に演算子の左辺と右辺の評価順を決めていないC言語だが、短絡評価される演算子については決まっている。Javaは仕様で全て決めている。Adaでは両辺を評価する演算子と短絡評価の演算子とが用意されている。)。
優先順位と結合性は、仕様上の表現としては構文規則の一部として決まっているものが多い(たいていは便利さのために別表にまとめられている。yaccのように通常の規則とは別建てで定義できるものもある)。ここでは例として、四則演算を主に挙げるが、他の演算子についても規則は同様にある。
優先順位
(ここでの前提である、中置記法を採用している)たいていのプログラミング言語の四則演算の演算子において、加減算より乗除算のほうが優先順位が高い、としているものが多い。
すなわち a * b + c は (a * b) + c という意味であり、a - b / c は a - (b / c) という意味である。
多くの演算子を持ち、その数に応じて多くの優先順位を定めているC言語のような言語もあれば、ほとんど優先順位が無く、次節で説明する結合性のみで、どんな演算も左から右、あるいは右から左(たとえばAPL)といったように決めている言語もある。
結合性
(前節と同様、中置記法を採用している)たいていのプログラミング言語の四則演算の演算子において、加算と減算、乗算と除算のそれぞれの間には優先順位に差が無い。加減算の連続、たとえば a + b - c + d - e というような式は、左から順に (((a + b) - c) + d) - e という意味となる。このような結合を"左結合" (英: left-associative)、あるいは"左から右" (英: left to right) と言う。逆が"右結合"(英: right-associative)、あるいは"右から左" (英: right to left) である。
右結合の例としては、C系の言語に特徴的な代入演算子 = は右結合である。a = b = 1; という式文における式は a = (b = 1) という意味であり b = 1 という代入演算子による式の値は 1 なので、それが a に(も)代入され、結果として a と b に 1 が代入される。
冪乗の演算子として ** や ^ がある言語があるが、数学の記法では と のように、左を先にしたい場合に括弧が要るので、右結合すなわち a**b**c は a**(b**c) という意味であるとしたほうが数学の記法とは一致するが(たとえばRubyでは ** は右結合である(オブジェクトの種類等によるものではなく、構文上の規則である))、VBのように算術演算は全て左結合としているため冪乗の ^ も左結合[14]、という言語もある。
非結合(non-associative)は、右結合でも左結合でもない、たとえば比較演算子 < のように、a < b < c の意味が (a < b) < c でも a < (b < c) でもない、というような演算子の結合性である(C言語では左結合として解釈し、比較結果の真理値を整数0か1として、次の比較を行うという通常は意図しない意味を持ってしまう。Pythonのように a < b < c と書いて、意図した通りの意味になる言語もある)。加算や乗算のみの演算のような順序によらない演算には順序を定めない、という言語も考えられるが、あまり見られない(算術と違いコンピュータ上の計算ではオーバーフロー等のために、真に順序によらない計算は実はあまりない、という事情もある)。
関連項目
- ライトの結合性判定法(英語版)
- 畳み込み級数: 級数の中間項が打ち消しあうには加法の結合性が必要
- 半群: 結合的二項演算を持つ集合
- 可換性・分配性: 結合性と同様に、二項演算にしばしば期待されるよい性質
- 冪結合性(英語版)・交代性(英語版)・柔軟性(英語版)・多項結合性(英語版): 弱い形の結合性
- モーファンク恒等式(英語版)からも弱い形の結合性が出る
注
注釈
出典
- ^ Hungerford, Thomas W. (1974). Algebra (1st ed.). Springer. p. 24. ISBN 978-0387905181. "Definition 1.1 (i) a(bc) = (ab)c for all a, b, c in G."
- ^ Durbin, John R. (1992). Modern Algebra: an Introduction (3rd ed.). New York: Wiley. p. 78. ISBN 978-0-471-51001-7. http://www.wiley.com/WileyCDA/WileyTitle/productCd-EHEP000258.html. "If are elements of a set with an associative operation, then the product is unambiguous; this is, the same element will be obtained regardless of how parentheses are inserted in the product"
- ^ “Matrix product associativity”. Khan Academy. 5 June 2016閲覧。
- ^ Moore and Parker[要文献特定詳細情報]
- ^ Copi and Cohen[要文献特定詳細情報]
- ^ Hurley[要文献特定詳細情報]
- ^ [1]
- ^ George Mark Bergman: Order of arithmetic operations
- ^ Education Place: The Order of Operations
- ^ Khan Academy: The Order of Operations, timestamp 5m40s
- ^ Virginia Department of Education: Using Order of Operations and Exploring Properties, section 9
- ^ Bronstein: de:Taschenbuch der Mathematik, pages 115-120, chapter: 2.4.1.1, ISBN 978-3-8085-5673-3
- ^ Exponentiation Associativity and Standard Math Notation Codeplea. 23 Aug 2016. Retrieved 20 Sep 2016.
- ^ http://msdn.microsoft.com/en-us/library/vstudio/zh100ckf.aspx
外部リンク
- Weisstein, Eric W. "Associative". mathworld.wolfram.com (英語).
- associativity in nLab
- associative - PlanetMath.(英語)
- Definition:Associative Operation at ProofWiki
- Category:Definitions/Associativity at ProofWiki
- Ivanova, O.A.; Smirnov, D.M. (2001), “Associativity”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Associativity