関数と数列の単調増加，単調減少

関数の単調増加，単調減少

関数 $y=f(x)$ が（特定の区間において）

• $x_1 < x_2$ ならば $f(x_1)\leq f(x_2)$ を満たすとき，$f(x)$ は（その区間内で）広義単調増加，と言います。つまり，$x$ が増えると $y$ は減らないような関数です。

• $x_1 < x_2$ ならば $f(x_1)\geq f(x_2)$ を満たすとき，$f(x)$ は（その区間内で）広義単調減少，と言います。つまり，$x$ が増えると $y$ は増えないような関数です。

• $x_1 < x_2$ ならば $f(x_1) < f(x_2)$ を満たすとき，$f(x)$ は（その区間内で）狭義単調増加，と言います。つまり，$x$ が増えると $y$ も増えるような関数です。

• $x_1 < x_2$ ならば $f(x_1) > f(x_2)$ を満たすとき，$f(x)$ は（その区間内で）狭義単調減少，と言います。つまり，$x$ が増えると $y$ は減るような関数です。

広義と狭義

• 広義は「広い方の意味で」という意味です。イコールも広い意味では増加（または減少）とみなせます。狭義は「狭い方の意味で」という意味です。

• 「広義」「狭義」を省略して，単に「単調増加」「単調減少」と言うことも多いです。文脈からどちらを表すのか判断する必要があります。

• 広義単調増加は単調非減少，広義単調減少は単調非増加と言うこともあります。

具体例

数列の単調増加，単調減少

数列 $a_n$ が（特定の区間において） $n_1 < n_2$ ならば $a_{n_1}\leq a_{n_2}$ を満たすとき，$a_n$ は（その区間内で）広義単調増加，と言います。つまり，$n$ が増えると $a_n$ は減らないような数列です。

数列の広義単調減少，狭義単調増加，狭義単調減少も同様に定義されます。

単調増加，単調減少に関連する性質

単調減少についても同様なので，単調増加についてのみ述べます。

• 微分可能な関数 $y=f(x)$ の導関数が（考えている区間内で）正なら狭義単調増加です。導関数が非負なら広義単調増加です。微分係数が接線の傾きを表していることを考えれば納得できる事実です。

• $y=f(x)$ が狭義単調増加なら $y=f(x)$ には逆関数が存在します。狭義単調増加なら単射だからです。→逆関数の３つの定義と使い分け

• 数列が上に有界で単調増加なら収束します。これは実数の公理の1つと考えることもできますし，定理と考えることもできます。例えば自然対数の底に収束することの証明に登場します。