0.999...とカントールの対角線論法

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

0.999...とカントールの対角線論法の違い

0.999... vs. カントールの対角線論法

無限に 9 の続く無限小数 数学における循環十進小数 （ の前の 9 の個数は多少増減させて のようにも書く。あるいは他にも,, など多様な表記がある）は、実数として数の「イチ」であると示すことができる。言葉を変えれば、記号 "0.999⋯" と "1" は同じ数を表している。これが等しいことの証明は、実数論の展開、背景にある仮定、歴史的文脈、対象となる聞き手などに合ったレベルで、各種段階のが相応に考慮された、多様な定式化がある例えば、最初の節に挙げる「代数的証明」は「ただしい」証明だが、その証明の正当性は後の節に記す解析学的手法である極限の概念によって保証される。同様にそれら解析学的証明を「ただしい」証明たらしめているのは実数の特質に他ならない。しかし普通は、実数の公理にまでいちいち遡らずにいくつかの性質を「認めて」、そこで切り上げるのである。もちろん実数の代替となる体系において、実数と異なる性質に基づけば、それら「証明」はそのどこかが崩され、「まちがった」証明となり得る。。 任意の でない有限小数（を末尾に無限個の 0 を付けて無限小数と見たもの）は、それと値が等しい、末尾に無限個の 9 が連なる双子の表示（例えば と）を持つ。ふつうは有限小数表示が好まれることで、それが一意的な表示であるとの誤解に繋がり易い。同じ現象は、任意の別の底に関する位取り記数法や、あるいは同様の実数の表示法でも発生する。 と の等価性は、実数の体系（これは解析学ではもっとも一般的に用いられる体系である）に 0 でない無限小が存在しないことと深く関係している。一方、超実数の体系のように 0 でない無限小を含む別の数体系もある。そのような体系の大半は、標準的な解釈のもとで式 の値は に等しくなるが、一部の体系においては記号 "" に別の解釈を与えて よりも無限小だけ小さいようにすることができる。 等式 は数学者に長く受け入れられ、一般の数学教育の一部であったにも拘らず、これを十分ものと見做して、疑念や拒絶反応を示す学徒もいる。このような懐疑論は、「この等式を彼らに納得させることがいかに難しいか」が数学教育の様々な研究の主題となることに正当性を与える程度に当たり前に存在している。. ントールの対角線論法（カントールのたいかくせんろんぽう）は、数学における証明テクニック（背理法）の一つ。1891年にゲオルク・カントールによって非可算濃度を持つ集合の存在を示した論文の中で用いられたのが最初だとされている。 その後対角線論法は、数学基礎論や計算機科学において写像やアルゴリズム等が存在しない事を示す為の代表的な手法の一つとなり、例えばゲーデルの不完全性定理、停止性問題の決定不能性、時間階層定理といった重要な定理の証明で使われている。.

二進法

二進法（にしんほう）とは、2 を底（てい、基（base）とも）とし、底の冪の和で数を表現する方法である。 英語でバイナリ (binary) という。binaryという語には「二進法」の他に「二個一組」「二個単位」といったような語義もある（例: バイナリ空間分割）。.

0.999...と二進法 · カントールの対角線論法と二進法 · 続きを見る »

パラドックス

パラドックス（）とは、正しそうに見える前提と、妥当に見える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。.

0.999...とパラドックス · カントールの対角線論法とパラドックス · 続きを見る »

ゲオルク・カントール

ルク・カントール ゲオルク・フェルディナント・ルートヴィッヒ・フィリップ・カントール（Georg Ferdinand Ludwig Philipp Cantor, 1845年3月3日 - 1918年1月6日）は、ドイツで活躍した数学者。.

0.999...とゲオルク・カントール · カントールの対角線論法とゲオルク・カントール · 続きを見る »

公理的集合論

公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。.

0.999...と公理的集合論 · カントールの対角線論法と公理的集合論 · 続きを見る »

自然数

自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.

0.999...と自然数 · カントールの対角線論法と自然数 · 続きを見る »

1891年

記載なし。

0.999...と1891年 · 1891年とカントールの対角線論法 · 続きを見る »