• ベストアンサー
  • 困ってます

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

共感・応援の気持ちを伝えよう!

  • 回答数3
  • 閲覧数62
  • ありがとう数1

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

  • ベストアンサー
  • 回答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))です。  以上、写像一般の話としてはこれくらいの事しかありません。というか、これくらいの事しか使わないんですよ。いずれも落ち着いて考えれば「当然じゃん!」と思えるもののはずです(^^;)。問題を一度落ち着いて眺めてみて腑に落ちなければ、またご質問をどうぞ(^^)。

共感・感謝の気持ちを伝えよう!

質問者からのお礼

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

関連するQ&A

  • 写像について

    問題 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) 写像f:A→Aとする。Aが有限集合であるとき、写像fが単射ならばfは全単射である事を示せ。 (2) Aが無限集合であるとき、fは全単射か。そうであれば証明せよ。そうでないなら反例を示せ。 上の問題の(1)は以下のように考えました。 f(A) は A の部分集合。 f(A)≠A と仮定すると、A とその真部分集合との間に全単射が存在したことになる。これは、無限集合の定義であるため、有限集合は全単射である。 このような証明で十分なのでしょうか?また、上のように考えたのでAが無限集合であるときは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は全単射である。

その他の回答 (2)

  • 回答No.2

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

共感・感謝の気持ちを伝えよう!

質問者からの補足

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

  • 回答No.1

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

共感・感謝の気持ちを伝えよう!

質問者からの補足

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

関連するQ&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への写像で、全単射となるものを構成し、その理由を説明せよ。

  • 写像について

    写像について (1)(-1,1)を(-∞,∞)に全単射する写像の例を一つ挙げよ。あげた写像が全単射といえる理由も述べよ。 (2)f:R^2→R^2,f(x,y)=(x+y,xy)とするときf(D)を求め図示せよ。 D={(x,y)|x^2+y^2<1,x>0,y≦0} の二問の解答への方向性が見えません。 全射、単射についての定義はわっかていますが・・・。 よろしくお願いいたします。

  • 余因子行列を求める写像について分かりません

    宜しくお願い致します。 f:C^{n×n}→C^{n×n}をf(A)はAの余因子行列とする写像とする時, fは全射ですか? 全射でないなら像f(C^{n×n})はどんな集合になりますか? H:={A∈C^{n×n};Aは正値エルミート}とし, fをHからHへの写像と制限するとこの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が恒等写像となるものをすべて求めよ。  数学が うまく変換出来ませんでしたので、わかりにくいと思いますが、よろしくお願いいたします。

  • 写像の問題をお教え下さい。

    いくら考えても全くわかりません。 お教えいただければ大変嬉しいです。お願いします。 問題 Aをm×n行列とし、行列とベクトルの積で与えられる線形写像A:R^n →R^m:x ↦ Axを考える。 以下の問いに答えよ。 (1) 写像Aが単射であるならば、n ≤ mであることを示せ。 (2) n ≤ mであって、写像Aが単射でない例をあげよ。 (3) 写像Aが単射であるならば、rankA = nであることが必要十分であることを示せ。 (4) 写像Aが全射であるならば、n ≥ mであることを示せ。 (5) n ≥ mであって、写像Aが全射でない例をあげよ。 (6) 写像Aが全射であるならば、rankA = mであることが必要十分であることを示せ。 (7) もしn = mならば、写像Aが全単射であることとAが正則であることが必要十分であることを示せ。

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

     (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₂) と置き、全単射が存在すればいい。  Φが全単射で示された。

  • 集合の問題

    集合Aから集合Bへの写像f:A→Bが与えられているとする。 Aの2元a,bについてf(a)=f(b)のときa~bと定義すれば、 関係~が同値関係であることを示せ。 さらにfが全射であれば同値類集合A/~と集合Bは対等であることを示せ。 前半はいいのですが後半がいまいちわかりません。 以下のように示したのですがどうでしょうか? X/~={[x]|x∈X},[x]={y∈X|x~y即ちf(x)=f(y)} これよりg:A/~→B:g([x])=f(x)が全単射かつwell-definedであることを示す。 (well-defined) [x]=[x']とする。この時∀y∈Xについて y∈[x]とすればf(y)=f(x)=f(x')となるのでg([x])=g([x']) よってgはwell-defined (全射) ∀y∈Bとするとfが全射であるから∃x∈A s.t. f(x)=y これよりx∈[x]だから∃[x]∈A/~となるのでgも全射となる。 (単射) g([x])=g([y])⇒f(x)=f(y)とするとx∈[x]⇒x∈[y]がいえる。 其の逆も言えるので[x]=[y]

  • 写像の問題なのですが…

    写像の問題なのですが… Rで実数全体の集合を表す。 f1,f2,f3,f4,f5,f6,f7をそれぞれ次の式で定義されたRからRへの写像とする。 f1(x)=x-2 f2(x)=x^2 f3(x)=x^3 -4 f4(x)=x^3 -4x f5(x)=e^x f6(x)=f2?f5 f7(x)=f2?f1?f5 これらの写像が、全単射、単射だが全射でない、全射だが単射でない、 のいずれであるかを判定しなさい。(証明は必要なし) という問題があるのですが、f4,f5,f6,f7の図がうまく描けず、 答えがないためあっているか不安です。 もしよろしければ、教えてほしいです。 お願いします。

  • 写像について

    問題 写像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 … ここから単射をどう示したらいいのかわからなくなりました。 単射から全射の証明も、不十分な気がします。 どう示すべきか教えて頂きたいです。よろしくお願いします。