本記事の内容
本記事は「逆写像って?」ということについて解説する記事である。
本記事を読むにあたり、全単射と合成写像について知っているとより理解が進むと思われるので、その際は以下の記事を御覧ください。
逆写像
逆?
全単射の節で少々ネタバラシしたのだが、全単射であるときに限り逆写像(逆関数)が存在する。
高校数学では「逆関数を求めなさい。」という問題を解いたことがあると思われるが、逆写像(逆関数)は必ずしも存在するわけではない。
しかし、高校数学ではそれを学ばない(範囲外のため)、「逆関数を求めろ?んなもん簡単だろ。をの形にして最後にとを入れ替えればいいんだから。」で終わってしまう。
さて、逆写像という概念は至ってシンプルである。
というのも、「の要素からの要素への対応があるんだったら、同じ規則での要素からの要素への対応もあるんじゃね?」という発想だからである。
つまり、「今まではとの対応を考えていたけど、今度はからへの対応を考えてみようぜ」ということで、からへの対応というのは、”からに戻る”写像ということである。
しかし、写像というのは終域の要素が全て使われていなくても良い。
一方の要素からの要素に写像を定めるためにはの要素を全て使う必要がある。
従って、の要素全てとの要素全てに対応関係がある全単射の場合でなければ写像と逆の対応(写像)、すなわち、”元にに戻す”対応は考えられないのである。
が全単射であるときとこのは逆写像の関係にある、と言ったりする。
しかしながら、”もとに戻さなくて良い”のであれば、とは全く関係なく、という写像を(との要素が無限個なら)いくらでも作ることはできる。
これらはあくまで別々の写像なのであって、逆写像の関係にはない。
実際、、のとき、をとする。
このとき、は全射であるが、単射ではない。
さらに、をとすると、確かにはからへの写像であるのだが、”もとには戻らない”のでとは逆写像の関係にはない。
とどのつまり、の逆写像というのは
ということなのである。
恒等写像
逆写像を厳密に語るために1つ特別な写像のお話をする。
と言っても非常に簡単で、であるときにおいて、つまり自分から自分への写像であって、の要素はすべて自分自身と対応づける、という対応である。
この写像をの恒等写像という。
のとき、をとすると恒等写像である。
これは中学数学でよく出る1次関数である。
以上のことを式で書けば、
で、逆写像って厳密に何よ?
逆写像というのは「をに戻すような写像」のことであった。
これを合成写像の概念を思い出してみれば、別の言い方をすることができるのである。
それは、「をに対応させた後、をに戻すような写像」である。
もう少々詳しく言うと、逆写像は「をでに対応させた後、にに戻すように対応させたとき、元のに戻ってくる写像」ということなのである。
これはまさに、というわけなのである。「とにに戻すように対応を合成すると、恒等写像だ!」
というわけなのである。
以上のことを式で書くと次である。

例1.
、とし、
に対して、を
- 、
- 、
- 、
で定めた。
しかし、足と対応するの要素が無いし、スプーンの対応先がカレーとチャーハンの2つあるため、をどのように定めてもは逆写像になりえない。
実際、スプーンをカレーに、ナイフをステーキに、手をおにぎりに、スプーンをチャーハンに対応させるためには
- 、
- 、
- 、
としなければならないのだが、なんとスプーンにはカレーとチャーハンの2つの対応先が存在することになり、は写像でないためである。

例2.
、とする。
写像を
- 、
- 、
- 。
で定める。
また、を
- 、
- 、
- 。
として定める。
このとき、
- ,
- ,
- ,
- ,
- ,
- ,
であるから、かつが成り立つため、はの逆写像である。

