• 締切済み

写像について

問題 A:有限集合 写像f:A→Aとする。写像fが単射ならば全射、また全射ならば単射である事を示せ。 <自解> 写像fが単射ならば a_1,a_2∈A、f(a_1)=f(a_2)⇒a_1=a_2(単射の命題の対偶) 写像fはAからAへの写像より ∀y∈A、∃a∈A、st y=f(a)∈A 故に、写像fが単射ならば全射。 また、 写像fが全射ならば ∀y∈A、∃a∈A、st y=f(a)∈A … ここから単射をどう示したらいいのかわからなくなりました。 全体的に証明できていないと思います。 どう示すべきか教えて頂きたいです。よろしくお願いします。

みんなの回答

  • arrysthmia
  • ベストアンサー率38% (442/1154)
回答No.2

そうです。例の命題は、Aが有限集合ならば成立します。 そこがポイントですから、 証明には、Aが有限集合であるという条件を使わねば。 そのためには、「有限集合」の定義を確認せねば。 よく知られている定義は… 定義:無限集合でない集合を有限集合という。 定義:集合Aと、その真部分集合(部分集合であって、A自身ではないもの)    が等濃度であるとき、Aは無限集合であるという。 定義:集合AからBへの全単射が存在するとき、AとBは等濃度であるという。 前の質問で貴方が補足したように「有限集合:集合の元の個数が有限個」 と定義したければ、それに先立って、「個数が有限個」とは何であるか を定義せねば。できますか? 前回の No.3 を、少し丁寧に書くと… 集合AからAへの、単射かつ非全射な写像fが存在すると仮定する。 fが非全射だから、fによるAの像f(A)はAの真部分集合である。 また、fはAからf(A)への全単射である。よって、定義により、 Aは無限集合である。 これの対偶をとって、 Aが有限集合であれば、AからAへの単射かつ非全射な写像は存在しない。 すなわち、AからAへの単射は全射である。

参考URL:
http://oshiete1.goo.ne.jp/qa4129817.html
  • kup3kup3
  • ベストアンサー率68% (33/48)
回答No.1

>写像fが単射ならば >故に、写像fが単射ならば全射 のところは残念ながら証明になっていません。 集合Aは有限集合なので、n個の要素からなり、 A={a_1,a_2,・・・,a_n}としてみましょう。 「fの行く先もAである」がまずポイント (1)前半のヒント:写像fが単射ということは、 「異なる要素は、異なる要素に写される」という ことですから、「f(a_1),f(a_2),・・・,f(a_n)は 「Aに含まれる」全て異なる要素」 となる。 (2)後半のヒント:写像f:A→Aは全射なので、 Aの各要素の原像は、Aの部分集合で 空集合Φではありません。つまり f^(-1)(a_1)≠Φ、f^(-1)(a_2)≠Φ,・・・,f^(-1)(a_n)≠Φです。 そこで、 f^(-1)(a_1)、f^(-1)(a_2),・・・,f^(-1)(a_n)から 順番に一つずつAの要素 b_1,b_2,・・・,b_nをとって 行きましょう。(有限集合だからいつか終わる) ここで、「例えばb_1=b_2となることがある」かどうかをよーく 考えてみて下さい。

