,
を集合とする。
の各元に対して
の元が一つ定まっているとする。このときこの対応を
から
への写像という。
が
から
への写像であることを
を定義域、
を値域という。写像
によって
に対応する
の元を
と表し、これを
の
による像という。どのように定まる写像なのかを明示したい場合には
と書けば
が写像であることを意味するが、以下の例では簡単のため写像ではないものに対しても同様の記号を用いる。
を
で定めれば、これは写像である。
を
で定めると、これは写像ではない。なぜならば
に対して
であり、
の
による像が定まらない からである。
を
は
の平方根とすると、これは写像ではない。まず正の数 について平方根は
つあり、このどちらを対応させるのかが定かでない。また負 の数については平方根は
に存在しないので対応が決まらない。
を
は
の正の平方根とする (すなわち
) と、こ れは写像である。またこのとき値域を
としても、これは写像である。
を
は
の分母として定めると、これは写像ではない。なぜな らば有理数の書き方は一意的でなく、分母の定義が曖昧だからである。これを「分 母が正である既約分数に表したときの分母」とすれば、これは一意的に定まるので 写像になる。ただし「整数に対しては分母を
とする」などの注意も書き加えた 方がよいだろう。
を実数係数多項式とする。このとき
を
で定めれ ば、これは写像である。通常はこの写像
と多項式
に同じ記号を用いる。
,
は
で値が定まらないので写像ではな い。
,
は写像である。
この例を見れば分かるように写像
が定まるためには次のことが必要である。
に対して
が定まる。ただし
の記述の仕方が一意的で ない場合には、どのような記述に対しても同じ元が対応しなければならない。
は
の元である。
がこの条件を満たすとき
が定まる、または
は矛盾なく定義される(well-defined) という。
二つの写像
と
が等しいとは、任意の
に対して
となることとする。
を空でない任意の集合とする。
を、任意の
に対して
とすれば
は写像である。これを
の恒等写像といい
と書く。 (
が空のときも恒等写像は定義できるが、その意味は分かりにくいだろう。)
,
と す る。
を
,
,
で定めればこれは写像である。写像
を決めるには
を任意に定めればよいので
から
への写像は全部で
個あることが分かる。
より一般に
,
とするとき
から
への写像は
個ある。 (
から
への写像全体の集合を
, または
などと書いたりする。)
,
をそれぞれ写像とする。このとき
を
で移して、続けて
で移すという操作が考えられる。このように考えると
から
への新しい写像が得られる。これを
と
の合成写像といい
と書く。
|
Figure3.1:
|
はじめに
で移しているのに
と書くのは、その像が
となっているからである。 (場合によっては写像の合成を逆の順序で書くこともあるが、この講義ではこの順序で統一する。) このとき
の値域と
の定義域が一致していることが重要で、そうでないときには合成写像は考えられない。 (実際には
の値域が
の定義域に含まれていればよいが、正確には後で説明する。)
を考える。また
とする。
は
の元でもあるので
が定まる。このようにして写像
が定義される。これを
の
への制限、または制限写像といい
と書く。
これと似たこととして
に対して、すべての像
が
の部分集合
に含まれるならば、自然に
(
) が定義できる。 (
は同じ記号
を用いて表されることも多い。)
を考える。
に対して
による
の像という。定義から明らかなように
は
の部分集合である。
ここで注意するのは
は
の部分集合であって
の元ではないので、今までの意味では
は定義されない。この場合の
とは新しく定義した記号であり、通常の意味での写像の像ではない。
に対して
を
で定めると、これは写像である。
とおくと、
は自然に
と同じものと考えることができる。同様に
とおくと、
は自然に
と同じものと考えることができる。このように考えれば、制限写像
は
と同じものと考えられる。この意味で
を
と書けば、上で説明したような記号となる。
特に
としたとき
を単に
の像といい
とも書く。
が成り立つとき
を全射という。すなわち
が全射であるとは
に対して、ある
があって
となる
が全射であることを
などと書くこともある。
(
) は全射である。なぜならば、任意の
に対して
であり
が成り立つからである。
(
) は全射ではない。なぜならば、
に対して
となる
が存在しないからである (そのような
は
であるが
である)。
証明.
,
であるから
である。 _
証明.
とする。このとき、ある
があって
である。
であるから
である。よってはじめの主張を得る。
が全射でなければ
であり
となるから
は全射ではない。 _
証明.
が全射であるとし、
とする。
を任意にとる。
は全射なので、ある
があって
である。このとき
である。
が全射でないとする。
で
なるものが存在する。
(
) とおき、任意の
に対して
で
を定め、
を定める。このとき
としているので、任意の
に対して
となる。すなわち
であるが
なので、
は命題の条件を満たさない。 _
を考える。
に対して
による
の逆像という。これも単なる記号であり
は写像ではない。 (正確には
である。)
に対しても
による
の逆像という。 (この場合、正確には
である。)
任意の
に対して
が高々一つの元しか含まないとき、
を単射という。言い換えると
ならば
である
ならば
である (上の命題の対偶)
が単射であることを
などと書くこともある。
証明.
に対して
とする。
で
が単射なので
である。また
が単射なので
である。よって
は単射である。 _
証明.
とし
とする。このとき
である。
が単射であるから
である。よって
は単射である。 _
証明.
が 単 射 で あ る と し、
と する。
に対して
である。
が単射なので
となり
となる。
が単射でないとする。
,
で
となるものがある。
とおいて
,
として
,
を定める。このとき
であるが
となり
が成り立つ。よって命題の条件はみたされない。 _
が全単射であるとは、
が全射かつ単射であることとする。言い換えると
に対して
となる
が唯一つ存在する
に対して
となる
が存在する」ことから全射、「唯一つ存在する」ということから単射であることが分かる。この言い換えから全単射
に対しては、
に対して
となる
を対応させることによって写像
が定まる。この写像
を
の逆写像といって
で表す。逆像の定義でも
という記号を用いたが、そのときは
は単なる記号であった。しかしここでは
は写像であるので注意が必要である。
証明.
が全単射であれば
として
をとれば命題
3.6.2
より
,
は共に全単射である。
に対して
,
が共に全単射であるとする。このとき
が全射であるから命題
3.4.4
より
は全射であり、
が単射であるから命題
3.5.6
より
は単射である。 _
証明のために簡単な補題を用意しよう。補題の証明は定義から明らかである。
定理
3.6.4
の証明. (3)
(1), (3)
(2) は明らか。 (1)
(2),(2)
(1) を示せばよい。
であり、
ならば
なので
であることに注意しておく。
を単射とする。
に対して
である。よって
は全射である。
を全射とする。
に対して
である。よって
は単射である。 _
に他ならない。
を
という記号を用いて表しているだけである。
このように、ある集合
に対して、写像
が与えられるとき、それを
の二項演算という。二項演算の像は適当な記号、ここでは仮に
とする、を用いて
のように表される。二項演算
に対して
このとき次が成り立つ。
が単射ならば
は全射である。
が全射ならば
は単射である。
証明. (1)
を単射とする。このとき全単射
が得られる。任意の
に対して
である。
を任意にとる。
を一つ固定しておく (
が空集合でないことは仮定している)。
を
に対しては
で定め、
に対しては
と定める。このとき、任意の
に対して
であり、
は全射である。
(2)
を全射とする。
とする。このとき、任意の
に対して
である。
が全射なので
となり
は単射である。 _
証明. (1)
を単射とする。
とすれば、任意の
に対して
であるが、
が単射なので
である。よって
であり
は単射である。
(2)
を全射とする。任意の
に対して
を以下のように定める。
(
) ならば
となるようにする。
が全射だから、これは可能である。また
なので、これで任意の
の行き先が定まる (実はここで後で説明する選択公理を使っている)。このようにすれば
であり
は全射である。 _
で
となるものを一つ構成せよ。
は集合
の部分集合、
は集合
の部分集合とする。写像
に対して次を示せ。
(等しくならない例も作れ)
(等しくならない例も作れ)
,
とする。
が全単射であるとき、
が単射であることと
が単射であることは同値である。また
が全射であることと
が全射である ことは同値である。以上のことを示せ。
,
とする。
が全単射であるとき、
が単射であることと
が単射であることは同値である。また
が全射であることと
が全射である ことは同値である。以上のことを示せ。
,
,
に対して
,
,
のう ち二つが全射で、残りの一つが単射であるとすると、
はすべて全単射であることを 示せ。また、二つが単射で、残りの一つが全射であるとしても、
はすべて全単射で あることを示せ。