• ベストアンサー

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であるそうですが、その理由がわかりません。どなたか教えて下さいませんか。

質問者が選んだベストアンサー

  • ベストアンサー
  • ddtddtddt
  • ベストアンサー率56% (172/307)
回答No.3

 #2です。  まずご存じかも知れませんが、写像についてです。写像のイメージとしては関数で十分です。関数というとy=ax+bとかy=x^2などを思い浮かべると思います。で数学は、何でも一般化したがります。関数y=f(x)がy=ax+bやy=x^2のように数式で与えられる場合は、関数を計算するのもグラフを書くのも苦労しませんが、「じゃあ、数式で与えられない関数はどうするんだい?」という問題があります。例えばフリーハンドで描いた曲線を、ある関数のグラフとみなした場合、一般にその曲線はどんな数式にものらないでしょう。そこで、関数が数式で与えられた時には何故グラフが描けるのかを反省します。けっきょくグラフの曲線を構成する各点(x,f(x))が、計算可能だからですよね?。  という事は「どうやってf(x)を算定したか?」を問わなければ、xに対応するf(x)の値が全部わかっているものとした時、関数がわかってるのと同じです。何故ならグラフを描けるから。グラフを構成する点(x,f(x))を、(x,y)座標にプロットできるから。ただしxとy=f(x)の対応には、一つだけ制限を付けます。  「xの値に依存して決まるyの値は、xの値を決めればyの値も一個だけ」という制限です。xの値を(一個)決めたのに、対応するyの値が複数個あったら、そのグラフは曲線ではなく「帯」になるからです。つまり一般化された関数(写像)の定義とは、あくまで曲線ベースなんですよ。以下は写像の、かなり簡略化した定義です。でも本質はこれに尽きていると思います。   XとYを集合とする。各x∈Xに対し、y∈Yが(xに依存して)一個だけ定まる時(定まる方法は問わない)、この対応fを写像と言う.  (1)  (1)はよく、f:X→Yと書かれます。注意点は、各xに対して(xに依存して)yは一個だけですからね。全てのxに対してyは一個だけしか決まらないのとは、違います。そういう場合も写像(関数)ですが、それが定値写像(定数関数)です。自分はこの違いがわからず悩みまくった、おバカでした(^^;)。  関数という用語はXもYも数値の集合、例えば実数全体の集合をRとしてX=Y=Rなどの時のためにとっておかれます。関数y=ax+bは、f:R→Rです。  次に単射,全射ですが、写像の中で特に取り扱いの容易なケースがあります。その一つが1対1対応の写像です。写像の定義(1)は、1対1対応ではないんですよ。  (1)の言ってる事は、xを一個決めたらyは一個に決まると言ってるだけで、別のx'で同じyが対応したってx'と一個決めたら、たまたま同じyが一個に決まっただけなので、それは写像なんです。例えばy=x^2ではy=1に対応するxはx=±1ですが、x=1のとき対応するyは1しかないし、x=-1のときも対応するyは1しかなくて一個だけです。こうなるのは、グラフが帯にならないからです。  でも同じyが複数のxに対応しない方が扱いやすいんですよね。そういう関数の代表がy=ax+bです。ちょっと考えればわかるように実数関数の場合、1対1対応の写像は単調増加か単調減少です。そういう場合を単射と言います。単射と言いたがるのは、1対1対応と喋るよりも、用語が短くて言いやすい程度の理由しかありません(^^)。  一般的にいって、もう一つの扱いやすいケースが上への写像です。ここで喋りやすくなるために、用語を二つ導入します。関数f:X→Yの定義域の中の1点集合{x}⊂Xを考えます(Xの部分集合)。xはf(x)に写像しますが、Yの部分集合{f(x)}⊂Yの事も、f(x)と書くならわしがあり、これをfによるxの像と呼びます。  でも定義域の中の1点集合の像を考えても、あまり役に立ちません。有用なのは定義域X全体の像です。それをf(X)と書きます。一般にf(X)⊂Yなのは明らかでしょう。f(X)=Yの時が上への写像という奴で、これを全射と呼びます。  y=x^2は、必ずy≧0なのでf(R)≠Rとなり全射ではありません。一方y=ax+bではf(R)=Rとなる事が、グラフを描けば一目瞭然です。従ってy=ax+bは全射です。  もう一つの用語は逆像です。今度は、関数f:X→YのXの像の中の1点集合{y}⊂f(X)⊂Yを考えます。これはyがf(X)の要素という事なので、yに写像してくるXの要素xが必ずあります(一つとは限らない)。そのようなxを集めたXの部分集合をf^-1(y)と書くならわしがあります。f^-1(y)はfの逆関数を表すのではなく、あくまでXの部分集合です。これをfによるyの逆像と呼びます。まぁ~、fが逆写像(逆関数)を持つ場合もそのまま流用できるような記号を使ってるわけですが(^^)。  逆像の場合、値域Y全体の逆像を考えてもあまり役に立ちません。f^-1(Y)=Xなのは明らかだからです。ただしf(X)に含まれないyについてはf^-1(y)=φ(空集合)と決めておきます。逆像で有用なのは、f(X)の中の1点集合{y}の逆像f^-1(y)です。fが単射なら1対1対応なのでf^-1(y)={x}、すなわち1点の逆像も1点集合が成り立ち、これを単射の定義に出来ます。  ところでy=ax+bは単射かつ全射でした。これを全単射と呼び、この場合は逆写像(逆関数)を定義できます。  残るは写像の合成ですね。写像f:X→Yとg:Y→Zがあったとします。fによるXの像f(X)はYの部分集合で、Yはgの定義域でもあります。という事は、gをf(X)だけで考えた写像もまた可能です。fとこのgの親戚をつなげた写像を、g〇f:X→Y→Zと書き、写像fとgの合成と呼びます。当然ですが、z=g(f(x))です。  以上、写像一般の話としてはこれくらいの事しかありません。というか、これくらいの事しか使わないんですよ。いずれも落ち着いて考えれば「当然じゃん!」と思えるもののはずです(^^;)。問題を一度落ち着いて眺めてみて腑に落ちなければ、またご質問をどうぞ(^^)。