関連するQ&A

  • 写像について

    問題 写像f:A→Aとする。写像fが単射ならば全射、また全射ならば単射である事を示せ。 <自解> 写像fが単射ならば a_1,a_2∈A、f(a_1)=f(a_2)⇒a_1=a_2(単射の命題の対偶) 写像fはAからAへの写像より ∀y∈A、∃a∈A、st y=f(a)∈A 故に、写像fが単射ならば全射。 また、 写像fが全射ならば ∀y∈A、∃a∈A、st y=f(a)∈A … ここから単射をどう示したらいいのかわからなくなりました。 単射から全射の証明も、不十分な気がします。 どう示すべきか教えて頂きたいです。よろしくお願いします。

  • 写像の問題です。よろしくお願いします。

    (1)2つの写像f:X→Y、g:Y→Zがある。g・fが全射ならばgは全射であるとする。ここでさらにgが単射であると仮定すればfも全射となることを証明せよ。 (2)自然数Nと零を合わせた集合N∪{0}から整数の集合Zへの写像で、全単射となるものを構成し、その理由を説明せよ。

  • 写像の証明問題です。よろしくお願いします。

    写像の問題です。よろしくお願いします。 (1)2つの写像f:X→Y、f:Y→Zがある。g・fが全射ならばgは全射であるとする。ここでさらにgが単射であると仮定すればfも全射となることを証明せよ。 (2)自然数Nと零を合わせた集合N∪{0}から整数の集合Zへの写像で、全単射となるものを構成し、その理由を説明せよ。

  • f:X→Y, g:Y→Xを集合Xと集合Yの間の写像

    f:X→Y, g:Y→Xを集合Xと集合Yの間の写像とし、g⚪︎f:X→X、f⚪︎g:Y→Yをそれらの写像の合成写像とする。次の記述1から5について、 1:gが全射ならば、g⚪︎fは全射である。 2:g⚪︎fが全射ならば、fは全射である。 3:g⚪︎fが単射ならば、gは単射である。 4:Yが有限集合で、g⚪︎fとf⚪︎gが全射ならば、fは全単射である。 5:f⚪︎gが全単射ならば、g⚪︎fは全単射である。 常に正しいのは4であるそうですが、その理由がわかりません。どなたか教えて下さいませんか。

  • 情報数学

    「写像f:X→Yに対して、写像g:2^X→2^Yをg(A)=f(A) (A⊂X)と定める。 以下の命題に関して常に成り立つたらば証明を与え、そうでないなら反例をあげよ ・fが単射ならばgは単射である ・gが単射ならばfは単射である ・fが全射ならばgは全射である ・gが全射ならばfは全射である」 という問題がわかりません! 面倒かと思いますが、解説よろしくお願いします

  • 写像についての証明

    写像に関する問題です。 集合A,Bの部分集合をそれぞれA_1,B_1とする。写像f:A→B に対して次の問いを証明しなさい。 問1 写像fが単射ならば、A_1 = f^(-1)(f(A_1 ))である。 問2 写像fが全射ならば、f(f^(-1)(B_1) ) = B_1である。 どなたかご回答の程よろしくお願いします。

  •  集合と写像 の問題解説お願いします

    数学の集合と写像について教えてください。 期末試験の過去問なのですが、解説・回答がなくて困っています! 試験直前なので どうぞよろしくお願いします。 X={3,4,5}  Y={5,6,}とする。   (1) XからYへの単射を1つ求めよ。 (2) XからYへの全射を1つ求めよ。 (3) (1)(2)で求めた写像の合成写像を求めよ。 (4) XからYへの写像で全射であるものを全て述べ、その写像 f2 = f. ○ f が恒等写像となるも   のを全て求めよ。 (5) XからYへの写像で単射であるものを全て述べ、その写像 f3 = f ○ f ○ f が恒等写像とな   るものを全て求めよ。 解説も付けていただけるとたすかります。 よろしくお願い致します。

  • 写像についての問題

    写像についての質問です。 解答できるものだけでよいのでお願いします。 次の集合X,Yについて指定された性質を持つ写像f:X→Yの例を一つ挙げよ。ただし、Rは実数全体の集合、Zは整数全体の集合。 1、X=R、Y={x∈Z│x≧-1}, fは単射でないが、全射である 2、X=R, Y={x∈R| x >0} fは単射であるが、全射ではない。 3、X={x∈R | 1≦x≦3}, Y={x∈R | 2≦x≦5} fは全単射である。

  • 写像の単射全射のところの関係式に関する証明について

    写像の単射全射のところの証明がわからないので、ご教授ください。 集合AからBへの写像をfとし、a∈A,P⊂A,b∈B,Q⊂Bとする。 1.fが単射のとき、a∈P ⇒ f(a)∈f(P)の逆が成り立つことの証明 2.fが単射のとき、P1⊂P2 ⇒ f(P1)⊂f(P2)の逆が成り立つことの証明 3.fが単射のとき、f(A-P) ⊃ f(A) - f(P) の逆が成り立つことの証明 4.fが単射のとき、f^(-1)(f(P)) = Pの証明 5.fが全射のとき、∃a'∈f^(-1)(Q), b=f(a') ⇒ b∈Qの逆が成り立つことの証明 6.fが全射のとき、Q1⊂Q2 ⇒ f^(-1)(Q1)⊂f^(-1)(Q2)の逆が成り立つことの証明 7.fが全射のとき、f(f^(-1)(Q)) = Qの証明 以上の7問です。 何個かだけでも構いませんので、回答して頂ければ嬉しいです。 また、はじめての質問ですので、ご迷惑をおかけするかもしれませんが、よろしくお願いいたします。

  • 数学 集合と写像の問題 回答・解説お願いします。

    数学 集合と写像の 過去問ですが、回答がないので困っています。 よろしくお願いします! 前回質問させていただきましたが、問題に打ち間違えがありましたので再度修正して 質問いたします。 ミスをご指摘いただいた方ありがとうございました。 X={3,4,5} Y={5,6,}とする。 (1) YからXへの単射を1つ求めよ。 (2) XからYへの全射を1つ求めよ。 (3) (1)(2)で求めた写像の合成写像を求めよ。 (4) XからXへの写像で全射であるものを全て求めよ。 (5) (4)で求めた写像 f で合成写像 f2=f○fが恒等写像となるものを全て求めよ。 (6) YからYへの写像で単射であるものを全て求めよ。 (7) (6)で求めた写像 f で合成写像 f3=f○f○fが恒等写像となるものをすべて求めよ。  数学が うまく変換出来ませんでしたので、わかりにくいと思いますが、よろしくお願いいたします。