数列

高等学校数学B/数列数学において数列とは、数が列になったもの  を言う。

例えば正の奇数を小さい順に並べた

のような数の“並び”が数列である。並べる数に制限を加えて、たとえば自然数のみを並べるならば、これを自然数列と略称する。整数、有理数、実数などのほかの数体系を用いる場合も同様の略称を用いる。各々の数の“置かれるべき場所”は数列の項  と呼ばれる。数の並びが数列と呼ばれるためには、数列の各項を“順番に並べる”こと、つまりそれぞれの数が何番目の項に配置されているのかを一意に示すように番号付けができなければならない。したがって、“最も簡単”な数列は自然数を小さい順に並べた数列

ということになる。

考える数列に端が存在する場合がある。数列の端に存在する項は、その数列の最初の項、または最後の項であると考えることができる。数列の最初の項をその数列の初項といい、最後の項を数列の末項と呼ぶ。 数列に対して必ずしも初項と末項を定めることはできない。たとえば「すべての自然数」を表す数列の項の数は「自然数の個数」に等しいが、自然数は無限に存在するため、その末項は存在しない。このように末項が定まらないような数列は、無限数列と呼ばれ、末項を持つ数列は有限数列と呼ばれる。

初項を表す添字は自由に与えることができ、議論や計算を簡単にするように選ばれるが、慣習的に 0 または 1 が与えられることも多い。たとえば有限数列の初項の添字を 1 から始めた場合、末項は項数に等しい添字 n}} が与えられるため、記述が簡単になる。

特別な数列には、項の並びに規則性のあるものがある。代表的なものは、等差数列や等比数列あるいはフィボナッチ数列のように漸化式で定義される数列である。

1. 定義
-----

S}} を自然数全体の集合 N}} またはその n}} における切片 mset とするとき、S}} から実数への関数 a}} を数列と呼び、順序付けられた数の並びとして

のように記す。各数 //a//ind をこの数列の項という。すなわち、関数 a}} の n}} における値を asub と書き、列のn}} 番目の項と考える。また、(//a//sub あるいは、慣習的に msetとも表す[[括弧#波括弧。

各項を表すために添えられる n}} を数列 a}} の添字 en という。添字が 0 からでなくてもよいことは既述のとおりであるが、その場合にも形式的に「asub は n}} 番目の項である」と言うことがあるdate=2016年1月}}。

任意の添字 n}} に対応する項 asub を一般項 en という。一般項は必ずしも n}} の明示的な式として定まっているわけではないし、一般にその必要もないが、n}} を勝手に指定したときに対応する項 asub がきちんと定まることが言える必要はある。

関数 a}} の定義域を整数全体の集合 Z}} に変え、初項や末項のない両側無限列 (//asub を考えることもある。両側無限列は実質的に 2 つの片側無限列の合成であり、//n// =}} 0}} などを基準に番号の付け替えを行えば、1 つの片側無限列に直すことができる。//

数列 (//asub の各項 asub がそれ以前の項 (//a//sub を用いて帰納的に定められるならば、その帰納的関係式をその数列が満たす漸化式と呼び、数列 (//asub はその漸化式によって定められるという。

2. 特殊な形の数列
----------

2.1. 等差数列
---------

任意の自然数 n}} に対して、隣り合う 2 項 asub と //a//sub の差が一定のものを等差数列または算術数列という。また、その一定である二項間の差を公差という。

1, 2, 3, 4, 5, 6, …}} 3, 5, 7, 9, 11, 13, …}}など

2.2. 等比数列
---------

任意の自然数 n}} に対して、隣り合う 2 項 asub と //a//sub の比が一定のものを等比数列または幾何数列という。また、その任意の 2 項間で一定となる比を公比という。

1, 2, 4, 8, 16, 32, …}} 5, 15, 45, 135, 405, …}} 1, −1, 1, −1, 1, −1, …}} など

2.3. 漸化式を持つ数列
-------------

最初の 2}} 項から始めて、

1, 1, 2, 3, 5, 8, 13, 21, …}}のように連続した 2 項の和を次の項とするフィボナッチ数列に代表される、漸化式が成り立つ数列。

2.4. 母関数を持つ数列
-------------

ある種の級数を母関数とし、その係数の列として数列を定義することもある。ベルヌーイ数・オイラー数などはテイラー係数として定義されるものの例であり、母関数の微積分を通して計算したり、漸化式を取り出したりすることができる。フーリエ係数は理論的には関数の球関数による展開の一種から得られる数列だが、具体的な個々の係数は積分によって定められる。

