こんにちは。数学専攻M2の松岡です。今回はタイトルの通り, 私の研究・勉強の興味のある分野について簡単に紹介したいと思います。前回紹介したものに続く第2弾となります。前回のお話は こちら から見られます。 さて, 今回の本題は 「具体的な微分不可能な函数を作ってみよう」 です。前回の記事では, 実数上のすべての点で微分不可能な函数を紹介しました。この例の函数はすべての点で連続なのにすべての点で微分出来ない訳ですから, 微分可能性としては強烈に悪いもの だと捉えることが出来ます。今回はその橋渡しとして, 微分可能性がまだ幾分かマシな微分不可能函数も含めて紹介します。 以下では, $\mathbb{R}$ を実数全体からなる集合とします。また, 考える函数はすべて $\mathbb{R}$ 上で連続なものとします。つまり, すべての点でグラフが繋がっているものとします。 (本当の所, 連続の概念をきちんと定義する為には, $\varepsilon-\delta$ 論法と言われるものが必要になります。その話を聞きたい人は是非ブースまでお越しください！) 皆さんが「連続だが微分不可能な函数の例を挙げよ」と言われて最初に思いつく函数は何でしょうか。多くの人は, \[ f(x) = |x|, \quad x \in \mathbb{R} \] という函数を思いつくと思われます。この函数は $\mathbb{R}$ 上のすべての点で連続だが原点 $x=0$ で微分不可能になります。このグラフを見てみると, 次のようになります: 原点 $x=0$ で下に尖っていることが分かります。ある点 $x=a$ に於いて微分可能とは, その点 $a$ で接線を引くことができ, それが唯1本に定まる状態だと捉えることが出来ます。今の場合は, 原点 $x=0$ で下に尖っているせいで, 下からも上からも接線が決まりません。 従って, この $f$ は原点 $x=0$ で微分不可能となります。 では, もう少し我儘な要求をしてみましょう。今度は1点と言わず, 複数個の点, いや, $x= \cdots, -3,-2,-1,0,1,2,3, \cdots $ のような無限個の点で微分不可能になる連続函数を作ってみましょう。ポイン...
