二項演算にこうえんざんbinary operationと閉包性へいほうせいclosure

抽象代数ちゅうしょうだいすうで最初さいしょに確認かくにんすべき操作そうさは、二ふたつの元げんから一ひとつの元げんを作つくる操作そうさである。これを二項演算にこうえんざんbinary operationという。

集合しゅうごう $$S$$S 上じょうの二項演算にこうえんざんとは、写像しゃぞう

のことである。つまり、任意にんいの $$a,b\in S$$a,b\in S に対たいして、結果けっか $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b$$a\ast b が一意いちいに定さだまり、しかも再ふたたび $$S$$S の元げんになる。

ここでいう写像しゃぞうは、入力にゅうりょくに対たいして出力しゅつりょくを一ひとつ定さだめる規則きそくである。$$S\times S$$S\times S は $$S$$S の元げんを二ふたつ並ならべた組くみの集合しゅうごうを表あらわす。

この「結果けっかが同おなじ集合しゅうごうの中なかに戻もどる」という条件じょうけんが閉包性へいほうせいである。したがって、$$\text{[PARSE ERROR: Undefined("Command("ast")")]}:S\times S\to S$$\ast:S\times S\to S と書かいた時点じてんで閉包性へいほうせいは二項演算にこうえんざんの定義ていぎに含ふくまれている。実際じっさいの判定はんていでは、まず足たし算ざんや引ひき算ざんのような、より広ひろい範囲はんいで意味いみを持もつ規則きそくを考かんがえ、それを $$S$$S の元げんどうしに使つかった結果けっかがいつも $$S$$S に残のこるかを調しらべる。

1何故なぜ閉包性へいほうせいが必要ひつようか

閉包性へいほうせいがないと、演算えんざんを $$S$$S の内部ないぶでいつでも繰くり返かえせない。

たとえば自然数全体しぜんすうぜんたい $$\mathbb{N}$$\mathbb N で引ひき算ざんを考かんがえると、

は自然数しぜんすうではない。したがって引ひき算ざんは $$\mathbb{N}$$\mathbb N 上じょうの二項演算にこうえんざんではない。

一方いっぽう、整数全体せいすうぜんたい $$\mathbb{Z}$$\mathbb Z で引ひき算ざんを考かんがえると、任意にんいの整数せいすう $$a,b$$a,b に対たいして $$a-b$$a-b は整数せいすうである。したがって引ひき算ざんは $$\mathbb{Z}$$\mathbb Z 上じょうの二項演算にこうえんざんである。

2結合法則けつごうほうそくと可換性かかんせい

結合法則けつごうほうそくassociative lawは、任意にんいの $$a,b,c\in S$$a,b,c\in S に対たいして、三みっつ以い上うえの元げんを演算えんざんするときに括弧かっこの位置いちが結果けっかに影響えいきょうしないことを表あらわす。

結合法則けつごうほうそくがあると、$$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b\text{[PARSE ERROR: Undefined("Command("ast")")]}c$$a\ast b\ast c と書かいても意味いみが曖昧あいまいにならない。

可換性かかんせいcommutativityは、任意にんいの $$a,b\in S$$a,b\in S に対たいして、順序じゅんじょを入いれ替かえても結果けっかが変かわらないことを表あらわす。

可換性かかんせいは常つねに仮定かていされるわけではない。行列積ぎょうれつせきや置換ちかんの合成ごうせいは一般いっぱんに可換かかんでない。

行列ぎょうれつと置換ちかんは非可換ひかかんな演算えんざんの例れいとして挙あげているだけで、このページの判定はんていには使つかわない。

3単位元たんいげんと逆元ぎゃくげん

単位元たんいげんidentity elementとは、すべての $$a\in S$$a\in S に対たいして演算えんざんしても相手あいてを変かえない $$e\in S$$e\in S である。

$$e$$e を単位元たんいげんとする。$$a\in S$$a\in S の逆元ぎゃくげんinverse elementとは、$$a$$a と左右さゆうどちらの順じゅんで演算えんざんしても単位元たんいげんへ戻もどす $$a^{-1}\in S$$a^{-1}\in S である。

両側りょうがわ単位元たんいげんは存在そんざいすれば一意いちいである。実際じっさい、$$e,f$$e,f がともに両側りょうがわ単位元たんいげんなら、$$e=e\text{[PARSE ERROR: Undefined("Command("ast")")]}f=f$$e=e\ast f=f となる。

