列 (数学)

数学において列（れつ、テンプレート:Lang-en-short）とは、大雑把に言えば、対象あるいは事象からなる集まりを「順序だてて並べる」ことで、例えば「Ａ，Ｂ，Ｃ」は３つのものからなる列である。狭義にはこの例のように一列に並べるものを列と呼ぶが、広義にはそうでない場合（すなわち半順序に並べる場合）も列という場合がある（例：有向点列）。集合との違いは順番が決まっている事で、順番を変更したものは別の列であるとみなされる。たとえば列「Ａ，Ｂ，Ｃ」と列「Ｂ，Ｃ，Ａ」は異なる列である。

数を並べた列を数列、（何らかの空間上の）点を並べた列を点列、文字を並べた列を文字列という。このように同種の性質○○を満たすもののみを並べた場合にはその列を「○○列」という言い方をするが、異なる種類のものを並べた列も許容されている。

列の構成要素は、列の要素あるいは項（こう、term）と呼ばれ、例えば「Ａ，Ｂ，Ｃ」には３つの項がある。項の個数をその列の項数あるいは長さ (length, size) という。項数が有限である列を有限列（ゆうげんれつ、finite sequence）と、そうでないものを無限列（むげんれつ、infinite sequence）と呼ぶ。（例えば正の偶数全体の成す列 (2, 4, 6, ...) ）。

定義

定義を述べる前にその背後にある直観を説明する。「Ａ，Ｂ，Ｃ」という列は、１番目、２番目、３番目にそれぞれＡ，Ｂ，Ｃという項がある。したがってこの列から１、２、３にそれぞれＡ，Ｂ，Ｃを対応させる関数を作る事ができる。逆に１、２、３にそれぞれＡ，Ｂ，Ｃを対応させる関数があればそこから「Ａ，Ｂ，Ｃ」という列を復元するのは容易である。この事から「列」という概念は自然数に項を対応させる関数と実質的に同義である事がわかる。そこで数学ではそのような関数を列の定義とする。

すなわち集合 S に値を取る項数n の有限列とは、 {1, 2, ..., n} から S への写像

a : {1, 2, ..., n} → S

のことである。

同様に、S に値を取る無限列とは、自然数全体のなす集合 <math>\mathbb{N}=\{1,2,3,\ldots\}</math>から S への写像

<math>a\colon \mathbb{N}\to S</math>

である。

（有限または無限）列a に対し、自然数i の写像a による像 a(i) は添字記法にしたがって a_i などと記されるのが通例である。（計算機科学では配列の記号を流用してa [i ]とも書く。）

列a はその項を明示して(a₁, a₂, ...)のように表記される事もある。また簡単に (a_n) 、(a_n)_n と記す方法もしばしば用いられる。添字i が動く範囲を明示するために や (a_i)_i=1,2,...,n, (a_n)_n∈N, (a_n | n ∈ N) などのように記すこともある。

慣習的に {a_n} と書くことも多いが、列の項からなる集合 {x | ∃n(x = a_n)} = {a_n | n ∈ N}を表す意図で同じ記号がしばしば用いられるため注意を要する。

完全列のようなものは、項の並びのほかに項と項の間の関係性に意味があるため、ここでの記法とは異なり、項をノードとする直線状の有向グラフ（図式）を用いて記される。このようなものは鎖（さ、chain）や系列（けいれつ、series）などとも呼ばれる。

有限列 (x₁, x₂, ..., x_n) のことをその項数 n に対して n-組 (tuple) と呼ぶことがある。有限列のなかには、何の項も含まない空の列 (null or empty sequence) ( ) も含める。また、整数全体のなす集合からある集合への写像を

(..., a₋₂, a₋₁, a₀, a₁, a₂, ...)

のように書いて、両側無限列あるいは双方向無限列 (doubly or bi-infinite sequence) と呼ぶ。 これは、負の整数で添字付けられた列を正の整数で添字付けられた列に接いだものと考えることができることによる名称である。

ある与えられた列 (a_n)_n の部分列（ぶぶんれつ、subsequence）(a_ik)_k とは、残った要素がもとの数列における相対的な序列を保つ i.e.

<math>i\colon \mathbb{N}\to\mathbb{N};\ k \mapsto i_k, \quad (k_1< k_2 \Rightarrow i_{k_1}< i_{k_2}),</math>

