#rst2hooktail_source
============================================================
像と逆像による保存と劣化
============================================================
この記事では、写像 $ f:A \to B $ がある時、 $A,B$ のそれぞれの部分集合を $P,Q$ として、
像 $f$ と逆像 $f^{-1}$ の
<tex>
f^{-1}(f(P)) \supseteq P \tag{##} \\
f(f^{-1}(Q)) \subseteq Q \tag{##}
</tex>
と言う性質を全射と単射を関連させて、調べます。参考文献は、松坂和夫先生の集合・位相入門です。
像と逆像
========================
写像 $f$ の定義は、集合 $A$ の元 $a$ に作用させると、集合 $B$ の元 $b$ に変わる対応のことを言います。
この時、 $f(a)$ はただ一つの元に対応します。行き先が無いものや、複数の要素に変わるものがが一つでもあったら、それは写像ではなく、対応と言います。
像 $f$ の定義は、 $A$ の部分集合 $P$ とし、 $P$ の全ての元 $a$ の写像先を集めてできた集合の事です。
引数が一つの元とは限らず、集合を取るところが写像と違います。
<tex>
f(P) = \{f(a)| a \in P \} \tag{##}
</tex>
逆像 $f^{-1}$ の定義は、 $B$ の部分集合 $Q$ について、 $Q$ の中に行き先 $b$ があるような $A$ の中の元 $a$ 全ての集合です。
<tex>
f^{-1}(Q) = \{ a | f(a) \in Q \} \tag{##}
</tex>
となります。
全射と単射
==========================
全射とは $A$ の像が $B$ に一致することを言います。つまり、写像の行き先 $B$ のどの要素をとっても、写像元の $a$ が少なくとも１つは存在することになります。式で書くと
<tex>
f(A) = B \tag{##}
</tex>
となります。
単射とは任意の $A$ の異なる元 $a$ と $a^\prime$ に対し、行き先が一致することは無いと言う事です。
<tex>
a \neq a^\prime \Rightarrow f(a) \neq f(a^\prime) \tag{##}
</tex>
同じことを言いかえると、
<tex>
f(a) = f(a^\prime) \Rightarrow a = a^\prime \tag{##}
</tex>
とも書けます。
式(1)と単射
========================
まず、式 $(1)$ を示しましょう。つまり、
.. admonition :: theorem
$f^{-1}(f(P)) \supseteq P$
を示します。
【大まかな流れ】
ここでは、 $a \in P$ を見たす $a$ は必ず $a \in f^{-1}(f(P))$ を満たすことを示します。
【証明】
まず、 $P$ を $a$ の任意の元とし $a \in P$ とします。すると、 $f$ は写像なので唯一の行き先があり、 $f(a) = b$ で、 $\{ a \} \subseteq f^{-1}(\{ b \})$ となるような $B$ の元であり $f(P)$ の元でもある $b$ が存在します。 $b \in f(P)$ より、 $f^{-1}( \{ b \} ) \subseteq f^{-1}(f(P))$ が成立します。よって、$f^{-1}(f(P)) \supseteq f^{-1}(\{ b \}) \supseteq \{ a \}$ より、 $f^{-1}(f(P)) \ni a $ 。つまり、 $f^{-1}(f(P)) \supseteq P$ が言えました。■
さて、これだけでは $f^{-1}(f(P))$ が $P$ と同じ集合なのか、それとも $P$ より真に小さい集合なのか、の区別がつきません。それを区別できるのが、 $f$ が単射かどうかなのです。
.. admonition:: theorem
写像 $f$ が単射 $\Rightarrow$ $f^{-1}(f(P)) = P$
.. image :: yourname-articleName-01.png
注
=============
注は、この様に [*]_ 入れます。
.. [*] これも半角スペースに気をつけてください。
記事の中で改行したいときは、この様に半角スペースを入れてください。
@@reference: 松坂和夫,集合・位相入門,岩波書店,1968,p30-p34,4000054244@@
@@author:クロメル@@
@@accept:2020-03-22@@
@@category:集合・位相・測度@@
@@id:imageAndInverseImage@@
記事ソース/像と逆像による保存と劣化 のバックアップソース(No.1)