単位元たんいげんと逆元ぎゃくげんは、方程式ほうていしきを解とくために重要じゅうようである。$$a\text{[PARSE ERROR: Undefined("Command("ast")")]}x=b$$a\ast x=b の左ひだりから $$a^{-1}$$a^{-1} を演算えんざんし、括弧かっこを付つけ替かえて $$x=a^{-1}\text{[PARSE ERROR: Undefined("Command("ast")")]}b$$x=a^{-1}\ast b と導みちびくには、逆元ぎゃくげんに加くわえて結合法則けつごうほうそくと単位元たんいげんを仮定かていする。すると、

だから、$$a\text{[PARSE ERROR: Undefined("Command("ast")")]}x=b$$a\ast x=b の両辺りょうへんの左ひだりから $$a^{-1}$$a^{-1} を演算えんざんして $$x=a^{-1}\text{[PARSE ERROR: Undefined("Command("ast")")]}b$$x=a^{-1}\ast b を得える。逆ぎゃくにこの $$x$$x を代入だいにゅうすれば $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}\left(a^{-1}\text{[PARSE ERROR: Undefined("Command("ast")")]}b\right)=\left(a\text{[PARSE ERROR: Undefined("Command("ast")")]}{a}^{-1}\right)\text{[PARSE ERROR: Undefined("Command("ast")")]}b=e\text{[PARSE ERROR: Undefined("Command("ast")")]}b=b$$a\ast(a^{-1}\ast b)=(a\ast a^{-1})\ast b=e\ast b=b なので、これは実際じっさいに解かいである。

さらに、結合法則けつごうほうそくと両側りょうがわ単位元たんいげんがあるとき、ある元げんの両側りょうがわ逆元ぎゃくげんも存在そんざいすれば一意いちいである。$$u,v$$u,v がともに $$a$$a の両側りょうがわ逆元ぎゃくげんなら、

となる。ここで結合法則けつごうほうそくを使つかったことが重要じゅうようである。

4具体例ぐたいれい：演算表えんざんひょうで見みる

集合しゅうごう $$S=\{0,1,2\}$$S=\{0,1,2\} に、3 で割わった余あまりの足たし算ざんを入いれる。

$$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b$$a\ast b を、$$a+b$$a+b を 3 で割わった余あまりと定さだめる。

このとき演算表えんざんひょうは次つぎのようになる。行ぎょうを左ひだりの元げん、列れつを右みぎの元げんとする。

全すべての結果けっかが $$S$$S に入はいっているので閉包性へいほうせいがある。0 は単位元たんいげんであり、0 の逆元ぎゃくげんは 0、1 の逆元ぎゃくげんは 2、2 の逆元ぎゃくげんは 1 である。また、$$\left(a\text{[PARSE ERROR: Undefined("Command("ast")")]}b\right)\text{[PARSE ERROR: Undefined("Command("ast")")]}c$$(a\ast b)\ast c と $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}\left(b\text{[PARSE ERROR: Undefined("Command("ast")")]}c\right)$$a\ast(b\ast c) はどちらも $$a+b+c$$a+b+c を 3 で割わった余あまりになるので等ひとしく、結合法則けつごうほうそくも成立せいりつする。したがって、この例れいは次つぎの講義こうぎで定義ていぎする群ぐんになる。

5演習えんしゅうリンク

6判定はんてい補足ほそく：演算えんざんの性質せいしつは別々べつべつに確認かくにんする

集合しゅうごう $$S$$S と規則きそく $$\text{[PARSE ERROR: Undefined("Command("ast")")]}$$\ast が与あたえられたとき、まず $$a,b\in S\Rightarrow a\text{[PARSE ERROR: Undefined("Command("ast")")]}b\in S$$a,b\in S\Rightarrow a\ast b\in S を確認かくにんして、$$\text{[PARSE ERROR: Undefined("Command("ast")")]}:S\times S\to S$$\ast:S\times S\to S が二項演算にこうえんざんbinary operationとして定さだまっているかを見みる。これは閉包性へいほうせいclosureだけの確認かくにんであり、結合法則けつごうほうそく、可換性かかんせい、単位元たんいげん、逆元ぎゃくげんはまだ保証ほしょうしない。

たとえば $$\mathbb{Z}$$\mathbb Z 上じょうの引ひき算ざんsubtraction $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b=a-b$$a\ast b=a-b は閉包性へいほうせいclosureを持もつが、

なので結合法則けつごうほうそくを満みたさない。したがって、閉包性へいほうせいclosureがあることと群ぐんに近ちかい性質せいしつを持もつことは別問題べつもんだいである。

7まとめ

二項演算にこうえんざんは、集合しゅうごうの二ふたつの元げんから同おなじ集合しゅうごうの元げんを作つくる写像しゃぞうである。閉包性へいほうせい、結合法則けつごうほうそく、可換性かかんせい、単位元たんいげん、逆元ぎゃくげんは、群ぐん・環かん・体たいを定義ていぎするための基本きほん語彙ごいである。