0.999...と数

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

0.999...と数の違い

0.999... vs. 数

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

十進法

十進法（じっしんほう、decimal system）とは、10 を底（てい）とし、底およびその冪を基準にして数を表す方法である。.

0.999...と十進法 · 十進法と数 · 続きを見る »

実数

数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.

0.999...と実数 · 実数と数 · 続きを見る »

小数

小数（しょうすう,decimal）とは、位取り記数法と小数点を用いて実数を表現するための表記法である。.

0.999...と小数 · 小数と数 · 続きを見る »

二進法

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

0.999...と二進法 · 二進法と数 · 続きを見る »

位取り記数法

位取り記数法（くらいどりきすうほう）、もしくは「N 進法」とは数の表現方法の一種で、予め定められたN 種類の記号（数字）を列べることによって数を表す方法である。(位取りのことを桁ともいう。) 今日の日本において通常使われているのは、 N が十のケースである十進法であるが、コンピューターでは二進法、八進法、十六進法なども用いられる。また歴史的には、十進法が世界的に広まったのはフランス革命の革命政府がメートル法とともに十進法を定めて以来であり、それ以前は国や分野により、様々な N に対する N 進法が用いられていた。 本項ではN が自然数の場合を扱う。それ以外の場合については広義の記数法の記事を参照のこと。また 後述する''p''進数の概念とは（関連があるものの）別概念であるので注意が必要である。.

0.999...と位取り記数法 · 位取り記数法と数 · 続きを見る »

分数

分数（ぶんすう、fraction）とは 2 つの数の比を用いた数の表現方法のひとつである。.

0.999...と分数 · 分数と数 · 続きを見る »

算術

算術 (さんじゅつ、arithmetic) は、数の概念や数の演算を扱い、その性質や計算規則、あるいは計算法などの論理的手続きを明らかにしようとする学問分野である。.

0.999...と算術 · 数と算術 · 続きを見る »

無限小

数学における無限小（むげんしょう、infinitesimal）は、測ることができないほど極めて小さい「もの」である。無限小に関して実証的に観察されることは、それらが定量的にいくら小さかろうと、角度や傾きといったある種の性質はそのまま有効であることである。 術語 "infinitesimal" は、17世紀の造語 infinitesimus（もともとは列の「無限番目」の項を意味する言葉）に由来し、これを導入したのは恐らく1670年ごろ、メルカトルかライプニッツである。無限小はライプニッツがやなどをもとに展開した無限小解析における基本的な材料である。よくある言い方では、無限小対象とは「可能な如何なる測度よりも小さいが零でない対象である」とか「如何なる適当な意味においても零と区別することができないほど極めて小さい」などと説明される。故に形容（動）詞的に「無限小」を用いるときには、それは「極めて小さい」という意味である。このような量が意味を持たせるために、通常は同じ文脈における他の無限小対象と比較をすること（例えば微分商）が求められる。無限個の無限小を足し合わせることで積分が与えられる。 シラクサのアルキメデスは、自身の （機械的定理証明法）においてと呼ばれる手法を応分に用いて領域の面積や立体の体積を求めた。正式に出版された論文では、アルキメデスは同じ問題を取り尽くし法を用いて証明している。15世紀にはニコラウス・クザーヌスの業績として（17世紀にはケプラーがより詳しく調べているが）、特に円を無限個の辺を持つ多角形と見做して円の面積を計算する方法が見受けられる。16世紀における、任意の実数の十進表示に関するシモン・ステヴィンの業績によって、実連続体を考える下地はすでにでき上がっていた。カヴァリエリの不可分の方法は、過去の数学者たちの結果を拡張することに繋がった。この不可分の方法は幾何学的な図形を 1 の量に分解することと関係がある。ジョン・ウォリスの無限小は不可分とは異なり、図形をもとの図形と同じ次元の無限に細い構成要素に分解するものとして、積分法の一般手法の下地を作り上げた。面積の計算においてウォリスは無限小を 1/∞ と書いている。 ライプニッツによる無限小の利用は、「有限な数に対して成り立つものは無限な数に対しても成り立ち、逆もまた然り」有限/無限というのは個数に関して言うのではない（有限個/無限個ではない）ことに注意せよ。ここでいう「有限」とは無限大でも無限小でもないという意味である。や（割り当て不能な量を含む式に対して、それを割り当て可能な量のみからなる式で置き換える具体的な指針）というような、経験則的な原理に基づくものであった。18世紀にはレオンハルト・オイラーやジョゼフ＝ルイ・ラグランジュらの数学者たちによって無限小は日常的に使用されていた。オーギュスタン＝ルイ・コーシーは自身の著書 （解析学教程）で、無限小を「連続量」(continuity) ともディラックのデルタ函数の前身的なものとも定義した。カントールとデデキントがスティーヴンの連続体をより抽象的な対象として定義したのと同様に、は函数の増大率に基づく「無限小で豊饒化された連続体」(infinitesimal-enriched continuum) に関する一連の論文を著した。デュ・ボア＝レーモンの業績は、エミール・ボレルとトアルフ・スコーレムの両者に示唆を与えた。ボレルは無限小の増大率に関するコーシーの仕事とデュ・ボア＝レーモンの仕事を明示的に結び付けた。スコーレムは、1934年に最初の算術の超準モデルを発明した。連続の法則および無限小の数学的に厳密な定式化は、1961年にアブラハム・ロビンソンによって達成された（ロビンソンは1948年にが、および1955年にが成した先駆的研究に基づき超準解析を展開した）。ロビンソンの超実数 (hyperreals) は無限小で豊饒化された連続体の厳密な定式化であり、がライプニッツの連続の法則の厳密な定式化である。また、はフェルマーの (adequality, pseudo-equality) の定式化である。 ウラジーミル・アーノルドは1990年に以下のように書いている.

