rational number

ウィキペディア

有理数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/03/17 01:48 UTC 版)

有理数（ゆうりすう、英: rational number）とは、整数の比（英: ratio）として表すことができる実数のことである。分母・分子ともに整数の分数（分母≠0）として表すことができる実数との説明もされる。整数は、分母が 1 の分数と考えることにより、有理数の特別な場合となる。

概要

有理数は（十進法などの）位取り記数法で小数表示すると有限小数または循環小数のいずれかとなる（どちらになるかは基数に依存する。ある基数で有限小数となる有理数が別の基数では循環小数となること、あるいはその逆になることはある）。また、有理数は必ず有限正則連分数展開を持つ。

有理数全体からなる集合はしばしば、太字の Q で表す。これは、イタリア人数学者のペアノによって1895年に最初に表された、商（英: quotient）を意味するイタリア語: quoziente の頭文字に由来する^[1]。手書きなどの際には、黒板太字と言われる書体を用いた ${\displaystyle \mathbb {Q} }$

各直線（の整数点）がそれぞれ1つの同値類（すなわち有理数）に対応する。どの直線も原点は含まないが、原点をはさんだ反対側は同じ同値類である（図では同じ色で塗ることでそれを表している）。

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

${\displaystyle (a,b)\sim (c,d)\iff ad-bc=0\quad (a,b,c,d\in \mathbb {Z} ,b\neq 0,d\neq 0)}$

有理数の数え上げの一例を図示したもの。やり方は他にもいろいろあるが、いずれにせよ有理数の可算性が分かる。

基本性質

既に述べたように、有理数全体は、通常の四則演算の下で体を成し、代数系 (Q, +, ×, 0, 1) は有理数体と呼ばれる。また、有理整数環 Z の商体である。加えて、有理数体 Q は標数 0 の体の中で最小のもので、標数 0 の素体と呼ばれる（すなわち、標数 0 の体は、Q に同型な部分体を含む）。Q の拡大体は一般に代数体、その元は代数的数と呼ばれ、特に代数的数全体は体を成し Q の代数的閉包 A（Q とも書く）となる。

Q は可算無限集合である（何故なら、分母と分子の組を二次元平面上の格子点と考え、例えばうずまき状に取り尽くしていけば、自然数全体に対応するからである）。実数全体 R は非可算なので、濃度の意味で（あるいはルベーグ測度の意味で）ほとんどの実数は無理数であることになる（可算性により Q のルベーグ測度は 0 となる）。

Q は通常の大小関係を順序として全順序集合であり、特に稠密順序集合となる。すなわち、2つの有理数の間には（それがいくら近い値だとしても）少なくとも1つ（従って無数の）有理数が存在する。実は逆に、全順序な稠密順序集合がさらに最大元も最小元も持たないならば、必ず Q と順序同型である（カントールの往復論法）。

位相的性質

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

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

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

${\displaystyle d(x,y):=|x-y|}$

ウィキメディア・コモンズには、有理数に関連するカテゴリがあります。