これはrst2hooktailの記事ソース保存・変換用です(詳細).
============================================================ 像と逆像のある性質 ============================================================ この記事では、写像 $ 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$ が少なくとも1つは存在することになります。式で書くと <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 <tex> f^{-1}(f(P)) \supseteq P \tag{##} </tex> を示します。 【大まかな流れ】 ここでは、 $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@@