00489d
質問者

お礼

懇切丁寧な解説に感謝申し上げます。とても分かりやすかったです。

その他の回答 (2)

  • ddtddtddt
  • ベストアンサー率56% (172/307)
回答No.2

 まず写像の合成、写像の全射,単射,全単射はOKですか?。

00489d
質問者

補足

お恥ずかしいですが、自分なりに調べてみてもイマイチ意味が理解できないです。そこも含めて教えて下さいませんか。よろしくお願いします

回答No.1

どこまで考えて、何が分からないのか、詳細を書いてください。

00489d
質問者

補足

大変恐縮ですが、最初から理解できません。教えて下さいませんか。よろしくお願いします。

関連するQ&A

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

    数学の集合と写像について教えてください。 期末試験の過去問なのですが、解説・回答がなくて困っています! 試験直前なので どうぞよろしくお願いします。 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={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が恒等写像となるものをすべて求めよ。  数学が うまく変換出来ませんでしたので、わかりにくいと思いますが、よろしくお願いいたします。

  • 幾何学の問題がわかりません。

    fを集合Xから集合Yへの写像、gを集合Yから集合Zへの写像とする。つぎを証明せよ。 1、fおよびgが単射ならばfとgの合成gfも単射である。 2、fおよびgが全射ならばfとgの合成gfも全射である。 3、|X|<_|Y|で||<_|Z|ならば|X|<_|Z|である。 この問題が分からないのですが教えて頂けないでしょうか。

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

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

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

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

  • 合成問題の証明教えてください(><)

    背理法を使ってみたんですがよくわかりませんでした。 写像f:A→B,g:B→Cとその合成写像g。fについて示せ。 1 f,gともに全単射であればg。fはまた全単射である。またこのとき(g。f)^-1=f^-1。g^-1である。 2 g。fが全単射ならばgは全射である。もしこのとき、さらにgが単射でもあれば、fは全射である。 3 g。fが単射ならば、fは単射である。もしこのとき、さらにfが全射でもあれば、gは単射である。 わかる方よろしくお願いします。

  • 写像についての問題

    写像についての質問です。 解答できるものだけでよいのでお願いします。 次の集合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は全単射である。

  • 集合と写像

    集合と写像に関する証明で,そうなるということはわかっているのですが,どのように証明すれば良いかわかりません。 問題は 集合Xから集合Yへの写像f:X→Yによる像に関して,以下を示せ。 (1) 任意の部分集合A,B⊂Xに対して,f(A∩B)⊂f(A)∩f(B) (2) fが単射であるならば,任意の部分集合A,B⊂Xに対して,   f(A∩B)=f(A)∩f(B)が成り立つ (3) Xの任意の部分集合A,B⊂Xに対して,f(A∩B)=f(A)∩f(B)が成り立つならば   fは単射である。 どなたか解説お願いします。

  • 情報数学

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

  • 集合、濃度の問題について教えてください。

     (1)は解決できました。(2)、(3)の考え方と解法がつかめません。よろしくお願いします。                                              問題  集合Xの濃度を♯Xであらわす。特に、空集合φに対しては、♯φ=0であり、一元集合{φ}に対しては、♯{φ}=1である。集合Xから集合Yへの写像全体の集合をY^Xと表す。 更に、濃度のべき乗〖(♯Y)〗^(♯X)を♯(Y^X)と定義する。以下の問いに答えよ。 (1)♯X_1=♯X_2かつ♯Y_1=♯Y_2ならば、〖(♯Y₁)〗^(♯X₁)=〖(♯Y₂)〗^(♯X₂)を証明せよ。 (2)0^(♯X)を求めよ。 (3)特に、0⁰を求めよ。 (2)について、0^(♯X)は、問題文の定義より、♯(Φ^X)と書き表せます。 ただ、∮;X→Φという写像の全射かつ単射を示すにはどうすればよいでしょうか? また、どのような答えにいきつくのでしょうか? (3)については、0しか含まない集合Zから0しか含まない集合Wという写像kを考えて、全単射がわかるという形で大丈夫でしょうか? ※(1)は以下のようになりました。  ♯X_1=♯X_2より、fという全単射(f;X₁→X₂)が存在。   ♯Y_1=♯Y_2より、gという全単射(g;Y₁→Y₂)が存在。(仮定より)  ゆえに Φ:(Y₁)^(X₁)→(Y₂)^(X₂) と置き、全単射が存在すればいい。  Φが全単射で示された。