Ｘの集合において、|Ｘ|>アレフゼロの証明

前へ 次へ
このQ&Aのポイント
  • |Ｘ|≠アレフゼロとなる証明方法を解説します。
  • Ｘの全単射を考えると、実数βが存在し、Ｘの要素とは異なることが示されます。
  • また、Ｐが有限集合であれば、Ｐの要素数がアレフゼロよりも小さいことになります。
回答を見る
  • ベストアンサー

Ｑ．Ｘを小数点以下の各けたの値が2か3か4であるような小数全体の集合と

Ｑ．Ｘを小数点以下の各けたの値が2か3か4であるような小数全体の集合とするとき、|Ｘ|>アレフゼロを証明せよ。 以下、ネットでのどなたかの回答を参考に、私なりにテキストを読み返すなどして解釈して、作成しました。 テスト問題としての解答として、 「修正および補足」などをお願いします。 Ａ． |Ｘ|=アレフゼロと仮定すると、|Ｘ|＝アレフゼロ＝|Ｎ|よりＮからＸへの全単射が存在する。 1→α_1∈Ｘ 2→α_2∈Ｘ ・・・・・・・・・ n→α_n∈Ｘ ・・・・・・・・・ 実数βの小数点第i位を以下のように定める α_iの小数点第i位が2，4のとき βの小数点第i位は3 α_iの小数点第i位が3のとき βの小数点第i位は2 よって実数βは、β∈Ｘであるが、α_1，・・・，α_n，・・・のいずれとも異なる。 したがって、仮定は矛盾しているので、|Ｘ|≠アレフゼロとなる。 また、|P|<アレフゼロならば、Pは有限集合となり矛盾。 以上により、|P|>アレフゼロとなる。

質問者が選んだベストアンサー

  • ベストアンサー
  • funoe
  • ベストアンサー率46% (222/475)
回答No.1

こっちは、大体ｏｋですね。 「いずれとも異なる」から「したがって」の部分が少し不親切に感じるけどギリギリセーフかな。 私が採点者なら減点しないけど、 最後のとこで、｜P｜って書いてあるの｜Ｘ｜だよね。 ｜ｘ｜<アレフゼロならば、Ｘは有限集合となり矛盾。　の部分は減点ですかね。 なんで、有限集合なら矛盾なの？ むしろ、 明らかにＸは有限集合でないので｜ｘ｜<アレフゼロではない。　　くらいの表現にしといたほうが良いと思う。採点者のご機嫌次第で大きな減点になっちゃうかも。 昔、おんなじ問題の質問に回答したことがあるのでご紹介。 http://okwave.jp/qa/q3184701.html

