二項演算のソースを表示

[[数学]]において、'''二項演算'''（にこうえんざん、{{lang-en-short|''binary operation''}}）は、数の[[四則演算]]（加減乗除）などの 「二つの数から新たな数を決定する規則」 を一般化した概念である。'''二項算法'''（にこうさんぽう）、結合などともいう。

== 定義 ==
[[集合]] ''A'' 上で定義される 2 変数の[[写像]]
:<math>\mu\colon A \times A \to A;\ (x,y) \mapsto \mu(x,y)</math>
を ''A'' 上の'''二項演算'''あるいは'''乗法'''などと呼び、集合 ''A'' を二項演算 &mu; の'''台集合''' (<span lang=en>underlying set</span>) などと呼ぶ。''A'' の 2 元 ''x'', ''y'' に対し、[[順序対]] (''x'', ''y'') の二項演算 &mu; による像 &mu;(''x'', ''y'') を ''x'' と ''y'' の'''積'''あるいは'''結合'''などと呼んで、多くの場合に[[中置記法]]に則って ''x'' &mu; ''y'' のように記す（混乱のおそれの無い場合には、しばしば ''xy'' と略記する）。また、''A'' &times; ''A'' 上の写像 ''g'' が ''A'' 上の二項演算を与えるとき、''A'' は二項演算 ''g'' について'''閉じている'''という。

== 諸概念 ==
1 つまたは複数の二項演算に[[結合法則|結合律]]、[[交換法則|可換律]]あるいは[[分配法則|分配律]]などといった条件が成立するかどうかを考えることで、二項演算やそれらの関係を分類することができる。このような条件の課された二項演算の存在性は[[半群]]や[[環論|環]]、[[アーベル群]]など、様々な[[代数的構造]]において必要な要件として与えられる。

== 外部二項演算 ==
[[ベクトル空間]]におけるベクトルのスカラー倍のようなものを二項演算と考える流儀もある。一般に、集合 ''A'', ''B'' に対し、''B'' の ''A'' への[[作用 (数学)|作用]]、つまり
:<math>\mu\colon B \times A \to A;\ (b, a) \mapsto b \mathop{\,\mu\,} a</math>
の形で与えられる写像 &mu; を'''外部'''二項演算と呼んで二項演算の仲間に入れることがある。このとき、元の意味での二項演算を'''内部'''二項演算と呼んで区別する。外部二項演算 &mu; が与えられたとき、適当な写像
:<math>\alpha\colon B \to A^A;\ b \mapsto \alpha_b</math>
を用いると、''B'' の各元 ''b'' において ''A'' 上の作用素、つまり
:<math>\alpha_b(a) = b \mathop{\,\mu\,} a</math>
を満たす ''A'' 上の単項演算
:<math>\alpha_b\colon A \to A;\ a \mapsto b \mathop{\,\mu\,} a</math>
が得られるので、外部二項演算 &mu; を ''A'' 上の単項演算の族 {&alpha;<sub>''b''</sub>}<sub>''b''&isin;''B''</sub> と見なすことができる。これは、これらの単項演算が ''A'' の内部での演算になっているので、代数系の構造論を考える立場からは自然な見方である。なお一般の場合として、集合 ''A'', ''B'', ''C'' に対し 2 変数の写像
:<math>f\colon A \times B \to C</math> 
を形式にこだわらずに二項演算とか積などと呼ぶ場合もある。この立場では例えばベクトルの[[内積]]などが二項演算の仲間に含まれる。

== 関連項目 ==
*[[算法]]
*[[代数的構造]]

{{二項演算}}

{{Math-stub}}
{{DEFAULTSORT:にこうえんさん}}

[[Category:二項演算|*]]
[[Category:数学に関する記事]]