大学数学基礎解説

連分数表示は一意に存在する

連分数,力学系

134

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

はじめに

少し前に, 力学系のゼミで例として連分数を扱いました. 準備のために細かい証明をしたにも関わらず, 発表の時にはあまり本質的でないと思い, 細かい部分は飛ばす判断をしました.

準備したのに結局使わないのは悲しいので, Mathlog に落としておこうと思います.

殴り書きしたため, 最悪に読みづらいです. すみません.

$N = {n \in Z ∣ n > 0}$ とします.

$f : X \to X$ に対して $f^{n}$ で $f$ の $n$ 回合成を表すことにします. また, $n = 0$ のときは ${id}_{X}$ を表すものとします.

連分数展開

定義など

連分数

次のような分数表示を有限連分数という.
$[a_{1}, a_{2}, \dots, a_{n}] := \frac{1}{a_{1} + \frac{1}{a_{2} + \dots \frac{1}{a_{n}}}}$
ただし $a_{i} \in N$

また, 無限列 $[a_{1}, a_{2}, \dots]$ を無限連分数という. もし $[a_{1}, \dots, a_{n}]$ が $n \to \infty$ で収束先をもつなら, その値を無限連分数の値として定義する.

実は全ての実数に対して連分数による表示が一意に存在します. この記事ではこの証明と構成を目標にします.

ガウス変換と有限連分数

連分数を扱うにあたって, 非常に親和性の高い写像を紹介します.

ガウス変換

