- ベストアンサー
写像と像に関するある関係の証明
現在解いている問題の中で、 ∀f : T→T { f [A] ⊆ B ⇒ f [C] ⊆ D } ⇒ B ⊆ D かつ C ⊆ A ※集合T A,B,C,D⊆T かつ A~D≠φ という関係を証明しなければならない場面がありました。(見づらい式ですみません) A,B,C,Dの可能性が広くて、うまくこの関係をイメージすることができず、証明することができません。 どなたかご教授願えないでしょうか?
- みんなの回答 (5)
- 専門家の回答
関連するQ&A
- 同値関係の証明について
「0より大きい整数集合A={1,2,....}についてA×A上の関係RをR={<(a,b),(c,d)>|ad=bc}とするとRが同値関係であることを証明しなさい」 という問題でRが反射的、対称的、推移的と証明していけばいいと思うのですが、A×Aだったら<>の中は<1,2>などになるはずだと思うのに<(a,b),(c,d)>となっていて問題の意味がよくわかりません。 この場合どう証明すればいいのでしょうか?
- 締切済み
- 数学・算数
- 写像についてです
(1) 『写像f:A→Bとg:B→Cについて、fとgとの合成写像はfの終集合とgの始集合(定義域)とが一致するときに限って定義される』(集合位相入門/松坂和夫) これについて、 f:A→Bとg:C→Dで f(A)⊂BかつB⊂Cならば べつにfの終集合とgの始集合(定義域)とが一致しなくても良いと思ったのですが、違うのでしょうか? (2) 『対応(≠写像)F,GがいずれもAからBへの対応であって∀a∈AでF(a)=G(a)の時FとGは等しい。2つの対応の相等を論じ得る為には、もちろんそれらの始集合,終集合がそれぞれ一致していることが前提である』(集合・位相入門/松坂和夫) これについても似たようなことなんですが、FがAからBへの対応,GがAからCへの対応であり,さらに任意のAの元aについてF(a)=G(a)という時は,別にB=CでなくともC⊂BとかB⊂Cのときも対応FとGは等しいと言えませんか? 私は,始集合が一致していることとF(a)=G(a)が成り立っていること つまり始集合と値域が一致していれば、この2つの対応は等しいとは言えると思ってました。 具体的には 対応F:A→B対応G:A→Cとする。ここでは、B⊂Cとしても一般性は失われない。 さて、今が任意Aの元aについてF(a)=G(a)が成り立っているとする。 これはF(A)=G(A)ということ。 ここでF(A)=G(A)⊂B⊂C⊆Dなる集合Dをとれば対応FとGはともにAからDへの対応とも言える。 すると、定義から対応FとGは等しい。 これではダメでしょうか? 始集合と終集合に関する記述はどうも混乱します… (1)(2)についてどなたか分かる方がいらっしゃいましたら回答よろしくお願いしますm(__)m
- ベストアンサー
- 数学・算数
- 写像の単射全射のところの関係式に関する証明について
写像の単射全射のところの証明がわからないので、ご教授ください。 集合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問です。 何個かだけでも構いませんので、回答して頂ければ嬉しいです。 また、はじめての質問ですので、ご迷惑をおかけするかもしれませんが、よろしくお願いいたします。
- 締切済み
- 数学・算数
- 集合と写像
集合と写像の問題です。 A、B:集合、写像:f、逆像:f^-1において以下の性質を証明せよとの問題です。 f(A∩B)⊂f(A)∩f(B) を証明しかつその逆f(A∩B)⊃f(A)∩f(B)が成り立たないことを反例を立てて示せ。 f(A∩B)⊂f(A)∩f(B)の証明は あるx∈A∩B⇒x∈Aかつx∈Bである。 (A∩B)⊂A (A∩B)⊂B より f(A∩B)⊂f(A) かつ f(A∩B)⊂f(B) よって f(A∩B)⊂f(A)∩f(B) で証明できてると思うんですがその逆の反例が思いつきません。 どなたかf(A∩B)⊃f(A)∩f(B) が成り立たないことを示せる方いらっしゃったらご教授願います。
- 締切済み
- 数学・算数
- 自身への写像が全単射となることの証明
(1) 写像f:A→Aとする。Aが有限集合であるとき、写像fが単射ならばfは全単射である事を示せ。 (2) Aが無限集合であるとき、fは全単射か。そうであれば証明せよ。そうでないなら反例を示せ。 上の問題の(1)は以下のように考えました。 f(A) は A の部分集合。 f(A)≠A と仮定すると、A とその真部分集合との間に全単射が存在したことになる。これは、無限集合の定義であるため、有限集合は全単射である。 このような証明で十分なのでしょうか?また、上のように考えたのでAが無限集合であるときはfは全単射ではないと思うのですが、反例が思いつきません。 わかる人がいれば教えてください。よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
うまい f を見つけることで、式を証明することができました。 どうもありがとうございました!!