前のページ 1/1 次のページ

数学において、総和(そうわ、summation)とは与えられた数を総じて加えることである。

◆概説

有限個の数を加えるためには2つの数を加えるという操作を帰納的に繰り返せばよく、このとき数を加える順序は気にする必要もない。一方で、無限個の数を加えるということはそれほど自明な操作ではない。18世紀以前には、無限個の和に対しても有限和と同じように、加える順序について放漫に扱われる傾向にあり、奇妙な矛盾を結果としてみちびいてしまうこともたびたびあったようである。

無限和についての正しい取り扱いは、ディリクレ、リーマン、コーシーといった数学者によって極限の概念が整備される19世紀を待たなければならなかった。

◆ 定義

加法が定義された集合 M の元の列 x₁, x₂, ..., x_n に対する n 項演算(n は順序数)である。それは、帰納的に次のように定義される。

・ s₁ = x₁.

・ s_i = s_i-1 + x_i.

こうして得られる s_i は各々が部分和と呼ばれる(一般には、部分列を取り出して和をとったものを総じて部分和と呼ぶ)。n が有限であれば、この操作は有限回で終了し、x₁, x₂, ..., x_n の総和は s_n に等しい。これを

:$s\_=\; \backslash sum^\_x\_i$

と記す。記号 ∑ は、ギリシャ文字のシグマである。これは、Sum(和)の頭文字 S に相当するものである。また、∑ の上下の添字は、添え字 i を 1 よりはじめて n まで動かすことを表す。総和は、線型性を持つ演算である。

また、有限集合 R の濃度を n とすると、R は有限の順序数 n で添え字付けられるので、R の全ての元に適当に番号を振って x₁, x₂, ..., x_n

とすれば、集合 R の元全ての総和を定義できる。これを

:$\backslash sum\; R\; =\; \backslash sum\_x\; =\; \backslash sum\_^n\; x\_i$

などと記す。もちろん R が空集合であっても構わない。特に、和の定義された集合 M に和に関する単位元(零元)0_M が存在するとき、あるいは基点が定められているとき、便宜的に空集合を添え字集合 I とする列(つまりは空な列)の総和は零元あるいは基点とする。すなわち、

:$\backslash sum\; \backslash emptyset\; =\; 0\_M.$

◆ 級数

有限和の場合を拡張して、可算無限個の元の列 x₁,x₂, ... に対しても総和を定義することが出来る。これを特に無限和、無限級数あるいは単に級数(きゅうすう、series)と呼ぶ。

総和と同様に、部分和をとる操作を行う。しかし、この操作は、元が有限個である場合と違って有限回で終了しない。ここで、部分和 s_i の極限を級数の値とする(ただし、チェザロ和などのように値の算出法が異なる総和法も存在する)。部分和の列 s_i の収束あるいは発散することを以って、級数は収束あるいは発散するという。与えられた(無限)列から作られる級数が収束するとき、その級数の値をもとの列の和と呼ぶ。

可算列 _i∈N の総和(級数)を記号で

:$\backslash sum^\_x\_i$

と表す。このようにして、可算無限集合の全ての元に対しても、先程と同様に総和を定義することが出来る。なお上の総和は、

:

とも書かれる。

また、Z で添え字付けられる集合の総和に関して、二つの級数

:$\backslash sum^\_x\_i,\backslash quad\; \backslash sum^\_x\_$

がともに収束するならば

:

である。なお一般に可算とは限らない無限集合で添え字付けられるような元の族 (x_λ)_λ∈Λ の総和も形式的には

:$\backslash sum\_x\_\backslash lambda$

として表すことができるが、この場合きちんと収束性について調べなければ、これが定義されているのかすら分からない。

◇ 絶対収束・条件収束

無限数列の級数

:$\backslash sum\_^\backslash infty\; x\_i$

に対して

:$\backslash sum\_^\backslash infty\; \backslash left|x\_i\backslash right|$

が収束する場合、この級数は絶対収束するという。絶対収束していれば、級数は収束する。

絶対収束していないが収束する場合、この級数は条件収束するという。

注意すべきこととして、有限和に対しては和の順序を変えても結果は変わらないのに対して、無限和の場合には順序を変えると結果が変わってしまうことがありうる。正確に述べると φ を自然数の集合 N 上の置換とするとき、

:$\backslash sum\_^\backslash infty\; x\_\backslash ne\; \backslash sum\_^\backslash infty\; x\_i$

となることが起こりうる。

ただし、級数が絶対収束しているならば(有限和の時と同じく)和の順序を変えても結果は変わらないので、収束性を調べる場合に絶対収束はとても重要な性質の一つになる。

◆ 公式

・ $\backslash sum^\_i\; =\; \backslash frac$

・ $\backslash sum\_^i^=\; \backslash frac$

・ $\backslash sum\_^i^=\; \backslash left(\backslash frac\backslash right)^$

・ $\backslash sum\_^i^=\; \backslash frac$

・

・ $\backslash sum\_^=\; \backslash frac$

・

・: (B_k はベルヌーイ数)

・ $\backslash sum\_^(2i\; -\; 1)\; =\; n^2$

・

・ $\backslash sum\_^x^=\; \backslash frac$

・: ただし、0 < |x| < 1

・ $\backslash sum\_^=\; 2^$

・ $\backslash sum\_^=$

◆脚注

◆ 関連項目

・ 総乗

・ 冪級数

前のページ 1/1 次のページ

・総和 page1