0.999...と無限小 · 数と無限小 · 続きを見る »

順序集合

数学において順序集合（じゅんじょしゅうごう、ordered set）とは「順序」の概念が定義された集合の事で、「順序」とは大小、高低、長短等の序列に関わる概念を抽象化したものである。ただし、順序集合内の2つの元, に順序関係が定まっている（「比較可能」である）必要はなく、両者が「比較不能」であってもよい。 比較不能のケースを許容していることを強調して順序集合の事を半順序集合（はんじゅんじょしゅうごう、partially ordered set, poset）ともいう。一方、半順序集合の中で比較不能のケースがないものを特に全順序集合 という。（「半順序」という言葉が「全順序」の対義語ではない事に注意。全順序集合も半順序集合の一種である。） 全順序集合の簡単な例は整数の集合や実数の集合で、通常の大小比較を順序とみなしたものがある。 一方、全順序ではない半順序集合の例としては、正の整数全体の集合に整除関係で順序を入れたものや、（2つ以上元を含む）集合の冪集合において、包含関係を順序とみなしたものがある。例えば2元集合 において と はいずれも他方を包含していないので S の冪集合は全順序ではない。 実生活に近い例では、「AさんはBさんの子孫である」という事を「A＜B」という大小関係とみなす事で人間全体の集合を半順序集合とみなせる。AさんとBさんはどちらも他方の子孫でない事もありうる（兄弟同士、叔父と甥、赤の他人等）ので、この順序集合は全順序ではない。.

0.999...と順序集合 · 数と順序集合 · 続きを見る »

超実数

超実数（ちょうじっすう、hyperreal number）または超準実数（ちょうじゅんじっすう、nonstandard reals）と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 は実数体 の拡大体であり、 の形に書ける如何なる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。 の語はが1948年に導入した。 超実数は（ライプニッツの経験則的なを厳密なものにした）を満たす。この移行原理が主張するのは、 についての一階述語論理の真なる主張は においても真であることである。例えば、加法の可換則 は、実数におけると全く同様に、超実数に対しても成り立つ。また例えば は実閉体であるから、 も実閉体である。また、任意の整数 に対して が成立するから、任意の に対しても が成立する。超冪に対する移行原理は1955年のウォシュの定理の帰結である。 無限小を含むような論法の健全性に対する関心は、アルキメデスがそのような証明を取り尽くし法など他の手法によって置き換えた、古代ギリシャ時代の数学にまで遡る。1960年代にロビンソンは、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されなかったならば、あらゆる無限小を含む証明が不健全になる恐れが残ることを示している。 超実数の応用、特に解析学における諸問題への移行原理の適用は超準解析と呼ばれる。一つの例は、微分や積分のような解析学の基礎概念を複数の量化子を用いる論理的複雑さを回避して直接的に定義することである。つまり、 の導関数は、 になる。 ただし、 は無限小超実数で、 とは有限超実数から実数への関数で、「有限超実数にそれに無限に近いただ一つの実数への関数」というである。積分も同様に、適切な無限和の標準部によって定義される。.

0.999...と超実数 · 数と超実数 · 続きを見る »

自然数

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

0.999...と自然数 · 数と自然数 · 続きを見る »

有理数

有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.

0.999...と有理数 · 数と有理数 · 続きを見る »

整数

数学における整数（せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero）は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen（「数」の意・複数形）に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理（的）」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.

0.999...と整数 · 数と整数 · 続きを見る »