単調増加とは？広義・狭義の違いと微分条件・グラフの見分け方を徹底解説

数学の解析学から高校数学の微分積分、さらには現代のデータサイエンスや経済学のモデリングに至るまで、頻繁に登場する基本概念が「単調増加」です。直感的には「右肩上がりに値が増えていく状態」と捉えられますが、学習を進める中で「等号が入るのか」「平坦な区間がある場合はどう呼ぶのか」といった定義の境界線に突き当たり、混乱を覚えるケースが少なくありません。

特に学習者や技術者を悩ませるのが、分野や文脈によって「広義単調増加」と「狭義単調増加」の使い分けが異なる点です。導関数の符号判定において「$f'(x) > 0$」と「$f'(x) \ge 0$」のどちらを適用すべきかという問題は、記述試験の採点やアルゴリズムの挙動理解でも極めて重要な分水嶺となります。本稿では、単調増加の厳密な定義から微分の条件、グラフでの判別法までを整理し、初学者がつまずきやすい疑問を徹底的に解き明かします。

📌 【この記事の重要ポイントまとめ】

• 要点1：単調増加には「常に値が増え続ける（狭義）」と「横ばい・等号を許容する（広義）」の2種類の定義流儀が存在する。
• 要点2：微分を用いた判定では導関数の符号が鍵となり、$f'(x) \ge 0$ であっても「導関数が区間全体で恒等的に0にならない」ならば狭義単調増加となる。
• 要点3：高校数学の微積と大学以降の専門数学・英語圏の文献では標準的な表現が異なるため、前提条件の確認が欠かせない。

【基礎から整理】単調増加の定義と「単調関数」の全体像

関数がある区間において一貫した方向へ変化し続ける性質を、数学では「単調性（mononicity）」と呼び、その性質を持つ関数を総称して単調関数といいます。その中でも値が増加傾向にある状態を指すのが単調増加です。

ある区間 $I$ に含まれる任意の2点 $x_1, x_2$ について、$x_1 < x_2$ であるときに常に次の関係が成り立つ場合を考えます。

・広義の定義（等号を含む）： $f(x_1) \le f(x_2)$
・狭義の定義（等号を含まない）： $f(x_1) < f(x_2)$

反対に、値が減少し続ける関係（$x_1 < x_2 \implies f(x_1) \ge f(x_2)$ または $f(x_1) > f(x_2)$）は単調減少と呼ばれます。これら単調増加と単調減少を合わせた概念が単調関数であり、関数の振る舞いを大域的に把握するための最も基礎的な指標となっています。

【最大の難所】「広義単調増加」と「狭義単調増加」の決定的な違い

数学を学ぶ過程で最も多くの人が疑問を抱くのが、単調増加という言葉が「等号を含むのか含まないのか」という点です。この曖昧さを解消するために用いられるのが広義単調増加と狭義単調増加という分類です。

狭義単調増加（strictly increasing）は、入力値 $x$ が少しでも大きくなれば、出力値 $f(x)$ も必ず厳密に大きくなる状態を指します。途中で値が一定になる水平な区間（平坦なステップ）は一切許されません。

一方の広義単調増加（weakly increasing）は、「減少しないこと」を保証する概念です。すなわち、値が増加するか、あるいは同じ値のまま横ばい（$f(x_1) = f(x_2)$）で推移することを許容します。この性質は、学術的には単調非減少（non-decreasing）と完全に同義です。

注意すべきは、日本の高校数学 微積の教科書においては、単に「単調増加」と書かれている場合、原則として「狭義単調増加」を意味している点です。一方で大学の数学科、経済学、情報工学の専門書では、単調増加をデフォルトで「広義」として扱い、厳密に増え続ける場合を明示的に「狭義」と呼び分ける傾向があります。文脈によってどちらを指しているかの見極めが必須となります。

【微分での見分け方】導関数の符号と「等号を含む・含まない」条件

微分可能な関数において、単調増加の判定は導関数の符号を調べる作業に帰着します。接線の傾きを表す $f'(x)$ が正であれば、関数はその地点で右上がりに増加していることを示すためです。

微分を用いた単調増加 条件の基本ルールは以下の通りです。

1. 十分条件： 区間内のすべての $x$ で $f'(x) > 0$ ならば、その区間で関数 $f(x)$ は狭義単調増加である。
2. 必要十分条件： 微分可能な関数 $f(x)$ が区間で狭義単調増加であるための必要十分条件は、「区間内のすべての $x$ で $f'(x) \ge 0$ であり、かつ $f'(x) = 0$ となる点が特定の孤立した点にとどまり、区間として連続して平坦にならないこと」である。

