Loading AI tools
ある写像を施した結果に再び別の写像を施すこと ウィキペディアから
数学において写像あるいは函数の合成(ごうせい、英: composition)とは、ある写像を施した結果に再び別の写像を施すことである。
たとえば、時刻 t における飛行機の高度を h(t) とし、高度 x における酸素濃度を c(x) で表せば、この二つの函数の合成函数 (c ∘ h)(t) = c(h(t)) が時刻 t における飛行機周辺の酸素濃度を記述するものとなる。
例えば、二つの写像 f: X → Y および g: Y → Z について、g の引数を x の代わりに f(x) とすることにより、f と g を「合成」(compose) することができる。直観的には、z が写像 g で対応する y の函数で、y が写像 f で対応付けられる x の函数ならば、z は x の函数であるということを述べている。
これにより、写像 f: X → Y と写像 g: Y → Z との合成写像 (composite function/mapping)
が 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 を持つならば、これらは常に可換であり
が成り立つ。ここに、idX は集合 X 上の恒等写像である。
写像を関係の特別な場合(つまり一意対応あるいは函数関係)と考える場合にも、関係の合成 が、と を用いた式として、同様に定義される。
可微分写像同士の合成写像の微分は連鎖律を用いることによって求められる。またその高階微分はファア・ディ・ブルーノの公式で与えられる。
写像の合成によって与えられる構造は公理化され、圏論において一般化される。
集合 X とその部分集合 Y ⊂ X に対し、写像 f: X → Y はそれ自身と合成することができる。この合成写像をしばしば f2 で表す。同様に自分自身との合成を繰り返して
という合成写像の列が得られる。このようにある写像を自身と繰り返し合成することで得られる合成写像を反復合成写像などと呼ぶ。
自然数 n に対し帰納的に定まる写像の反復合成冪 (functional powers) f ∘ fn = fn ∘ f = fn+1 は以下のように拡張すると便利である。
ある場合には、f についての式 g(x) = f r(x) が適当な g の満たす性質から整数ではない r について成立することが導かれることがありうる。これを分数回反復 (fractional iteration) と呼ぶ。たとえば、写像 f の1/2回反復 (half iterate) とは g(g(x)) = f(x) を満たす写像 g のことである。別な例として、f を後継函数 (successor) として f r(x) = x + r とすることが考えられる。この考え方を一般化して、反復回数を表す添字を連続パラメータに取り替えることを考えることもできるが、このような系は流れ (flow) と呼ばれる。
ふたつ(あるいはそれ以上の数の)写像 f: X → X, g: X → X が同一の集合を始域および終域に持つものとすれば、(重複を許した)長い合成の鎖を f ∘ f ∘ g ∘ f のようにして作ることができる。このような鎖の全体は変換モノイドまたは合成モノイドと呼ばれるモノイドの代数的構造を持つ。一般に、変換モノイドは極めて複雑な構造を持つ。特筆すべき例のひとつはド・ラーム曲線である。X 上の変換 f: X → X の全体が成す集合は、X 上の全変換半群 (full transformation semigroup) と呼ばれる。
X 上の変換の集合 S の各元 f: X → X が全単射であるとき、S に属する変換から可能な限りの組合せをとって得られる合成の鎖の全体は変換群を成す。このとき、個の変換群は S で生成されるという。X 上の全単射な変換 f: X → X の全体は、写像の合成に関して群を成す。これを対称群と呼び、また合成群 (composition group) と呼ばれることもある。
写像 g が与えられたとき、g の定める合成作用素 (composition operator) Cg とは
によって定義される、写像を別の写像に写す作用素のことである。 は写像 f の g による引き戻し (pullback)、 は写像 f の g による押し出し (pushforward, pushout)と呼ばれる。合成作用素は作用素論の分野で研究される。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.