A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
● (1)
( g が全射となるということを利用しない証明ですが、よろしいでしょうか。証明としたら、不十分であるか、まちがいであるかもしれません )
集合Y から任意に取り出した要素を y と表わすことにします。g による y の 像g(y) は 集合Z の要素です。仮定より、合成写像g・f は全射ですから、g・f(x) = g(y) を満たす 集合X の 要素x が必ず存在します。
一方、g・f(x) = g(f(x)) ですから、g(f(x)) = g(y) です。よって、仮定より、g は単射ですから、f(x) = y が満たされます。
以上の結果から、Y から任意に取り出した 要素y に対して、f(x) = y を満たす X の 要素x の存在が確かめられました。よって、f は全射です。
● (2)
( その理由を説明せよとは、構成した写像が全単射となることを示せということでしょうか … )
写像 f: N∪{0} → Z を次のとおりに定めます。
n が偶数のとき、f(n) = n/2
n が奇数のとき、f(n) = - ((n + 1)/2)
Z から任意に取り出した要素を z と表わすことにします。このとき、f(n) = z を満たす n が必ず存在します。z ≧ 0 である場合は、n = 2z です。z < 0 である場合は、n = - (2z + 1) です。よって、f は全射です。
N∪{0} から任意に取り出した 2つ の要素を n, n' と表わすことにします。このとき、n < n' であるならば、すなわち n' - n > 0 であるならば、f(n) ≠ f(n') となります。
■ n が偶数、n' が偶数である場合
(n'/2) - (n/2) = (n' - n)/2 > 0
■ n が偶数、n' が奇数である場合
- ((n' + 1)/2) - (n/2) = (- n' - 1 - n)/2 = - ((n' + n + 1)/2) < 0
■ n が奇数、n' が偶数である場合
(n'/2) - (- ((n + 1)/2)) = (n' + n + 1)/2 > 0
■ n が奇数、n' が奇数である場合
- ((n' + 1)/2) - (- ((n + 1)/2)) = (n + 1 - n' - 1)/2 = (n - n')/2 < 0
よって、f は単射です。
● 以上の私の記述にまちがいがありました場合は、ひらにごめんなさい。
また、私の記述の中に、わかりにくい個所・まちがいではないかと思われる個所がありましたら、「 補足 」機能を利用するなどして、遠慮なくご指摘ください。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・【お題】絵本のタイトル
- ・【大喜利】世界最古のコンビニについて知ってる事を教えてください【投稿~10/10(木)】
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・ハマっている「お菓子」を教えて!
- ・最近、いつ泣きましたか?
- ・夏が終わったと感じる瞬間って、どんな時?
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・都道府県穴埋めゲーム
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
四次対称群S4が可解群であるこ...
-
同相であることの証明
-
射と写像の違い
-
LaTeX 写像式を描きたい
-
Z[√2]の単数群を求め、素元を全...
-
微分方程式の線形、非線形の証明
-
複素数の集合D={z: |z|≦2、π/6...
-
写像の記号の、右下の小文字の...
-
複素平面上の写像について
-
有限アーベル群の基本定理の証...
-
積分は写像の一種と呼んでもいい?
-
関数の表記について、ちょっと...
-
何時間 何分 何秒を記号で表...
-
皆さん定義を教えてください 「...
-
∈と⊂の違いは何ですか?
-
∞/0って不定形ですか?∞ですか...
-
無限から無限を引いたら何にな...
-
ニアリーイコールについて
-
「∝」←この記号ってどういう意味?
-
数列の極限について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報