ここで重要な具体例が $f(x) = x^3$ です。この関数の導関数は $f'(x) = 3x^2$ であり、$x = 0$ において $f'(0) = 0$ と等号が成立します。しかし、グラフ全体を見渡すと、$x_1 < x_2$ ならば常に $x_1^3 < x_2^3$ が成り立っており、立派な狭義単調増加関数です。

つまり、「一瞬だけ接線の傾きが0になる（停留点を通る）」だけであれば、狭義単調増加性は損なわれません。これが「$f'(x) \ge 0$」という条件に等号が含まれる本質的な理由です。ただし、ある幅を持った区間で恒等的に $f'(x) = 0$ となり平坦になってしまう場合は、狭義単調増加ではなく広義単調増加（単調非減少）となります。

【グラフで直感理解】視覚的にわかる単調増加と「極値との違い」

単調増加 グラフの特徴は、視覚的には「左から右へと進むにつれて、曲線が決して下方向に下がらない」というシンプルな幾何学的形状に表れます。

グラフを読み解く上で重要になるのが極値との違いです。極値（極大値・極小値）とは、その点の前後で導関数の符号が正から負、あるいは負から正へと反転する場所を指します。

単調増加区間においては、導関数 $f'(x)$ の符号が負に転じる瞬間が一切存在しません。したがって、単調増加である区間の内部には極大値も極小値も現れません。先述した $f(x) = x^3$ の $x = 0$ のように、導関数がゼロになる点（停留点）が存在したとしても、その前後で傾きが「プラス $\to$ ゼロ $\to$ プラス」と正の符号を維持しているため、極値ではなく単なる変曲点（増加途中の通過点）となります。

【英語表記と学術分野の違い】monotonic increasingとグローバル標準

プログラミングやデータサイエンスの論文、機械学習ライブラリのドキュメントを参照する際、単調増加 英語の言い回しを知っておくことは大きな強みになります。

英語圏における用語の対応関係は極めて明確に定義されています。

・strictly increasing： 狭義単調増加（$x_1 < x_2 \implies f(x_1) < f(x_2)$）
・monotonically increasing / non-decreasing： 広義単調増加・単調非減少（$x_1 < x_2 \implies f(x_1) \le f(x_2)$）

例えば、ニューラルネットワークで用いられる活性化関数（ReLU関数など）は、$x < 0$ で平坦（出力0）、$x \ge 0$ で傾き1となるため、英語圏では「non-decreasing」あるいは「monotonically increasing」と正確に記載されます。国際的な学術記述に触れる際は、「increasing」という単語単体ではなく、「strictly」が付いているかどうかを確認する習慣をつけることが誤読を防ぐ鍵です。

【単調増加】に関するよくある質問（FAQ）

Q1：高校数学の記述問題で「単調に増加することを示せ」と言われたら、増減表に等号を含めるべきですか？
A1：示すべき関数が狭義単調増加である場合、導関数を求めて「すべての実数 $x$ で $f'(x) \ge 0$ であり、$f'(x) = 0$ となるのは $x = a$ の孤立点のみである。したがって $f(x)$ は単調増加する」と記述するのが最も減点リスクのない模範解答です。

Q2：定数関数 $f(x) = c$（水平な直線）は単調増加に含まれますか？
A2：広義単調増加（単調非減少）の定義には含まれます。任意の $x_1 < x_2$ に対して $f(x_1) \le f(x_2)$（実際には $c \le c$）が成立するためです。ただし、狭義単調増加の定義（$f(x_1) < f(x_2)$）は満たさないため、狭義には含まれません。

Q3：狭義単調増加な関数は必ず「逆関数」を持ちますか？
A3：はい、持ちます。狭義単調増加関数は、異なる入力に対して必ず異なる出力が得られる「単射（1対1）」の性質を満たすため、値域を適切に設定すれば必ず逆関数が存在します。

まとめ：定義の前提を正しく把握して数学のモヤモヤを解消しよう

単調増加という概念は、一見単純でありながら、「等号の扱い」「広義と狭義の区別」「導関数との論理関係」という数学特有の厳密さが凝縮されたテーマです。

高校数学の微積分を解く上では「一瞬の傾きゼロを含んでも全体として増え続ければ単調増加（狭義）」という感覚を掴むことが第一歩となります。さらに大学数学やAI・経済学などの応用分野へ進む際には、「広義単調増加＝単調非減少」というグローバルスタンダードな記法に頭を切り替える柔軟性が求められます。直感的なグラフのイメージと厳密な不等式の定義を結びつけ、確かな数学的リテラシーを築いていきましょう。 （出典: 単調 増加 と は（Yahoo!ニュース））