総和
数学において、総和（そうわ、summation）とは与えられた数を総じて加えることである。
概説
有限個の数を加えるためには2つの数を加えるという操作を帰納的に繰り返せばよく、このとき数を加える順序は気にする必要もない。一方で、無限個の数を加えるということはそれほど自明な操作ではない。18世紀以前には、無限個の和に対しても有限和と同じように、加える順序について放漫に扱われる傾向にあり、奇妙な矛盾を結果としてみちびいてしまうこともたびたびあったようである。
無限和についての正しい取り扱いは、ディリクレ、リーマン、コーシーといった数学者によって極限の概念が整備される19世紀を待たなければならなかった[1]。
定義
加法が定義された集合 M の元の列 x1, x2, ..., xn に対する n 項演算（n は順序数）である。それは、帰納的に次のように定義される。
- s1 = x1.
- si = si-1 + xi.
こうして得られる si は各々が部分和と呼ばれる（一般には、部分列を取り出して和をとったものを総じて部分和と呼ぶ）。n が有限であれば、この操作は有限回で終了し、x1, x2, ..., xn の総和は sn に等しい。これを
- <math>s_{n} = \sum^{n}_{i=1} x_i</math>
と記す。記号 ∑ は、ギリシャ文字のシグマである。これは、Sum（和）の頭文字 S に相当するものである。また、∑ の上下の添字は、添え字 i を 1 よりはじめて n まで動かすことを表す。総和は、線型性を持つ演算である。
また、有限集合 R の濃度を n とすると、R は有限の順序数 n で添え字付けられるので、R の全ての元に適当に番号を振って x1, x2, ..., xn とすれば、集合 R の元全ての総和を定義できる。これを
- <math>\sum R = \sum_{x\in R} x = \sum_{i=1}^n x_i</math>
などと記す。もちろん R が空集合であっても構わない。特に、和の定義された集合 M に和に関する単位元（零元）0M が存在するとき、あるいは基点が定められているとき、便宜的に空集合を添え字集合 I とする列（つまりは空な列）の総和は零元あるいは基点とする。すなわち、
- <math>\sum \emptyset = 0_M.</math>
級数
テンプレート:Main 有限和の場合を拡張して、可算無限個の元の列 x1,x2, ... に対しても総和を定義することが出来る。これを特に無限和、無限級数あるいは単に級数（きゅうすう、series）と呼ぶ。
総和と同様に、部分和をとる操作を行う。しかし、この操作は、元が有限個である場合と違って有限回で終了しない。ここで、部分和 si の極限を級数の値とする（ただし、チェザロ和などのように値の算出法が異なる総和法も存在する）。部分和の列 si の収束あるいは発散することを以って、級数は収束あるいは発散するという。与えられた（無限）列から作られる級数が収束するとき、その級数の値をもとの列の和と呼ぶ。
可算列 {xi}i∈N の総和（級数）を記号で
- <math>\sum^{\infin}_{i=1} x_i </math>
と表す。このようにして、可算無限集合の全ての元に対しても、先程と同様に総和を定義することが出来る。なお上の総和は、
- <math>\sum^{\infin}_{i=1} x_i = \sum_{i\in\mathbf{N}} x_i</math>
とも書かれる。
また、Z で添え字付けられる集合の総和に関して、二つの級数
- <math>\sum^{\infin}_{i=0} x_i,\quad \sum^{\infin}_{i=1} x_{-i}</math>
がともに収束するならば
- <math>\sum_{i\in\mathbf{Z}} x_i = \sum^{\infin}_{i=0} x_i + \sum^{\infin}_{i=1} x_{-i}</math>
である。なお一般に可算とは限らない無限集合で添え字付けられるような元の族 (xλ)λ∈Λ の総和も形式的には
- <math>\sum_{\lambda\in\Lambda} x_\lambda</math>
として表すことができるが、この場合きちんと収束性について調べなければ、これが定義されているのかすら分からない。
絶対収束・条件収束
無限数列の級数
- <math>\sum_{i=1}^\infty x_i </math>
に対して
- <math>\sum_{i=1}^\infty \left|x_i\right| </math>
が収束する場合、この級数は絶対収束するという。絶対収束していれば、級数は収束する。
絶対収束していないが収束する場合、この級数は条件収束するという。
注意すべきこととして､有限和に対しては和の順序を変えても結果は変わらないのに対して、無限和の場合には順序を変えると結果が変わってしまうことがありうる。正確に述べると φ を自然数の集合 N 上の置換とするとき、
- <math>\sum_{i=1}^\infty x_{\phi(i)} \ne \sum_{i=1}^\infty x_i </math>
となることが起こりうる。
ただし、級数が絶対収束しているならば（有限和の時と同じく）和の順序を変えても結果は変わらないので、収束性を調べる場合に絶対収束はとても重要な性質の一つになる。
公式
- <math> \sum^{n}_{i=1} i = \frac{n(n+1)}{2}</math>
- <math> \sum_{i=1}^{n} i^{2} = \frac{n(n+1)(2n+1)}{6} </math>
- <math> \sum_{i=1}^{n} i^{3} = \left(\frac{n(n+1)}{2}\right)^{2} </math>
- <math> \sum_{i=1}^{n} i^{4} = \frac{n(n+1)(2n+1)(3n^2+3n-1)}{30} </math>
- <math> \sum_{i=1}^{n} i^{5} = \frac{n^{2}(n+1)^{2}(2n^2+2n-1)}{12} </math>
- <math> \sum_{i=1}^{n} {i(i+1)(i+2)\cdots(i+k)} = \frac{n(n+1)(n+2)\cdots(n+k+1)}{k+2} </math>
- <math>\sum_{i=0}^n i^m = \frac{(n+1)^{m+1}}{m+1} + \sum_{k=1}^m\frac{B_k}{m-k+1}{m\choose k}(n+1)^{m-k+1}</math>
- (Bk はベルヌーイ数)
- <math> \sum_{i=1}^{n} (2i - 1) = n^2 </math>
- <math> \sum_{i=0}^{n} x^{i} = \frac{x^{n+1}-1}{x-1} </math>
- <math> \sum_{i=0}^{\infty} x^{i} = \frac{1}{1-x} </math>
- ただし、0 < |x| < 1
- <math> \sum_{i=0}^{n} {n \choose i} = 2^{n} </math>
- <math> \sum_{i=0}^{n-1} {i \choose k} = {n \choose k+1} </math>