写像 $φ : [0, 1] \to [0, 1]$ を
$φ (x) = {\begin{aligned} \frac{1}{x} - [\frac{1}{x}], & (x \neq 0) \\ 0, & (x = 0) \end{aligned}$
で定める. (ガウス変換)
ただし, $[x]$ は $x$ 以下の最大の整数である.

さて, この定義を少し変形すると, 次のようになります.
$x = \frac{1}{[\frac{1}{x}] + φ (x)}$
$φ (x)$ にもう一度同じことを繰り返すことを考えれば, ただちに次の等式がわかります. $φ^{n - 1} (x) \neq 0$ である限り,
$x = \frac{1}{a_{1} + \frac{1}{a_{2} + \dots + \frac{1}{a_{n} + φ^{n} (x)}}}$
(ただし, $a_{i} = [\frac{1}{φ^{i - 1} (x)}]$ )

すると, 途中で $φ^{n} (x) = 0$ となるような $x$ は有限連分数表示を持つということがわかります. 実はこれを完全に判定することができます.

$x \in [0, 1]$ が有理数 $⟺$ $\exists m > 0, φ^{m} (x) = 0$

多少省略して書く.
$m = r n + k$ としたとき( $m, n, r, k$ は自然数, $k < n$ )
$φ (\frac{n}{m}) = \frac{k}{n}$
である. したがって $x$ が有理数ならある $n, m$ で $φ^{n} (x) = \frac{1}{m}$ となるが, $φ (\frac{1}{m}) = 0$ のため $\Rightarrow$ が示された. $\Leftarrow$ は $x$ が有限連分数表示を持つことから明らか.

これはつまり, 次を意味します.

$x \in [0, 1]$ が有限連分数表示を持つ $⟺$ $x$ は有理数.

$\Rightarrow$ は明らか. $\Leftarrow$ は補題1による.

また, この表示は一意です. この証明は, 次の無限連分数の時の証明と多分同じなので省きます.

無限連分数

雰囲気的に, 無理数は無限連分数で一意に表せそうですね. 実際にそうなります.

$[0, 1]$ 内の無理数と, 無限連分数は1対1対応を持つ.
つまり, 無限連分数は常に値を持ち, 無理数の無限連分数表示が一意に存在する.

証明は本質的ではないです. 本質的で意味ありげな証明方法をご存じの方は是非ご紹介をお願いします. 以下枠線内は定理3の証明です.

無限連分数が常に値を持つこと

自然数の無限列 $(a_{i})$ を任意にとる. この時, $[0, 1]$ 上の関数 $f_{a, n}$
$f_{a, n} (y) := \frac{1}{a_{1} + \frac{1}{a_{2} + \dots + \frac{1}{a_{n} + y}}}$
とすると, $f_{a, n}$ は連続であり, 閉区間を閉区間に移す. $f_{a, n}$ による閉区間 $J$ の像を $I_{a, n} (J)$ で表す. このとき, $[a_{1}, \dots, a_{n}] \in I_{a, n_{0}} ([0, 1])$ である. 次に示す補題4により, $| I_{a, n} ([0, 1]) | \to 0$ as $n \to \infty$ であり, $([a_{1}, \dots, a_{n}])_{n \in N}$ は Cauchy 列となるので, 収束先を持つ. ただし, 区間 $J = [a, b]$ に対して $| J |$ は区間の長さ $b - a$ を表す.

任意の $a \in N^{N}$ に対して, $| I_{a, n} ([0, 1]) | \to 0$ as $n \to \infty$

(補題4の証明)

まず, $J_{0} = [s, t], J_{1} = [\frac{1}{a_{n} + t}, \frac{1}{a_{n} + s}]$ とすると, $I_{a, n} (J_{0}) = I_{a, n - 1} (J_{1})$ となる. 同じようにして, 区間の列を $J_{0}, \dots, J_{n}$ を
$I_{n} (J_{0}) = I_{n - 1} (J_{1}) = \dots = | J_{n} |$
となるように定める.

ここで, 例えば
$| J_{1} | = \frac{t - s}{(a_{n} + s) (a_{n} + t)} \leq \frac{t - s}{a_{n} (a_{n} + (t - s))} = \frac{| J_{0} |}{a_{n}^{2} + a_{n} | J_{0} |} \leq \frac{| J_{0} |}{1 + | J_{0} |}$
であるが,
$b_{n + 1} = \frac{b_{n}}{1 + b_{n}}$
は
$b_{n} = \frac{b_{0}}{1 + n b_{0}}$
となるので,
$| J_{n} | \leq \frac{| J_{0} |}{1 + n | J_{0} |}$
である. したがって, $| I_{n} ([0, 1]) | \leq \frac{1}{1 + n} \to 0$

無理数が無限連分数表示をもつこと

$x \in [0, 1]$ を無理数としたとき, $a_{n} := [\frac{1}{φ^{n - 1} (x)}]$ とする. このとき, $φ^{n} (x) \in [0, 1]$ のため, 任意の $n \in N$ で $x \in I_{a, n} ([0, 1])$ となる. また, 当然無限連分数も $[a_{1}, a_{2}, \dots,] \in I_{a, n} ([0, 1])$ である. ゆえに,
$x, [a_{1}, a_{2}, \dots] \in ⋂_{n \in N} I_{a, n} ([0, 1])$
であるが, この集合は距離が0より大きい2点を含まないため, この2点の距離は0であり, つまり
$x = [a_{1}, a_{2}, \dots]$

連分数表示が一意であること

異なる無限連分数が異なる値を持つことを示せばよい. まず, $f_{a, n}$ は単射なので(単射 $z \mapsto \frac{1}{a_{i} + z}$ を $n$ 回合成していることに注目すれば簡単である), 任意の閉区間 $J, J^{'}$ について, $J \cap J = \emptyset$ ならば, $I_{a, n} (J) \cap I_{a, n} (J^{'}) = \emptyset$ である.

ここで, 2つの異なる無限連分数 $x = [a_{1}, a_{2}, \dots], y = [b_{1}, b_{2}, \dots,]$ をとる. すなわち, あるkがあり, $a_{k} \neq b_{k}$ となる. このような最小の $k$ を $m$ としておく. ここで, $a_{m}, b_{m}$ の差は1以上であるため, 任意の $d \in (0, 1)$ に対して $I_{a, m} ([0, d]) \cap I_{b, m} ([0, d]) = \emptyset$ となる. ここで, その $d$ として $[a_{m + 1}, a_{m + 2}, \dots]$ と $[b_{m + 1}, b_{m + 2}, \dots]$ のうち大きい方の値を選ぶと,
$x \in I_{a, m} ([0, d]), y \in I_{b, m} ([0, d])$ である. しかしこの2つの集合は交わりをもたないので, $x \neq y$ である