3.1 写像
3.2 合成写像
3.3 制限写像
3.4 全射
3.5 単射
3.6 全単射
3.7 二項演算
3.8 その他
3.9 演習問題
写像
3.1
写像
,
を集合とする。
の各元に対して
の元が一つ定まっているとする。このときこの対応を
から
への写像という。
が
から
への写像であることを
と表す。このとき
を定義域、
を値域という。写像
によって
に対応する
の元を
と表し、これを
の
による像という。どのように定まる写像なのかを明示したい場合には
などと書く。
この例を見れば分かるように写像
が定まるためには次のことが必要である。
- 任意の
に対して
が定まる。ただし
の記述の仕方が一意的で ない場合には、どのような記述に対しても同じ元が対応しなければならない。
- (1) で定まった
は
の元である。
がこの条件を満たすとき
が定まる、または
は矛盾なく定義される(well-defined) という。
二つの写像
と
が等しいとは、任意の
に対して
となることとする。
例3.1.2.
を空でない任意の集合とする。
を、任意の
に対して
とすれば
は写像である。これを
の恒等写像といい
と書く。 (
が空のときも恒等写像は定義できるが、その意味は分かりにくいだろう。)
例3.1.3.
を集合、
を空でない任意の集合とする。
を一つ固定する。
を、任意の
に対して
とすれば
は写像である。これを定値写像という。
問3.1.5.
,
とするとき
から
への写像をすべて書け。
問3.1.6.
とする。
から
への写像、
から
への写像をそれぞれ一つ、具体的に構成せよ。
3.2
合成写像
,
をそれぞれ写像とする。このとき
を
で移して、続けて
で移すという操作が考えられる。このように考えると
から
への新しい写像が得られる。これを
と
の合成写像といい
と書く。
はじめに
で移しているのに
と書くのは、その像が
となっているからである。 (場合によっては写像の合成を逆の順序で書くこともあるが、この講義ではこの順序で統一する。) このとき
の値域と
の定義域が一致していることが重要で、そうでないときには合成写像は考えられない。 (実際には
の値域が
の定義域に含まれていればよいが、正確には後で説明する。)
例3.2.1. 写像の定義域と値域が一致しているときには、同じ写像の合成を考えることができる。
に対して
,
(
) として
(
) を定義することができる。このとき
が成り立つ。
3.3
制限写像
写像
を考える。また
とする。
は
の元でもあるので
が定まる。このようにして写像
が定義される。これを
の
への制限、または制限写像といい
と書く。
これと似たこととして
に対して、すべての像
が
の部分集合
に含まれるならば、自然に
(
) が定義できる。 (
は同じ記号
を用いて表されることも多い。)
3.4
全射
写像
を考える。
に対して
とおいて、これを
による
の像という。定義から明らかなように
は
の部分集合である。
ここで注意するのは
は
の部分集合であって
の元ではないので、今までの意味では
は定義されない。この場合の
とは新しく定義した記号であり、通常の意味での写像の像ではない。
注意. 正 確 に は 以 下 の よ う に 考 え る。
に対して
を
で定めると、これは写像である。
とおくと、
は自然に
と同じものと考えることができる。同様に
とおくと、
は自然に
と同じものと考えることができる。このように考えれば、制限写像
は
と同じものと考えられる。この意味で
を
と書けば、上で説明したような記号となる。
例3.4.1. 写像
を
で定める。
に対して
,
,
,
を、それぞれ開区間、半開区間、半開区間、閉区間という。このとき
などとなる。
特に
としたとき
を単に
の像といい
とも書く。
が成り立つとき
を全射という。すなわち
が全射であるとは
ということである。
が全射であることを
などと書くこともある。
命題3.4.3.
,
を考える。
,
がともに全射であるならば
は全射である。
命題3.4.4.
,
を考える。このとき合成写像
の像について
が成り立つ。特に
が全射であれば
は全射である。
命題3.4.5. 写像
に対して、「任意の集合
と二つの写像
,
について、
ならば
である」という条件を考える。この条件が満たされることと
が全射であることは同値である。
3.5
単射
写像
を考える。
に対して
とおいて、これを
による
の逆像という。これも単なる記号であり
は写像ではない。 (正確には
である。)
に対しても
とおいて、これを
による
の逆像という。 (この場合、正確には
である。)
が成り立つことは明らかであろう。
例3.5.1. 写像
を
で定める。このとき
などとなる。
問3.5.2.
を写像とし
とする。
であることを示せ。また
とはならない例を示せ。
問3.5.3. 写像
を考える。
,
であるとき
であることを示せ。
任意の
に対して
が高々一つの元しか含まないとき、
を単射という。言い換えると
-
ならば
である
-
ならば
である (上の命題の対偶)
ということである。
が単射であることを
などと書くこともある。
命題3.5.5.
,
を考える。
,
がともに単射であるならば
は単射である。
命題3.5.6.
,
を考える。合成写像
が単射であれば
は単射である。
命題3.5.7. 写像
に対して、「任意の集合
と二つの写像
,
について、
ならば
である」という条件を考える。この条件が満たされることと
が単射であることは同値である。
例3.5.8.
であるとき
を
で定めることができる。これを
の
への埋め込み、または包含写像という。埋め込は明らかに単射である。
例3.5.9.
とする。
なる
に対して
を
で定めることができる。これは正確には次のように解釈される。
を埋め込みとし、合成写像
を考えるのである。
例3.5.10. 合成写像のところで
,
で
ならば、合成写像を考えることができると書いた。これは正確には次のように解釈される。すなわち
を埋め込みとし、合成写像
を考えるのである。
3.6
全単射
が全単射であるとは、
が全射かつ単射であることとする。言い換えると
ということである。このとき「任意の
に対して
となる
が存在する」ことから全射、「唯一つ存在する」ということから単射であることが分かる。この言い換えから全単射
に対しては、
に対して
となる
を対応させることによって写像
が定まる。この写像
を
の逆写像といって
で表す。逆像の定義でも
という記号を用いたが、そのときは
は単なる記号であった。しかしここでは
は写像であるので注意が必要である。
例3.6.1.
を集合とする。恒等写像
(
) は明らかに全単射である。
であることは明らかだろう。恒等写像は
と見たときの埋め込みに等しい。
命題3.6.2. 全単射
とその逆写像
について次が成り立つ。
命題3.6.3.
が全単射であるための必要十分条件は、ある
があって
,
が共に全単射となることである。
証明のために簡単な補題を用意しよう。補題の証明は定義から明らかである。
補題3.6.5.
が全射であるための必要十分条件は、任意の
に対して
となることである。また、単射であるための必要十分条件は、任意の
に対して
となることである。
例3.6.6.
のときは
が全射、または単射であっても全単射とは限らない。例えば
,
は単射であるが全射ではない。また
,
,
(
) とすれば、これは全射ではあるが単射ではない。
例3.6.7.
を単射とする。
を
で定義することができる。このとき
は全単射である。
3.7
二項演算
整数の足し算とは何だろうか。これは写像を用いて説明される。すなわち、それは写像
に他ならない。
を
という記号を用いて表しているだけである。
このように、ある集合
に対して、写像
が与えられるとき、それを
の二項演算という。二項演算の像は適当な記号、ここでは仮に
とする、を用いて
のように表される。二項演算
に対して
- 交換法則:
-
- 結合法則:
-
などが考えられるが、二項演算がこれらを満たしている必要はない。
例3.7.1. 実数の減法は交換法則も結合法則も満たさない二項演算である。また実数の除法は
で割ることができないので、二項演算ではない。
3.8
その他
命題3.8.1. 集合
,
に対し
で
から
への写像全体の集合を表す。
が与えられたとき
を
で定義する。
このとき次が成り立つ。
-
が単射ならば
は全射である。
-
が全射ならば
は単射である。
命題3.8.2.
とする。
を
で定義する。
このとき次が成り立つ。
-
が単射ならば
は単射である。
-
が全射ならば
は全射である。
問3.8.3.
,
とする。
から
への単射の個数を求めよ。
3.9
演習問題
- 写像
で
となるものを一つ構成せよ。
-
は集合
の部分集合、
は集合
の部分集合とする。写像
に対して次を示せ。
-
-
(等しくならない例も作れ)
-
(等しくならない例も作れ)
-
-
-
-
,
とする。
が全単射であるとき、
が単射であることと
が単射であることは同値である。また
が全射であることと
が全射である ことは同値である。以上のことを示せ。
-
,
とする。
が全単射であるとき、
が単射であることと
が単射であることは同値である。また
が全射であることと
が全射である ことは同値である。以上のことを示せ。
-
,
,
に対して
,
,
のう ち二つが全射で、残りの一つが単射であるとすると、
はすべて全単射であることを 示せ。また、二つが単射で、残りの一つが全射であるとしても、
はすべて全単射で あることを示せ。