★ Mathlogでは、本記事に関連する記事として
がありますので、そちらもぜひご覧ください。
0.999...は1なのか?
いきなりですが です。
仮にだとすると、実数の性質から必ずその間に実数が無限に存在します。よってを満たす正の実数が必ず存在します。しかし、小数点以下のを十分繰り返せば、は必ずを超えます。これは矛盾なので、しかありえません。
しかし誰も(?)が思います。
は1じゃねえ!
と。
どんなにが続いたところで、永遠ににはならないのだから。
ではダメな理由は、そうだとすると、これら2つの数の間に必ず実数が存在するからです。
ならば、であり、かつとの間に実数が存在しない数体系を作りましょう
超実数(hyperreal number)の構成
上記の数体系は「超実数(超実数)」と呼ばれます。超実数には無限小がれっきとした数として存在します。これをとして
とすれば、であり、かつとの間に実数は存在しません
以下超実数を構成します。
本記事は主にRef.[1]を元に書かれています。英語ではありますが、大変丁寧に平易に超実数・超準解析を説明しており読みやすいです。日本語の教科書ではRef.[2][3]を参照しました。
構成の概要
まずは感覚を掴むため、構成の概要を説明します。要点は「数列そのものを数とみなす」ことです。そのために、数列に順序をつけます。
まず実数と数列との対応をつけます。これは簡単で、ある実数に対応する数列は、要素がぜんぶの数列だとします。すなわち
をと同一視する
とします。
たとえば
てな感じです。
では
はどの実数に対応するでしょうか。これはほぼなんだからとしたいです。同様に、有限個だけ違ってあとすべてが同じ数列は、同じだとみなすのが筋ではないでしょうか。
ということで、直感的には
「2つの数列が「同じ」になるのは、両者の要素の"多く"が同じとき」
と定義すれば良い気がします。
言い換えて
「2つの数列とが「同じ」とは、を満たすが"多い"とき」
とします。
2つの数列の大きい・小さいも同じように定義しましょう。つまり
「がより「大きい」とは、を満たすが"多い"とき」
とします。
そして、"多い"の基準を「超フィルター」という概念で定義します。
上のいいかげんな言い方だと「が排他的かつどれかひとつは必ず成り立つ」という実数と同じ性質を持つかは不明ですが、超フィルターの概念で順序を定義すれば、それが満たされます。
さらに超フィルターによる同値類を作り、代表元をとってきます。こうして、数列の集合は和・積・逆元をもつ順序体となります。これをで表し、超実数と呼びます。
ところで、次の数列はどの実数に対応するでしょうか:
十分先の要素はどんな実数よりも小さくなり、その先無限に要素が存在します。つまりどんな正の実数よりも"小さい"と言えそうです。しかし明らかにどの要素もより大きいです。よってこれはどんな実数とも等しくはありません。このように、には、実数ではない独特の元が存在します。上の例は「無限小」と呼ぶべきものであり、実際そう呼ばれます。
前置きはここまでにして、超実数を構成していきましょう。
環の構築
まずは数列の和と積を定義します。
といっても、これは単純です。数列の和と積を、その要素同士の和と積で定義します。つまり
としたとき、和と積を
で定義します。このときは可換環を成します。は実数を値にもつ数列のことを指します。ここでは、単位元はです。和の逆元は数列の全ての元にマイナスをつけたものです。
ただしこのままでは体ではないです。たとえば
ですが、左辺のどちらもの零元ではないのに、積は零になります。これでは零元ではない元が積の逆元を持たないことになってしまいます。さらに言えば、どこか1つでも数列に0があれば逆元を持ちません。
またこの環には順序も定義されていません。
そこで超フィルターを導入します。
超フィルター
自然数の部分集合の集合(自然数の冪集合)に、後に述べる条件をつけたものをで表し、これを超フィルターと呼ぶことにします。
これを用いて
と定義します。
同様に
と定義します。
つまりは超フィルターとは、前に述べた"多い"に該当する「インデックスの集合」のリストです。
以下を特徴づけていくことにします。
超フィルターがもつべき条件
フィルターは様々な集合の上に構成できますが、ここでは上のフィルターを考えます。
フィルターにより数列に同値関係を与えます。よってその元が同値関係を満たすように定義しなくてはなりません。よって以下の条件を課します:
(i)
(ii)
(iii) かつ
これらの条件に対応する集合論的関係は以下です:
properな上のフィルターの満たす条件
properな上のフィルターは、以下の3条件を満たす:
(A)
(B)
(C) かつならば
を含まないフィルターはproperなフィルターと呼ばれます。
さらに超フィルターの条件を課します。フィルターが次の条件を満たす時、超フィルターと呼ばれます:
上の超フィルターの満たす条件
上のフィルターが以下の条件を満たすとき超フィルターと呼ばれる:
(D) 任意のに対し、またはがなりたつ。ただしである。
これはすなわち、かその(に対する)補集合のどちらかは"多い"ことを保証します。
これで超フィルターが定義されました。(D)と(A)(B)の条件から、とはどちらか一方のみが必ず成立します。
超フィルターによる同値の構築
超フィルターを導入したので、次に、(つまり実数の数列)に関する同値を定義します:
上に述べたように、は"多い"の基準となる「「数列のインデックスの集合」の集合」であり、等しい要素のインデックスの集合がの要素なら、2つの数列の"多く"の要素が同じであり、2つの数列は等しい、ということになります。
論理学的表記
論理学的記号を導入し、表記の整理をします。
, を数列とします。このとき
と表します。ここで
です。は論理学では「解釈」とか「値」と呼ばれます。これはの中の式の意味を表す記号です。であるとき、「殆どどこでも」と言うことがあります。
不等式も同じです:
超実数
を、という数列のによる同値類を表すことにします。これはで結ばれている量をまとめて、それらをそれらの中のある元で代表させたものです。つまり
です。そしてこのの商集合をと表します。すなわち
です。は超実数と呼ばれます。
の元に関する和と積は以下で定義されます。
また
で順序を定義します。
和の逆元は数列を負にするだけです。積の逆元は次のように構成します。とします。ゆえにであり、そのに対する補集合をとします。ここで
とすると(つまりは数列の0の要素はそのまま、ノンゼロの要素は逆数をとる)
となります。これによりを定義すれば
はの元になります。これはがの積の逆元であることを示しています。
以上より、順序体である超実数が構成できました。
フィルターの感覚を理解する
フィルターの感覚を掴むため、その性質を具体的な数列の等式から見ていきます。
(A)より、はを要素にもちます。そうでなくてはヘンです。なぜなら当然
であるべきですが、このとき要素の等しいインデックスの集合はそのものです。よって等式が成立するために、でなくてはなりません。
つぎに、(A)よりには空集合は含まれません。もしこれが含まれてしまうと、1つも同じ要素がない2つの数列が等しくなってしまいます。つまり
であるためにが必要です。
つぎに、有限個だけ要素が違ってあとは等しい場合を考えます。つまり要素が等しいインデックスの集合が
の条件を満たすときを考えます。これをcofiniteと呼びます。例えば
の等しいインデックスの集合はcofiniteです。この2つの数列は「殆どすべて等しい」ので、同値であるべきです。つまり、cofiniteなはに含まれるべきです。
ここで上のFréchetフィルター(cofiniteフィルターとも呼ばれる)とは以下のフィルターです:
上の議論からこのフィルターはに含まれるべきなのですが、実は(A)-(D)の条件では、必ずしもとは限りません。しかし、無限集合上の超フィルターには、Fréchetフィルターを含むものが必ず存在します(だいたいの教科書に説明があると思います)。このようなフィルターはnonprincipalと呼ばれます。そしての構成にはnonprincipalフィルターを採用します。ゆえに、を考える際には、cofiniteな集合はに含まれます。
超フィルターを考える理由
フィルターに(D)の超フィルター条件をつける理由を述べておきます。
この条件をつけると、ある集合はかのどちらか一方に必ず排他的に含まれます。すると
の3条件のどれか1つのみが必ず成り立ちます(上の3つの集合が排他的かつその和集合がになることは明らかかと思います)。これを付与しておかないと、2つの超実数に関して、のどれかが排他的に必ず成立するというで成立する関係が成立しなくなります(Ref.[2]P21)。ただしこれが成立しなくても矛盾ではないです。
無限小・無限大の数
次の数列を考えます:
任意の実数に対し、はcofiniteです。上記したように、nonprincipalフィルターを採用しているのではに含まれ、任意の実数に対してが成立します。このようなの元を無限小と言います。さらにのどの要素も0より大きいからです。
以上から、とすれば、は任意の実数より小さいのにゼロより大きいという、望みの無限小が得られました。
一方、は、任意のに対しがcofiniteなので、どんな実数より大きく無限大です。
0.999...を上で考える
冒頭に示したように、無限小を用いて
とすれば、かつその間に実数は存在しないという、直観と整合的なが得られます。
ただ、この表記には以下のように任意性があります:
当然どれでもいいです。今までの議論から、この定義におけるのどちらもかつとの間には実数が存在しないことは簡単に示せます(直感的にも明らかです)。
まとめ
超実数の無限小によりとすることで
が無矛盾に成立します。本記事では、無限小の構成法を大雑把に説明しました。
2つコメントです:
- との間には実数は存在しませんが、超実数は存在します。例えばです。任意の超実数には、その数と無限小だけ違う近傍が存在し、これはモナドと呼ばれます。この事実は、前章のの不定性より推察することができると思います。
- の構成には選択公理が不可欠です。特にcofiniteなフィルターは構成的ではなく、その存在を選択公理に依拠します(Ref.[3]P10)。超フィルターの概念がいまいちピンとこないとしたら、この非構成性によるものかもしれません。
に納得がいかないなら、超実数によるの構成を自分の中に密かに抱くこともよいと思います。
おしまい
同値なものなら、その類をどの元で代表させてもよいです。このような場合をwell-definedと呼びます。