もうちょっと写像

像、逆像、全単射、逆写像について

像、逆像

現代数学では写像を使って集合の関係を考えるということをします。そのひとつが像と逆像です。

いままでは写像で送るものとして考えていたのは集合の元だけでした。ただ、元の集まりが全体としてどこに送られるのかということも考えられます。 それがその写像による集合の像と呼ばれるものです。

いま、 を集合とし、 から への写像 を考えます。
このとき、 の部分集合とし、これのそれぞれの元を写像 で送ったもの全体を考えると、これは の部分集合となっています。これを による の像といい、 と書きます。
数式で書くと です。

から への写像でいくつか例を挙げてみましょう。



逆像

像は集合を定義域から値域へ送るものでしたが逆に集合を値域から定義域へと引き戻すことを考えます。 それが逆像と呼ばれるものです。

像のときと同様に を集合とし、 から への写像 を考えます。
このとき、 の部分集合とし、写像 で送ると の元になるような の元全体の集合を考えます。これを による の逆像といい、 と書きます。
数式で書くと です。

これについても から への写像でいくつか例を挙げてみましょう。

としたとき
としたとき
としたとき

逆写像

逆写像とは、ある写像によって定義域から値域へ送られた元を、そのまま値域から定義域へ送り返すような写像です。 像や、逆像はどんな写像によるどんな部分集合に対しても定まりましたが、逆写像はどんな写像に対しても存在するわけではありません。

写像 によって に送られたとき、すなわち となっているとき、逆写像は に送るような写像です。 の逆写像を と書きます。すなわち、 です。(ここでは慣習に従い逆像と同じ記号を使っていますが逆像と逆写像は別物なので注意してください。)

写像 から逆写像を構成するには に対して による の逆像 の要素を対応させれば良いのですが、これが写像になるとは限りません。 これが から への写像になるためには全ての の元に対して の元が唯一つだけ定まらなければならないからです。 が逆写像を持つためには全射、単射という2つの条件を満たさなければなりません。

全射

が逆写像を持つための条件の1つ目は全射です。 から への写像は"全ての の元に対して" の元を定めなければなりません。すなわち、さきほどの構成でいくと が空集合であってはいけないのです。すなわち
全ての に対してある が存在して
が成り立たなければなりません。これが が全射であることの定義です。これを言い換えると定義域全体の像が値域全体になっているということにもなります。つまりこれは とも書けます。

単射

全射によって全ての に対して の元が定められそうなことは分かりましたが、写像はさらに"唯一つだけ" の元が定められなければなりません。その条件が単射です。すなわち先ほどの構成では の要素の個数がただ1つであることを意味します。

とします。すなわち、 です。このとき となっていなければ の要素の個数が2つ以上になってしまいます。逆に、全ての について ならば の要素の個数が唯一つであると言えます。

ここで、全射とは独立の概念にするために を持ちださないでこのことを表すと
全ての に対して、 ならば
となります。これが が単射であることの定義です。

全単射

写像 が全射かつ単射のとき は全単射であるといいます。このとき、必ず逆写像 が存在します。

恒等写像による定義

写像 と定義すると(これを恒等写像(identity mapping)といいます)、
が成り立ちます。これをみたすものとして逆写像を定義することも出来ます。

Next : ベクトル空間とは