さて、全単射の節で「逆写像が存在するのは全単射のときに限る!」という話をした。
これを証明しよう。
実はこの逆、すなわち逆写像があれば全単射である、も成り立つ。
すなわち、次が成り立つ。
(証明)
を写像とする。
①「写像が全単射ならば、の逆写像が存在する。」ことの証明
が全単射であるとするとは全射であるから、任意のに対して、あるが存在して、が成り立つ。
このは一意的に、すなわちダブり無く定まる。
実際、に対して、とすると、
である。
ここで、は単射でもあるから、である。
従って、ダブリが無いのでとして、写像を定めることができる(ダブリがあったら写像ではなくなってしまう)。
このとき、
であり、かつ
が成り立つ。
従って、かつが成り立つため、はの逆写像である。
②「写像に逆写像が存在するならば、は全単射である。」ことの証明
まず、恒等写像は全単射である。
実際、任意のに対して、であるとすると、かつであるため、である。
従って、恒等写像は単射である。
また、任意のに対して、あるが存在して、であれば全射なのだが、として自身を取れば良い。
従って、恒等写像は全単射である。
をの逆写像とする。
すなわち、
が成り立つとする。
このとき、が全単射であれば良い。
- 単射
とする。
このとき、なのだから、
となり、であるから単射である。 - 全射
が成り立てば良い。
つまり、上記のようなを見つけてくれば良い。
が全単射であるので、は全射なのだから、任意のに対して、あるが存在して、を満たす。
としてを採用すれば、であり、
が成り立つ。
ここで、は任意だったので、
が成り立ったことになる。
したがって、は全射である。
故には全単射である。
以上のことから、が全単射であることと、の逆写像が存在することは同値である。
(Q.E.D.)
逆写像は全単射のときにしか存在しないってことは逆写像って殆ど無いんじゃね?
そんなことはない。
今の議論から、「全単射でなければ逆写像も存在しないわけなのだから、には逆写像が存在しないってことじゃんね?だって、は全単射じゃないんだもん。」となるかもしれない。
正直なところ、半分正解で半分間違いである。
前回の記事で、
「これはどこからどこへの写像でどういうことを満たすんだろうか?」ということがわからなければ、命題の真意を汲み取ることはできない。
と述べたことがここで効いてくる。
答えを言ってしまえば、「定義域と終域によっては全単射なので逆写像が存在する。」である。
普通、と言われたらば、「をで定めた関数ね。」と思うだろう。
少なくとも筆者はそう思う。
高校数学でやったとおり、は下図のようなグラフである。

このグラフを見て直ちに「こりゃ全単射じゃねえな。単射でもなければ全射でもねえな。」と分かってくれると嬉しい。
しかし、定義域と終域を次のように絞ってみよう。
- 定義域をからに、
- 終域をからに絞る
このように、することで、次のようなグラフになる。

このグラフを見て直ちに「全単射じゃーん」となってくれれば嬉しい。
実際全単射である。
従って、このときは逆写像が存在する。
まとめると、
- をで定めたとき、に逆写像(逆関数)は存在しない。
- をで定めたときには逆写像が存在する。
このこそがなのである(正弦関数の逆関数)。

何が言いたかったか、というと、全単射でない写像だったとしても、定義域と終域を適切に狭めたり広げたりすることで全単射が作れる場合があるので、その場合は逆写像が存在する、ということである。
ただ、この例において、とは定義域の要素をどう終域の要素に対応させるか、という対応のさせ方は同じなのだが、定義域と終域が相異なるため、写像としては異なる写像である。
余談その2(逆写像の有用性)
つらつらと逆写像について語ったが、筆者が思う逆写像の有用性をもう一つ述べておく。
それは「逆写像を使うことによって、考えにくい集合から考えやすい集合に写し、考えやすい集合で考えた後、もとの集合に戻す。」という操作が逆写像によって可能になる。
「は?」と思うかもしれないので、少々記号を使って表す。
集合である対象を考えていたとする。
大体の場合は要素が複雑な集合である。
故に、演算を決めたりなんだりと面倒なことがある。
しかし、ここで、このがと全単射があったとしよう。
故に、の要素は写像によって全ての要素とただ一つ対応している。
従って、では複雑で面倒だったのだが、この全単射のおかげで、でを考えることができる。
つまり、実質的に実数でのお話をすれば良い、ということになる。
さらに、は全単射なので、の逆写像が存在する。
故に、でを考えた後、での要素に戻す(もとに戻す)事ができる。
従って、全単射があるおかげで、より考えやすい集合で議論をし、議論が終わった後、逆写像で元に戻すことで間接的に、より容易に議論が可能だ、ということなのである。
(筆者はむしろこの使い方で逆写像を用いる。誠に平たく言えば、多様体はこのように議論をする。)
結
今回は「逆写像」について解説した。
平たく言えば、「をに戻すような写像」のことである。
次回は解析学に戻り、「数列の発散」について解説する。
収束については述べたのだが、発散については述べていなかったので、それを述べる。
数列の発散のあとは、「関数に対する収束」について説明する。
乞うご期待!質問、コメントなどお待ちしております!
この記事の内容をより詳しく知りたい方は以下のリンクの本を参照してください!
ちなみに、「集合・写像・論理ー数学の基本を学ぶ」の方が入門者にはオススメです!
コメントをする