数列

数学において**数列**（すうれつ、）とは、数が列になったもの () を言う。

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

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

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

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

## 定義

 を自然数全体の集合  またはその  における切片  とするとき、 から実数（あるいは複素数）への関数  を**数列**（すうれつ、）と呼び、順序付けられた数の並びとして

: 

のように記す。各数  をこの数列の**項**という。すなわち、関数  の  における値を  と書き、列の 番目の項と考える。また、 あるいは、慣習的に （または単に ）とも表す。

各項を表すために添えられる  を数列  の添字  という。添字が 0 からでなくてもよいことは既述のとおりであるが、その場合にも（特に  が自然数以外の値をとる場合でも）形式的に「 は  番目の項である」と言うことがある。

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

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

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

## 特殊な形の数列
### 等差数列
任意の自然数  に対して、隣り合う 2 項  と  の差が一定のものを**[[等差数列]]**または**算術数列**という。また、その一定である二項間の差を**公差**という。
: （初項 1、公差 1）
: （初項 3、公差 2）
など

### 等比数列

任意の自然数  に対して、隣り合う 2 項  と  の比が一定のものを**[[等比数列]]**または**幾何数列**という。また、その任意の 2 項間で一定となる比を**公比**という。
:  （初項 1、公比 2）
:  （初項 5、公比 3）
:  （初項 1、公比 &minus;1）
など

### 漸化式を持つ数列
最初の  項から始めて、
:  
のように連続した 2 項の和を次の項とするフィボナッチ数列に代表される、**[[漸化式]]**が成り立つ数列。

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

## 漸化式

数列  の各項  がある定まった関数  を用いて
: 
となるように（もちろん  の取りうる引数の数は一定であるから、右辺に現れる項はある一定の規則に従い落とされるものとして）帰納的に定められているとき、関数  を数列  の**漸化式**とよび、あるいは、数列  は漸化式  により定められているという。

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

等差数列や等比数列は、その定義から極めて単純な漸化式を持つ。一般の等差数列に対する漸化式は
: 
という形に表される。定数  はその等差数列の公差である。この漸化式は簡単に解けて、一般項は  となる。同様に、一般の等比数列に対する漸化式は
: 
という形に表される。定数  はその等比数列の公比である。この漸化式を解けば、一般項は  となる。これらは後述する隣接二項間漸化式の最も単純なものである。

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

### 隣接二項間漸化式
数列  が漸化式によって定められ、漸化式が 1 変数関数  によって
: 
と表されているとき、この漸化式は**隣接二項間**の漸化式であるという。特に、 を  の関数として、 が  を用いた一次式
: 
となっているとき、**線型**であるという。特に関数  が定数関数である場合、**定数係数**線型隣接二項間漸化式と呼ばれる。定数係数線型隣接二項間漸化式
: 
は等差数列あるいは等比数列に帰着され、一般項が  の式として明示的に記述できる：

 のとき、漸化式は  であるから、これは等差数列である。

 のとき、漸化式  の特性方程式と呼ばれる方程式  の根を  とすると、漸化式は
: 
と変形できる。これは、一般項が  で定義される数列  が公比  である等比数列となることを表しているから、 が  の式として得られる。 だから、これも  の式として書くことができる。

### 隣接三項間漸化式
数列  が漸化式によって定められ、漸化式が 2 変数関数  によって
: 
と表されているとき、この漸化式は**隣接三項間**の漸化式であるという。特に、 が関数  を用いた斉一次式
: 
となっているとき、**線型**であるという。特に関数  が定数である場合、**定数係数**線型隣接三項間漸化式と呼ばれる。定数係数線型隣接三項間漸化式
: 
は特性方程式  の根を用いて解くことができる。すなわち、特性方程式の根が実数、複素数であるにかかわらず異なる 2 つの根  を持つとき、 及び  はそれぞれ漸化式を満たす。特性方程式が重根  を持つ場合は、 及び  がそれぞれ漸化式を満たすこととなる。言わば漸化式の “基底解” となっているわけである。一般項は漸化式の線形性のおかげでこれら 2 組の“基底解”の線型結合で表すことができ、2 つの未定係数は任意の 2 項（初項と第二項である必要はないのはもちろん、隣接している必要すらない）の情報から決定することができる。

フィボナッチ数列はこのタイプの漸化式を持つので、手順にしたがって一般項  が
: a_n = \frac{1}{\sqrt{5}} \left\{ \left( \frac{1 + \sqrt{5}}{2} \right)^n - \left( \frac{1 - \sqrt{5}}{2} \right)^n\right\}
なる明示式として得られる。

### 連立線型漸化式
2つの数列  が連立漸化式
: \begin{cases}
x_{n+1} = a x_n + b y_n\\
y_{n+1} = c x_n + d y_n
\end{cases}
を満たしているとする。これを二元の定数係数連立線型漸化式という。漸化式を 
: \boldsymbol{x}_{n+1} = A\boldsymbol{x}_n \quad A := \begin{pmatrix} a & b \\ c & d \end{pmatrix},\ \boldsymbol{x}_n := \begin{pmatrix} x_n \\ y_n \end{pmatrix}
とおけば、連立漸化式を平面上の点列の一次変換による移動の様子として捉えることができる。 をこの連立線型漸化式の**係数行列**と呼ぶ。また、
: \boldsymbol{x}_{n} = A^{n-1}\boldsymbol{x}_0
となることも明らかであるから、係数行列  の冪乗が計算できるならば、連立漸化式を解くことができる。

