有理数

有理数の最新ニュースをまとめて検索！

有理数（ゆうりすう、rational number）とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a / b という分数で表せる数のことをいう。原義は λογος （ratio = 比）の有る数という意味であり、a / b は b に対して a の示す比の値（a が b に占める割合）を意味する。したがって、「有比数」と訳した方がよかったという意見もある^[1]^[2]。

有理数全体のつくる集合はしばしば、商を意味する quotient の頭文字をとり、太字の Q で表す。手書きするときなどには中抜きの太字にするため、書籍等で黒板太字と言われる書体で $\mathbb{Q}$ を使うこともある。つまり

$\mathbb{Q} = \left\{ {a \over b} \mid a, b \in \mathbb{Z}, b \ne 0 \right\}$

と記す。ここで、Z は整数の全体をあらわす集合である。

[編集] 演算

二つの有理数 a / b, c / d（a, b, c, d は整数で b, d はいずれも 0 でない）が等しいとは、整数の等式

a d - b c = 0

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

${a \over b} = {c \over d}$

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

${a \over b} + {c \over d} = {ad + bc \over bd},\quad {a \over b} \times {c \over d} = {ac \over bd}$

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

$-\left({a \over b}\right) = {-a \over b} = {a \over -b},\quad \left({c \over d}\right)^{-1} = {d \over c}$

（ここでは b, c, d はいずれも 0 でない）が成り立つ（とくに集合として

$\mathbb{Q} = \left\{{a \over b} \mid a \in \mathbb{N}, b \in \mathbb{Z}, b \ne 0\right\} = \left\{{a \over b} \mid a \in \mathbb{Z}, b \in \mathbb{N}, b \ne 0\right\}$

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

${a \over b} - {c \over d} = {a \over b} +\left(- {c \over d}\right) = {ad - bc \over bd},\quad {a \over b} \div {c \over d} = {a \over b} \times \left({c \over d}\right)^{-1} = {ad \over bc}$

と定まる。

[編集] 形式的な構成

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

$(a, b) \sim (c, d) \iff ac - bd = 0$

(a, b, c, d ∈ Z, b ≠ 0, d ≠ 0) によって定めると、関係 ∼ は同値関係となる。商集合 E / ∼ を改めて Q と記して、Q における対 (a, b) の属する剰余類を a / b と記すことにすると、このような表記は一意的ではなく、異なる代表元 (c, d) について

${a \over b} = {c \over d} \iff ad - bc = 0$

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

${a \over b} + {c \over d} = {ad + bc \over bd},\quad {a \over b} \times {c \over d} = {ac \over bd}$

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

$(a, b) + (c, d) = (ad + bc, bd),\quad (a, b) \times (c, d) = (ac, bd)$

と定めると、(a, b) ∼ (a′, b′), (c, d) ∼ (c′, d′) であるとき

$(a, b) + (c, d) \sim (a', b') + (c', d'),\quad (a, b) \times (c, d) \sim (a', b') \times (c', d')$

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

$\iota\colon \mathbb{Z} \to \mathbb{Q} = E /\sim{};\ m \mapsto {m \over 1}$

と定めると ι は単射で、E において (m, 1) + (n, 1) = (m + n, 1) および (m, 1) × (n, 1) = (mn, 1) が成り立つ（さらに ι(1) = 1 / 1 であるから ι は単位的環の準同型となる）から Z は ι によって演算まで込めて Q に埋め込まれる。そこで整数 m と剰余類 m / 1 とを同一視して Q は Z を含むものと考える。上記の構成法をより一般的な可換環論的立場から俯瞰すれば、Q は Z の商体ということである。

[編集] 性質

Q は可算無限集合である（これはたとえば、分母と分子の組を二次元平面上の格子点と考え、うずまき状に辿って自然数と対応付ければよい）。また、Q は稠密集合であり、とくに実数全体の成す集合 R の中で稠密である。

有理数を十進法などの位取り記数法を用いて小数表示した場合、どの有理数も位取りの基数のとり方に関わらず有限小数または循環小数のいずれかとなる（もちろん、ある基数で表示したとき有限小数となる有理数が、別の基数では循環小数となったりすること、あるいはその逆になることはある）。

[編集] 参考文献

^ 一松信『√2の数学』海鳴社、1990年
^ 志賀浩二『数の世界』岩波書店、1992年 ISBN 978-4001152722

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

[編集] 関連項目

無理数

[編集] 外部リンク

Weisstein, Eric W. "Rational Number." From MathWorld

フリー百科事典『ウィキペディア（Wikipedia）』 Text is available under GNU Free Documentation License.

最終更新 2009年11月21日 (土) 14:56 （日時は個人設定で未設定ならばUTC）。
【有理数】変更履歴

[0] 一松信『√2の数学』海鳴社、1990年

[1] 志賀浩二『数の世界』岩波書店、1992年 ISBN 978-4001152722

[1]

[2]

有理数

目次