- 締切済み
fが全単射⇒f-1が全単射
- みんなの回答 (1)
- 専門家の回答
みんなの回答
- nag0720
- ベストアンサー率58% (1093/1860)
A,Bは単なる集合ですよね。 f-1の定義は?
関連するQ&A
- 写像が全単射となるための必要条件
写像f:R^2→R^2,f(x,y)=(ax+by,cx+dy)が全単射となるときの必要十分条件を求めたいです。(ただし、a,b,c,d∈Rとする。) たしか、全単射の必要十分条件は、「逆写像が存在する」だったと思うのですが、それは、R→Rのときだけなのでしょうか、ぜんぜん、関係ないかもしれませんが。 よろしくご教授ください。
- ベストアンサー
- 数学・算数
- 自身への写像が全単射となることの証明
(1) 写像f:A→Aとする。Aが有限集合であるとき、写像fが単射ならばfは全単射である事を示せ。 (2) Aが無限集合であるとき、fは全単射か。そうであれば証明せよ。そうでないなら反例を示せ。 上の問題の(1)は以下のように考えました。 f(A) は A の部分集合。 f(A)≠A と仮定すると、A とその真部分集合との間に全単射が存在したことになる。これは、無限集合の定義であるため、有限集合は全単射である。 このような証明で十分なのでしょうか?また、上のように考えたのでAが無限集合であるときはfは全単射ではないと思うのですが、反例が思いつきません。 わかる人がいれば教えてください。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 写像の証明問題を教科書の定理、定義を組み合わせながらやっていたのですが
写像の証明問題を教科書の定理、定義を組み合わせながらやっていたのですがうまく出来ません。 どなたか次の問題の証明過程を教えてください。 f:A→B, g:B→Aをともに全単射とすれば、g。f (gとfの合成写像): A→Cも全単射である。 このとき、(g。f)^-1 (gとfの合成写像のインバース)=f^-1。g^1(fのインバースとgのインバースの合成写像)であることを示せです。 お願いします。
- ベストアンサー
- 数学・算数
- 集合位相入門 松坂和夫 第1章$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') よろしくお願いします。 質問の後で回答の方針としては下記を考えつきました。 1.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を示すのはまだちょっとできません。
- ベストアンサー
- 数学・算数
- 逆写像の条件について
集合Uから集合Vへの写像fが全単射なら 逆写像f^{-1}が存在し、f^{-1}は全域写像になりますが、 f^{-1}の逆対応はfなので、f^{-1}は全単射で、 fは全域写像になるのでしょうか? また、集合Uから集合Vへの部分写像fが逆写像をとる条件を単射とした場合は 合成写像f◦f^{-1}がUの恒等写像にならないですよね?
- ベストアンサー
- 数学・算数
- 写像の基本定理:B1⊂B2⇒f~(B1)⊂f~(B2)について。
お世話になります。 よろしくお願いします。 写像の基本定理:『B1⊂B2⇒f~(B1)⊂f~(B2)』についてなのですが、 (fはAからBへの写像、f~をその逆像、B1、B2はBの部分集合とします。) 『B1⊂B2⇒f~(B1)⊂f~(B2)』の逆、すなわち 『B1⊂B2←f~(B1)⊂f~(B2)』がなぜ成り立たないのか分かりません。 自分では“逆”も成り立つような気がします。 独学で写像を勉強し始めたばかりで何か根本的な思い違いが あると思うのですが・・・。 証明、反例など分かりましたら教えてください。 どうかよろしくお願いします。
- ベストアンサー
- 数学・算数