1 合成の概念
合成は、複数の対象や写像（対応）を組み合わせて、別の対象や写像を構成する考え方である。数学、とりわけ代数では、局所的な変換を段階的に連ねることで、全体としての変換を一つの操作として扱える点が重要になる。
1.1 対象の合成と写像の合成
対象の合成とは、より基本的な構成要素を用いて新しい対象を作る枠組みを指すことがある。たとえば集合に対して積集合や直積などを考えるように、要素の組を新しい要素として扱う操作が該当する場合がある。
写像の合成はその中心的な例であり、ある写像の出力を次の写像の入力として用いることで、二段階以上の処理をまとめて一つの写像にする。ここで重要なのは、単に「つなぐ」ことだけでなく、入力に関する整合性（どの値が次の写像の定義域に属するか）を満たす必要がある点である。
1.2 写像の合成（関数合成）
写像の合成は関数合成としても知られ、代数・解析・幾何など多方面で共通に現れる基本操作である。特に、複数の変換を連続して行う状況で、「全体としての変換」を明示的に表す手段になる。
1.2.1 合成の定義と表記
写像 \(f:X\to Y\) と写像 \(g:Y\to Z\) があるとき、合成 \(g\circ f\) は \(X\to Z\) の写像として定義される。定義は各 \(x\in X\) に対して \[ (g\circ f)(x)=g(f(x)) \] である。
表記 \(g\circ f\) は「\(f\) ののちに \(g\) を適用する」という意味を持つ。したがって、連結する写像の順序を表記上で明確にする必要がある。
1.2.2 合成の向き（順序）と合成則
合成では順序が本質的である。一般に \(g\circ f\) と \(f\circ g\) は同じとは限らず、適用の対象（どちらの値が次の入力として使われるか）が異なるからである。
複数の写像 \(f:X\to Y\)、\(g:Y\to Z\)、\(h:Z\to W\) を考えると、三段階の合成では結合のしかたによって表記が変わっても結果は一致する。すなわち \[ (h\circ g)\circ f = h\circ (g\circ f) \] が成り立つ。この結合律があるため、合成の「括弧」は結果に影響しない形で整理できる。
1.3 合成の基本性質
合成の基本性質は、代数的な構造を扱う際の土台になる。第一に、合成ができるかどうかは対象の型（定義域と値域）で決まる。適切な値域が次の定義域と一致するように写像を並べる必要がある。
第二に、合成には結合律があるため、多段階の連結を括弧なしで扱える場面が多い。第三に、恒等写像が関与する単位元的な性質も重要であり、恒等写像 \(\mathrm{id}_X\) に対して \[ f\circ \mathrm{id}_X = f,\quad \mathrm{id}_Y\circ f=f \] が成り立つ。これらは写像の集合が合成によって「半結合的」あるいは「圏的」なふるまいを示すことにつながる。
2 合成と代数構造
代数構造の文脈では、合成は単なる写像の連結以上の意味を持つ。対象が群・環・体などの構造を備えている場合、合成によって性質が保持されるか、あるいはどの条件下で保持されるかを体系的に整理することが中心課題になる。
2.1 準同型の合成
準同型は、演算や構造を「形を保ったまま」写す写像である。具体的には、ある演算で結びつけた結果が、写像を通して対応する演算の結果に一致するように作られる。
準同型同士を合成するとふたたび準同型になる。この閉性により、性質の継承を連鎖的に追跡できる。
2.1.1 群の準同型の合成
群準同型 \(f:G\to H\) と \(g:H\to K\) が与えられているとする。両者が準同型であるとは、群の演算（積）について \[ f(xy)=f(x)f(y),\quad g(uv)=g(u)g(v) \] が成り立つことを意味する。
このとき合成 \(g\circ f:G\to K\) も群準同型である。実際、 \[ (g\circ f)(xy)=g(f(xy))=g(f(x)f(y))=g(f(x))g(f(y))=(g\circ f)(x)(g\circ f)(y) \] となり、演算の整合が保存される。
2.1.2 環の準同型の合成
環準同型では、加法と乗法に関する整合が同時に求められる。環 \(R,S,T\) に対し、準同型 \(f:R\to S\)、\(g:S\to T\) が与えられ、加法について \(f(a+b)=f(a)+f(b)\)、乗法について \(f(ab)=f(a)f(b)\) が成り立つとする。
合成 \(g\circ f\) について同様の計算を行うと、加法・乗法の両方で準同型の条件が維持される。したがって環準同型は合成に関して閉じている。
2.1.3 体の準同型の合成
体準同型は、体としての加法・乗法を保つだけでなく、体の非零要素に関する逆元の振る舞いも整合する写像として理解できる。体 \(F,E,L\) に対して、体準同型 \(f:F\to E\)、\(g:E\to L\) を考える。
すると合成 \(g\circ f\) も体準同型になる。加法と乗法の保存は自動的に従い、非零要素の逆元についても、保存則と体の性質から整合が導かれる。これにより、体の内部変換を段階的に連ねても「体準同型性」が失われない。
2.2 合成が保存する性質
合成は、準同型性を維持するだけでなく、単射性や全射性といった写像としての性質、さらに同型や逆写像の存在に関する性質も一定の法則に従って引き継がれる。
2.2.1 単射・全射の挙動
単射性については次が基本である。写像 \(f\) と \(g\) を合成した \(g\circ f\) が単射である場合、特に \(f\) が単射であることが必要になる（直観的には、途中段階で識別できなくなると最終結果でも識別できない）。
一方、全射性については逆方向の条件が効く。合成 \(g\circ f\) が全射なら、通常 \(g\) の全射性が関係する。特に、最終到達が可能であるためには、最後に適用される写像が十分に広い像を持つ必要がある。
ただし「単射が合成で必ず保存される」「全射が常に保存される」といった単純な一般則ではなく、どの段階の写像が単射・全射であるかによって結論が変わる。したがって、検証は条件付きで行うのが確実である。
2.2.2 同型・逆写像との関係
同型は、準同型でありかつ可逆である写像として特徴づけられる。写像 \(f\) が同型であるとは、逆写像 \(f^{-1}\) が存在し、準同型としての整合も含めて構造が保たれることを意味する。
合成に関しては、同型同士の合成が再び同型になる。さらに逆写像の扱いも重要で、合成の逆は構成要素の順序を入れ替えて逆写像を合成したものになる。具体的には、同型 \(f\) と \(g\) に対し \[ (g\circ f)^{-1}=f^{-1}\circ g^{-1} \] が成り立つ。これは「最終変換を元に戻すには、逆順に逆変換を適用する」ことを形式化した関係である。
3 合成の応用
合成は計算の道具としてだけでなく、数学的対象を構造的に理解するための設計原理としても使われる。ここでは、合成を用いた分解や構成の発想に焦点を当てる。
3.1 合成を用いた写像の分解
写像を合成として表せれば、その性質を分解された部分に還元して調べることができる。特に複雑な変換を、より単純な操作の列として理解する際に有効である。
3.1.1 合成写像の計算手順
合成 \(g\circ f\) の値を計算するときは、入力 \(x\) をまず \(f\) に入れ、その出力を \(g\) に渡すという手順に従う。代数的には、式変形を進める際に「内側の写像の結果」を先に整理してから外側を適用する。
表現が複数回の合成で複雑化すると、括弧の配置が誤りを生みやすい。結合律により括弧の位置は結果に影響しないが、実際の代入順は表記と対応していなければならないため、計算過程では「どの写像が先に作用するか」を常に確認することが必要になる。
3.1.2 合成による性質の導出
合成で性質を導く典型例は、準同型性や到達可能性に関する主張である。たとえば、個々の段階が演算保存を満たすなら、合成全体も演算保存を満たす。これは、条件が連鎖的に伝播するためである。
また、画像や核のような構造も合成と関連して解析できる。ある段階で失われた情報は、その後の段階で復元できないことが多く、単射・全射の議論と同様に、情報が「どの位置」で消えるかを追うことで結論が導かれる。
3.2 構成的手法としての合成
合成は、対象を作り上げる過程そのものを支える考え方にもなる。構成的手法では、基本部品の選択と組合せ方によって全体が決まり、その結果を論理的に保証することが求められる。
3.2.1 生成と合成の組み合わせ
生成は、有限あるいは有限に近い基本要素から対象全体を作る手順である。合成を用いると、生成段階で得た中間構造からさらに次の操作へ進み、全体の写像や構造の存在を組み立てられる。
例えば、ある群や環で「生成元から任意の元が組み立てられる」状況では、準同型が生成元に関する条件を満たすかどうかで全体への一意性が決まることがある。そこでは合成が、局所条件を全域へ延長する導線になる。
3.2.2 構造写像（例：射）の連結
代数的対象の間では、構造を保つ写像が重要であり、これらは文脈により「射」と呼ばれる。合成によって射の列が作れると、対象間の関係を長い鎖として扱え、途中の構造的制約を漏らさずに追跡できる。
実際には、核や像の取り扱い、ある構造が因子を介して現れるかどうかなど、連結の仕方により解析の見通しが変わる。合成を軸に射を連結することは、対象同士の関係を整理し、計算量を減らす方向に働きやすい。
4 代表的な注意点
合成は単純に見えて、定義域・値域の整合や順序の混同などの誤りが起きやすい。ここでは頻出の落とし穴をまとめる。
4.1 定義域・値域の整合
最も基本的な条件は、合成できる型の一致である。具体的には \(f:X\to Y\)、\(g:Y\to Z\) のように、\(f\) の値域が \(g\) の定義域と接続していなければならない。整合が欠けると式は形式的に書けても意味のある写像にならず、計算結果も定義されない。
部分関数として扱う場合や、定義域を制限して考える場合もあるため、どの集合上で合成しているのかを常に明示するのが安全である。
4.2 合成順序の混同
合成の順序は表記に反映されており、誤ると全く別の対応になってしまう。特に「関数を左から適用する」という一般的な癖がある場合、\(g\circ f\) と \(f\circ g\) を取り違える事故が起こりやすい。
対策としては、必ず \((g\circ f)(x)=g(f(x))\) のように、少数の点 \(x\) を用いて代入の流れを確認することが有効である。たった一行の確認で、誤りの大半は防げる。
4.3 結合律と単位元の扱い
結合律が成り立つため、合成の括弧は結果に影響しない。しかし「括弧を外してよい」という直感があっても、途中で型の整合が崩れていないかは別問題である。結合律は、合成自体が意味を持つ場合にだけ適用できる。
また恒等写像の扱いも注意点である。恒等写像は単位元として振る舞うが、対象が異なれば恒等写像も異なる。たとえば \(\mathrm{id}_X\) と \(\mathrm{id}_Y\) は別の写像であり、適用先の整合を誤ると誤った簡約につながる。