ベストアンサー

カントールの、対角線論法⊂区間縮小法　の証明は？

2013/01/14 13:43

市川秀志『カントールの区間縮小法』１９ページに、「（前略)カントールの区間縮小法（中略）をさらにエレガントにしたのが、カントールの対角線論法です。」と有ります。どの文献にその証明が出ていますでしょうか。

kimko379
お礼率100% (390/390)

数学・算数
回答数1
ありがとう数1

みんなの回答 （1）
専門家の回答

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

ベストアンサー

ereserve67
ベストアンサー率58% (417/708)

2013/01/14 14:21 回答No.1

高木貞治著「解析概論」（岩波書店）にあります．

質問者

お礼 2013/01/14 17:31

早々の御回答、誠に有難う御座いました。

関連するQ&A

再問：対角線論法⊂区間縮小法の証明は？

カントールの対角線論法が、カントールの区間縮小法をエレガントにした物である、ということの証明を書いてある文献をお教え下さい。市川秀志『カントールの区間縮小法』（パレード社、２，００６年）　１９ページに書いてあった事です。
対角線論法はラムダ計算系の成り立つ為の必要条件？

林晋『ゲーデルの謎を解く』（岩波書店、１，９９９年）１１０ページに、「ラムダ計算系は、[・・・]カリーという人が、これも対角線上の悪魔[対角線論法によって呼び出される悪魔、とされています。]に感染していることを明らかにした。」とあります。ラムダ計算系と対角線論法の関係を述べた文献も合わせてお教え下さい。
Cantorの対角線論法を用いる証明

自然数全体の集合Nと、集合Nから集合｛0,1｝への写像すべてからなる集合Xの濃度が等しいことを証明するのに、Cantorの対角線論法をどのように用いればよいのですか？
対角線論法（？）について

オートマトン言語理論計算論I（サイエンス社）という本の第７、８ページにすべての無限集合が等しい濃度を持つわけではない例として、「整数全体の集合と実数全体の集合について考えてみよう。仮に、実数の全体が正整数と１対１に対応づけられたとする。そのとき、各 i=1,2,3,… について小数点以下 i 桁目が、第 i 番目の実数（上の対応で正整数 i に対応づけられた実数）の小数点以下 i 桁目の数字に法１０のもとで５を加えた数であるような実数を考える。するとこれは上で正整数と対応づけられたどの実数とも異なる数である。このことから、実数全体と正整数を１対１に対応づけることがそもそも不可能だったことがわかる。」とあり、この議論が対角線論法と呼ばれるそうですが、何度読んでもさっぱり理解できないのです。特に「そのとき、各 i=1,2,3,…について小数点以下 i 桁目が、第 i 番目の実数（上の対応で正整数 i に対応づけられた実数）の小数点以下 i 桁目の数字に法１０のもとで５を加えた数であるような実数を考える」がイメージできないのです。もし対角線論法について理解されてる方がいらっしゃいましたら、是非ともご教授願いませんでしょうか？よろしくお願いします。
ルート２は無理数？？

ルート２は無理数であるをカントールの対角線論法で証明したいのですが…教えてください
対角線論法　１０進数展開

対角線論法を用いて、自然数全体の集合と[0,1]区間の間には全単射な写像は定められないということを示す証明を読んでいて疑問に思ったのですが、循環しない少数は１０進数展開が一意には定まらない(例えば、2/5=0.400…=0.399…)のに、なぜ「実数a,bに対して、a,bの少数第n位が異なればa,bが異なる」というようなことができるのでしょうか？あと、循環しない少数ではない実数(1/3とか√2とかπとか)の１０進数展開は一意に定まると思うのですが、その証明が考えてもわかりません。知っている方がいたら教えてもらえないでしょうか？最後に、１０進展開についても疑問があるのですが、「実数aが１０進展開できる」とはどういうことなのでしょうか？これは、An=k(n)/(10^n) (ただし0≦k(n)≦9)という数列の級数がaと一致する。すなわち、級数の部分和がaに収束する　ということなのでしょうか？それとも、 {ΣAn}⊂Map({整数},{有理数})という集合(今度はAnのnは整数にすることにします。雰囲気的にはΣはローラン展開のΣに近いと思います。あと、-9≦k(n)≦9ということにします。)に自然に和を定義し、積を(小学校のときの筆算を自然に拡張する意味で)自然に定義します。そのとき{ΣAn}が体をなすことを示し、{実数全体}と{ΣAn}が同型であるとき、実数aに対応する{ΣAn}の元をaの１０進展開と呼ぶのでしょうか？以上です。よろしくお願いします。
対角線論法による全単射有無の証明について

