>>143
”孤立点のみから成る集合を離散集合 (discrete set) という。
ユークリッド空間における離散部分集合は可算である
（これは有理数全体のなす集合 Q が実数全体のなす集合 R において稠密であるという事実に基づけば、ユークリッド空間における部分集合の各点を孤立させるというのは、有理数を座標に持つ点（有理点）からなる集合に一対一に写すという意味になるためである）。”

リウヴィル数は、「リウヴィル数全体からなる集合は非可算集合であり、実数内で稠密であるが、1次元ルベーグ測度は 0 である」から、”孤立点のみから成る離散集合 (discrete set) ではない”ことになるのか・・。なるほど・・（＾＾
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%82%A6%E3%83%B4%E3%82%A3%E3%83%AB%E6%95%B0
リウヴィル数
(抜粋)
リウヴィル数（リウヴィルすう、Liouville number）とは、以下の定義を満たす実数 α のことである：任意の正整数 n に対して、

0<｜α − p／q｜< 1／q^n
を満たす有理数 p/q (q > 1) が少なくとも一つ存在する。

例えば、

l=Σ _{k=1}〜{∞ }10^{−k!}=0.110001 000000 000000 000001 000000 000000 000000 ・・・
はリウヴィル数である。この数は、超越数であることが証明された初めての数である(ジョゼフ・リウヴィル、1844年)。特にこの数の場合、1が小数点以下、自然数の階乗の桁数に出現する(1!=1桁目、2!=2桁目、3!=6桁目、4!=24桁目、 ・・・ ・・・)。

有理数 α が 0 < |α| < 1 を満たし、整数からなる単調増加列 {ak}k ? 1 が ak + 1/ak → ∞ (k → ∞) を満たすとき、

Σ _{k=1}〜{∞ }α ^{a_{k}
はリウヴィル数である。

性質
・リウヴィル数は超越数である（リウヴィルの定理）。
・リウヴィル数はマーラーの分類で U 数に属する。
・0 でない任意の実数は、2つのリウヴィル数の和、および積で表現することができる。
・リウヴィル数全体からなる集合は非可算集合であり、実数内で稠密であるが、1次元ルベーグ測度は 0 である。

つづく