数列

出典: フリー百科事典『ウィキペディア（Wikipedia）』

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

[編集] 概要

自然数（正確には順序数） 1, 2, ... に対応して並べられた次のような数が数列である。

a₁, a₂, a₃, ..., a_n, ...

これを、順序対の記号を用いて (a_k)_{k=1,2,3,...,n,...} あるいは、伝統的に {a_k}_{k=1,2,3,...,n,...} （または単に {a_n}）と表す。ここで、数列 {a_n} に現れるおのおのの数を数列 {a_n} の項 (term) という。特に最初の項 a₁ を初項という。また、任意の自然数 n について a_n が n の式として定まっているとき、この式を一般項という。

数列は、項が有限個の有限数列 {a_k}_{k=1,2,3,...,n}（n は項数）と、項が無限の無限数列 {a_n}_n∈N に分けることができる。

また、各項が整数に限られた数列を整数列（せいすうれつ、sequence of integers, integer sequence）という。有名な整数列としては、

1, 1, 2, 3, 5, 8, 13, 21, ...

のように最初の 2 項から始めて、連続した 2 項の和を次の項とするフィボナッチ数列があげられる。

単に数字が一列に並んでいればそれは数列なのであるが、学問的な興味からは項のならびに規則性のあるものが主に取り扱われる。代表的なものは、等差数列や等比数列あるいはフィボナッチ数列のように漸化式で定義される数列である。

[編集] 数列の例

[編集] 等差数列

任意の自然数 n に対して、隣り合う二項 a_n と a_n+1 の差が一定のもの。その差を公差という。（以下では公差を d で表す。）

1, 2, 3, 4, 5, 6, ...（初項 1、公差 1）

3, 5, 7, 9, 11, 13, ...（初項 3、公差 2）

一般項
- a_n=a₁+(n-1)d
等差数列の初項からn項までの和

$Sn = \frac{n(a_{1}+a_{n})}{2}$

$= \frac{n\left\{2a_{1}+(n-1)d\right\}}{2}$

また、末項をlと置くと

$Sn = \frac{n(a_{1}+l)}{2}$

と書くこともできる。

[編集] 等比数列

任意の自然数 n に対して、隣り合う二項 a_n と a_n+1 の比が一定のもの。その比を公比という。（以下では公比を r で表す。）

1, 2, 4, 8, 16, 32, ... （初項 1、公比 2）

5, 15, 45, 135, 405, ... （初項 5、公比 3）

1, -1, 1, -1, 1, -1, ... （初項 1、公比 -1）

一般項
- a_n=a₁r^n-1
等比数列の初項からn項までの和
- r≠1の場合
$Sn = \frac{a_{1}(1-r^n)}{1-r}$

- r=1の場合
$S n = n a 1$

[編集] 漸化式

数列 {a_n} の各項 a_n が関数 f を用いて

a_n+1 = f(a₁, a₂, ..., a_n)

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

漸化式を解くとは、漸化式で与えられている数列 {a_n} の一般項 a_n を n の明示的な式 (explicit formula) で表すことである。

[編集] 等差数列・等比数列の漸化式

等差数列や等比数列は、その定義から極めて単純な漸化式をもつ。すなわち、

a_n+1 = a_n + d

（d は定数）という漸化式は等差数列の漸化式で、この定数 d が公差である。この漸化式は簡単に解けて、一般項は a_n = a₁ + (n - 1)d となる。同様に

a_n+1 = r · a_n

（r は定数）という漸化式は等比数列の漸化式であり、r が公比である。この漸化式を解けば a_n = r^n-1 · a₁ なる一般項を得ることができる。

これらは次に述べる隣接二項間漸化式の最も単純なものである。

[編集] 隣接二項間漸化式

数列 {a_n} が漸化式によって定められ、漸化式が一変数関数 f によって

a_n+1 = f(a_n)

と表されているとき、この漸化式は隣接二項間 の漸化式であるという。特に、f が一次式

a_n+1 = p(n) · a_n + q(n)

（p, q は n の関数）となっているとき、線型であるという。定数係数 線型隣接二項間漸化式、すなわち

a_n+1 = p · a_n + q

（p, q は n に関係しない定数）であるならば、これは次のようにして等差数列あるいは等比数列に帰着され、一般項が n の式として明示的に記述できる：

p = 1 のとき、漸化式は a_n+1 = a_n + q であるから、これは等差数列である。

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

a_n+1 - α = p(a_n - α)

と変形できる。これは、一般項が b_n = a_n - α で定義される数列 {b_n} が公比 p である等比数列となることを表しているから b_n が n の式として得られる。a_n = b_n + α だから、これも n の式として書くことができる。

[編集] 隣接三項間漸化式

数列 {a_n} が漸化式によって定められ、漸化式が二変数関数 f によって

a_n+2 = f(a_n+1, a_n)

と表されているとき、この漸化式は隣接三項間 の漸化式であるという。特に、f が斉一次式

a_n+2 = p(n) · a_n+1 + q(n) · a_n

（p, q は n の関数）となっているとき、線型であるという。定数係数 線型隣接三項間漸化式、すなわち

a_n+2 = p · a_n+1 + q · a_n

（p, q は n に関係しない定数）であるならば、特性方程式 x² = px + q の根を用いて解くことができる。

[編集] 関数としての数列

Σ_n を自然数全体の成す集合 N の n における切片、すなわち Σ_n = {0, 1, 2, ..., n} とし、S を N または適当な n ∈ N に対する Σ_n のいずれかとする。

関数の言葉を用いれば、数列とは、S 上で定義された関数（数を値とする写像）であると見ることができる。

カテゴリ: 数 | 数学に関する記事

数列