写像の合成

数学において写像あるいは函数の合成（ごうせい、）とは、ある写像を施した結果に再び別の写像を施すことである。
たとえば、時刻 における飛行機の高度を とし、高度 における酸素濃度を で表せば、この二つの函数の合成函数 が時刻 における飛行機周辺の酸素濃度を記述するものとなる。
導入.
例えば、二つの写像 "f": "X" → "Y" および "g": "Y" → "Z" について、"g" の引数を "x" の代わりに "f"("x") とすることにより、"f" と "g" を「合成」 することができる。直観的には、"z" が写像 "g" で対応する "y" の函数で、"y" が写像 "f" で対応付けられる "x" の函数ならば、"z" は "x" の函数であるということを述べている。
これにより、写像 "f": "X" → "Y" と写像 "g": "Y" → "Z" との合成写像 
が "X" の各元 "x" に対して
とおくことによって定まる。""g" ∘ "f" は図式的に写像 "f", "g" を施す順番とは逆順となるため、しばしば正順に "fg", "f" ; "g"" などと記す流儀もみられる（後述）。これらに「読み」を与えるならば、「"f" と "g" との合成」「"f" に "g" を合成」「"f" に引き続いて "g" を施す」「"f" と "g" との積」、「"g" の前に "f" を施す」「"g" を "f" の後で施す」「"g" の "f"（の "x"）」「"g" まる "f"」などとなる。
写像の合成は、それが定義される限りにおいて常に結合的である。すなわち、"f", "g", "h" がそれぞれ（合成が定義できるように）適当に選ばれた始域および終域を備えた写像であるとするならば、
が成り立つ。ここで、括弧はそれが付いているところから先に合成を計算することを指し示すためのものである。これは括弧をつける位置の選び方は写像の合成の結果に影響を及ぼさないということを意味しているから、括弧を取り除いても意味を損なうことは無く、しばしば括弧を省略して
と書かれる。写像の数がさらに増えても同様である。
二つの写像 "f" と "g" が互いに可換であるとは、
を満たすことをいう。一般には写像の合成は可換ではなく（少なくとも "f": "X" → "Y" かつ "g": "Y" → "X" といったような形の写像になっておらず "f" ; "g" か "g" ; "f" の何れかが定義できないとか、"X" = "Y" といったような条件がないとこれらふたつの合成写像の値を等しいかどうか考えることすらできないといったような可能性があるのは明らかである）、合成の可換性は特定の写像の間でのみ、特殊な事情の下でしか成立しない特別な性質である。たとえば、"f"("x") = |"x"| を実数の絶対値をとる函数、"g"("x") = "x" + 3 とすれば、実数からなる半開区間 "X" = [0, ∞) := {"x" ∈ R : "x" ≥ 0} 上の函数として、
が成り立つが、これは負の実数も含めた実数全体では成り立たない。集合 "X" 上の変換写像 φ: "X" → "X" が逆写像 φ−1: "X" → "X" を持つならば、これらは常に可換であり
が成り立つ。ここに、id"X" は集合 "X" 上の恒等写像である。
写像を関係の特別な場合（つまり一意対応あるいは函数関係）と考える場合にも、関係の合成 "g" ∘ "f" ⊂ "X" × "Z" が、"f" ⊂ "X" × "Y" と "g" ⊂ "Y" × "Z" を用いた式として、同様に定義される。
可微分写像同士の合成写像の微分は連鎖律を用いることによって求められる。またその高階微分はで与えられる。
写像の合成によって与えられる構造は公理化され、圏論において一般化される。
写像の冪.
集合 "X" とその部分集合 "Y" ⊂ "X" に対し、写像 "f": "X" → "Y" はそれ自身と合成することができる。この合成写像をしばしば "f"2 で表す。同様に自分自身との合成を繰り返して
という合成写像の列が得られる。このようにある写像を自身と繰り返し合成することで得られる合成写像を反復合成写像などと呼ぶ。
自然数 "n" に対し帰納的に定まる写像の反復合成冪 "f" ∘ "f""n" = "f""n" ∘ "f" = "f""n"+1 は以下のように拡張すると便利である。
ある場合には、"f" についての式 "g"("x") = "f" "r"("x") が適当な "g" の満たす性質から整数ではない "r" について成立することが導かれることがありうる。これを分数回反復 と呼ぶ。たとえば、写像 "f" の1/2回反復 とは "g"("g"("x")) = "f"("x") を満たす写像 "g" のことである。別な例として、"f" を後継函数 として "f" "r"("x") = "x" + "r" とすることが考えられる。この考え方を一般化して、反復回数を表す添字を連続パラメータに取り替えることを考えることもできるが、このような系は流れ と呼ばれる。
反復合成写像および流れはフラクタルや力学系の研究に自然に現れる。
合成に関するモノイド.
ふたつ（あるいはそれ以上の数の）写像 "f": "X" → "X", "g": "X" → "X" が同一の集合を始域および終域に持つものとすれば、（重複を許した）長い合成の鎖を "f" ∘ "f" ∘ "g" ∘ "f" のようにして作ることができる。このような鎖の全体は変換モノイドまたは合成モノイドと呼ばれるモノイドの代数的構造を持つ。一般に、変換モノイドは極めて複雑な構造を持つ。特筆すべき例のひとつはである。"X" 上の変換 "f": "X" → "X" の全体が成す集合は、"X" 上の全変換半群 と呼ばれる。
"X" 上の変換の集合 "S" の各元 "f": "X" → "X" が全単射であるとき、"S" に属する変換から可能な限りの組合せをとって得られる合成の鎖の全体は変換群を成す。このとき、個の変換群は "S" で生成されるという。"X" 上の全単射な変換 "f": "X" → "X" の全体は、写像の合成に関して群を成す。これを対称群と呼び、また合成群 と呼ばれることもある。
合成作用素.
写像 "g" が与えられたとき、"g" の定める合成作用素 "C""g" とは
によって定義される、写像を別の写像に写す作用素のことである。formula_11 は写像 "f" の "g" による、formula_12 は写像 "f" の "g" によると呼ばれる。合成作用素は作用素論の分野で研究される。