今回から写像についてやっていきます
写像は関数を一般化した概念であり、対応というものを一般的に記述する道具です。集合と並んで空気や水のようにありとあらゆるところで使われています。
写像を取り扱うセクションでは、写像に関する種々の概念や例とともに、多少圏論的な考え方に踏み込んでみます。特に大切なのは普遍性という概念です。
ある数学的対象を集合の形で表したとき、集合自体の性質を直接調べることはいわば自分自身を自分で調べるようなものです。
この数学的対象を調べるのに別のやり方があります。それは他の数学的対象からどのように見えるか、他の数学的対象に対してどのような役割を果たしているかということです。他の数学的対象との関係性は写像で表現することができます。
数学的対象は、それ自身を調べることだけではなく、他の数学的対象からの写像を調べることでよりよく理解できる場合があります。
これはあたかも、人間が自分自身で考える自分と他人から見えている自分の両側面から考えたときによりよく理解できることと似ています。
そして極めつけとしては、他の数学的対象に対してどのような役割を果たしているかという情報だけで実質的に対象がただ一つに定まってしまう場合が存在します。この状況を指して普遍的であると言います。
写像のセクションでは、集合のセクションで定義した種々の集合に対して、普遍性という観点から改めて見直すということもやっていきます。
写像の定義
集合のところで多少触れましたが、改めて写像の定義をより厳密に述べましょう。
集合 から集合
への写像
とは、各
に対してそれぞれただ1つの
を対応させる規則だと言いました。
写像があるとき、写像のグラフというものを考えることができます。
◆Def.SetTop.3.1.1.
を写像とするとき、
を のグラフという。
◇Ex.SetTop.3.1.2.
を
で定めます。いわゆる二次関数です。このとき、
のグラフ
とは、
であり、これは実際高校数学で言う 平面における
のグラフを集合の形で表したに過ぎないものです。
写像の厳密な形の定義では、逆にグラフを用いて写像を定義します。正確には、写像のグラフになるような の部分集合こそが写像であると定義します。
◆Def.SetTop.3.1.3.
を集合とし、
を
の部分集合とする。
が次の2つの性質を満たすとき、
を写像と言い、
と表す。また、元の対応を
と表す。
・
・
Rem.1. 厳密な定義は、結局のところ最初の素朴な対応規則としての写像の定義をものものしく言い替えたに過ぎないものです。ですから、普段はまったく意識しないで対応規則だと思ってしまってよいです。
写像の相等を次のように定義します。
◆Def.SetTop.3.1.4.
写像 と写像
が等しいとは、集合として
が成り立つこととする。
Rem.2. と表せば、写像が等しいとは、
かつ
であるということです。
これは素朴な場合の定義とほとんど同じですが、上の定義の場合には一点、 が要求されていることに注意しましょう。
例えば、
は任意の に対して
が成り立っていますが、行き先について
なので写像としては等しくないと(上の定義では)考えます。
しかし、行き先の集合についてさほど気にしない文脈では、任意の定義域の元について行き先が等しいことをもって写像を等しいと考える流儀もあり、これも一般的です。
この記事へのコメントはありません。