3. 漸化式
------

数列 (//asub の各項 asub がある定まった関数 f}} を用いて//

となるように帰納的に定められているとき、関数 f}} を数列 (//asub の漸化式とよび、あるいは、数列 (//asub は漸化式 f}} により定められているという。

漸化式を解くとは、漸化式で与えられている数列 (//asub の一般項 asub を n}} の陽な式で表すことである。//

等差数列や等比数列は、その定義から極めて単純な漸化式を持つ。一般の等差数列に対する漸化式は

という形に表される。定数 d}} はその等差数列の公差である。この漸化式は簡単に解けて、一般項は //asub となる。同様に、一般の等比数列に対する漸化式は//

という形に表される。定数 r}} はその等比数列の公比である。この漸化式を解けば、一般項は //asub となる。これらは後述する隣接二項間漸化式の最も単純なものである。//

特定の形の漸化式が成立する場合など、いくつかの場合には、一般項 asub は n}} の明示的な形の式で表される。

3.1. 隣接二項間漸化式
-------------

数列 }} によって//

と表されているとき、この漸化式は隣接二項間の漸化式であるという。特に、//p//, //q//}} を n}} の関数として、f}} が //p//, //q//}} を用いた一次式

となっているとき、線型であるという。特に関数 //p//, //q//}} が定数である場合、定数係数線型隣接二項間漸化式と呼ばれる。定数係数線型隣接二項間漸化式

は等差数列あるいは等比数列に帰着され、一般項が n}} の式として明示的に記述できる：

//p// =}} 1}} のとき、漸化式は //a//sub であるから、これは等差数列である。

//p// ≠ 1}} のとき、漸化式 //a//sub の特性方程式と呼ばれる方程式 //x// =}} //px// + //q//}} の根を //α//}} とすると、漸化式は

と変形できる。これは、一般項が //bsub で定義される数列 &lbrace;//bsub が公比 p}} である等比数列となることを表しているから、bsub が n}} の式として得られる。//asub だから、これも n}} の式として書くことができる。//

3.2. 隣接三項間漸化式
-------------

数列 }} によって//

と表されているとき、この漸化式は隣接三項間の漸化式であるという。特に、f}} が関数 //p//, //q//}} を用いた斉一次式

となっているとき、線型であるという。特に関数 //p//, //q//}} が定数である場合、定数係数線型隣接三項間漸化式と呼ばれる。定数係数線型隣接三項間漸化式

は特性方程式 //x//sup の根を用いて解くことができる。すなわち、特性方程式の根が実数、複素数であるにかかわらず異なる 2 つの根 //α//, //β//}} を持つとき、αsup 及び βsup はそれぞれ漸化式を満たす。特性方程式が重根 α}} を持つ場合は、αsup 及び nαsup がそれぞれ漸化式を満たすこととなる。言わば漸化式の “基底解” となっているわけである。一般項は漸化式の線形性のおかげでこれら 2 組の“基底解”の線形結合で表すことができ、2 つの未定係数は任意の 2 項の情報から決定することができる。

フィボナッチ数列はこのタイプの漸化式を持つので、手順にしたがって一般項 asub が

なる明示式として得られる。

3.3. 連立線型漸化式
------------

2つの数列 (//xsub が連立漸化式//

を満たしているとする。これを二元の定数係数連立線型漸化式という。漸化式を

とおけば、連立漸化式を平面上の点列の一次変換による移動の様子として捉えることができる。A}} をこの連立線型漸化式の係数行列と呼ぶ。また、

となることも明らかであるから、係数行列 A}} の冪が計算できるならば、連立漸化式を解くことができる。

ゆえに、定数係数連立線型漸化式は係数行列 A}} を三角化あるいは対角化するような基底に関する表示、あるいは同じことだが、//P//sup が三角行列か対角行列となる正則行列 P}} をとって、座標変換 //P//sup を行うことで得られる連立漸化式

の問題に帰着される。

また、//ysub や //ysub となる場合を考えると c}} や d}} を適当に選んで

や、

のように、隣接二項間および三項間の定数係数線型漸化式が得られる。先に述べたこれらの漸化式の解法は、係数行列の冪を求める方法に対応している。特に、定数係数連接三項間漸化式の特性多項式は係数行列の特性多項式に一致する。

もう少し一般に、

の形の点列の変換は、変換の不動点、つまり

を満たす点 //sub をとれば、//′sub とおくことにより、線型漸化式

に帰着される。

これらのことは、さらに高次化することができる。

3.4. 数学的帰納法
-----------

