# 有理数は実数の中でどのように分布しているのか
こんにちは。
この記事では実数の中での有理数の分布について、一つの問題を例に説明します。私自身まだ数学の知識が浅いので厳密な話ではありません。ご了承ください。

まず初めに次の問題を考えてみてください。出来れば答えを確認する前に自分の中で答えを用意すると良いと思います。（因みに、この問いは大学で集合の濃度を教えるときにしばしば前座として使われるもののようです。）

---
## (問題)
---
**与えらえた集合Aの長さを$l(A)$と表すことにする。**
$A=\{x∊[1,0];x∊Q\}$**とするとき、$l(A)$はいくらか？**

例）A([0,1])=1 ←0以上1以下の次数全体の集合が[0,1]なのでその長さは1。


※すぐに答えを確認したい方は「喩え話」の手前までスクロールして下さい。

---

ところで、任意の整数mには、m-1<m<m+1という隣の整数m-1,m+1が存在します。すなわち、m-1<n<m、m<n<m+1を満たす整数ｎは存在しません。

一方、任意の有理数p,qがp<qを満たすとき、p<r<qを満たす有理数rが必ず存在します。つまり、有理数には隣り合うものが存在しないということです。これを有理数の**稠密性**（ちゅうみつせい）と言います。

「稠密」とは、「どれだけ狭い幅の区間を取ってきてもその間の要素が存在する」、「要素がギッシリ詰まっている」ということです。

では、有理数の稠密性の証明を見てみましょう。

---
## （証明）有理数の稠密性
---
>
>（引用：高校数学の美しい物語）

---
　因みに無理数も稠密です。

さて、答えは思い浮かべたでしょうか？(正解を発表します)

・・・

・・・

・・・

答えは**l(A)=0** です。想定した答えと一致していたでしょうか?

この0の意味について1つ、喩え話を紹介します。

---
## 喩え話

---

>０以上1以下実数で番号が付けられた無限枚ある宝クジ（こんなもの現実には存在しない）を買ったとします。しかもクジの番号「有理数番」のものだけをすべて買い占めたとしても（「有理数番」のクジは無限にあるがお金を無限に所有している人はこの世に存在しないので現実的には不可能ですが...）、この宝クジに当たる確率は０であるのです。

---
「当たり前じゃん」と思った方も、「は？」思った方もいらっしゃるかもしれません。私は、最初「は？」と思いました。

ここではそもそも**長さ**という言葉が曖昧で、本当は**測度**と呼ぶべきなのですが、測度とは実解析学で学ぶ高級な概念で私はあまり詳しくないのでここでは長さとさせて頂きました。定性的な説明となりましたが、今回はこれにて終了とさせていただきます。最後まで読んで頂きありがとうございました。

今回初めてLaTeX記法を使ったので、練習がてら有理数全体から成る集合の濃度に関する内容を以下に書きました。大抵の教科書には載っていそうな内容ですが、良ければ参照して下さい。

---
### ちなみに
有理数全体の集合$\mathbb{Q}$の濃度については下の方の系が成り立ちます。これについても証明を紹介しますが、今回は次の定理が成り立つことを前提とさせていただきます。

#### ・定理
>(1)
$A,B$をともにたかだか可算な集合とすれば、直積$A\times{B}$もたかだか可算な集合である。なお、この場合、$A,B$がともに空でなく、少なくとも一方が可算なものならば、$A\times{B}$は可算である。
(2)
集合族$(A_λ)_{λ∊\Lambda}$(ただし$\Lambda\neq\phi$)において、どの$λ∊\Lambda$に対しても$A_λ$はたかだかかさんであるとし、また、添字集合$\Lambda$もたかだか可算であるとすれば、和集合$\displaystyle\bigcup_{λ∊\Lambda}{A_λ}$もたかだか可算な集合である。

#### ・系
>有理整数全体の集合$\mathbb{Z}$,有理数全体の集合$\mathbb{Q}$は可算集合である。

#### ・(系の)証明
>まず、上の定理(2)より明らかに、
$\mathbb{Z}=${1,2,3,・・・}$^{\cup}${0}$^{\cup}${-1,-2,-3,・・・}
は可算である。したがって、定理(1)により$\mathbb{Z}\times{\mathbb{N}}$も可算でとなる。
次に、$\mathbb{Q}$が可算であることを示す。$\mathbb{Q}$の任意の元は$\frac{a}{b}(a∊\mathbb{Z},b∊\mathbb{N})$の形に表されるから、$\mathbb{Z}\times{\mathbb{N}}$から$\mathbb{Q}$への写像$f$を
$f(a,b)=\frac{a}{b}(a∊\mathbb{Z},b∊\mathbb{N})$
と定義すれば、$f$は$\mathbb{Z}\times{\mathbb{N}}$への全射となる。したがって、$card{\mathbb{Q}}{\leq}card(\mathbb{Z}\times{\mathbb{N}})=ℵ_0$であるから、$card{\mathbb{Q}}=ℵ_0$

#### 参考書籍
・佐久間一浩『高校数学と大学数学の接点』(日本評論社)
・松阪和夫『数学入門シリーズ１集合・位相入門』(岩波書店)