- ベストアンサー
集合写像問題の解き方と実数閉区間の要素証明
- 集合写像の問題の解き方と実数閉区間要素の証明方法を教えてください。
- 正整数全体の集合をN、実数全体の集合をRで表し、写像ｆ；N→Rについて、実数の閉区間[3.14, 3.15]の要素で、像ｆ(N)に属さないものが存在することを証明する方法を教えてください。
- カントールの対角線論法を用いて、写像ｆ；N→Rにおいて実数の閉区間[3.14, 3.15]の要素で、像ｆ(N)に属さないものが存在することを証明する方法を教えてください。
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
文章がメタクタなので、解ってるのか、いないのか 判断に苦しむが… 対角線論法については、どうやら解って書いている ようにも見えなくはない。 最大の難点は、αn の定義をきちんと書いてないこと。 f(N)∩[3.14,3.15]の濃度 ≦ Nの濃度 であることから、 f(N)∩[3.14,3.15] の元に自然数の添字を適当につけて { αn | (n∈N) } にすればよいのだが、そのことが 解ってて表現できていないのか、解ってないのか… α を構成して見せる部分は、舌足らずな式だけで済ませず、 何を an と置いてどのように α を作ったのか 話が通じるように説明しておかないといけない。 たぶん、大筋は解っているんだろうから、日本語をちゃんと 書けば、ちゃんとした証明になるんじゃないかな？ また、(細事だが) f(N)∩[3.14,3.15] が有限集合になる場合 にも言及したほうがいい。
その他の回答 (2)
- Tacosan
- ベストアンサー率23% (3656/15482)
いろいろおかしい. 気づいた点を順不同に指摘する. ・f はどこに行ったの? ・1行目からして日本語がおかしい. 「カントールの対角線論法を」の後は? ・「自然数：対応する集合X要素」って何を意味するの? ・そのあとの α１ ：3．a11a12a13a14a15a16・・・・ などはどう解釈すればいい? そして, このように表記できる根拠は? ・さらに「また、対角成分を以下のように置く」のところ, この時点で a11, a12 などがすべて決まっているのに対し a1, a2 などは全く定義されていないにもかかわらずなぜそのように置けるの? ・最後の「存在しないα＜つまりｆ(N)＞が存在してるので、示された」も変だな. 「何が」「いかなる理由で」示されたのか, くらいちゃんと書こうよ.
- nag0720
- ベストアンサー率58% (1093/1860)
考え方はいいんでしょうけど、解答としてはＮＧですね。 fはNからRへの任意の写像で、 f(1)＝α1＝3.a11a12a13・・・・ としているが、なぜ 3と限定できるのか。 もしかしたら、f(1)＝4.a11a12a13・・・・かもしれないし、f(1)＝100.a11a12a13・・・・かもしれない。 もう１つ a11≠１(ａ1)、a22≠４(ａ2) としているが、なぜ a11≠１と言えるのか。 a11＝１、a22＝４だったらどうする？
補足
誠に恐縮ですが、どのような解答がよろしいのでしょうか？自分でも作っていて、ものすごく不安で、何が正しいのかわかりませんでした。よろしくお願いします。