以下、Wikipediaの対角線論法の項目です。 http://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%B3%E3%83%88%E3%83%BC%E3%83%AB%E3%81%AE%E5%AF%BE%E8%A7%92%E7%B7%9A%E8%AB%96%E6%B3%95#.E8.87.AA.E7.84.B6.E6.95.B0.E3.81.AE.E9.9B.86.E5.90.88.E3.81.A8.5B0.2C_1.5D.E5.8C.BA.E9.96.93.E3.81.AE.E6.BF.83.E5.BA.A6.E3.81.AE.E9.81.95.E3.81.84 こちらをみていて思ったのですが、RをQ(有理数)と読み変えてもこの証明が可能なように思えてしまいます。はて、自然数は有理数に対して全単射のはず…。 (例えば、全ての有理数をp/qの形で表し、(p,q)なる数字の組み合わせとして番号付加すると、自然数と1対1対応できてしまいます。) Wikipediaの証明が、Q(有理数全体)では成り立たないことを教えてください。
カントールの対角線論法についておしえてください。

　　《無限集合にはその大きさの大小があるということ》　というカントールの定理をめぐる次の証明の仕方はマチガイではないでしょうか？　なるべく数式を使わずにおしえてくださるとありがたいです。 ▲　（哲学するサラリーマン：平行線が交わる点）　～～～～　　http://blogs.dion.ne.jp/le_fou/archives/10216164.html 　２．神の証明　（その後半部分）　（ a ）　次に、２つめの定理〔*--《無限集合にはその大きさの大小があるということ》--〕を見てみましょう。　（ b ）　これもわかりやすい例を挙げて説明します。無理数全部の集合と自然数全部の集合とはどちらが大きいでしょうか。　（ c ）　ここに（０と１の間の）すべての無理数がただ１つの列にリストアップされていると仮定します。例えば、　　0.17643567…… 　　0.23482435…… 　　0.62346286…… 　（ d ）　次に、この無限列の各行に対応する各々の無理数と、１から始まる自然数とが次のような１対１対応を作ると仮定します。　　1⇔0.17643567…… 　　2⇔0.23482435…… 　　3⇔0.62346286…… 　（ e ）　ここで自然数１に対応する無理数から小数点以下１番目の位を取ります。次に自然数２に対応する無理数から２番目の位を取ります。これを続けていけば0.133……という無理数が得られます。　（ f ）　この無理数の小数点以下の数字を各々勝手に変えます。このような操作によって例えば0.245……という無理数ができます。　（ g ）　この数は、自然数１に対応する無理数とは小数以下１番目の位で違い、自然数２に対応する無理数とは２番目の位で違い……となり、自然数と１対１対応させたどの無理数とも異なっていることが明らかです。　（ h ）　すなわち、無理数全部の集合は自然数全部の集合よりも濃度において大であることが示される訳です。　～～～～～～～～　【Q‐１】　（ c ）の《（０と１の間の）すべての無理数》というとき　そのすべてがリストアップされうるのでしょうか？　それは　無限――つまりこの場合　可能無限――であると見てよいか？　【Q‐２】　もし前項の無理数の集合が　無限であるならば　（ d ）の　１，２，３，・・・とやはり対応させられる自然数の数も無限になる。と捉えてよいか？　【Q‐３】　もしよければ　（ f ）に言うあらたに勝手に作った無理数（例えば0.245……）は　もともとその無理数の集合の中にふくまれているものではないか？　【Q‐４】　言いかえると　その無理数（（例えば0.245……）も　とうぜん自然数の無限の列挙と初めに対応していたはずではないか？　なぜ（ g ）のような結論にみちびかれるのか？
数学基礎論の入門書

数学基礎論の入門書数学基礎論の入門書を探しています。四則の厳密な定義やデデキント・カット、カントール対角線論法などの解説もある広く浅い入門書を知りませんか？高校数学程度の知識でも理解できるものが望ましいのですが。
「無理数全体の集合Pについて、｜P｜＞N0（アレフゼロ）を示せ」

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

対角線論法を用いて、実数の集合と自然数の集合が対等でないことを示せば、”実数の集合が非可算であること”は示せているのでしょうか？別の証明方法があるなら教えていただきたいです。よろしくお願いします。
対角線論法

いまもう一度kunenのset theoryを勉強し始めようと思い、最初から読んでします。最初のほうで躓きました。一章のtheorem10.16です。 ∀α∃κ（κ>α∧κは基数）の証明です。 W＝｛R∊P（α×α）｜Rはαを整列順序づける｝ S＝｛type(α、R）｜R∊W}とする。このときsupSがκになるというのですが、ここがわかりません。 Rとして順序数の標準の順序を考えればα∊SでsupS≧αはわかるのですがなぜ、supS=αはありえないんでしょうか？たぶんそのときαとP（α）の濃度が同じになって矛盾を導くのだと思うのですが。。。
幾何学の問題について教えてください。

