0.999...
| name | 無限九分比等式定理 |
|---|---|
| field | 架空解析学（位相的極限論） |
| statement | 列 x_n=1−10^{−n} が極限を共有するとき、その極限は 0.999... と同値になる。 |
| proved_by | 佐伯ユキヱ（東京工科同盟 数理局） |
| year | 1987年 |
架空解析学における無限九分比等式定理（むげんきゅうぶんひとうしきていすう、英: Infinite Nine-Ninths Equality Theorem）は、限界列の同値性について述べた定理である[1]。
概要[編集]
におけるは、端的には「0.999...」を単なる小数表記ではなく、ある種のの同値記号として扱うことを主張する定理である[1]。
この定理が面白いのは、初学者向けの説明では「...」を無限に続く“省略記号”として扱う一方、証明の内部では「省略」が契約上の手続き（官製の連続延長）として定義される点にあるとされる[2]。
なお、本記事では「0.999...」を“値”としてではなく“同値クラスの代表元”として運用する立場を取る。したがって、議論の中心は数そのものよりも、極限を共有するという関係の方に置かれる。
定理の主張[編集]
は、次の主張をなす。
まず、と呼ばれる対象の上で、数列 x_n=1−10^{−n} を考える。さらに「…」を用いた表記 0.999... を、各 n ごとに 0.99...(n桁) に対応する部分近似の同値クラスとして定義するとする[3]。
このとき、任意の観測器（官庁の監査端末）T が、x_n の差 |(1−x_n)−10^{−n}| を 1.0000000001×10^{−n} 以下にしか検出できない条件を満たすならば、極限において 0.999... が同値となることが示される[4]。
形式的には、「0.999...」はその定理的極限 L に等しいのではなく、観測同値 L∼0.999... を満たす代表元として同一視される、とされる。
証明[編集]
証明の流れは、まず「…」の意味を確定させるところから始まる。ここで、を仮定する。これは、桁数の省略が行われた場合でも、以後の桁は観測可能桁数の外側に押し込められ、観測器が識別できる範囲では一貫性が保たれる、という仮定である[5]。
次に、区間（厳密な区間ではなく監査区間）I_n=[0.99,1) を取り、観測器Tは I_n の外側にある差を検出できないとする。すると |1−x_n|=10^{−n} であるから、x_n は各 n で I_n 内の“九分比帯”に入る。
ここで重要なのが、九分比帯の代表を 0.999... と対応づけるを導入する点である。この写像は、n の進み方を n=1,2,3,...,10^6 までの“標準監査列”に制限しても同じ極限同値を与えるよう設計されているとされる[6]。
最後に、観測同値の定義により、差分の検出上限が 1.0000000001×10^{−n} である限り、x_n と 0.99...(n桁) の極限は一致する。したがって 0.999... は定理的極限 L の観測同値類に属し、表記上同一の極限を共有すると結論づけられる[4]。
なお、この証明は形式的には位相的極限の言葉で書かれるが、佐伯ユキヱの講義ノートでは「数は黙っていてもよいが、契約は沈黙してはならない」といった比喩で補足されたと報じられている[2]。
歴史的背景[編集]
この定理の成立は、1980年代後半におけるの“桁監査行政”と呼ばれる混乱に結びつけて語られることが多い。具体的には、内の一部の計算センターで、小数表記の「...」が監査上の曖昧性を生むとして、代表値の統一が求められた事件である[7]。
当時、数理局は（当時の通称は“同盟数理局”）を中心に、桁省略をルール化するための委員会を設置した。委員会には佐伯ユキヱのほか、計算監査の実務家である出身の理論官・小田切レンジが参加したとされる[8]。
彼らは「0.999...」の扱いで、職員の直感と監査基準の摩擦が繰り返されることを経験した。そこで生まれたのが、省略を“観測不能な領域への退避”として扱うである[5]。
最終的に、同盟数理局の公開報告書（通称『桁の契約と極限同値』）では、無限小数を値ではなく同値クラスとして扱う立場が採択され、結果として本定理が“架空のエポニム”として固定されたという経緯がある[1]。
一般化[編集]
無限九分比等式定理は、単に 0.999... に限られず、類似の「循環省略」パターンへと一般化されたとされる。
では、数列を x_n=1−b^{−n} とし、基数 b を 10 に固定しない。さらに観測器の検出上限を、各 n に対し (1+ε_n)b^{−n} とみなす。ただし ε_n は 0<ε_n<10^{−9} を満たすものとする[9]。
この条件の下で、観測同値は保たれ、「1−b^{−n} に対応する省略表記」が極限同値となる。結果として、0.999... に限らない“省略が作る同値”という視点が確立されたとされる。
ただし一方で、b が 2 や 3 のように小さい場合、監査区間I_nの幾何が変形し、係数の見積もりが一部の会議で炎上したという記録もある[10]。
応用[編集]
本定理は純粋な数論の内部で完結するというより、監査可能性の設計に応用されたと記されることが多い。
第一の応用は、における丸め誤差の“説明可能化”である。省略表記が観測同値を持つことを根拠として、監査レポートでは「...は手続きであり、値ではない」と記述されるようになった[11]。
第二の応用は、教育用スライドのテンプレ化である。教材では 0.999... の扱いを「等式」ではなく「観測同値」として図示し、学生が直感でつまずく点を先回りして回避できるよう改訂されたとされる[3]。
第三の応用として、が関与したとする“時刻小数の監査”がある。時刻を秒小数で表す際、...の省略が統計処理の解釈を変える可能性が指摘され、定理の枠組みを導入したとする報告が見られる[12]。
ただし、この報告の出典は「未公開の内部資料」とされ、脚注にが付与されたまま残っていると語られる点が、逆に定理の雑味として伝承されている。
脚注[編集]
関連項目[編集]
脚注
- ^ 佐伯ユキヱ『桁の契約と極限同値：観測同値論入門』東京工科同盟出版局, 1987.
- ^ 小田切レンジ『監査区間の幾何と省略表記』Vol.12 第3巻第1号, 同盟数理局紀要, 1988.
- ^ M. A. Thornton『Observer-Equivalence in Positional Limit Spaces』Journal of Fictional Analysis, Vol.41 No.2, pp.33-57, 1991.
- ^ 田中トモノリ『10進位相極限圏の構成：監査可能性の公理系』数理公理学会, 第6巻第4号, pp.101-129, 1994.
- ^ Kobayashi, Renji『Audit-Interval Geometry for Infinite Decimals』Proceedings of the Imaginary Society of Computation, pp.201-219, 1996.
- ^ 谷川マヤ『九循環帯と帯域代表写像』『架空解析学年報』第9巻第2号, pp.1-18, 2001.
- ^ 農林水産省 動管室『数値表記に関する運用指針（試行版）』動管室資料, 2003.
- ^ 【要出典】『気象時刻の省略監査と極限同値』刻時研究グループ（未公開報告）, 2009.
- ^ E. L. Granger『Eponym Theorems in Bureaucratic Mathematics』Fictional Topology Letters, Vol.7 No.1, pp.77-92, 2012.
- ^ 中村サユリ『省略契約原理の歴史的成立過程：委員会議事録の分析』東京工科同盟文庫, pp.45-88, 2016.
外部リンク
- 桁監査アーカイブ
- 架空解析学データベース
- 観測同値ノート配布所
- 東京工科同盟 数理局 研究記録
- 九循環帯 計算例集