1 合成列の概要
合成列とは、既存の数列や写像（関数）に対して、合成や反復といった操作を組み合わせることで新しい列（あるいはその生成規則）を得る考え方である。列そのものを「独立に定義し直す」よりも、既にある構造を再利用して新たな挙動を設計する点に特徴がある。代数的な整理では、列を生成する写像を合成して得られる列、あるいは列生成規則の合成により生じる性質の保存（閉性や単調性など）に注目する。
合成列は、反復合成（ある写像を何度も適用して列を進めること）を含むことが多い。そのため、列という言葉で扱われる対象は、実数列のような具体的な数の列に限らず、状態の列、形式的な項の列、あるいは写像の列そのものを同時に視野に入れた概念として用いられる。
1.1 合成列の基本的な定義
基本的には、ある集合 \(S\) 上で定義された列 \((a_n)_{n\ge 0}\) を「ステップごとに更新する規則」として捉える。ここで、更新規則が写像 \(T:S\to S\) として表されるとき、初期状態 \(a_0\) と写像 \(T\) により \[ a_{n+1}=T(a_n) \] の形で列が定まる。このとき、写像 \(T\) が既存の写像の合成で構成されている場合、その結果として得られる列を合成列として扱う。
さらに一般化すると、列を生成する過程自体が「既存の列生成規則の組み合わせ」で構成される場合も合成列と呼ぶ。例えば、差分演算や線形変換、添字のずらし、あるいは複数の列から新しい列を作る規則が「合成可能な部品」として扱われる。
1.2 「合成」とみなす操作の範囲
「合成」と呼ぶ範囲は文脈で変わるが、本節では合成列の形成にとって自然な操作を二系統に整理する。第一は、列という対象同士を合成して新しい列を構成する見方である。第二は、列を進める写像（更新規則）を合成して列生成の機構を組み立てる見方である。どちらも結果として得られるのは新しい列であり、その生成過程の構造が中心的な情報となる。
1.2.1 構成としての列の合成
列の合成として捉える場合、いくつかの既存列 \((a_n)\), \((b_n)\) などを、同じ添字を対応づけながら新しい列 \((c_n)\) に変換する操作が対象となる。典型例は、項ごとの演算による合成である。たとえば \[ c_n = F(a_n,b_n) \] のように、各 \(n\) における値を写像 \(F\) で結び、結果として新しい系列を得る。この枠では、合成は「項の構成」を意味し、添字の整合性（同じ \(n\) を使うか、ずらした \(n\) を使うか）が性質を左右する。
また、部分列の連結や、添字の写像による再配置（例： \(a_{\sigma(n)}\) のような形）も広い意味で合成に含められることがある。これらは「同じ集合から値を拾って再構成する」操作として理解できる。
1.2.2 写像としての合成
写像としての合成では、列を進める更新規則そのものが合成される。列の各段階は状態 \(x_n\) を持ち、更新規則 \(T\) の適用で次の状態が決まると考えると、 \[ x_{n+1} = T(x_n) \] である。ここで \(T\) が \[ T = U\circ V \] のように合成された写像として与えられると、列生成は「まず \(V\) を適用し、その後 \(U\) を適用する」ことに相当する。反復合成の場合はさらに \(T\) 自身を反復して \[ x_n = T^{(n)}(x_0) \] のように表現される。合成列が扱う核心は、合成写像の構造が列の漸近挙動や不変量、保存される性質として現れる点にある。
この見方では、合成の順序が決定的である。写像の合成は一般に可換ではないため、部品写像の並び替えが列の性質を変えることが多い。
2 代数的枠組み
合成列を代数として扱う場合、列生成規則や状態遷移を記号で抽象化し、合成操作がどの性質を保持するかを論じる枠組みが重要になる。ここでは、生成規則の合成と反復合成を中心に、一般形としての表現を与える。
また、合成列の性質は、半群やモノイドといった代数構造とも結びつく。写像の合成がこれらの構造に従うことを利用して、合成列の作り方を体系化できる。さらに、可換性の有無や順序依存がどの程度まで性質の評価に影響するかを整理する。
2.1 記号化と一般形
まず、合成列に現れる主要な対象を記号化する。典型的には状態集合 \(S\) と、そこから状態へ写す写像族 \(\mathcal{T}\) を考える。列は初期値 \(x_0\in S\) と、ある更新写像 \(T\in \mathcal{T}\) によって決定される。
更新写像が既存の部品写像 \(T_1,T_2,\dots,T_k\) の合成によって構成されるとき、その列は合成列として表現できる。この枠では「どの合成写像を選んだか」が主要な設計変数となる。
2.1.1 生成規則の合成
生成規則の合成は、更新写像を部品写像の合成として構成する操作である。例えば \[ T = T_k\circ \cdots \circ T_2\circ T_1 \] とすると、状態列は \[ x_{n+1}=T(x_n) \] により生成される。ここで \(T\) の構造が列の性質に反映される。たとえば各 \(T_i\) が単調性や有界性を保つ性質を持つ場合、その合成でも同様の保全が成立するかどうかが問題になる。
また、生成規則を合成するだけでなく、段ごとに更新写像を変える（つまり \(T\) を固定しない）場合も扱える。この場合、更新写像の列 \[ T_1, T_2, \dots \] がさらに合成（時間順の適用）される形で状態列が決まる。
2.1.2 反復と合成列
反復は、更新写像を同一のものとして繰り返し適用する操作である。写像 \(T\) の \(n\) 回反復を \(T^{(n)}\) と書けば、 \[ x_n = T^{(n)}(x_0) \] が基本形になる。このとき合成列は、合成された更新写像 \(T\) をさらに反復している点で二重の構造を持つ。
たとえば、合成写像 \(T=U\circ V\) を反復すると、状態の推移は「区間ごとに \(V\) と \(U\) が交互に作用している」ように見えることがある（ただし一般には単純な周期性が自動で出るわけではない）。ゆえに反復と合成の組み合わせは、列の周期や収束・発散などの解析に直結する。
2.2 代数構造との関係
写像の合成は、半群やモノイドといった代数的枠組みによって形式化できる。合成列の議論は、これらの構造を背景として「合成の仕方」による性質の再利用を可能にする。さらに可換性の有無は、合成部品の並び替えにより得られる列が同じになるかどうかを左右し、順序依存性は結果の違いとして現れる。
2.2.1 半群・モノイド的観点
写像全体（あるいは特定の性質を持つ写像の族）が合成により閉じているなら、その族は半群を成す。つまり合成は結合的であり、反復はこの結合性により自然に定義される。さらに恒等写像が存在して合成の単位として働くなら、モノイドの枠に入る。
この観点では、合成列の生成規則の組み立ては「半群的な積」の計算に対応する。初期状態からの到達は、モノイド作用として理解でき、既存の合成規則を利用して新規の列を系統的に得ることができる。
2.2.2 可換性と順序依存性
一般に写像の合成は可換ではないため、部品の順番は結果に影響する。合成列の性質評価では、どの性質が「順序に鈍感」で、どの性質が「順序に敏感」かを区別する必要がある。
例えば、ある写像族が互いに可換であれば、合成結果は順序に依らないので、生成規則の設計が簡潔になる。一方、可換性が成り立たない状況では、反復の内部で生じる作用の並びが列の挙動を変える。したがって、合成列の体系化には、可換性の有無や、特定の組合せでのみ可換になる条件（部分可換性）を明示することが重要となる。
3 合成列の性質
合成列の価値は、単に新しい列を作ることに留まらず、その列がどのような性質を持つかを理解し、予測可能性を高める点にある。ここでは、合成後に同種の対象に留まるかという閉性、次に形式的性質として単調性や有界性、そして周期性や漸近挙動を扱う。最後に直和や積との両立、同型写像による不変性といった構造的特徴をまとめる。
3.1 閉性（合成後も同じ種類の列か）
閉性とは、合成の前に属していたクラス（例：ある性質を満たす列）に対し、合成後もそのクラスが保たれることを指す。更新写像で考えるなら、各部品写像がある条件を満たし、その条件が合成によって保存されるかが問題になる。
たとえば、単調な更新写像同士の合成が単調であるか、あるいは有限性（項の値が有限集合に入る等）が合成で保持されるかを検討する。閉性が成立すれば、合成列は「設計した部品の性質を組み合わせるだけで、望むクラスの中に収まる」という利点を得る。
3.2 形式的性質
形式的性質は、列の項そのものの値域だけでなく、その演算的・順序的構造に着目する。合成によって性質が引き継がれる場合が多く、分析の足場になる。
3.2.1 単調性・有界性
単調性は、状態集合に順序が導入できるときに定義されることが多い。更新写像 \(T\) が順序を保つ、すなわち \(x\le y\) なら \(T(x)\le T(y)\) となるなら、列の進み方は比較可能性を持つ。合成が単調性を保存する条件を満たしていれば、合成列でも単調挙動が維持される。
有界性もまた重要である。初期状態がある範囲に入っていて、更新規則がその範囲を出ない（閉じた区間に留まる）ような状況では、列が発散しない保証につながる。合成写像が「範囲を保つ」性質を持つかどうかを確認すると、合成列の安定性を議論できる。
3.2.2 周期性・漸近性
周期性は、ある段以降に状態が繰り返される現象として表れる。写像の反復の観点では、特定の状態がある回数で自己に戻る（周期軌道）ことに対応する。合成された更新写像が作る軌道が、どのくらいの周期を取りうるかは、合成部品の作用がどのように組み合わさるかに依存する。
漸近性は、極限値への接近、あるいは特定の吸引集合への収束といった長期挙動を指す。形式的には、収束性を導く条件（例えば収縮的性質に類するもの）を合成で保てるかが焦点になる。合成列では、部品写像それぞれの性質から、合成後も同様の収束が起こるかを検討することで、長期挙動の推定が可能になる。
3.3 構造的性質
構造的性質は、列を生成する枠組みがより大きな構造とどのように整合するかを問う。直和や積などの代数的構成により状態空間を分解・結合したとき、合成列の振る舞いがどの程度まで分離可能かが議論される。また同型写像による不変性は、表現の違いに左右されない本質的特徴を明らかにする。
3.3.1 直和・積との両立
状態集合が直和（例えば成分に分かれた状態）で表せるとき、更新写像が成分ごとに独立に作用するなら、合成列は成分間で分解して理解できる。直和に関する両立性は、「各部分の更新を合成して全体の更新に対応する」形で現れる。
一方、積（対の状態）を考える場合には、更新規則が各成分に独立に作用するか、あるいは成分間に依存があるかで結果が変わる。独立なら結合は単純になり、依存があるなら相互作用が列の性質に影響する。合成列の研究では、どの構成操作が解析を容易にするかを見極めることが重要になる。
3.3.2 同型写像による不変性
同型写像による不変性とは、状態空間の表現を変えても（同型で結んでも）合成列の本質が変わらないことを意味する。具体的には、同型 \(h\) によって状態を写し替えるとき、更新写像が \[ h\circ T = T'\circ h \] の関係を満たすなら、状態列の到達の仕方や長期挙動は対応づけられる。合成列の性質を議論する際に不変性があると、計算負担が減り、特徴づけが抽象的に行える。
同型は、しばしば解析上の正当化（表現の選択による見かけの差を排する）として用いられる。合成列においても、同型のもとで保存される性質（周期構造や順序関係など）を同定することが、分類につながる。
4 代表的な例と応用
合成列は具体的な生成規則の組み合わせとして理解しやすい。ここでは数列そのものを操作する例と、写像の合成により列が生まれる例を対比する。最後に応用の位置づけとして、離散的な力学（差分方程式など）としての解釈と、生成関数・形式冪級数との接点を示す。
4.1 数列の合成（例：差分と合成）
差分は数列を操作する基本的な手段であり、列合成の典型例となる。たとえば一次差分を \[ (\Delta a)_n = a_{n+1}-a_n \] と定めると、差分演算 \(\Delta\) を繰り返すことで高次差分 \(\Delta^k a\) が得られる。さらに、差分演算に別の変換を合成して列を作ると、元の列に対して特定の性質（多項式的な構造、漸近形の変化など）を反映した列が得られる。
例として、二つの列 \(a\) と \(b\) のそれぞれに差分を取り、その結果を項ごとに和や積で結ぶ操作は、列の構成としての合成にあたる。差分という「局所的な更新」を組み合わせることで、結果列の規則が見通しやすくなる。
4.2 写像の合成による列（例：反復関数系）
写像の合成による例として、更新規則が反復関数系として与えられる状況を考える。状態 \(x_n\) に対して \[ x_{n+1} = (U\circ V)(x_n) \] とし、さらに各段で同一の合成写像を適用するなら、これは合成写像の反復による列生成である。部品写像 \(U\) と \(V\) がそれぞれ持つ性質（順序保存、狭める作用、周期的な挙動を誘発する作用など）が、合成後の軌道に反映される。
また、更新写像を段ごとに切り替える場合もある。例えば \(x_{n+1}=T_n(x_n)\) とし、各 \(T_n\) 自体が合成として与えられると、時間変化を持つ反復合成系として列が生成される。この枠では、合成部品の並びが長期挙動にどう影響するかを観察することが中心になる。
4.3 応用の位置づけ
合成列は、連続時間の微分方程式に対応する「離散時間のモデル」において自然に現れる。さらに、生成関数や形式冪級数の手法を通じて、合成により得られる列の構造を代数的に扱える。ここでは二つの接点を示す。
4.3.1 離散動力学としての解釈
離散動力学の観点では、列は状態の時間発展そのものに相当する。更新規則が写像として与えられ、その合成が相互作用の組み立てや段階的処理を表す。たとえば、複数のステップ処理（フィルタリング、変換、再スケーリング）を合成して一つの更新規則とみなすことで、モデル化が整理される。
この解釈により、合成列は安定性や反復による挙動というテーマと結びつく。合成部品がもたらす性質の保存（閉性、単調性の保持、収束を誘導する性質の伝播など）が、離散時間システムの解析に利用される。
4.3.2 生成関数・形式冪級数との接点
生成関数は数列の情報を形式的冪級数に変換し、演算を代数的に表現する枠組みである。ある種の列操作は、生成関数上の演算（微分、乗算、置換など）として表されるため、合成列の構成をそのまま代数の操作に翻訳できることがある。
例えば、差分演算や添字のずらしは、生成関数の変換として記述でき、これらを合成することで得られる列も生成関数の変換の合成として扱える。したがって、合成列の研究は、形式冪級数の言語で「変換の合成＝構造の合成」として理解される場面がある。