大学の数学の問題で解けずに困っております。恐れ入りますがご教示の程、よろしくお願いします。 [1] ｛0,1｝の無限列全体の集合をXとする。すなわち集合族｛An=｛0,1｝:n∊N｝とおくとき X=Π｛An:n∊N｝=｛a1,a2,・・・,an,・・・｝:ai=0,1 (i∊N)とする。カントールの対角線論法とよばれる方法でN0<|X| を証明せよ。 (注)3行目のN0はアレフゼロです。これは以下問題の類題だと思いますが、和集合が積集合になった場合どうなるのかサッパリわかりません。。 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1459828819 [2]集合Xから集合Xへの全射が存在するならば、|X|≧|Y|が成り立つことを証明せよ。 2問とも基本的な問題かもしれませんが、教科書をじっくり読んでも解法がわかりません。よろしくお願いします。
0と1との無限列で1の比率が1/2に収束しない列は非可算個ある事を示せ

[問] 0と1との無限列で1の比率が1/2に収束しない列は非可算個ある事を示せ。という問題なのですがどうすればいいのかさっぱり分かりません。「f(x)=tanxは区間(-π/2,π/2)とRを一対一に対応させ,g(x)=π(x-1/2)は区間(0,1)と区間(-π/2,π/2)とを一対一に対応させるからRとI=(0,1)は対等である。従って,Rが可算でないことを示すにはIが可算でない事を示せばよい。有限数列,例えば0.237等は0.236999…と表す事にする。 Iの全ての数a_1,a_2,を a_1=0.a_11a_12a_13… a_2=0.a_21a_22a_23… a_3=0.a_31a_32a_33… ： (a_ijは0から9までの数字) と番号付けできたと仮定する。数bをb_i= 1 (a_iiが偶数の時) 2 (a_iiが奇数の時) とするとb=0.b_1b_2b_3… はa_1ともa_2ともa_3とも…　異なる事が分かる。しかしbは紛れも無く無限数列なのでIに属する。これは矛盾である」というカントールの対角線論法を利用するのかとも思いましたが。。。どのようにして示せますでしょうか?
集合,写像の問題の解き方をご教授願います。

正整数全体の集合をN、実数全体の集合をRで表す。写像ｆ；N→Rにつき、実数の閉区間[3.14, 3.15]の要素で、像ｆ(N)には属さないものが存在することを証明せよ。　※つまり、差集合[3.14, 3.15]＼ｆ(N)は空集合ではないことを証明せよ。 <答案〉　カントールの対角線論法を　ｆ；N→R　において、N∍ｎ、R∍αnとする。　　自然数：対応する集合X要素　　　　α１：3．a11a12a13a14a15a16・・・・　　　　 α２：3．a21a22a23a24a25a26・・・・　　　　α３：3．a31a32a33a34a35a36・・・・　　　　 α４：3．a41a42a43a44a45a46・・・・　　　　　　　　　　　・　　　　　　　　　　　・　　また、対角成分を以下のように置く。　　a11≠１(ａ1)、a22≠４(ａ2)、a33≠a3,・・　　　　　　　　かつ　　ａｉ≠０，９(ｉ≠１…ｎ〉　　　そこで、　　α＝３．１４ａ3ａ４・・・　を考えると、このようなαは存在しない。　(※　αがｎ番目に出た時、　　α＝αｎ＝３．１４ａ3ａ４・・・an・・・　において、an≠annより存在しない。) 　存在しないα＜つまりｆ(N)＞が存在してるので、示された。　(終) 　以上のやり方、答案はあってますでしょうか？また、解答をご教授願います。　よろしくお願いします。　　
集合　濃度の問題

集合・位相の初心者です。以下の問題の意味がよくわかりません。問．Xを小数点以下の各桁の値が２か３か４であるような　　小数全体の集合とするとき、｜X|＞｜N｜を証明せよ。質問(1)小数点以下の各桁の値が２か３か４であるような小数　　　とは、例えばどんな小数ですか。　　(2)証明の仕方は、1)｜X|≧｜N|が成立する。2)｜X|≠｜N| 　　　である。を示せばよいですか。　　　また、対角線論法を使いますか。レベルの低い質問かもしれませんが、いろいろ教えていただけたら助かります。お願いします。
区間縮小法

区間縮小法とは、どのような作業なのですか？平方根(たとえばルート2)の近似値を区間縮小法で求めたいのですが、区間縮小法が一体どのようなものなのか分かりません。誰か、手順を教えてください。または、区間縮小法が載っているサイトがありましたら教えていただきたいです。先ほど検索エンジンで調べようとしたのですが、私には見つけられませんでした。ちなみに、私の数学の知識は高校数学の内容が理解できる程度です。あまり大学数学の知識はありません。
Cantorの対角線論法って変ではないですか?

