(質問の編集の仕方がわからなかったので新しく作成しました)
全射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を示すのはまだちょっとできません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- Visual Basic(VBA) エクセルVBAで教えて頂きたいのですが? 2 2022/12/31 20:28
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 回答の意味について 4 2023/07/11 11:19
- 高校 合成関数の定義域につきまして 1 2022/05/18 17:26
- C言語・C++・C# C言語で再起関数とポインタを用いて文字列反転をする方法がわかりません。 4 2023/04/29 20:32
- 数学 多様体の質問です。 S^1={(a_1,a_2)|a_1^2+a_2^2=1}と T^1=R/Z(R 1 2023/05/18 21:14
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
- 数学 【圏論】モノイドにおける恒等射について 8 2022/06/09 23:52
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
NからN×Nの全単写
-
全射・部分写像の個数の問題
-
線形、非線型ってどういう意味...
-
四次対称群S4が可解群であるこ...
-
初めての複素関数の勉強
-
円→楕円への写像
-
行列の階数
-
体の『同型』と『○上同型』のち...
-
複素数の関数
-
環RについてR加群の短完全列 0→...
-
集合論に強い方、R^2=平面、R^1...
-
商空間とハウスドルフ空間
-
Eを体、PをEに含まれる素体とす...
-
逆写像と逆像の違いがわかりま...
-
数学記号について
-
群論、生成元と関係式
-
Gal_Q(x^4+1)がZ_2×Z_2の同型
-
Lebesgue測度μではμ(S\T)=μ(S)...
-
代数学「素体」
-
写像の記号の、右下の小文字の...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報