参考URL：
http://okwave.jp/qa/q3184701.html
  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • Ｑ．無理数全体の集合Ｐについて｜Ｐ｜>?0を証明せよ。

    Ｑ．無理数全体の集合Ｐについて｜Ｐ｜>?0を証明せよ。 レポートを提出したのですが、上記の問いのみ、(1)（下記）を中心に説明不十分とコメントされていました。 レポートは合格したので再提出はないのですが、解答はもらえないため、気になります。 どなたか、修正および補足などをお願いします。 Ａ． Nを自然数全体の集合、Zを整数全体の集合、Qを有理数全体の集合、Rを実数全体の集合とする。 |P|≠アレフゼロを背理法で証明する。 |P|=アレフゼロと仮定すると、アレフゼロからPへの全単射が存在する。 アレフゼロ=|N|だから、NからPへの全単射がある。 A={-n|n∈N}とすると、|A|=|N|=|Q|だから、 A→Qの全単射がある。 Z-{0}=A∪N (A∩N=(空集合)) R=P∪Q (P∩Q=(空集合))だから、|N|=|Ｐ|、|A|=|Q|だから、 |Z-{0}|＝|R| になる。 |N|=|Z-{0}|であるから、アレフゼロ=|N|=|Z-{0}|=|R|となり、矛盾である。 よって、|P|≠アレフゼロとなる。 また、Pは有限集合であるから|P|<アレフゼロではない。 以上により、|P|>アレフゼロとなる。

  • Ｑ．Xを自然数全体の集合Nの部分集合とするとき、｜X｜＞アレフゼロを証

    Ｑ．Xを自然数全体の集合Nの部分集合とするとき、｜X｜＞アレフゼロを証明せよ。 以下、ネットでのどなたかの回答を参考に、私なりにテキストを読み返すなどして解釈して、作成しました。 テスト問題としての解答として、 「修正および補足」などをお願いします。 Ａ． |Ｘ|=|Ｎ|と仮定すると、ＮからＸへの全単射ｆが存在する。 ∀n∈N ⇒ f(n)=M, ∃M∈X ∀M∈X ⇒ f(n)=M, ∃n∈N つまり 1 ←→ M1 2 ←→ M2 ・ ・ n ←→ Mn ・ ・ このとき、左右の対応関係について、属するか属さないかを分類でき、 N∈Mn　または n?Mnとなる。 次に集合M'を以下のように定義する。 (1) n∈Mnのときnを要素としない。 (2) n?Mnのときnを要素とする。 この集合は一意に決まり、また自然数だけを要素に持つ集合となり、明らかに自然数の部分集合を意味する。 つまりM'∈Xであるが、このM'は定義により、上の対応関係からは外れている。 これはNとXとが全単射できたという仮定に矛盾する。 ｜X｜≠アレフゼロ また、写像ｇ：Ｎ→Ｘをｇｎ＝{ｎ}とすると、これは単射であるから ｜Ｎ｜＝アレフゼロ≦｜X｜ 以上より、アレフゼロ＜｜X｜

  • 「無理数全体の集合Pについて、｜P｜＞N0（アレフゼロ）を示せ」

    「無理数全体の集合Pについて、｜P｜＞N0（アレフゼロ）を示せ」 という問題がわかりません。解き方を教えて下さい。 教科書には実数の集合の濃度がアレフゼロより大きいことの証明が載っていて、それは無限小数に関する対角線論法を使っていたので、同じ方法で証明しようとしたのですが、その場合、対角線論法により作られた新しい無限小数が無理数に含まれることを示せなかったので挫折しました。（当然実数には含まれるのですが・・・）この方法でできるのでしょうか？それとも全く違った方法を使うのでしょうか？ 　よろしくお願いします。

  • 「集合Xが有限集合⇒∃n∈N such that Map(X,{1,2,…n})∋∃f:全単射」

    有限集合の定義は 「Aが無限集合⇔　A⊃∃B:真部分集合 such that Map(A,B)∋∃f:全単射」 の否定 「Aが有限集合⇔　A⊃∀B:真部分集合 に対しても Map(A,B)∋f:全単射　は存在しない」 ですよね。 これから 「集合Xが有限集合⇒∃n∈N such that Map(X,{1,2,…n})∋∃f:全単射」 がどうやって導き出せるのでしょうか?

  • 実数の濃度(連続体濃度)についての問題の添削をおねがいします。対角線論法をつかってます。

    問:　任意の写像 ｆ:N→R につき、ｆ は全単射でないことを背理法を使わず証明せよ 添削していただきたいのは上の問です 背理法に引っかかっていないのかどうかが自分には分かりません ＊のように、並べると――等とすることは可算集合であることを仮定することになってしまいませんか? 解答:　 開区間(0,1)をとると 全単射 (0,1)→R x |→tan[π(x-1/2)] がつくれるので、(つくれてますか??) |(0,1)| = |R| よって、g:N→(0,1) が 全単射でないことを示せばよい 各実数 g(n) を10進法によって無限小数に展開して (ただし、有限小数も無限小数で表す) g(n) = 0.a(n1)a(n2)a(n3)… と表すとする ( a(ni)は0から9までの整数 ) 全て並べると……＊ g(1) = a(11)a(12)a(13)… g(2) = a(21)a(22)a(23)… g(3) = a(31)a(32)a(33)… … ここで a(11)≠b(1), a(22)≠b(2), … となる数列をとれば 0.b(1)b(2)b(3)… という実数は g(1), g(2), … のどれとも異なる 従って g(n) の値域に入らない実数があるため、 gは全射でない　　■ よろしくおねがいします。

  • 組み合わせの全体と部分集合の全体は等しいか？

    「組み合わせの全体」と「有限集合の部分集合の全体」は等しいと感じますが，この事に関する「証明」または「定理」は存在するでしょうか？ ご存じの方，教えて下さい． 以下が質問の内容の詳細です． 正の整数を，1, 2, 3, ....., n－1, n とします．この n個の正の整数の組み合せ（重複は許さない）の総数 N は， N＝Σ[r＝1→n] n!/(r!(n－r)!)＝ ＝n!/(1!(n－1)!) ＋ n!/(2!(n－2)!) ＋ n!/(3!(n－3)!) ＋・・・＋ n!/((n－1)!(n－(n－1))!) ＋ n!/(n!(n－n)!) ＝(2^n)－1 ですから， N＝(2^n)－1 です． そして，組み合せの全体そのものは， (1)，(2)，・・・，(n－1)，(n)， (1,2)，(1,3)，・・・， (2,3)，(2,4)，・・・， (1,2,3)，(1,2,4)，・・・， (2,3,4)，(2,3,5)，・・・， (1,2,3,4)，(1,2,3,5)，・・・， (2,3,4,5)，(2,3,4,6)，・・・， ・・・・・， (1,2,3,4,・・・,n－1，n) となります． 次に，有限集合を S ＝ {1, 2, 3, ....., n－1, n} とします． n は正の整数です．S の部分集合（真部分集合でない，かつ，空集合は除く）の全体は， {1}，{2}，・・・，{n－1}，{n}， {1,2}，{1,3}，・・・， {2,3}，{2,4}，・・・， {1,2,3}，{1,2,4}，・・・， {2,3,4}，{2,3,5}，・・・， {1,2,3,4}，{1,2,3,5}，・・・， {2,3,4,5}，{2,3,4,6}，・・・， ・・・・・， {1,2,3,4,・・・,n－1，n} となります． これらの S の部分集合の全体は，集合の元の構成が組み合せの全体と等しいですか？ 分かる方，教えて下さい．お願いします．

  • 小数点以下を5刻みで表示

    数値iに小数点以下の位がある場合に、 0.X の位をいかなる場合も5にするには どのようなスクリプトを書いたらよいでしょうか。 i が 14 の場合　→　14（小数点以下は表示しない） i が 32.666... の場合　→ 32.5 i が 21.1 の場合も　→21.5 といった具合です。 宜しくお願いします。

  • VBA小数点以下３桁設定の判定方法を教えてください

    Excel Vbaで小数点以下３桁の設定がされているか判断する方法を教えてください。 小数点以下３桁の設定がされているのか知りたくて、対象セルの NumberFormat の値を「0.000」か「0.000_」で比較してもうまくいかない場合があります。その値が小数点以下ちょうど３桁の有限小数の場合は小数点以下３桁の設定をしても、NumberFormat の値は「General」のままであるのがその理由みたいです（？）。「General」を比較の値に採用しても３桁であるかの情報が得られそうにないと思えるので困っています。小数点以下３桁の有限小数であるかの判定方法を別途用意するしかないのでしょうか。その場合は、簡単で正確な判定方法を教えてください。ちなみに小数は８桁以内の整数と８桁以内の整数の商（割り算）になります。 よろしくお願いします。

  • 有限列全体の集合を公理から構成する方法

    集合Xが与えられた時,Xの元の有限列全体を要素に持つ集合は,公理的集合論からはどのようにして,その存在が示されますでしょうか？ {X^n | n∈N｝という集合の存在が言えるならば,和集合の公理から, ＿＿∪｛X^n | n∈N｝ によって,Xの元の有限列全体のなす集合Z という物の存在が主張できるような気はしましたが,自身は全くありません。 また,昔,「ACを使わなければ,Zの存在は主張できない」という文章も見た事があるような記憶がぼんやりとあります。 何か役に立つサイト,テキストなどあれば御教示いただきたく思います。宜しくお願いします。

  • 小数点第2位以下って必要なのですか？

    http://stocks.finance.yahoo.co.jp/stocks/history/?code=USDJPY=X これを見て思ったのですが、 小数点第2位以下って必要なのですか？ 全て0000になってますが、 なぜこんなに小数点以下を表示してるのでしょうか？ 99.56までで充分だと思うのですが。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する