実数全体の集合Rは可算ではない。の証明なのですが「I=(0,1)の全ての数を{a_1,a_2,…}のように番号づけれたと仮定する。尚,0.237は0.236999…と展開する事にする。 a_1=0.a_11a_12a_13… a_2=0.a_21a_22a_23… a_3=0.a_31a_32a_33… ：ここでa_ijはi番目の実数a_iの少数j位の数字(0,1,…,9)である。そしてb=0.b_1b_2b_3…b_n…を b_1= 1 (a_11が偶数の時) 2 (a_11が奇数の時) b_2= 1 (a_22が偶数の時) 2 (a_22が奇数の時) この時,このbはどのa_1,a_2,…とも一致しない」という証明法ですがここで疑問があります。 a_1=0.a_11a_12a_13… はa_11,a_12,a_13,…夫々が0から9までの数字なので a_1は10^∞通りの数を表している事になりますよね。この時点で既に番号付け出来ていないと思います。番号づけ出来ていないのに番号付けできたと仮定してそしてどのa_1,a_2,a_3,…とも一致しないb=0.b_1b_2b_3…b_n…が採れる。だから番号付けできないとは何とも奇妙に思うのですが。どうしてa_1ですら10^∞通りの数を表していて番号付け出来ていないのに番号づけできたと言えるのでしょうか?
ε-δ論法を用いた証明

ε-δ論法をもちいて数列{an}が収束しないことを示せ、という問題についてです。数列が+∞、-∞に発散するときのほかに、数列が振動する場合も考えなくてはならないと思うのですが、振動するということをどのように表現すればいいのかわかりません。どなたかアドバイスをお願いします。
イプシロンデルタ論法の証明について

中学生です。まだ自分で読んだ程度なので未理解な部分もありますが、自分で勝手に作った以下の話は解釈として正しいのでしょうか。任意の正の数 ε に対し、ある正の数 δ が存在し、 0 < |x − a| < δ を満たせば、|f(x) − b| < ε が成り立つ。これがイプシロンデルタ論法ですよね。本には、εを適当に選んだら、δはそれに応じて選ぶものと書いてあったんですが、つまりこれは、 δを一つ決めるときに行う計算（普通参考書には書いてない？）は、 0 < |x − a| < δが必要条件になり、実際のイプシロンデルタ論法で行う証明では、必要十分条件であることを示そうとしている、と考えていいのでしょうか。 wikipediaにもあったんですけど、lim[x→2]x^2＝4を示すやり方でも、おそらく|x^2-4|＜εからδ＝√(ε+4)-2を導いて、証明では|x-2|＜δから|x^2-4|＜εを導いていますよね。どこか勘違いしているようにも感じるんですが、この解釈が正しいのかどうか、説明も兼ねてどなたか説明をお願いできませんか。よろしくお願い致します。

カントールの、対角線論法⊂区間縮小法　の証明は？

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

お礼 2013/01/14 17:31

関連するQ&A

再問：対角線論法⊂区間縮小法の証明は？

対角線論法はラムダ計算系の成り立つ為の必要条件？

Cantorの対角線論法を用いる証明

対角線論法（？）について

ルート２は無理数？？

対角線論法　１０進数展開

対角線論法による全単射有無の証明について

カントールの対角線論法についておしえてください。

数学基礎論の入門書

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

実数の集合が非可算であることの証明

対角線論法

幾何学の問題について教えてください。

0と1との無限列で1の比率が1/2に収束しない列は非可算個ある事を示せ

集合,写像の問題の解き方をご教授願います。

集合　濃度の問題

区間縮小法

Cantorの対角線論法って変ではないですか?

ε-δ論法を用いた証明

イプシロンデルタ論法の証明について

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

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

カントールの、対角線論法⊂区間縮小法 の証明は？

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

お礼 2013/01/14 17:31

関連するQ&A

再問：対角線論法⊂区間縮小法の証明は？

対角線論法はラムダ計算系の成り立つ為の必要条件？

Cantorの対角線論法を用いる証明

対角線論法（？）について

ルート２は無理数？？

対角線論法 １０進数展開

対角線論法による全単射有無の証明について

カントールの対角線論法についておしえてください。

数学基礎論の入門書

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

実数の集合が非可算であることの証明

対角線論法

幾何学の問題について教えてください。

0と1との無限列で1の比率が1/2に収束しない列は非可算個ある事を示せ

集合,写像の問題の解き方をご教授願います。

集合 濃度の問題

区間縮小法

Cantorの対角線論法って変ではないですか?

ε-δ論法を用いた証明

イプシロンデルタ論法の証明について

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

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

カントールの、対角線論法⊂区間縮小法　の証明は？

対角線論法　１０進数展開

集合　濃度の問題

カテゴリ
一覧

専門家に質問してみよう
専門家登録