質問<3158>2006/5/10
すみません。誰か教えてください。 次の問題です。 写像 f:A→B 、g:B→Cについて次を証明しなさい。 1.g。fが単射ならばfは単射である。 2.g。fが単射でfが全射ならばgは単射である。 ★希望★完全解答★
お便り2006/5/13
from=S(社会人)
こんにちは。 あれこれがんばって見たのですが上手くいきませんので、思い切って反例を考えて 見ました。 1. の反例 A: [-1,1]、 B: (-∞,∞)、 C: [-1,1] の集合に対して、 f(x)=sin^(-1)(x)、g(x)=sin(x) をみると、 (gοf)(x)=g(f(x))=sin(sin^(-1)(x))=x は単射で あるが、 f(1)=(1/2)(1+2n)π ( n=0,±1,±2,… ) は f(x) が単射の必要条件を満たさない。 2. の反例 A: (-∞,∞)-{(π/2)±nπ、n=0,±1,±2,…}、 B: (-∞,∞)、 C: (-∞,∞)-{(π/2)±nπ、n=0,±1,±2,…} の集合に対して、 f(x)=tan(x)、g(x)=tan^(-1)(x) をみると、 (gοf)(x)=g(f(x))=tan^(-1)(tan(x))=x は単射で、 かつ f(x) は全射であるが、 g(1/√2)=(π/4)±nπ ( n=0,±1,±2,… ) は g(x) が単射の必要条件を満たさない。 ただしここに、 f(x)=sin^(-1)(x)、g(x)=tan^(-1)(x) は、 主値に限るような逆三角関数ではなく、ふつうの関数とは異なる多価関数を考えている。 したがって、命題は 1. 2. とも偽である。 というような訳ですが、晩学であまり自信がありませんので、他の方からの御批判を お持ちしております。
お便り2006/8/11
from=KINO
1. 対偶 f が単射でなければ gof は単射でない を示すのが簡単です。 f が単射でないと,2つの異なる A の要素 x, y で f(x)=f(y) となるものがあります。 よって,g(f(x))=g(f(y)) となり,gof が単射でないことが示されました。 2. B の要素 x, y が,g(x)=g(y) をみたすと仮定します。このことから x=y を導けば, g が単射であることを示したことになります。 さて,f は全射なので,A の要素で a, b で,x=f(a), y=f(b) をみたすものが必ずあります。 よって, (gof)(a)=g(f(a))=g(x)=g(y)=g(f(b))=(gof)(b) が成り立ち,gof が単射であることから a=b が導かれます。 ゆえに x=f(a)=f(b)=y となり,目標の x=y が示されました。 <S(社会人)さんの回答に関するコメント> 「写像」とは通常1価のものを指しますので,多価写像を用いて構成された「反例」は 不適当です。 ただし,とり得る値の多価性も許す「対応」の場合にはこの問題で述べられているような 性質が成り立たないことを示しているという点で面白い例だと思います。