単調写像

単調写像（たんちょうしゃぞう、）または単調関数（たんちょうかんすう、）は、単調性、すなわち順序集合の間の写像が順序を保つような性質を持つ写像のことである。具体的な例としては以下の増加関数および減少関数がある。
増加（ぞうか、 ）または単調増加(たんちょうぞうか、)とは、狭義には実数の値を持つ関数 が、 が大きくなるつれて常に関数値 が大きくなることをいい、このような性質を持つ関数を増加関数（ぞうかかんすう、 ）または単調増加関数 (たんちょうぞうかかんすう、)と呼ぶ。
同様に、引数 が大きくなるにつれて関数値 が常に小さくなることを減少（げんしょう、 ）または単調減少 (たんちょうげんしょう、)といい、そのような性質を持つ関数を減少関数（げんしょうかんすう、 ）または単調減少関数 (たんちょうげんしょうかんすう、)と呼ぶ。ある関数が増加または減少する性質をまとめて単調性（たんちょうせい、）と呼ぶ。単調性を満たす写像を単調写像と呼ぶ。
連続な増加関数 を縦軸、その引数 を横軸にとったグラフ上の曲線は常に右上りで、右下がりになっている部分がない。逆に減少関数の場合には、常に右下がりであり右上がりの部分がない。
単調性.
広義と狭義.
実数から実数への関数 formula_1 が
をみたすとき、formula_1 は広義増加（こうぎぞうか）するという。広義増加のことを非減少 (ひげんしょう、)と呼ぶこともある。
また、
をみたすとき、formula_1 は狭義増加 (きょうぎぞうか、) するという。
formula_9 と formula_10 の間の不等号の向きを逆にすることで広義減少および狭義減少の定義が得られる。広義減少のことを非増加 (ひぞうか、)と呼ぶこともある。
文脈によって明らかなときは広義や狭義を省略することも多い。
順序集合.
上記の単調性の定義は定義域と値域が実数全体の集合でなくても(半)順序集合一般で意味を持つ。この場合、増加する写像は順序を保つ写像 () であると言い替える事ができ、減少する写像は順序を逆にする写像 () であると言い替える事ができる。
有界.
単調性は有界性と併せて使われることが多い。つまり、つねに上限を持つ順序集合への単調写像 formula_1 が上に有界であるとき、列 formula_12 に対して formula_13 は上限を持つ。このことから上に有界な増加実数列は常に収束し、自然数上の再帰関数は必ず不動点を持つ(領域理論)。
実関数での単調性.
部分集合 formula_14 で定義された関数 formula_9 を考える。
等号の成り立つ場合の扱いは書籍によりさまざまで、統一が取れていない。
特に、定義域全体で増加/減少である関数を、増加関数/減少関数という。増加関数と減少関数をまとめて単調関数という。
関数formula_9が常に可微分な場合、単調性の概念はformula_9の導関数formula_18によって特徴づける事ができる。
formula_9が広義増加になるのはformula_18が常に非負な事と同値であり、formula_9が広義減少になるのはformula_18が常に非正な事と同値である。
更にformula_18の零点が存在しない場合、狭義の単調性が言える。
実数列での単調性.
実数に値を取る数列は、自然数の集合(全順序集合である)から実数の集合への写像であると解釈できる。
その写像が単調なとき、その数列は単調数列と呼ばれる。
実数列 formula_24 を考える。（formula_25はformula_26でも構わない）
関数の場合と同様、等号の成り立つ場合の扱いは書籍によりさまざまで、統一が取れていない。
特に、定義域全体で増加/減少である数列を、増加数列/減少数列または増加列/減少列という。増加数列と減少数列をまとめて単調数列という。