交換法則のソースを表示

'''交換法則'''（こうかんほうそく、{{lang-en-short|''Commutative property''}}) は数学における法則の一つ。'''可換則'''（かかんそく）ともいう。

== 概要 ==
[[集合]] ''S'' に[[二項演算]] · が定義されているとき ''S'' の任意の二元 <math>\, a,\, b</math>について
:<math>a\cdot b = b\cdot a</math>
が成立するならば、この演算は'''交換法則'''を満たすという。また、この演算は'''可換'''である、'''可換性'''を持つという。

たとえば[[自然数]]に関する[[足し算]]や[[掛け算]]は交換法則を満たしている。
* 4 + 5 = 5 + 4 (両辺とも値は9である)
* 2 × 3 = 3 × 2 (両辺とも値は6である)
しかし引き算や割り算はそうではない。
* <math> 4 - 5 \neq 5 - 4</math>
* <math> 6 \div 3 \neq 3 \div 6</math>

その他に交換法則を満たすものとしては主に次のようなものがある。
* [[有理数]]、[[実数]]、[[複素数]]の加算や乗算
* [[行列]]、[[数ベクトル]]の加算
* [[集合]]の[[積集合]]や[[和集合]]
また、交換法則を満たさない主要な演算としては次のようなものがある。
* [[行列]]の乗算、3次元[[数ベクトル]]の[[ベクトル積|ベクトル外積]]
* [[写像]]の合成（例として関数の合成等）
* [[四元数]]の乗算
ただしベクトルの外積のように[[絶対値]]および絶対値に相当する数を考えたときに交換法則は成り立つものも多い。

== 関連項目 ==
*[[結合法則]]
*[[分配法則]]
*[[アーベル群]]
*[[代数的構造]]
*[[加法]]
*[[乗法]]
*[[かけ算の順序問題]]

{{デフォルトソート:こうかんほうそく}}
[[Category:代数的構造]]
[[Category:初等数学]]
[[Category:数学の法則]]
[[Category:数学に関する記事]]
{{Link GA|en}}
{{Link GA|ca}}