[論文レビュー] Zooming in on infinitesimal 1-.9.. in a post-triumvirate era

Karin U. Katz, Mikhail G. Katz|arXiv (Cornell University)|Mar 7, 2010

Mathematical and Theoretical Analysis参考文献 17被引用数 5

ひとこと要約

この論文は、非標準解析の視点から、$.999\ldots = 1$ の恒等式を再考し、無限小を含む数体系が、$[0,1)$ 内に小数展開で無限個の 9 を持つ量を許容することを提案する。これは、$.999\ldots$ の単一評価が厳密に 1 であるという主張に挑戦する。著者たちは、『一般化された極限』という認知的概念と超実数解析を用いて、このような無限小の量が標準的極限と共存可能であることを示し、ワイエルシュトラスの ε-δ フレームワークに対する教育的直感に優れた代替案を提示する。

ABSTRACT

The view of infinity as a metaphor, a basic premise of modern cognitive theory of embodied knowledge, suggests in particular that there may be alternative ways in which one could formalize mathematical ideas about infinity. We discuss the key ideas about infinitesimals via a proceptual analysis of the meaning of the ellipsis"..." in the real formula .999... = 1. Infinitesimal-enriched number systems accomodate quantities in the half-open interval [0,1) whose extended decimal expansion starts with an unlimited number of repeated digits 9. Do such quantities pose a challenge to the unital evaluation of the symbol ".999..."? We present some non-standard thoughts on the ambiguity of the ellipsis, in the context of the cognitive concept of generic limit of B. Cornu and D. Tall. We analyze the vigorous debates among mathematicians concerning the idea of infinitesimals.

研究の動機と目的

• 現代解析の基礎の文脈において、$.999\ldots = 1$ の単一評価が、数学的にも認知的にも唯一正当な解釈であるかどうかを調査すること。
• 『一般化された極限』という認知的概念——ある値に近づくが到達しないプロセスの心象——を、超実数を用いて形式化できるかを検討すること。
• ワイエルシュトラスの ε-δ アプローチが極限の教育において優位であるのを覆し、無限小をより直感的な代替案として提示すること。
• コーザン、ラカトス、ビショップ、ヘイティングによる無限小の歴史的・哲学的批判を分析し、それらが現代の数学教育における議論にどのように関連するかを評価すること。
• 特定の極限を計算する際、計算機が '999...' を返す現象を説明する超計算機モデルを提唱すること。非標準解析と結びつける。

提案手法

• 小数展開における省略記号 '...' を静的極限ではなく動的プロセスとして解釈するためのプロセプト的分析を用いる。
• 超実数を用いて、小数展開に無制限の 9 を持つ $[0,1)$ 内の量を構成し、『1 に近づくが到達しない』という認知的直感を形式化する。
• ケイラーとタールが用いた無限拡大マクロスコープを用いて、$f(x) = x^2$ の $x=1$ における局所的線形性を可視化し、超実数フレームワークで $f'(1)$ を非標準的に計算する。
• コルヌとタールの『一般化された極限』という認知的概念を、超実数解析と統合し、学生が無限小を数学的に整合的に捉える様子をモデル化する。
• 有限だが超有限な小数展開を用いて、計算機の挙動を模倣する超計算機モデルを構築し、'999...' が整数ではなく出力される現象を説明する。
• ロビンソンが数学的無限大を詳細な参照を持たない比喩であるとみなす立場を援用し、カントールの集合論的パラダイムに代わる、代替的基礎体系（特に無限小を含む連続体）の正当性を主張する。

実験結果

リサーチクエスチョン

• RQ1 『1 に近づくが到達しない』という認知的直感を、無限小を用いて数学的に一貫した形で形式化できるか？
• RQ2 小数展開に無限個の 9 を持つ超実数が存在することは、標準的評価 $.999\ldots = 1$ の一意性に挑戦するか？
• RQ3 『一般化された極限』という概念が、微積分における極限の教育的非標準的アプローチの基盤として、どの程度有効であるか？
• RQ4 コーザン、ラカトス、ビショップ、ヘイティングによる無限小の歴史的批判は、現代の教育的・基礎的議論にどの程度関連するか？
• RQ5 超計算機モデルは、計算機が整数ではなく '999...' を返す現象を説明できるか？ そして、これは非標準的モデルが数値計算の理解において果たす役割を示唆するか？

主な発見

• 小数展開に無制限の 9 を持つ超実数が $[0,1)$ 内に存在し、これは『1 より無限小に小さい』という認知的イメージを形式的に実現する。
• 省略記号 '...' を動的でプロセプト的プロセスとして解釈する場合、$.999\ldots = 1$ は唯一の解釈ではない。超実数体系では代替的解釈が可能である。
• 『一般化された極限』という概念——数列が到達しないままある値に近づくと心象される——は、特に超自然数の添え字を用いることで、超実数を介して数学的に実現できる。
• 超実数フレームワークにおいて、無限拡大マクロスコープを用いて $f(x) = x^2$ の $f'(1)$ を計算可能であり、非標準解析の教育的有用性を示す。
• 計算機が整数ではなく '999...' を返す現象は、有限だが超有限な小数展開を用いる超計算機モデルによって説明可能であり、これは一般的な計算アーティファクトを非標準的解釈で説明する。
• ロビンソンの数学的無限大を詳細な参照を持たない比喩とみなす立場は、カントールの集合論的パラダイムに代わる代替的基礎体系——特に無限小を含む連続体——の正当性を支持する。