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

小数(しょうすう)とは、位取り記数法と小数点を用いて実数を表現するための表記法である。例えば、1425 の百分の一に相当する数は小数を用いて、

のように表現する。小数点より左を整数部分と呼んで、右から一の位、十の位の数を記述する。小数点より右は小数部分と呼んで、1 より細かい位として、左から十分の一の位、百分の一の位の数を順に記述する。上に挙げた数の場合には、十の位は「1」、一の位は「4」、十分の一の位は「2」、百分の一の位は「5」となる。より細かい数を表現する場合にはこの後ろに千分の一の位・一万分の一の位と順に位を増やすことで対応することができる。

小数部分の位は、十分の一の位を小数第一位、百分の一の位を小数第二位のように番号で呼ぶことも多い。「小数点以下第n位」と呼ぶこともあるが、この場合の「以下」は小数点自体は含まずに数えることになっているので、「小数第n位」と同じである。

◆ 小数の例

小数は長さや重さといったいくらでも細分できる量を表現するのに用いる。

・ 五円硬貨の厚さは 1.5 ミリメートル、重さは 3.75 グラム

小数は割合や平均を表現するのに用いる。

・ 1986年のランディ・バースの打率は 0.389。

・ 国の人口密度順リストによると、グリーンランドの人口密度は 1 平方キロメートルあたり 0.03 人である。

・ 円周率は円周の長さの直径に対する比率であり、3.14159265… である。

◆ 小数の分類

◇ 有限小数

上に挙げた例のうち、円周率以外の小数は有限桁の数字で表現されている。このような小数を有限小数と呼ぶ。

◇ 無限小数

有限小数では正確に表現できない数が存在する。そのような数を無限桁の小数で表現したものを無限小数と呼ぶ。上に挙げた例では円周率は無限小数でなければ表現できないが、逆に無限小数を用いることによってどんな実数をも表現することができるようになる。ほとんどの場合に異なった無限小数表示は異なった実数を与えるが、0.4999...のように途中から9がずっと続くような表示は9の列の直前の数字を1つ増やして後は0を続けたものと同じ実数を与える(例えば0.4999...と0.5000...は同じ実数を表している)ことに注意しなければならない。0.999...も参照のこと。

  循環小数

無限小数のうち、同じ形の数字の並びが無限に繰り返されるものを循環小数と呼ぶ。循環小数は繰り返す部分を指定することで表記する。正式な記法は

: $0.142857142857142857\backslash cdots\; =\; 0.\backslash dot4285\backslash dot$

のように繰り返す部分の初めと終わりにドットを書く。一つの数字が繰り返される場合は

: $0.333\backslash cdots\; =\; 0.\backslash dot$

のようにドットを一つ書く。

この百科事典においては、メディアの制約により

: 0.

: 0.

と書く場合もある。

  非循環小数

循環しない無限小数を非循環小数と呼ぶ。このような小数は簡単に作ることができて

: 0.101001000100001…

は非循環小数である。

◇ 進んだ注意

有限小数はすべて循環小数としても表現できる。

: 1/10 = 0.1 = 0.0999...

小数は、実数を整数 a₀ と 0 から 9 までのどれかにあたる a_n (n ≥ 1) を用いて

: $a\_0\; +\; \backslash sum\_^\backslash infty\; a\_n\; 10^$

のような無限級数の形で表すことであるから、すべての a_n が一致しなくても極限が一致することはありうるのである。しかし、あるところから先にすべて 0 が続くことがないように循環小数として表せば表現は一意的になる。このためいくつかの場合には(たとえばカントールの対角線論法)、全てを循環小数として表現することが必要になる。

◆ 進法の取り替え

進法を変えると、小数の表現もまた変わる。n 進法を用いるときに、その小数を [外部リンク]·_n と表すことにする。

: 1/5 = [外部リンク]0.2₁₀ = [外部リンク]0.1₅ = [外部リンク]0.151515...₇

10進法では有限小数として表現できるものが、必ずしも他の進法で有限小数として表現できるとは限らない。その逆もある。ただし進法を変えても循環小数としてなら表現できる。

◆ 実数の表現

まず、無限数列 a₀, a₁, a₂, … を考える。この時、小数表現したい実数 x と進数 n に対して各項の値を次のようにして決定していく。

# a₀ = [外部リンク] x([外部リンク]・:ガウス記号)とし、i = 1 とする。

# x' = abs x - a₀、p₁ = 0 とする。この時、x' ∈ [0,1) である。もし、x' = 0 であれば、残りの項を 0 としてここで終了する。

# 区間 [p_i , p_i+n^1-i) を n 等分し、その等分点を左から s_i0, …, s_{i, n-1} とする。

# j を 0 から n - 1 まで移動させ、x' ∈ [s_ij, s_{i,j + 1}) なる j が存在すればそこで j を固定し、a_i = j として次に進む。

# もし、x' = s_ij であれば、残りの項を 0 としてここで終了する。そうでなければ p_i+1 = s_ij とし、i に 1 を加算して (3.) に戻る。

こうして得られた数列 a_n は、1 以降の i に対して 0 ≤ a_i ≤ n - 1 を満たすから、a_i は n 進法を用いて 1 桁で表現できる。ここで、(sgn x)a₀ の n 進法表記の後に . を付け(これを小数点と呼ぶ)、a_i を列記していったもの、即ち

: $x\; =\; (\backslash sgn\; x)a\_0.a\_1\; a\_2\; a\_3\; \backslash dots$

とする表現を小数とする。但し、ある項から 0 が無限に続くようであれば、その位置から 0 を省略し、何も書かなくてよい。また、そうでない場合は列記していく操作を永久に続けることになるが、実際は不可能である。このような時、省略記号を使って項を省略してよい。(下記「小数の分類」参照)

◆ 関連項目

・ 浮動小数点数 - 計算機における実数の表現。

・ 固定小数点数 - 計算機における実数の表現。

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

・小数 page1