論理と集合要約 No.7

第7回目の主題 :

定義 7.1   集合 $X$ と $Y$ が与えられているとする。 $X$ の各元 $x$ に対して、$Y$ の元 $f(x)$ がひとつづつ与えられているとき、 $X$ から $Y$ への写像 $f$ が与えられているという。 $X$ のことを $f$ の始集合、$Y$ のことを $f$ の終集合という。

$x$ がどの元がどの元に行くかという情報とともに、 $X$ と $Y$ を指定することが大変重要である。

この状況は次のように書くと便利である。

$$f: X \to Y$$

$$\mathrel{\rotatebox[origin=c]{90}{$\in$}} \mathrel{\rotatebox[origin=c]{90}{$\in$}}$$

$$x \mapsto f(x)$$

但し、行数がかかるので、次のように一行で済ましてしまうこともある。

$$f:X \ni x \mapsto f(x) \in Y$$

いずれの表記法でも、 正しく書く習慣をつければ必ず $X,Y$ が何かまで書くことができることに 注意する。具体的には次の例を見よ。

例 7.2   つぎの各々はそれぞれ(別々の)写像である。

1. $f_\theenumi:$$\mbox{${\mathbb{R}}$}$$\ni x \mapsto x \in$   $\mbox{${\mathbb{R}}$}$
2. $f_\theenumi:$$\mbox{${\mathbb{R}}$}$$\ni x \mapsto x^2 \in$   $\mbox{${\mathbb{R}}$}$
3. $f_\theenumi:$$\mbox{${\mathbb{R}}$}$$_{>0} \ni x \mapsto x^2 \in$   $\mbox{${\mathbb{R}}$}$
4. $f_\theenumi:$$\mbox{${\mathbb{R}}$}$$_{>0} \ni x \mapsto x^2 \in$   $\mbox{${\mathbb{R}}$}$$_{>0}$
5. $f_\theenumi:{\mbox{${\mathbb{Z}}$}}\ni n \mapsto 2 n \in \mbox{${\mathbb{R}}$}$
6. $f_\theenumi:{\mbox{${\mathbb{Z}}$}}\ni n \mapsto 2 n \in {\mbox{${\mathbb{Z}}$}}$

対応 $x\mapsto f(x)$ についてとくに言及する必要のない場合には、 下記のように 「写像 $f: X\to Y$ 」 とか、 「 $X \overset{f}{\to} Y$ 」 と省略して書くこともある。

定義 7.3   写像 $f: X\to Y$ に対してそのグラフを

$$\Gamma_f=\{ (x,f(x)) \vert x \in X\} \subset X\times Y$$

で定義する。

問題 7.1   例 7.2 の写像のそれぞれについてそのグラフを描け。

関数をそのグラフでもって定義することもできる。

解析学で言えば、連続写像、微分可能写像、代数で言えば、準同型写像のように 「...を満たす写像」を考えることは大変多いし、基本でもある。 数学を学ぶ上で、そのようなものを構成する必要が生じることも多いだろう。 そのさい、 それが写像であることをチェックするのは当然必要であるし、 場合によっては仕事の大半を占める。

問題 7.2   つぎの各々はそれぞれ写像であろうか。

1. $g_\theenumi:$   $\mbox{${\mathbb{R}}$}$$\ni x\mapsto x \in {\mbox{${\mathbb{Z}}$}}$ .
2. $g_\theenumi:$   $\mbox{${\mathbb{R}}$}$$\ni x \mapsto \sqrt{x} \in$   $\mbox{${\mathbb{R}}$}$ .
3. $g_\theenumi:$   $\mbox{${\mathbb{Q}}$}$$\ni x \mapsto ($$x$ を既約分数で書いた時の分母の絶対値$) \in {\mbox{${\mathbb{Z}}$}}$ .
4. $g_\theenumi:$   $\mbox{${\mathbb{Q}}$}$$\ni x \mapsto ($$x$ を分数で書いた時の分母$) \in {\mbox{${\mathbb{Z}}$}}$ .
5. $g_\theenumi:$   $\mbox{${\mathbb{R}}$}$$\ni x \mapsto ($$x$ を10進展開した時の小数第一位$) \in {\mbox{${\mathbb{Z}}$}}$

写像が「うまく定義されていない」のは曖昧さが排除されていない せいであることがある。そのような場合には言葉を付け足して曖昧さを 排除することにより写像の定義を完成できることがある。

◎全射、単射、全単射。

定義 7.4   写像 $f: X\to Y$ が

1. $\forall y\in Y \exists x \in X \quad (f(x)=y)$ を満たすとき、 $f$ は全射であるという。
2. $\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$ としてどのようなものを 考えているかが大変重要な意味を持つ。

問題 7.3   例 7.2 の各々は全射、単射、全単射であるだろうか。