スレタイ箱入り無数目を語る部屋3

スレタイ箱入り無数目を語る部屋3at MATH

スレタイ箱入り無数目を語る部屋3 - 暇つぶし2ch690:、背景にある仮定、歴史的文脈、対象となる聞き手などに合ったレベルで、各種段階の数学的厳密性が相応に考慮された、多様な定式化がある[注釈 1]。超実数超準解析によって、無限小（およびその逆数）の完全な系列を含んだ数体系が提供される[注釈 6]。数 0.999… の標準的な定義は 0.9, 0.99, 0.999, … なる数列の極限であるが、それと異なる定義として例えばテレンス・タオが超極限 (ultralimit) と呼ぶ数列 0.9, 0.99, 0.999, … の超冪構成（英語版）に関する同値類 [(0.9, 0.99, 0.999, …)] は 1 より無限小だけ小さい。より一般に、階数 H の無限大超自然数の位置に最後の 9 がくる超実数 uH = 0.999…;…999000…, はより厳密な不等式 uH < 1 を満足する。このように解釈した "0.999…" は 1 に「無限に近い」。イアン・スチュアートはこの解釈を、「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた[24]。

次ページ

続きを表示

1を表示