漸化式自体が帰納的に数列を定義するものであり、一般項 asub がどのような形であるかを述べることが自然数に関する命題とみなすことができることから、漸化式を持つ数列の一般項を求める際に数学的帰納法は有用な手法である。

4. 数列の和
-------

数列の和はしばしば級数と呼ばれる。はじめの n}} 項までの和を第 n}} 部分和と呼び、何らかの自然数 n}} に対して第 n}} 部分和となるようなものを有限級数と総称する。

4.1. 級数の例
---------

等差数列の初項から n}} 項までの和
等比数列の初項から n}} 項までの和
冪和 の明示式にはベルヌーイ数が現れる。ベルヌーイ数に限らず、このような関係式によっていくつかの数の系列が定義されることがある。

4.2. 和分法･差分法
------------

不定和分

階乗冪函数の差分商を計算すれば /Δ//x// = //nx//}}}} であり、この意味で階乗冪は冪函数 }} の離散版である。

与えられた数列 //)}} に対し、階差数列が //)}} となるような数列 //)}} をしばしば数列 //)}} の不定和分と呼び、//an}}//)}} などで表す:

このような数列が与えられたとき、 //s'k//k//}}}} を について片々加えることにより

が成立する。すなわち、不定和分 }} は実質的に数列の第 部分和 }} を与えるものである。もっと一般に、函数 の不定和分 //f//}} が

となるものとして定義され、

が成り立ち、これを和分差分学の基本定理などと呼ぶことがある。このような函数 //f//}} は周期 1 の周期函数を加える違いを除いて一意である。

数列の和分法について、階乗冪 は基本的である。

:
: ここで }} は第 調和数。
:

5. 数列の極限
--------

5.1. コーシー数列
-----------

5.2. 無限級数
---------

有限級数の極限は、すべての可算無限個の項についての和と見ることができ、無限級数と呼ばれる。

双無限数列 //)//n//∈Z}}}} の和は、2 つの無限級数//

が収束するならば、それらの和である。

5.3. 総和法
--------

数列の有限和や絶対収束に対する自然な意味での「和」の概念を、それ以外の特に発散級数に対して延長する試みを総和法という。素朴な和の概念からはしばしば奇異に映る性質を有する。

チェザロ和:
アーベル和
繰り込み

5.4. 母関数
--------

与えられた数列 )}} に対して、それを係数に持つような冪級数を

などで与えることにより、数列の性質を関数の性質として調べることができるようになる。これを数列の母関数という。母関数の満たす微分方程式から係数列の漸化式を構成したり、係数列の漸化式から母関数の満たす微分方程式を作ったりすることができる。もし、微分方程式を解いて母関数の閉じた式を手に入れることができるならば、級数の収束する限り、テイラーの定理によって数列の各項の値を、母関数の特殊値として計算することができる。

また、冪級数のコーシー積は数列の畳み込みに対応する。

5.5. 無限積
--------

6. 数列とベクトル
----------

項数 の有限数列はしばしば 組と呼ばれる。有限数列は数ベクトルから線型構造を落としたものとみることができ、逆に項数の等しい数列同士の和や数列の定数倍を

によって定めることができるので、これらはしばしば適当な意味で同一視される。この同一視によって有限数列の集合がベクトル空間を成すとき、このベクトル空間の構造は有限集合上の関数空間の構造と見なされる。無限数列も同様にしてベクトル空間と考えたとき、その部分線型空間として得られるようなベクトル空間は一般に数列空間と呼ばれる。無限数列からは、有界数列の空間や収束数列の空間、コンパクト台付き数列の空間など様々な数列空間を組み立てることができる。

7. 一般化
------

7.1. 多重数列
---------

添字を 2 つ持つような数列 )//m//,//n//∈N}}}} は格子 }} 上で定義される関数である。

二重数列  が極限

を持つとは、任意に与えられた に対し十分大きな番号 をとれば、 のとき常に とできるような定数 が存在することである。これは二重極限

などと一般には異なる。フビニの定理も参照。

二重級数

は格子点の全体 に整列順序を入れることによって通常の単純級数に書き直せる。とくに を可算個の有限または無限集合の非交和

に分解するとき、各 }} 上で和

が有限和または絶対収束級数であるならば、

の収束性についての考察に帰着される。 の整列順序の入れ方あるいは分解の仕方に依らず一定の和を持つならば、二重級数は無条件収束するという。たとえばこのとき

が成立する。

8. 注釈
-----

9. 参考文献
-------

10. 関連項目
--------

列 
族 
級数
数列の加速法

11. 外部リンク
---------

[1]