中間値の定理とヤベェ関数

　中間値の定理，というものをご存知でしょうか．高校数学においてこの定理だけはなぜか異質な感じがします．それはこの定理が，具体的な何かを求めるためのものではないからだと思います．今回はこの中間値の定理を満たしながら，おかしな挙動をする関数の話です．

　中間値の定理とは，実数上の連続関数が満たす一つの性質を記述したものです．

【中間値の定理】

f : R \to R

$f:\rea\to\rea$ を連続関数とする．このとき，f ( a ) ≦ f ( b ) を満たす任意の閉区間 [ a , b ] ( a ≦ b ) に対して， γ ∈ [ f ( a ) , f ( b ) ] ならば γ = f ( c ) となる c ∈ [ a , b ] が存在する．

　この定理は，「連続関数はつながっている」ということを数学的な文章で表現しています．では逆に，任意の閉区間 [ a , b ] で中間値の定理を満たすにもかかわらず実数上連続とはならない関数は存在するでしょうか？　答えはYESです．簡単な例としては次のようなものがあります．

　この f ( x ) という関数は不連続な点が x = 0 だけですが，今度はもっと極端な例で考えてみます．

実数上の全ての点で不連続であるにもかかわらず，
任意の閉区間で中間値の定理を満たすような関数は存在するか？

　実際にすべての点で不連続，かつ任意の閉区間で中間値の定理を満たすような関数を構成していこうと思います．

R / Q

$\rea/\ratio$ という集合を考えます．この集合はアーベル群

(R, +)

$(\rea,+)$ の部分群

(Q, +)

$(\ratio ,+)$ による商群として与えられるものです．

　簡単に言うと

R / Q

$\rea/\ratio$ は，有理数分平行移動して一致するような2つの実数は同じものとみなした集合になっています．厳密には次のような集合です．

R / Q

$\rea/\ratio$ の要素は括弧でくくって [ a ] のように表すこととします．例えば

\sqrt{2}

$\sqrt 2$ と

\sqrt{2} + 1 / 2

$\sqrt 2+1/2$ は有理数の平行移動により一致するため，

R / Q

$\rea/\ratio$ の中では

となっています．

　（選択公理のもとで)

R / Q

$\rea/\ratio$ の濃度は

R

$\rea$ の濃度と一致しています．すなわち

R

$\rea$ と

R / Q

$\rea/\ratio$ の間に全単射が存在します．その全単射を

F : R / Q \to R

$F:\rea/\ratio\to\rea$ とします．このとき関数

f : R \to R

$f:\rea\to\rea$ を次のように定義します．

このとき

f : R \to R

$f:\rea\to\rea$ は次を満たします．

【命題】　 f は実数上の任意の点で不連続，かつ任意の閉区間で中間値の定理を満たす．

　実は f に関してこれよりもっと強い結果を示すことができます．それは次のようなものです．

【命題】　任意の閉区間 I に対して，

f (I) = R

$f(I)=\rea$ となる．

〈証明〉　I = [ a , b ] ( a ≦ b ) を任意の閉区間とします．

f (I) = R

$f(I)=\rea$ を示すためには，

f (I) \subset R

$f(I)\subset\rea$ と

R \subset f (I)

$\rea\subset f(I)$ を示す必要がありますが，前者は自明なので，

R \subset f (I)

$\rea\subset f(I)$ を示すことになります．

　これを示すためには，任意の実数

β \in R

$\beta\in\rea$ に対して

となるような α が閉区間 I 内に存在することを言わなければなりません．

　さらにいま，

F

$F$ は全単射であって逆関数

F^{- 1}

$F\inv$ が存在し，

F (F^{- 1} (β)) = β

$F(F\inv(\beta))=\beta$ ですから，

[α] = F^{- 1} (β)

$[\alpha]=F\inv(\beta)$ となるような α ∈ I の存在が言えれば証明は達成できます．

　では

[α] = F^{- 1} (β)

$[\alpha]=F\inv(\beta)$ となる

α \in I

$\alpha\in I$ を具体的に作っていきましょう．

　まず

γ \in F^{- 1} (β)

$\gamma\in F\inv(\beta)$ となるような

γ \in R

$\gamma\in\rea$ と，

0 < q < | I | = | b - a |

$0\lt q\lt \abs I=\abs{b-a}$ を満たす有理数

q \in Q

$q\in\ratio$ を取ってきます．このとき

γ + Z q = {γ + n q | n \in Z}

$\gamma +\integ q=\jb{\gamma +nq\vl n\in\integ}$ という集合を考えると，

$(\gamma +\integ q)\cap I\neq\es$ が成り立ちます．そうでなければ

$\gamma+\integ q$ の隣接する2点間の距離は

$\abs I=\abs{b-a}$ より大きいということになり，すなわち

$q$ が

$\abs I$ より大きいことになって矛盾するからです．

$(\gamma +\integ q)\cap I$ の要素の一つを

$\alpha =\gamma +mq$ とします．

$\gamma$ は

$F\inv(\beta)$ の要素でしたから，

$\rea/\ratio$ 内において

となります．□証明終了

　これで関数 f は，「どんな小さい区間上」においても実数のすべての値を「無限回」取るということが分かります．すべての点で不連続であることはこのことから明らかであり，また中間値の定理を満たすことも明らかです．何しろどんな小さい区間 [ a , b ] を取ってきても，そしてどんな実数

$\alpha\in\rea$ に対しても f ( c ) = α となるような c ∈ [ a , b ] が存在してしまうからです．こんなヤベェ関数とは2度と出会わないことを祈っています．

　最後に，この関数のグラフを描いてみましょう．

いまからこの平面上に f のグラフをプロットします．

プロットしました．

(完)

ねくノート

このブログを検索

中間値の定理とヤベェ関数

コメント

コメントを投稿