ようにして、与えられた列からいくつかの要素を取り去ることによって得られる列

<math>a'\colon \mathbb{N}\to S;\ k \mapsto a_{i_k}</math>

のことである。

列の性質

列の性質は、その列の項が属する集合がどのような構造を持っているかということに大きく依存している。たとえば解析学では、数列をベクトルとみなして演算を与えたり、実数や複素数のなす集合の位相を用いて抽象的あるいは具体的な位相空間の点に関する点列として調べたりすることができる。

代数構造と数列空間

テンプレート:Main 代数的な構造である演算を持つ最も基本的な列の種類は数列、つまり実数や複素数などからなる列である。数列に対しては、その項がもつ演算をうまく利用して、数列同士の間の「和」や、数列を「定数倍」することなどを考えることができるため、この種の列はあるベクトル空間の元として扱うこともできる。

さらに適当な環 R に値を持つ無限列は、適当な意味で積を定義することによって、自然数全体の成す集合 N の R-係数半群環 RN、両側無限列は Z 上の群環 RZ とかんがえられる。このような空間はしばしば函数空間とみなされる。

また、一つの数列が与えられたとき、項同士の間に演算が定義できるから、その数列から部分和や積をつくることによって、新たに別の数列を作り出すこともできる。

順序構造と単調性

テンプレート:See also 列の項全体が、ある順序集合の部分集合を成すとき、単調列の概念を考えることができる。列 (a_n) が（広義の）単調増加列または単調増大列 (monotonically increasing sequence) であるとは、

i < j ⇒ a_i ≤ a_j

を満たすことをいう（今の場合これは「どの項も直前の項以上となっていること」といっても同じである）。また、

i < j ⇒ a_i < a_j

つまり、どの項も直前の項より真に大きいときには、その列は真の（あるいは狭義の）増大列 (strictly monotonically increasing) という。同様にして

i < j ⇒ a_i ≥ a_j　　[resp. a_i > a_j]

となる単調減少列 (monotonically decreasing sequence) も定義される。このような単調性をもつ列は、総じて単調であるまたは単調列（たんちょうれつ、monotone sequence）と呼ばれる。これはより一般な単調写像の概念における特別の場合になっている。

また、混乱を避けるため、真に増大・真に減少というのに対して、広義の単調増加および単調減少の代わりに、それぞれ非減少 (non-decreasing) および非増加 (non-increasing) という用語をもちいて区別することがある。

位相構造と極限

テンプレート:Mainテンプレート:See also 解析学において列を語るとき、普通は（自然数全体で添字付けられた）無限列

(x₁, x₂, x₃, ...) or (x₀, x₁, x₂, ...)

のことを指していると理解する。項が値をとる集合 S に適当な位相が定められているなら、位相空間 S における無限列の極限や収斂について言及することができる。列のそういった概念を扱うとき、それらは無限列のなかでも十分大きな（つまり与えられたある N より大きなところの）番号に対する項の挙動を捉えるものであるので、最初の有限個の項については例外として扱ったり、都合によっては取り除いて（つまり、列が 0 や 1 以外からはじまったりして）も、多くの問題について影響を及ぼさない。

例えば n ≥ 2 に対してのみ定義される列 x_n = 1/log(n) も、n ≥ 1 に対して定義される列 y_n = 1/log(n + 1) も n → ∞ なるときその極限はともに 0 であって、その意味では差異を生まない。

一般化

テンプレート:See also 整列集合である自然数全体やその切片を順序数と考えるならば、通常の列は有限順序数 n または最小の超限順序数 ω で添字付けられていると考えることができる。このことから一般に、ある集合 X の元の集まりで、整列集合あるいは順序数によって添字付けられるものを広い意味で X の元の列と呼ぶことがある。特に極限数 α をとれば、α によって添字付けられる列を考えることができる。この語法では通常の（無限）列は ω で添字付けられた列ということになる。

列の概念は、添字集合となる整列集合を有向集合に取り替えて有向点族（あるいはネット）、一般の集合にとりかえて元の族の概念に一般化される。

関連項目

• リスト (抽象データ型)
• タプル
• 集合
• 族 (数学)

外部リンク

• The On-Line Encyclopedia of Integer Sequences
• テンプレート:PlanetMath