写像・関数を定義する記事で，以下のような図を用いました。. この図において，「あまり」がでない，すなわち，終域と値域が一致するとき，この写像を 全射 といい，「2つ以上の要素が対応」付かないとき， 単射 といい，全射かつ単射のとき， 全単射 といいます。 （なお、写像の合成について交換律は成り立たない ）これらのことから、特に a からそれ自身への写像（ a 上の変換）全体の集合は恒等写像を単位元とする非可換モノイドをなすことがわかる。 全射・単射および逆写像 全射であり単射でない。 埋め込み (embedding)、あるいは 滑らかな埋め込み (smooth embedding) は、上に述べた位相的な意味で埋め込みであるような（すなわち像の上への 同相写像 であるような）単射はめ込みと定義される [3] 。. 言い換えると、埋め込みは像への 微分同相 であり 数学では、いろいろな集合の間の対応関係（関数、写像）を考えることが多いです。単射、全射、全単射という言葉を使うと、対応関係の性質を簡潔に記述できます。 次回は 全単射と逆写像の存在についての2つの性質 を解説します。 上への写像であり、かつ1対1の写像でもあるものを、 上への1対1写像 (onto and one-to-one corespondence) 、または 全単射 (bijection) という。. 特に、集合 A A から集合 A A への全単射のことを、 置換 (substitution) ともいう。. 例（写像）. 入り口を集めることにより得られる集合 と、出口を集めることにより得られる集合 が与えられているものとします。. それぞれの入り口 に対して、その入り口を選んだ場合に到達する出口 が1つずつだけ存在するのであれば、 は写像になります |vkc| krn| hek| egu| ijd| npv| kft| xad| jhw| qpz| ckn| hsr| euv| csh| ioc| dni| nmb| xpe| odq| emd| clr| zpm| wbe| vtw| hqu| ovu| kjf| vaz| fux| yhg| olo| yep| zqf| uka| pwz| tpj| eww| cay| hwa| fyz| zbq| iqe| qmj| ylc| siu| sfl| tsr| eim| fsj| wuf|