逆写像
が全単射であるとき、Prop.SetTop.3.2.2.より、任意の
に対してただ一つの元
が存在し、
と書けます。
言い替えれば、 となるようなただ一つの
を(
に依存するため)
と表すと、一点
の
による逆像
は
ただ一点からなる集合であるということです。
ということは、 が全単射であるとき、各
に対して
となるような(
に依存する)ただ一つの
をそれぞれ対応させる写像を考えることができます。
このようにして定義した写像を の逆写像といい、
で表します。
改めて述べ直しましょう。
◆Def.SetTop.3.4.1.
を全単射とする。各
に対して
となるような(
に依存する)ただ一つの
を対応させる写像
ただし、
は
を満たすただ一つの元とする
を定めることができ、 の逆写像という。
Rem.1. というのは逆像の記号と同じですが、
が全単射のときに限り逆写像の記号としても用いられます。
を逆像として使っているのか逆写像として使っているのかは文脈によって異なるため、注意が必要です。
(当たり前のようですが)次が成り立ちます。
◆Prop.SetTop.3.4.2.
を全単射とすると、
の逆写像
は全単射である。
■Prf.
が全射であることを示す。
任意の に対して
となるような
の存在を示せばよい。
ここで、 を考える。すると、
の定義から、
ただし、
は
を満たすただ一つの元である
となる。
特に であることと、
の単射性により
が成り立つから、
したがって、任意の に対して
となる
が存在するから、
は全射である。
が単射であることを示す。
のとき、
を示せばよい。
ここで、 を考える。まずは、
の定義から、
ただし、
は
を満たすただ一つの元である
となる。よって、
である。ゆえに、 ならば、両辺を
で送ることにより、
であるから、単射性が示された。
以上より、 は全射かつ単射であるから、全単射である。 □
逆写像による全単射の特徴付け
さて、◆Prop.SetTop.3.4.2.の証明をもう少し吟味してみましょう。証明中で鍵となるのは、次の事実です。
・ について、
・ について、
これを写像の合成を使って言い替えるために、恒等写像という概念を定義します。
◆Def.SetTop.3.4.3.
を集合とする。
であるような写像を
の恒等写像といい、
や
などと表す。
すなわち恒等写像とは名前の通り、常に行き先が自身と等しい写像のことです。
これを使い、上の事実を言い替えると、
・ について、
・ について、
となります。すなわち、次が成り立ちます。
◆Prop.SetTop.3.4.4.
を全単射とすると、
かつ
が成り立つ。
実は、◆Prop.SetTop.3.4.4.の性質は極めて本質的なもので、全単射というものを特徴付けています。
すなわち、逆のことが言えて、◆Prop.SetTop.3.4.4.のような性質が成り立つこと(逆写像が存在すること)と、 が全単射であることは同値になります。
◆Prop.SetTop.3.4.5.
を写像とする。
かつ
を満たすような写像
が存在するならば、
は全単射であり、かつ
が成り立つ。
■Prf.
から
の単射性を示す。
のとき、両辺に左から
を合成することによって、
が成り立つので、 は単射である。
から
の全射性を示す。
任意の に対して、
より を満たす
が存在するから、
は全射である。
したがって、 は全単射。
次に、 を示す。
まず、 と
が成り立つことに注意して(ほとんど明らかなのでこのことの証明は省略)、さらに◆Prop.SetTop.3.4.4.および写像の結合法則を用いると
である。 □
Rem.2. ◆Prop.SetTop.3.4.5.により、 が全単射であることと逆写像が存在することが同値であることが言え、さらに逆写像とは
かつ
を満たすようなものとしてただ一つに定まるということがわかりました。
ということは、実は全単射とは全射かつ単射であることという定義をすっぱり忘れて、◆Prop.SetTop.3.4.5.(逆写像が存在すること)の性質を全単射の定義としてしまってもよいことになります。
こちらを定義とした場合、示すべきは◆Prop.SetTop.3.2.2.の性質(全射かつ単射であるということ)になりますが、これこそ◆Prop.SetTop.3.4.5.の証明そのものであり、実際に示すことができます。
◆Prop.SetTop.3.2.2.の性質が集合と元の言葉で記述されている(集合論的である)のに対して、◆Prop.SetTop.3.4.5.を定義として見た場合は、元のことには一切触れられずに、写像(射)の性質のみを用いて全単射であることが定義されます。この視点は対象から対象への射を主役とする圏論的なものの見方の典型的な一例になっています。
この記事へのコメントはありません。