シーケンス（列）の定義
話題
About: セット（集合）
この記事の目次
開始コンテキスト
- 読者は、ナチュラルナンバー（自然数）たちセット（集合）の定義を知っている。
- 読者は、ファンクション（関数）の定義を知っている。
ターゲットコンテキスト
- 読者は、シーケンス（列）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( \mathbb{N}\):
\( J\): \(\subseteq \mathbb{N}\)
\(*s\): \(\in \{\text{ 全てのファンクション（関数）たち }\}\)で、\((s_1, s_2, ...)\)のように記される、ここで、\(s_j = s (l_j)\)、ここで、\(l_j\)は、昇順に並べられた\(J\)の\(j\)-番目要素
//
コンディションたち:
\(Dom (s) = J\).
//
"\(n\)-シーケンス（列）"は、そのドメイン（定義域）がカーディナリティ\(n\)を持つ任意のシーケンス（列）を意味する。
2: 注
"シーケンス（列）"はしばしばインフィニット（無限）シーケンス（列）をほのめかすが、少なくとも本定義はファイナイト（有限）シーケンス（列）たちを許す。
大抵は、\(J\)は単に\(\{1, 2, ...\}\)のようにできるが、本定義は\(J = \{2, 5, 6\}\)のようなケースたちを除外しない、なぜなら、そうでなければ、何かを"シーケンス（列）"と呼ぶためだけにインデックス値たちを付番し直すという余計な作業を私たちはしなければならなくなるだろう。
セット（集合）としては、\(s_1 = s_2\)である時は\(\{s_1, s_2\} = \{s_1\}\)である、しかし、シーケンス（列）としては、\((s_1, s_2) \neq (s_1)\)である、\(s_1 = s_2\)である時も、なぜなら、それらは異なるファンクション（関数）たちである: \(Dom ((f_1, f_2)) = \{1, 2\}\)である一方、\(Dom ((f_1)) = \{1\}\)。
