|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 合 : [ごう] 【名詞】 1. go (approx. 0.18l or 0.33m) ・ 合成 : [ごうせい] 【名詞・動詞】1. synthesis 2. composition 3. synthetic 4. composite 5. mixed 6. combined 7. compound ・ 函数 : [かんすう] (oK) (n) function (e.g., math, programming, programing) ・ 数 : [すう, かず] 1. (n,n-suf) number 2. figure
数学において写像あるいは函数の合成(ごうせい、)とは、ある写像を施した結果に再び別の写像を施すことである。 たとえば、時刻 ''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'' を「合成」 することができる。直観的には、''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'' 上の変換写像 φ: ''X'' → ''X'' が逆写像 φ−1: ''X'' → ''X'' を持つならば、これらは常に可換であり : が成り立つ。ここに、id''X'' は集合 ''X'' 上の恒等写像である。 写像を関係の特別な場合(つまり一意対応あるいは函数関係)と考える場合にも、関係の合成 ''g'' ∘ ''f'' ⊂ ''X'' × ''Z'' が、''f'' ⊂ ''X'' × ''Y'' と ''g'' ⊂ ''Y'' × ''Z'' を用いた式として、同様に定義される。 可微分写像同士の合成写像の微分は連鎖律を用いることによって求められる。またその高階微分はで与えられる。 写像の合成によって与えられる構造は公理化され、圏論において一般化される。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「写像の合成」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Function composition 」があります。 スポンサード リンク
|