前のページ 1/1 次のページ

有理数(ゆうりすう、rational number)とは、二つの整数 a, b (ただし b は 0 でない)をもちいて a / b という分数で表せる数のことをいう。原義は λογο? (ratio = 比)の有る数という意味であり、a / b は b に対して a の示す比の値(a が b に占める割合)を意味する。したがって、「有比数」と訳した方がよかったという意見もある一松信『√2の数学』海鳴社、1990年志賀浩二『数の世界』岩波書店、1992年 ISBN 978-4001152722。

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

:

\right\ -->

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

◆ 演算

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

: $ad\; -\; bc\; =\; 0$

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

: $=$

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

: $$

+ = ,\quad

\times =

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

: $$

-\left(\right) = = ,\quad

\left(\right)^ =

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

: $\backslash mathbb$

= \left\ \mid a \in \mathbb, b \in \mathbb, b \ne 0\right\ -->

= \left\ \mid a \in \mathbb, b \in \mathbb, b \ne 0\right\ -->

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

: $$

-

= +\left(- \right) = ,\quad

\div

= \times \left(\right)^ =

と定まる。

◆ 形式的な構成

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

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

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

: $=\backslash iff\; ad\; -\; bc\; =\; 0$

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

: $$

+ = ,\quad

\times =

で定めると、この加法と乗法は剰余類同士の演算として矛盾なく定義されている(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 における上述のような四則が全て形式的に正当化される。また、写像 ι を

:$\backslash iota\backslash colon\; \backslash mathbb\backslash to\; \backslash mathbb=\; E\; /\backslash sim;\backslash$

m \mapsto

と定めると ι は単射で、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 の中で稠密である。

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

◆ 参考文献

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

◆ 関連項目

・ 無理数

◆ 外部リンク

・ Weisstein, Eric W. "[外部リンク] Rational Number." From MathWorld

前のページ 1/1 次のページ

・有理数 page1