next up previous
Next: About this document ...

    

論理と集合要約 No.8

写像は始集合と終集合をコミにして考える必要があるのでした。 合コンのメンツが大事なように、 $ X$$ Y$ にどのぐらいの元があるのかが重要です。 このことをうまく用いて、写像は始集合と終集合との元の多さを比べるのにも 使われます。

&dotfill#dotfill;

第8回目の主題 : \fbox{写像}

◎全射、単射、全単射。

定義 8.1 (再)   写像 $ f:X\to Y$
  1. % latex2html id marker 1089
$ \forall y\in Y \exists x \in X \quad (f(x)=y) $ を満たすとき、 $ f$全射であるという。
  2. % latex2html id marker 1093
$ \forall x_1,x_2 \in X (x_1\neq x_2 \implies f(x_1)\neq f(x_2))$ を満たすとき、$ f$単射であるという。
  3. 全射かつ単射であるとき、$ f$全単射であるという。

全射、単射、全単射の判定には、$ X,Y$ としてどのようなものを 考えているかが大変重要な意味を持つ。

定理 8.2 (再)   $ f:X\to Y$ が全単射ならば、 つぎのような性質を満たす写像 $ f^{-1}:Y\to X$ がただひとつ存在する。

$\displaystyle y=f(x)  {\Leftrightarrow} x={f}^{-1}(y)
$

この $ f^{-1}$ のことを $ f$逆写像とよぶ。

問題 8.1 (再)   $ f:$$ \mbox{${\mathbb{R}}$}$$ \ni x \mapsto 2 x+1 \in$   $ \mbox{${\mathbb{R}}$}$ の逆写像を求めよ。

◎「ホテルヒルベルト」

一般に、 $ X$ から $ Y$ への単射が存在することは、 $ X$ の元のほうが $ Y$ の元よりも「少ない」ことを意味すると考えられる。 $ X$ の各々の元を「人」、$ Y$ の各々の元を「ホテルの部屋」に例えると、 単射の存在は一人ひとりが別々の部屋に入れることを意味するからである。 同様に、 $ X$ から $ Y$ への全射が存在することは、 $ X$ の元のほうが $ Y$ の元よりも「多い」と考えられる。

ただし、無限集合においては、「多い」「少ない」の感覚は有限集合とは 少し異なる。

問題 8.2   つぎのことをそれぞれ示しなさい。
  1. $ {\mbox{${\mathbb{Z}}$}}_{>0}$ から $ {\mbox{${\mathbb{Z}}$}}_{>0}\setminus \{1\}$ への全単射が存在する。
  2. $ {\mbox{${\mathbb{Z}}$}}$ から $ 2 {\mbox{${\mathbb{Z}}$}}$ への全単射が存在する。
  3. $ {\mbox{${\mathbb{Z}}$}}$ から $ {\mbox{${\mathbb{Z}}$}}_{>0}$ への単射が存在する。
  4. $ {\mbox{${\mathbb{Z}}$}}_{>0}^2$ から $ {\mbox{${\mathbb{Z}}$}}$ への単射が存在する。
  5. $ {\mbox{${\mathbb{Z}}$}}^2$ から $ {\mbox{${\mathbb{Z}}$}}$ への単射が存在する。
  6. 任意の整数 $ n$ にたいして、 $ {\mbox{${\mathbb{Z}}$}}^n$ から $ {\mbox{${\mathbb{Z}}$}}$ への単射が存在する。
  7. $ \mbox{${\mathbb{Q}}$}$ から $ {\mbox{${\mathbb{Z}}$}}$ への単射が存在する。

集合の元 $ A$ の 「個数」を $ \char93  A$ と書こう。 実は、「個数」は無限集合に対しても定義されて、 さらに、単に「無限である」というよりも 細かな尺度を導入することができる。そこで、そのような意味合いを込めて「濃度」 という言葉を使うのが普通である。その定義は以下の通り。

定義 8.3   集合 $ A$ に対して、$ A$濃度と呼ばれる記号 $ \char93  A$ を定める。 濃度の間の等号は、次のような意味で使う。

$\displaystyle \char93  A = \char93  B {\Leftrightarrow} $    ($A$ から $B$ への全単射が存在する。)

この定義もちょっと間に合わせ的である。(あとで「同値関係」 という概念を導入することによりすこしマシにできる。)

定義 8.4   集合 $ A$ から $ B$ への単射が存在するとき、 % latex2html id marker 1207
$ \char93  A \leq \char93  B$ と 書くことにする。

この定義は $ A,B$ のとり方によらず、$ A,B$ の濃度のみで決まっている。

定理 8.5   集合 $ A,B,C$ に対して、

% latex2html id marker 1220
$\displaystyle (\char93  A \leq \char93  B$% latex2html id marker 1221
$\displaystyle \text { and } \char93  B \leq \char93  C ) \implies \char93  A \leq \char93  C
$

がなりたつ。

つぎの定理は基本的で、その証明は面白いが、 少し難しいので web に置いておくことにする。 興味がある人は

http://www.math.kochi-u.ac.jp/docky/kogi/ からたどるとよい。

定理 8.6 (ベルンシュタイン)  

% latex2html id marker 1228
$\displaystyle (\char93  A \leq \char93  B$% latex2html id marker 1229
$\displaystyle \text { and } \char93  B \leq \char93  A ) \implies \char93  A =\char93  B
$

がなりたつ。

濃度の言葉(とベルンシュタインの定理)を用いると、次のことが分かる

$\displaystyle \char93  {\mbox{${\mathbb{Z}}$}}= \char93  ({\mbox{${\mathbb{Z}}$...
...mathbb{Q}}$}=\char93  \mbox{${\mathbb{Q}}$}^2=\char93  \mbox{${\mathbb{Q}}$}^3
$


next up previous
Next: About this document ...
2013-06-04