21/11/22 08:23:00.51 +nRRrBLA.net
数列の「正確な」定義
URLﾘﾝｸ(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
S を自然数全体の集合 N またはその n における切片 {0, 1, 2, …, n} とするとき、
S から実数（あるいは複素数）への関数 a を数列（すうれつ、英: sequence）と呼び、
順序付けられた数の並びとして
a0, a1, a2, …, an, …
のように記す。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
上記の定義によれば
そもそも値域｛0,1,2,…,ω｝のωは実数でも複素数でもないからアウトだが
仮にそこについては拡大を許すとしても
定義域がNもしくはその部分集合だから、順序づけられた並びが
0,1,2,…,ω
で、･･･に任意の自然数が入るものは存在し得ない
１．･･･に任意の自然数が入るなら、ωは像に入らない
２．ωが像に入るようにする場合、Nのある部分集合｛0,1,2,…,ｎ｝を
定義域にするしかなく、その結果･･･に入らない自然数が（無限個）存在する