数学の教科書やデータ分析、アルゴリズムの解説で頻繁に登場する「単調増加」。直感的には「右肩上がりに増え続けること」と理解されがちですが、いざ問題演習や専門書を読み進めると「等号（$=$）は含むのか？」「広義と狭義で何が違うのか？」という疑問に直面し、立ち止まってしまう学習者が少なくありません。
実はこの単調性、高校数学の微積分と大学数学（解析学）や情報科学とで、言葉の使い分けに微妙なギャップが存在します。本記事では、数学に苦手意識がある方でも一目で腑に落ちるよう、グラフの視覚的イメージから厳密な数式定義、導関数を用いた判定条件まで分かりやすく整理してお伝えします。
【基礎知識】単調増加とは？グラフで直感的にわかる本質と「単調減少」との違い
関数の振る舞いを表す際、最も基本となる概念が「単調性」です。関数 $y = f(x)$ において、入力値 $x$ が大きくなるにつれて出力値 $f(x)$ も増えていく状態を単調増加と呼びます。
単調増加関数のグラフを描くと、左から右へ視線を動かしたときに、曲線や直線が「一度も下り坂を描かずに右上がり、あるいは水平に進む形状」になります。坂道に例えるなら、上り坂か平坦な道しか存在せず、下り階段が一切ないコースのようなものです。
一方で、対になる概念が単調減少です。こちらは $x$ が増えるほど $f(x)$ の値が小さくなり、グラフは常に「右肩下がり」を維持します。単調増加と単調減少の違いは、進行方向に対するグラフの傾斜が「上向き（または維持）」なのか「下向き（または維持）」なのかという方向性の違いに尽きます。
【最大のつまずき点】等号は入る？「広義単調増加」と「狭義単調増加」の明確な境界線
多くの人が「単調増加とは何か」を調べる最大の理由は、単調増加における等号の有無に関する混乱です。数学では、等号を含むかどうかによって「広義」と「狭義」という2つの厳密な区別が存在します。
区間内の任意の2点 $x_1, x_2$ について、$x_1 < x_2$ であるときを比較してみましょう。
1. 狭義単調増加（Strictly Increasing）
・数式条件：$x_1 < x_2 \implies f(x_1) < f(x_2)$
・特徴：等号が入りません。$x$ が少しでも右に進めば、関数の値は必ず真に大きくなります。グラフ上に「真横に平らな区間（水平線）」は存在せず、常に登り続ける状態です（例：$y = 2x$ や $y = x^3$、指数関数 $y = e^x$ など）。
2. 広義単調増加（Monotonically Increasing / Non-decreasing）
・数式条件：$x_1 < x_2 \implies f(x_1) \le f(x_2)$
・特徴：等号が入ります。「減少しない」ことだけを要求するため、途中に値が一定の平らな区間（$f(x_1) = f(x_2)$）が含まれていても単調増加と認められます。この性質から、別名として単調非減少（たんちょうひげんしょう）とも呼ばれます（例：ステップ関数やガウス記号を含む関数など）。
【高校数学vs大学数学】「単調性」の定義はどう変わる？混乱を防ぐ視点
文脈によって「単調増加」という言葉が指す意味が異なるため、学習ステージに応じた注意が必要です。
高校数学における微分と単調増加では、通常は「等号なし（狭義）」を前提として扱うケースが一般的です。問題集で「関数が単調に増加することを示せ」と問われた場合、基本的には「値が常に増え続けていること」を指します。
一方、大学数学の単調性や機械学習・アルゴリズム論の分野では、単に「単調増加」と言った場合に等号を含む広義単調増加（単調非減少）をデフォルトとする流儀が主流です。厳密性を重視する論文や講義では、誤解を防ぐために「狭義（Strictly）」「広義（Weakly）」という修飾語を明記するのが鉄則となっています。
【微分の符号条件】導関数 $f'(x)$ で単調増加を判定する実践テクニック
微分可能な滑らかな関数において、増減表を作ったり単調性を判定したりする強力な武器が導関数の符号です。
単調増加と微分の条件は、導関数 $f'(x)$（グラフの接線の傾き）を見ることで一発で判定できます。
・狭義単調増加の判定：ある区間で常に $f'(x) \ge 0$ であり、かつ $f'(x) = 0$ となる点が離散的（孤立した点）にしか存在しない場合、その関数は狭義単調増加となります。代表例が $f(x) = x^3$ です。原点 $x = 0$ で瞬間的に $f'(0) = 0$ となりますが、前後は常に $f'(x) > 0$ であるため、全体として値は増え続けます。
・広義単調増加の判定：ある区間で常に $f'(x) \ge 0$ であれば成立します。特定の区間全体で $f'(x) = 0$（平坦な水平線）が続いていても問題ありません。
高校の試験や入試問題では、「$f'(x) \ge 0$ を示しつつ、定数関数になる区間がないことを確認する」というプロセスが定番の解法パターンです。
【数列への応用】「単調増加数列」の基本ルールとデータ分析での重要性
単調増加の考え方は、連続的な関数だけでなく、離散的な単調増加数列（Sequence）にもそのまま適用されます。
数列 $\{a_n\}$ において、すべての自然数 $n$ に対し $a_n \le a_{n+1}$ が成り立つとき、これを単調増加数列（広義）と呼びます。厳密に不等号が成立する $a_n < a_{n+1}$ なら狭義単調増加数列です。
この性質は、解析学における「単調有界収束定理（上に有界な単調増加数列は必ず極限値に収束する）」という極めて重要な定理の基礎を支えています。加えて、時系列データのトレンド分析やソート済み配列を扱う二分探索アルゴリズムなど、現代のプログラミングやデータサイエンスの現場でも単調性の判定は欠かせない基盤理論となっています。
【単調増加とは】に関するよくある質問（FAQ）
Q1：定数関数（$f(x) = 5$ などずっと平らなグラフ）は単調増加ですか？
A1：広義単調増加（単調非減少）の定義には当てはまります。値が減少していないためです。ただし、値が増えてもいないため「狭義単調増加」には該当しません。同様に、定数関数は広義単調減少でもあります。
Q2：$f'(x) \ge 0$ なのに単調増加（狭義）と言えない反例はありますか？
A2：あります。たとえば、$x < 0$ で $f(x) = 0$（平ら）、$x \ge 0$ で $f(x) = x$ という関数は、全域で $f'(x) \ge 0$ ですが、負の領域で値が増加しないため狭義単調増加ではありません。狭義にするには「傾きが0になる場所が点として孤立していること」が必要です。
Q3：英語の文献を読む際、「increasing」とあったらどちらの意味ですか？
A3：英語圏の専門書では、「increasing」が広義（単調非減少）を指す場合と狭義を指す場合の両方があります。誤解を防ぐため、等号なしの厳密な増加には「strictly increasing」、等号付きには「non-decreasing」または「weakly increasing」という単語が好んで使われます。
単調増加という概念は、一見シンプルでありながら「等号の有無」や「適用される文脈（高校数学か大学数学・情報科学か）」によって定義の幅が存在します。
「減少しないこと全般」を指すのか、「常に真に増え続けること」を求めているのか、言葉の前提をしっかり確認することが数式の正しい理解へとつながります。微分判定や数列の収束条件を扱う際は、広義・狭義の違いを常に意識して論理を展開していきましょう。