ゆえに、定数係数連立線型漸化式は係数行列  を三角化あるいは対角化するような基底に関する表示、あるいは同じことだが、 が三角行列か対角行列となる正則行列  をとって、座標変換  を行うことで得られる連立漸化式
: \boldsymbol{y}_{n+1} = P^{-1}AP\boldsymbol{y}_n 
の問題に帰着される。

また、 や  となる場合を考えると  や  を適当に選んで
: x_{n+1} = a x_n + b x_{n-1},\quad 
 \boldsymbol{x}_{n+1} = \begin{pmatrix}
  a &b \\
  1 &0
\end{pmatrix} \boldsymbol{x}_n

や、
: x_{n+1} = a x_n + b,\quad \boldsymbol{x}_{n+1} = \begin{pmatrix}
  a &b \\
  0 &1
\end{pmatrix}\boldsymbol{x}_n
のように、隣接二項間および三項間の定数係数線型漸化式が得られる。先に述べたこれらの漸化式の解法は、係数行列の冪を求める方法に対応している。特に、定数係数連接三項間漸化式の特性多項式は係数行列の特性多項式に一致する。

もう少し一般に、
: \boldsymbol{y}_{n+1} = A\boldsymbol{y}_n + \boldsymbol{b}
の形の点列の変換（アフィン写像）は、変換の不動点、つまり
: \boldsymbol{y}_{\infty} = A\boldsymbol{y}_{\infty} + \boldsymbol{b}
を満たす点  をとれば、 とおくことにより、線型漸化式
: \boldsymbol{x}_{n+1} = A\boldsymbol{x}_n
に帰着される。

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

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

## 数列の和

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

### 級数の例
*等差数列の初項から  項までの和S_n = \frac{n\left\{2f+(n-1)d\right\}}{2} = \frac{n(f+l)}{2}
（ただし、 は初項、 は末項である）
*等比数列の初項から  項までの和
 S_n = \begin{cases}
 \displaystyle \frac{a_{1}(1-r^n)}{1-r}=\frac{a_{1}(r^n-1)}{r-1} & (r\ne 1) \\
 na_1 & (r=1)\end{cases}

* 冪和 \sum_{i=1}^n i^k = 1^k + 2^k + \cdots + n^kの明示式にはベルヌーイ数が現れる。ベルヌーイ数に限らず、このような関係式によっていくつかの数の系列が定義されることがある。

### 和分法･差分法

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

与えられた数列  に対し、階差数列が  となるような数列  をしばしば数列  の不定和分と呼び、 などで表す:
: \Delta s_n = a_n \iff s_n = \Delta^{-1}a_n.
このような数列が与えられたとき、 を  について片々加えることにより 
: S_n =: \sum_{k=0}^{n} a_k = s_{n+1} - s_0
が成立する。すなわち、不定和分  は（定数列を加える差を除き）実質的に数列の第  部分和  を与えるものである。もっと一般に、函数  の不定和分  が
: \Delta^{-1}f(x+1) - \Delta^{-1}f(x) = f(x)
となるものとして定義され、
: \sum_{k=0}^{n-1} f(x+k) = \Delta^{-1}f(x+n) - \Delta^{-1}f(x)
が成り立ち（微分積分学の基本定理の離散版）、これを**和分差分学の基本定理**などと呼ぶことがある。このような函数  は周期 1 の周期関数を加える違いを除いて一意である。

数列の和分法について、階乗冪  は基本的である。
* : \sum_{k=1}^{m} k(k+1)\cdots(k+n-1) = \frac{1}{n+1}m(m+1)\cdots(k+n),
* : \sum_{k=1}^m 1/k = H_m, ここで  は第  調和数。
* : \sum_{k=1}^m \frac{1}{k(k+1)\cdots(k+|n|-1)} = \frac{1}{1+n}\left(\frac{1}{(m+1)\cdots(m+|n|-1)} -\frac{1}{(|n|-1)!}\right).

## 数列の極限

: \lim_{n\to\infty}a_n
: \varliminf_{n\to\infty}a_n\le \lim_{n\to\infty}a_n\le \varlimsup_{n\to\infty}a_n

### コーシー数列

: d(x_n,x_m) = \left\Vert x_n - x_m \right\Vert \to 0 \mbox{ as } n

### 無限級数

有限級数の極限は、すべての可算無限個の項についての和と見ることができ、無限級数と呼ばれる。
: \sum_{n=1}^{\infty}a_n = \lim_{n\to\infty}S_n,\quad S_n = \sum_{i=1}^{n}a_i

双無限数列  の和は、2 つの無限級数
: \sum_{n=0}^{\infty}a_n,\quad \sum_{m=1}^{\infty} a_{-m}
が収束するならば、それらの和である。

