結合法則

出典: フリー百科事典『ウィキペディア（Wikipedia）』

数学、殊に代数学における結合法則（けつごうほうそく、associative low）、結合則、結合律あるいは演算の結合性（けつごうせい、associativity）は二項演算に対して考えられる性質の一つ。ひとつの数式中で演算が一度よりも多く行われるとき、その演算を評価する順番に関わらず結果が同じになるような演算は結合的 (associative) であるといわれる。

[編集] 定義

集合 S に二項演算 · が定義されているとき、

$a \cdot (b \cdot c) = (a \cdot b) \cdot c$

が S の任意の元 a, b, c について成り立てば、この二項演算は結合的である、あるいは結合法則を満たすという。

実数や複素数に関する足し算やかけ算は結合法則を満たしている。
引き算や割り算はそうではない。
ベクトルや行列の和と積は結合法則を満たす。
3次元数ベクトル空間に関するベクトル積は結合法則を満たさない。

[編集] 一般結合律

結合法則の成立は、複数回の演算を行う場合にその意味を発揮する。実際、n ≥ 3 として、n 個の元 a₁, a₂, ..., a_n の（この順番での）積

$a_1 * a_2 * \cdots * a_n$

を考えるとき、n − 1 回行われる積 "*" の評価を（演算が意味を持つ限り）どういう順番で指定するかによって式の意味が異なるために、どの意味であるかを考える必要が生じる。たとえば n = 3 なら

$(a_1 * a_2) * a_3,\ a_1 *(a_2 * a_3)$

の二通り、n = 4 とすれば

$((a_1 * a_2) * a_3) * a_4,\ (a_1 * (a_2 * a_3)) * a_4,\ a_1 * ((a_2 * a_3) * a_4),$

$a_1 * (a_2 * (a_3 * a_4)),\ (a_1 * a_2) * (a_3 * a_4)$

などである。ここで演算が結合法則を満たすことが保証されているならば、そのどの意味にとっても（元の順番を変えない限りは）式の評価（演算の結果）が変わらないことを確認することができる。これを一般化された結合法則、一般結合律と呼ぶこともある。また、一般結合律が成立するならば、演算の順序を省略して

$a_1 * a_2 * \cdots * a_n$

という式を考えることに意味があるということもできる。

[編集] 結合代数系

結合法則を満たす二項演算が定義された代数系を半群という。

[編集] プログラミングにおける結合法則

プログラミングにおける結合法則とは、中置記法の演算式において計算の優先順位の一種。たとえば、四則演算では乗除算から加減算の順で計算されるが、同じ優先順位の演算子が複数存在している場合、左から順に計算されるという法則がある。この法則が結合法則である。もちろんプログラミングでは四則演算以外にもさまざまな演算があり、結合法則が右から左に設定されていることもある。

優先順位	演算子	結合法則
高	× ÷	左から右
低	+ -	左から右

たとえば、上記の優先順位、結合法則における「1 - 2 + 3 x 4」は「((1 - 2) + (3 x 4))」である。ここで注意したいのが、上のような表があった場合に、結合法則が左から右であるからと「+ が - より優先される」と取ってはならないこと。同じ優先順位の各項を「左から右」に計算するのである。

カテゴリ: 代数的構造 | 初等数学 | 数学に関する記事

結合法則

出典: フリー百科事典『ウィキペディア（Wikipedia）』

目次

[編集] 定義

[編集] 一般結合律

[編集] 結合代数系

[編集] プログラミングにおける結合法則

[編集] 関連記事

Views

ナビゲーション

ヘルプ

検索

他の言語