3.1 写像
3.2 合成写像
3.3 制限写像
3.4 全射
3.5 単射
3.6 全単射
3.7 二項演算
3.8 その他
3.9 演習問題
この例を見れば分かるように写像
が定まるためには次のことが必要である。
二つの写像
と
が等しいとは、任意の
に対して
となることとする。
より一般に
,
とするとき
から
への写像は
個ある。 (
から
への写像全体の集合を
, または
などと書いたりする。)
![]() |
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)
を全射とする。任意の
に対して
を以下のように定める。
(
) ならば
となるようにする。
が全射だから、これは可能である。また
なので、これで任意の
の行き先が定まる (実はここで後で説明する選択公理を使っている)。このようにすれば
であり
は全射である。 _