有理数

有理数とは、整数の比として表すことができる実数のことである。分母・分子ともに整数の分数}}として表すことができる実数との説明もされる。整数は、分母が 1 の分数と考えることにより、有理数の特別な場合となる。

1. 概要
-----

有理数は位取り記数法で小数表示すると有限小数または循環小数のいずれかとなる。また、有理数は必ず有限正則連分数展開を持つ。

有理数全体からなる集合はしばしば、太字の Q で表す。これは、イタリア人数学者のペアノによって1895年に最初に表された、商を意味する//[[wikt:quoziente の頭文字に由来する。手書きなどの際には、黒板太字と言われる書体を用いた で示すことが多い。すなわち、//

である。ここで、各有理数に対して、その分数表示 sfrac は一意でないことは留意すべき事実である。通常は個々の文脈に適した形を選んで利用する。公理的集合論の立場では、分数 sfrac は整数の組 }} の属する同値類を表しており、有理数全体からなる集合 Q は商体の最も初等的な例となっている。

距離空間としての有理数の完備化することにより、実数や //p//進数が得られる。有理数ではない実数は無理数と呼ばれる。また、すべての有理数係数多項式の根の全体は体を成し、その元を代数的数と呼ぶ。

2. 用語の由来
--------

「有理数」という語は、//rational number//}} の訳による。"//rational//"}} は「合理的な」「理に適う」「理性的な」の意である。対して、"rational" の語幹である "//ratio//"}}は「比」を意味する。したがって「有比数」などと訳した方がよいのではという見解もあるが、明治の訳の際に英語を忠実に訳したため、現在の「有理数」となる。

数学の各所で、有理数体 Q を基礎とする概念に、「有理-」という接頭辞を付けて名付けることがしばしば行われる。例えば、有理数でもある代数的整数を「有理整数」という。あるいは、成分が有理数である行列を「有理行列」と言ったり、有理数係数の多項式を「有理多項式」と呼んだりする。あるいは、成分が全て有理数である点を「有理点」と呼ぶ。

一方で、「有理-」という名称でありながら、前述のような意味ではないものもたくさんある。例えば、有理函数は基礎体が有理数体であるという意味ではなく、「多項式の比」になっている函数という意味である。同様に、有理代数曲線は有理数係数の代数曲線という意味ではない。

3. 演算
-----

2つの有理数 sfracが等しいとは、整数の等式

が成り立つことを言い、このとき

と記す。加法 "+"、および乗法 "×" が

によって定まり、反数および逆数について

が成り立つ。またこれにより、減法 "−" および除法 "÷"が

と定まる。故に、有理数全体 Q は四則演算について閉じている、体と呼ばれる代数系の一つであり、その中で最も身近な例の一つである。

4. 形式的な構成
---------

集合論の形式により、整数全体 Z から有理数全体 Q を構成することができる。まず整数の順序対 }} で //b// ≠ 0}} であるものの全体 //E// = Z × を考える。ここで //E// 上の関係 ∼ を

によって定めると、関係 ∼ は同値関係となる。 商集合 //E///∼ を改めて Q と記して、Q における対 }} の属する同値類を sfrac と記すことにすると、この表記は一意ではなく、異なる代表元 }} について

となる。このとき、Q における加法および乗法を前節で述べたように

で定めると、この加法と乗法は剰余類同士の演算として矛盾なく定義されている。実際、//E// における加法および乗法を

と定めると、 ∼ ,  ∼ }} ならば

が成り立つので、Q における加法および乗法は剰余類 sfrac 各々の代表元 , }} のとり方に依らない。, }} の属する同値類 sfrac が Q における零元および単位元となることが確かめられ、マイナス元と逆元が上述のように得られるので、これで Q における上述のような四則が全て形式的に正当化される。また、写像 ι を

と定めると ι は単射で、//E// において  +  =}} }} および  ×  =}} }} が成り立つから Z は ι によって演算まで込めて Q に埋め込まれる。そこで整数 m}} と剰余類 sfrac を同一視して Q は Z を含むものと考える。

以上の構成は、一般の整域の商体の構成にもほぼそのままに適用できる方法であり、したがって「Q は Z の商体である」などということができる。

5. 抽象的性質
--------

5.1. 基本性質
---------

既に述べたように、有理数全体は、通常の四則演算の下で体を成し、代数系 }} は有理数体と呼ばれる。また、有理整数環 Z の商体である。加えて、有理数体 Q は標数 0 の体の中で最小のもので、標数 0 の素体と呼ばれる。Q の拡大体は一般に代数体、その元は代数的数と呼ばれ、特に代数的数全体は体を成し Q の代数的閉包 Aとなる。

Q は可算無限集合である。実数全体 R は非可算なので、濃度の意味でほとんどの実数は無理数であることになる。

Q は通常の大小関係を順序として全順序集合であり、特に稠密順序集合となる。すなわち、2つの有理数の間には少なくとも1つ有理数が存在する。実は逆に、全順序な稠密順序集合がさらに最大元も最小元も持たないならば、必ず Q と順序同型である。

5.2. 位相的性質
----------

有理数全体 Q は内在的には、通常の大小関係の定める順序に関して順序位相と呼ばれる位相を持ち、外因的には実数直線 R の距離位相から定まる部分空間としての位相を持つが、実はこれらの位相は一致する。

有理数全体 Q は実数全体の成す集合 R の中で稠密である。これは、どの実数にも、いくらでも近い場所に有理数が存在することを意味する。これは距離空間として以下のように述べることもできる。

有理数全体 Q は、差の絶対値

を距離函数として距離空間となる。この距離により Q に位相が誘導されるが、それは R1}} からの相対位相に他ならない。こうして得られる距離空間 }} は完全不連結である。また、完備距離空間とはならない。実は距離 //d// :=}} abs による Q の完備化として、実数全体の集合 R が得られる。

この位相に関して有理数体 Q は位相体を成す。有理数全体の成す位相空間 Q は局所コンパクトではない空間の重要な例となっている。また唯一、孤立点を持たない可算な距離化可能空間となるものとして Q を特徴付けることができる。

一方、Q を位相体とする Q 上の距離は、これだけではない。素数 p}} と任意の非零整数 a}} に対して、psup は a}} を割り切る //p//-冪の中で冪指数が最大のものとするとき、

と定める。さらに abs として、任意の有理数 sfrac については

と定めたものを、有理数の //p//進絶対値と呼ぶ。このときさらに、差の絶対値

は //p//進距離と呼ばれる Q 上の距離函数を定める。距離空間 (Q, //dsub はやはり完全不連結であり、完備ではないが、その完備化として //p//進数////体 Qsub が得られる。//

オストロフスキーの定理によれば、Q 上の非自明な絶対値は同値の違いを除いて通常の絶対値か //p//進絶対値で尽くされる。

6. 脚注
-----

6.1. 出典
-------

7. 参考文献
-------

高木貞治『数の概念』岩波書店、1970年、ISBN 4-00-005153-9

8. 関連項目
-------

無理数
大域体

9. 外部リンク
--------