登場人物紹介
僕：数学が好きな高校生。
テトラちゃん：僕の後輩。 好奇心旺盛で根気強い《元気少女》。言葉が大好き。
ミルカさん：数学が好きな高校生。僕のクラスメート。長い黒髪の《饒舌才媛》。
僕とテトラちゃんが、ロルの定理について話していると、ミルカさんがやってきた。
僕「ちょうどいま、ロルの定理の証明が終わったところなんだよ（第224回参照）」
テトラ「証明の流れがおもしろかったです」
- 平均値の定理を、ロルの定理に帰着させます。
- ロルの定理のうち、定数関数についてはすぐに証明できます。
- ロルの定理のうち、最大値を取らない関数については上下反転させることで最大値を取る関数に帰着して証明できます。
- 残っているのは、最大値を使ってロルの定理を証明することです。
- 最大値であるという性質と微分係数の存在を使って証明ができました。
ミルカ「ふうん……これはこれで楽しいけれど、もう一歩踏み込もう」
僕「もう一歩って？」
ミルカ「ここまでで証明できたことは、もし$g(x)$が$a < x < b$で最大値を取るならば、 ロルの定理が成り立つということだ」
テトラ「最大値を取らない関数については上下反転させて考えることにしたんですが……」
ミルカ「そういう話ではない」
僕「どういう話なんだろう」
ミルカ「こういう話」
問題0
以下の条件をすべて満たす関数$F(x)$は、$a < x < b$で最大値を取ることを証明せよ。
- $F(x)$は、$a \LEQ x \LEQ b$で連続である。
- $F(a) = F(b)$である。
- $F(x)$は、$a < x < b$で最小値を取らない。
ミルカ「君が関数$g(x)$についてロルの定理を証明するときに、$a < x < b$で最小値か最大値を取るということを暗黙のうちに使っている。 だとしたら、残るピースはこれだ」
僕「これは……あたりまえじゃないんだろうか」
テトラ「あたりまえに見えるものを証明するって……難しいです」
ミルカ「ロルの定理から出発したからごちゃごちゃと条件をつけたけれど、言いたいことはずっと単純化できる。閉区間$[a,b]$から実数全体の集合への連続な関数$f(x)$はこのような性質を持つという主張だ」
主張
閉区間$[a,b]$で連続な関数$f(x)$は、最大値および最小値を取る。
テトラ「閉区間……」
ミルカ「閉区間$[a,b]$とは、$a \LEQ x \LEQ b$を満たす実数$x$全体の集合のこと」
僕「これがポイントだというのはわかるよ。$x = a$と$x = b$で関数の値が等しいという条件は平均値の定理をロルの定理に帰着させるためにつけた条件だし」
テトラ「先輩方、ちょっとお待ちください。閉区間$[a,b]$で連続な関数$f(x)$が最大値および最小値を取るという主張の意味を確かめたいんですが、 たとえば$y = f(x)$のグラフを描くと、 必ず最大値$\max$と最小値$\min$があるということですよね？」
閉区間$[a,b]$で連続な関数$y = f(x)$グラフいろいろ
僕「そうだね」
テトラ「だとしたら……やっぱり《あたりまえ》だと思うんです。だって、$f(x) = \infty$というのはありえないですよね。だって、$\infty$は数じゃありませんから。グラフで上の方……無限までどおおんと吹き抜けることはできないです。 だったら、必ず最大値があるはずじゃないでしょうか。グラフで考えれば《あたりまえ》です」
ミルカ「グラフで考えるのは大事だが、いま問題にしようとしているのはそこに隠れている条件のことだ」
テトラ「グラフに何か隠れているんですか？」
ミルカ「たとえば、このようなグラフを考えよう」
テトラ「はい。この場合は最大値は$1$で、最小値は$0$になります。最大値を取るのは$x = \SQRT{2}$のときで、 最小値を取るのは$x = a$または$x = b$のときになります」
ミルカ「もちろん、テトラのその答えで正しい。だがもし仮に、関数$f(x)$の定義域が$a \LEQ x \LEQ b$を満たす有理数全体の集合だとしたらどうだろうか」
僕「なるほど。$x$の取り得る値を、実数じゃなくて有理数に制限するということ？」
テトラ「有理数に制限……それは、$x = \SQRT{2}$にはならないということですね？」
ミルカ「その場合、$f(x)$の最大値は$1$であるとはいえなくなる。なぜなら、$x = \SQRT{2}$にはならないからだ」
テトラ「ええと、でも、その場合は$f(x)$の最大値は何になるんでしょうか」
ミルカ「最大値は存在しない」
テトラ「最大値は存在しない！ ……で、でも、$f(x)$は$1$より大きくはならないですよ？ それはグラフで考えればわかります」
ミルカ「最大値の定義は？ $a \LEQ x \LEQ b$における$f(x)$の最大値とは何か」
テトラ「最大値は、一番大きな値ですよね。ですから、$a \LEQ x \LEQ b$の$x$に対して、$f(x) \LEQ M$になる実数$M$のことです……よね？」
ミルカ「違う」
テトラ「違う？！」
ミルカ「テトラがいま言った実数$M$は$f(x)$が取り得る値の最大値ではなく、$f(x)$が取り得る値の上界（じょうかい）というものになる」
テトラ「上界……」
僕「$f(x)$の値が$M$以下になるというだけじゃなくて、$f(x) = M$になるような$x$が存在しなくちゃ最大値とはいえないからだよ、テトラちゃん。
テトラ「ああ……」
ミルカ「こういうときこそ、論理式が役に立つ。私たちがふだん使っている言葉では細かい差違が明確にならないとき」
最大値
$a \LEQ x \LEQ b$を満たす、すべての$x$に対して、 $$ f(x) \LEQ f(m) $$ を満たす$m$が存在するとしよう（ただし、$a \LEQ m \LEQ b$）。
このときの値$f(m)$を、集合$\SET{ f(x) \SETM a \LEQ x \LEQ b }$の最大値という。
論理式で表すなら、 $$ \exists m \in [a,b] \quad \forall x \in [a,b] \quad \bigl[\, f(x) \LEQ f(m) \,\bigr] $$ が成り立つときの$f(m)$が最大値である。
上界
$a \LEQ x \LEQ b$を満たす、すべての$x$に対して、 $$ f(x) \LEQ M $$ を満たす実数$M$が存在するとしよう。
このときの$M$を、集合$\SET{ f(x) \SETM a \LEQ x \LEQ b }$の一つの上界という。
論理式で表すなら、 $$ \exists M \in \REAL \quad \forall x \in [a,b] \quad \bigl[\, f(x) \LEQ M \,\bigr] $$ が成り立つときの$M$が一つの上界である。
テトラ「……なるほどです。あたしは頭の中では最大値のことを考えながら、上界の定義を話していたことになりますね」
ミルカ「上界は一つとは限らないことに注意」
テトラ「あ、はい、わかります。$M$以上の数はぜんぶ上界になるからですね？」
僕「そうだね」
テトラ「でも、最大値は一つですよね？」
ミルカ「最大値は、存在すれば一つに限る。証明はすぐできる」
この連載について
数学ガールの秘密ノート
数学青春物語「数学ガール」の女子高生たちが数学トークをする楽しい読み物です。中学生や高校生の数学を題材に、 数学のおもしろさと学ぶよろこびを味わってください。本シリーズはすでに何冊も書籍化されている人気連載です。 （毎週金曜日更新）
