加法

出典: フリー百科事典『ウィキペディア(Wikipedia)』
加算から転送)
移動先: 案内検索

加法(かほう、テンプレート:Lang-en-short )とは、を合わせることを意味する二項演算あるいは多項演算で、四則演算のひとつ。足し算(たしざん)、寄せ算(よせざん)、加算(かさん)とも呼ばれる。また、加法の演算結果を(わ、テンプレート:En)という。記号は「[[プラス記号とマイナス記号|テンプレート:Math]]」。

自然数の加法は、しばしばものの個数を加え合わせることに喩えられる。それは数の拡張にしたがってさらに広い範囲の数に対する加法を定める。

減法とは互いに逆の関係にあり、また例えば、負の数の加法として減法が捉えられるなど、加法と減法の関連は深い。これは代数学において加法群の概念として抽象化される。

無限個の数を加えること(総和法)については総和級数極限ε–δ 論法などを参照。

記法

それぞれのが分かっていて全てを書き表すことができるとき、それらの和は記号 "テンプレート:Math" を用いて表す。例えば、テンプレート:Math の和は

テンプレート:Math

と記される[注 1]。これは テンプレート:Math に等しい。このことは等式として

テンプレート:Math

と表される。

3 項以上の足し算についても、たとえば次のように書くことができる。

テンプレート:Math

これは、テンプレート:Math の結果と テンプレート:Math の間の加法を表す。

テンプレート:Math

また、全てを書き表すことができなくても、暗に何らかの規則性がある場合には間を記号 "…" で省略して表すことがある。例えば、テンプレート:Math から テンプレート:Math までの自然数の和は

テンプレート:Math

のように書き表す。ただしこのような場合は、記号 テンプレート:Math を用いて書き表すほうが規則性を陽に表すことができて便利であり紛れがない(総和の項参照)。

<math>\sum_{n=1}^{10} n = 1 + 2 + \dots + 10 = 55.</math>

注意すべき点として、2 つの数に対する加法を テンプレート:Math と表したときに左の項 テンプレート:Mvar と右の項 テンプレート:Mvar が「元の数」と「加える数」のいずれであるかは加法の定義に含まれない。

性質

数の加法のみに注目してその性質を挙げると以下のようなものがある。

これらは抽象代数学においては "加法" と呼ぶべきものの満たすべき公理的な性質と見なされる。他にも

テンプレート:Math
テンプレート:Math

などが加法に関する性質として挙げられる。

素朴な定義

何かを加えたとき、その結果としてが多くなったりが大きくなったりすることは経験的に知られている。たとえばコップを加えればコップの中の水は増えるし、部屋が入れば部屋の中の人数は多くなる。このような「加えること」や「増加すること」に対する類推から、数学における演算として定義されたものが加法であると言える。 従って、直感的には「元の数」と「加える数」の間の加法は、それら 2 つの数より大きな数を結果として与えることが期待される。 このことは必ずしも正しくないが、正の数に関しては成り立っている。

また加える順番は結果には関係なく、加える順番を自由に変えたとしても得られる結果は常に等しくなる。このことは 2 つのコップに水が入っていたとして、どちらの水をどちら側へ注いでも水の量は変わらないことなどから類推できる。

加法の逆の操作として減法を考えたときに、減法の結果として負の数が得られることがある。減法によって新しい数を作ったとき、

テンプレート:Math

ここで得られた数 テンプレート:Mvar は減法の性質から、次のような関係が成り立つ。

テンプレート:Math

つまり、初めに テンプレート:Math という引き算によって得られた新しい数 テンプレート:Mvar は、テンプレート:Mvar に加えた結果が テンプレート:Mvar に等しくなる性質を持つ。 具体的に テンプレート:Math から テンプレート:Math を引いた数を テンプレート:Mvar としたとき、テンプレート:Mathテンプレート:Mvar を足した数は テンプレート:Math になる。テンプレート:Mathテンプレート:Math より小さいので、これは加法の結果がより小さな数を与えることを示している。

上の式で テンプレート:Mvarテンプレート:Math としたとき、テンプレート:Mvarテンプレート:Mvar との和が テンプレート:Math となる数である。この テンプレート:Mvarテンプレート:Math と書くことにする。テンプレート:Math の足し算は テンプレート:Mvar の引き算と同じ結果を常に与える。したがって、正の数の減法は負の数の加法で置き換えられる。

テンプレート:Math

さらに、スカラー量だけでなく、ベクトル行列にも加法が定義されるようになるが、いずれも交換法則結合法則を満たすものである。

正負の数の計算方法

2 数 テンプレート:Mvar の符号と絶対値に注目すると、和 テンプレート:Math は次のように計算することができる。

符号 テンプレート:Math テンプレート:Math テンプレート:Math
テンプレート:Math テンプレート:Math
テンプレート:Math テンプレート:Math
テンプレート:Math テンプレート:Math テンプレート:Math テンプレート:Math
テンプレート:Math テンプレート:Math テンプレート:Math テンプレート:Math
2 数の符号が同じ場合
2 数の符号が異なる場合

脚注

テンプレート:Reflist

関連項目

テンプレート:二項演算

テンプレート:Math-stub
引用エラー: 「注」という名前のグループの <ref> タグがありますが、対応する <references group="注"/> タグが見つからない、または閉じる </ref> タグがありません