### 総和法

数列の有限和や絶対収束に対する自然な意味での「和」の概念を、それ以外の特に発散級数に対して延長する試みを総和法という。素朴な和の概念からはしばしば奇異に映る性質を有する。
* チェザロ和: \lim_{n\to\infty}\frac{s_1+s_2+\cdots+s_n}{n},\quad s_k=a_1+a_2+\cdots+a_k
* アーベル和
* 繰り込み

### 母関数

与えられた数列  に対して、それを係数に持つような冪級数を
: \sum_{n=0}^{\infty} a_n x^n, \quad \sum_{n=0}^{\infty} a_n \frac{x^n}{n!}
などで与えることにより、数列の性質を関数の性質として調べることができるようになる。これを数列の**母関数**という。母関数の満たす微分方程式から係数列の漸化式を構成したり、係数列の漸化式から母関数の満たす微分方程式を作ったりすることができる。もし、微分方程式を解いて母関数の閉じた式を手に入れることができるならば、級数の収束する限り、テイラーの定理によって数列の各項の値を、母関数の特殊値として計算することができる。

また、冪級数のコーシー積は数列の畳み込みに対応する。
: (c_n) := (a_n)*(b_n) 
: \left(\sum_{n=0}^{\infty} a_n x^n\right) \left(\sum_{n=0}^{\infty} b_n x^n\right) = \sum_{n=0}^{\infty} c_n x^n

### 無限積

: \prod_{n=1}^{\infty} a_n
: \prod_{n=1}^{\infty} (1+u_n) \sim 1 + \sum_{n=1}^{\infty} u_n + \sum_{n_1,n_2}u_{n_1}u_{n_2} + \cdots
: \log\prod_{n=1}^{\infty} a_n = \sum_{n=1}^\infty \log(a_n)

## 数列とベクトル

項数  の有限数列はしばしば  組と呼ばれる。有限数列は数ベクトルから線型構造を落としたものとみることができ、逆に項数の等しい数列同士の和や数列の定数倍を
: (a_n) + (b_n) := (a_n + b_n)
: \lambda(a_n) := (\lambda a_n)
によって定めることができるので、これらはしばしば適当な意味で同一視される。この同一視によって有限数列の集合がベクトル空間を成すとき、このベクトル空間の構造は有限集合上の関数空間の構造と見なされる。無限数列も同様にしてベクトル空間と考えたとき、その部分線型空間として得られるようなベクトル空間は一般に数列空間と呼ばれる。無限数列からは、有界数列の空間や収束数列の空間、コンパクト台付き数列（実質有限列）の空間など様々な数列空間を組み立てることができる。

## 一般化
### 多重数列

添字を 2 つ持つような数列  は格子  上で定義される関数である。\begin{matrix}
  a_{1,1} & a_{1,2} & \cdots & a_{1,n} & \cdots\\
  a_{2,1} & a_{2,2} & \cdots & a_{2,n} & \cdots\\
  \vdots  & \vdots  & \ddots & \vdots  & \vdots\\
  a_{m,1} & a_{m,2} & \cdots & a_{m,n} & \cdots\\
  \vdots  & \vdots  & \vdots & \vdots  & \ddots
\end{matrix}

二重数列 (*a*) が極限
: \lim_{m\to\infty\atop n\to\infty} a_{m,n}
を持つとは、任意に与えられた  に対し十分大きな番号  をとれば、 のとき常に  とできるような定数  が存在することである。これは二重極限
: \lim_{m\to\infty}\lim_{n\to\infty} a_{m,n},\quad \lim_{n\to\infty}\lim_{m\to\infty}a_{m,n}
などと一般には異なる。フビニの定理も参照。

二重級数
: \sum_{m,n}a_{m,n}
は格子点の全体  に整列順序を入れることによって通常の単純級数（一重級数）に書き直せる。とくに  を可算個の有限または無限集合の非交和（直和）
: \Lambda = K_1\sqcup K_2 \sqcup \cdots \quad \text{(disjoint)}
に分解するとき、各  上で和
: \sigma_i := \sum_{(m,n)\in K_i} a_{m,n}
が有限和または絶対収束級数であるならば、
: \sum_{m,n}a_{m,n} = \sigma_1 + \sigma_2 + \cdots
の収束性についての考察に帰着される。 の整列順序の入れ方あるいは分解の仕方に依らず一定の和を持つならば、二重級数は無条件収束するという。たとえばこのとき
: \lim_{m\to\infty\atop n\to\infty}\sum_{i=1}^m\sum_{k=1}^n a_{m,n} 
 = \sum_{m=1}^\infty\left(\sum_{n=1}^\infty a_{m,n}\right)
 = \sum_{n=1}^\infty\left(\sum_{m=1}^\infty a_{m,n}\right)
 = \sum_{k=1}^\infty\left(\sum_{m+n=k} a_{m,n}\right)

が成立する（フビニの定理を参照）。

## 注釈

## 参考文献

## 関連項目
* 列 (数学)
* 族 (数学)
* 級数
* 数列の加速法
* 

## 外部リンク
* オンライン整数列大辞典
* 
*