「ディリクレの関数」の版間の差分

編集の要約なし
'''ディリクレの数'''(ディリクレの-かんすう)とは、実数全体の成す集合 '''R''' 上で定義される次のような[[関数 (数学)|関数]]のことである。
:<math>
f(x) =
</math>
ただし、'''Q''' は有理数全体の成す集合である。
式からわかるように、この数はいたるところで不連続である。さらに、
: <math> \sup \int^{a}_{b} f(x) dx = a-b</math>
: <math> \inf \int^{a}_{b} f(x) dx = 0</math>
が成り立つから、(sup&int; を[[上積分]]、inf&int; を[[下積分]]という)ディリクレの数はリーマン[[積分]]不可能であることがわかる。([[ルベーグ積分]]は可能で、その値は 0 である。これは、[[可算無限集合]]である '''Q''' は[[ルベーグ測度]]に関して零集合であることによる)
 
== 連続数の極限としての表示 ==
ディリクレの数は、[[ディリクレ]]本人によって、
: <math> f(x) = \lim_{n \to \infin}\lim_{k \to \infin} \cos^{2k}(n! \,\pi x) </math>
と表わせることが示されている(したがってディリクレ数は 2 階の[[ベール数]]の一例である)。その方法は次による。
 
任意の有理数 ''q'' を考える。[[階乗|''n''!]] ''q'' は、十分大きな ''n'' に対して恒等的に[[整数]]である。それに比べ、無理数 ''r'' は、いくら ''n'' を大きく取っても ''n''! ''r'' が整数にならない。従って、ディリクレの数は、次のように変形できる。
:<math>
f(x) =
(n \to \infin)
</math>
ただし、'''Z''' は整数全体の成す集合。さてここで、
:<math>
F(x) =
\end{cases}
</math>
を表示できれば、''f''(''x'') = lim[''n''&rarr;&infin;] F(''n''!''x'') となって決着がつく。(''F'' は単独で考えても興味深い数である。)
''F'' は、[[不連続]]でありながらも[[周期的]]である。一定の[[周期]]を持つ数として[[三角数]]を考える。cos<sup>2</sup>(&pi;''x'') は、''x'' が整数であれば 1 を返し、それ以外であれば [0, 1) 内の実数を返す。[0, 1) 内の実数は、無限回[[冪乗]]することによって 0 に収束させることが出来る。また、1 はいくら冪乗しても恒等的に 1 となって変化しない。これより、
: <math>F(x) = \lim_{k \to \infin} \cos^{2k}(\pi x) </math>
が結論付けられる。従って、
となる訳である。
 
[[Category:解析学{{DEFAULTSORT|ていりれのかんすう]]}}
[[Category:特殊関数|ていりくれ解析学]]
[[Category:特殊函学に関する記事|ていりくれ]]
[[Category:数学に関する記事]]
76

回編集