有理数

出典: フリー百科事典『ウィキペディア（Wikipedia）』

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

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

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

と記す。ここで、N, 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 を含むものと考える。上記の構成法をより一般的な可換環論的立場から俯瞰すれば、ＱはＺの商体ということである。