数学の極大・極小についての解説と定義の違い

数学における極大値と極小値の定義について、異なる解釈があるため、混乱しがちです。今回は、定義①と②の違いや、定数関数を例にとりながら、極大・極小の理解を深めていきましょう。

1. 極大・極小の基本的な定義

極大値と極小値は、関数の値が周りの点と比べて大きい（または小さい）かどうかを示すものです。具体的には、関数f(x)が点aで極大値を取るとは、aの周りの値に比べてf(a)が最大であることを意味します。これを表す定義として、次の2つの解釈があります。

定義①では、点aを含む十分小さい開区間で、x≠aならばf(x)

質問者の指摘の通り、定数関数f(x) = 3では、定義①によると極大値は存在しません。なぜなら、どの点でもf(x)が同じ値であり、周りの点と比較して最大値を取る点がないからです。しかし、定義②では、全ての点でf(x)≦f(a)が成り立つため、すべての点が極大値であると言えます。

結論として、定義①と②は同値ではありません。定義①では周囲の値が必ず小さい必要があり、定義②では周囲の値が等しい場合も含まれます。したがって、定数関数のように値が一定の関数に対して、②は適用されますが、①では適用されません。

極大・極小の定義は、関数の性質に基づいて異なる解釈がなされることがあります。定義①と②の違いを理解し、どのような関数に適用するかを見極めることが重要です。定数関数のような特別なケースもあり、状況に応じて適切な定義を選ぶことが求められます。