- ベストアンサー
集合論
hotaranaの回答
- hotarana
- ベストアンサー率23% (38/163)
前者について。 素直に… １）g○f：A→Cは全射 ２）g○f：A→Cは単射 の２点を（順番はどっちでもいいから）示せばよいです。 （勿論、一気に全単射である事を示してもいいですよ。） 後者について。 ＃１の方同様、逆写像の定義をまず確認して下さい。 何をどうすりゃいいか、すぐに見えてくるはず。 では、頑張って下さい。
関連するQ&A
- 写像の証明問題を教科書の定理、定義を組み合わせながらやっていたのですが
写像の証明問題を教科書の定理、定義を組み合わせながらやっていたのですがうまく出来ません。 どなたか次の問題の証明過程を教えてください。 ｆ:A→B, g:B→Aをともに全単射とすれば、g。f （gとfの合成写像）: A→Cも全単射である。 このとき、（g。f）＾-1 (gとfの合成写像のインバース)＝f^-1。g^1（fのインバースとgのインバースの合成写像）であることを示せです。 お願いします。
- ベストアンサー
- 数学・算数
- 集合論についての質問
松坂さんの『集合位相入門』からです。 p30によると、f:A→Bの写像として,ＰをＡの任意の部分集合とするとき。 f(P)={b|∃a∈P(f(a))=b)} と表記できます。 一方QをBの任意の部分集合としたとき、 f-1(Q)={a|f(a)∈Q}と書かれています。 質問(1) これをf-1(Q)={a|b∈Q.f(a)∈Q}と書くこともできますよね？ その場合、f(P)の場合のように、f-1(Q)={a|∃b∈Q.f(a)∈Q}と∃記号を使わなくていい理由を教えてください。 質問(2) a){x|C_1(x)∨C_2(x)}={x|C_1(x)}∪{x|C_2(x)} b){x|C_1(x)∧C_2(x)}={x|C_1(x)}∩{x|C_2(x)} という関係は成り立ちますよね。 質問(3) p31の定理3からです。 質問(2)の内容を認めたら、 (4.3)'は f-1(Q1∩Q2)={a|f(a)∈Q1∩Q2}={a|f(a)∈Q1∧f(a)∈Q2}={a|f(a)∈Q1}∩{a|f(a)∈Q2} =f-1(Q1)∩f-1(Q2) となります。 同様にすると(4.3)も f(P1∩P2)={b|∃a∈P1∩P2(f(a)=b)}={b|∃a∈P1(f(a)=b)∧∃a∈P2(f(a)=b)} ={b|∃a∈P1(f(a)=b)}∩{b|∃a∈P2(f(a)=b)} =f(P1)∩f(P2) という間違った結果が証明されてしまいます。 これは∃があるときとかが絡んでいるんでしょうがいまいちわからないです。 よろしくおねがいします。
- ベストアンサー
- 数学・算数
- ベルンシュタインの定理の証明について（集合論 Wikipedia）
集合の勉強をしているのですが、 ベルンシュタインの定理の証明が分からずに困っています。 参考書として「集合・位相入門 松坂和夫著」を使っているのですが そこに載っている証明法が理解できず、ネットで調べてみた所、Wikipediaに簡単そうな証明法が出ていたので、とりあえずこちらから理解しよう思ったのですが、こちらもまた理解できずに困っています。 http://ja.wikipedia.org/wiki/%E3%83%99%E3%83%AB%E3%83%B3%E3%82%B7%E3%83%A5%E3%82%BF%E3%82%A4%E3%83%B3%E3%81%AE%E5%AE%9A%E7%90%86 理解できない箇所は２箇所で、 まず h(x)= f(x) xがCの元の時 g-1(x) xがCの元でない時 の部分で、 f(x)とg-1(x)は同じもののような感じがするのですが、 どこが違うのかということです。 もう１箇所は g-1(C)＝ｇ-1(C/C0)＝ｆ(C) の部分です。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 集合に関する問題が分からなくて困っています
僕は集合とかの問題が苦手なため、担当教官にいくつか基礎問題を出してもらって考えていたんですが・・・ 教官が答えをくれないので正しい答え(考え方を含む)がよく分からないんです。 問題数も多いんで重要だと指摘された4問を教えていただけるとうれしいです。 1つでもいいんでどうかよろしくお願いします。 1．任意の有限集合A、Bに対して、 集合A～B⇔AからBへの全単射が存在するとする。 このとき～は同値関係である事を示せ。 （記号～の意味はAからBへの全単射が存在するという定義らしいです。） 2. 集合A,Bに対して A≦B⇔A⊆B とする。 （1）≦は順序関係である事を示せ。 （2）inf｛x、y｝＝x∩yとなることを示せ。 3. (1) 集合x、yに対して、 ｛{x}∪{y}｝－{{y}} どんな集合か。 問題1に関してはノートなどを見て書いてみたんですが、 反射：f(a)=a 対称：f(a)=bとするとf^-1(b)=a 推移：f(a)=b、f(b)=cとするとf(f(a))=c 教官には違うと指摘されただけで終わりました。何が違うんでしょうか？ ちなみにf^-1はfの逆行列という意味です。
- ベストアンサー
- 数学・算数
- 集合 位相 について (数学) 教えてください
位相数学についてです f:A → B g:B→C とするとき g ο f が全射ならば gは全射 g ο f が単射ならば fは単射 であることを示せ なかなか位相について自分で掴むことができず 簡単な証明でも分からなくて困っています 教えていただきたいです。
- 締切済み
- 数学・算数
- 合成問題の証明教えてください(＞＜)
背理法を使ってみたんですがよくわかりませんでした。 写像f:A→B,g:B→Cとその合成写像g。fについて示せ。 １ f,gともに全単射であればg。fはまた全単射である。またこのとき(g。f)＾-1=f＾-1。ｇ^-1である。 ２ g。fが全単射ならばgは全射である。もしこのとき、さらにgが単射でもあれば、fは全射である。 ３ g。fが単射ならば、fは単射である。もしこのとき、さらにfが全射でもあれば、gは単射である。 わかる方よろしくお願いします。
- ベストアンサー
- 数学・算数
- "無理数全体の集合から実数全体への全単射が存在する"の証明の説明をお願いします。
次の問題の解答で分からないところがあるので説明をしてもらいたいです。 問: 無理数全体の集合からRへの全単射が存在することを証明せよ 解: R－Q から R への全単射の存在を示せばよい R－Q は無限集合であるから、可算部分集合 A が存在する ここで Q は可算集合なので、A∪Q は可算集合 よって全単射 f: A→A∪Q が存在するので 関数 g:R－Q →Rを g(x)＝ { x (x∈R－A) 〔 f(x) (x∈A) と定義すると g は全単射である ■ 最後のところで、なぜgを上のように定義すると全単射になるのかがわかりません。 よろしくおねがいします。
- ベストアンサー
- 数学・算数
- 集合位相入門 松坂和夫 第１章$5問題11
（質問の編集の仕方がわからなかったので新しく作成しました） 全射f:A→B、s,s'をfの右逆写像, V(s), V(s')の一方が他方に含まれていればs=s' の証明について、自分で何日か考えているのですがわかりません。教えていただけないでしょうか？ （証明したいこと） ∀b∈B, s(b)=s'(b) （前提） 1. ∀b∈Bについて∃a∈A, b=f(a) -------- 全射f:A→Bの条件 2. ∀b∈Bについてf・s(b) = f・s'(b) = b ------ 右逆写像の定義 3. V(s)⊂V(s') よろしくお願いします。 質問の後で回答の方針としては下記を考えつきました。 １．s=s' が成り立っているときはV(s) = V(s')となる 2. V(s)を終集合、Aを定義域とする写像をsに対してs1で考え、V(s)を始集合、Bを値域とする写像をfに対してf1と考えるとf1・s1=Ibでこのときf1、s1はともに全単射となる。 3. 同様にs'1も全単射になるように考えられるがこのときv(s1)⊂v(s'1)であってかつ s1:A→V(s1)が全単射、s'1: A→V(s'1)も全単射であるからV(s1)=V(s2)となりs1=s'1 このときs=s'が言える 2.は大丈夫そうに思いますが、3を示すのはまだちょっとできません。
- ベストアンサー
- 数学・算数
- 集合の問題
集合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]
- ベストアンサー
- 数学・算数