1 単調増加性の基本概念
1.1 単調増加性の定義（区間・集合上）
単調増加性とは、ある入力（または添字）を大きくする方向に対応して、出力がそれ以上に増え続けるという振る舞いを指す。連続量では通常、実数直線上の区間や、順序構造をもつ集合に定められた関数について「区間内の2点を比べたとき、後ろの点の値が前の点の値より小さくならない」ことを要求する。離散量では、添字が進むほど値が下がらないこととして定式化される。
形式的には、順序が入った集合 \(D\) 上の関数 \(f\) に対し、任意の \(x,y\in D\) で \(x\le y\) ならば \(f(x)\le f(y)\) が成り立つとき、\(f\) はその集合上で単調増加であるという。区間上では「任意の点の組」について同様の比較を行うため、端点を含むか否かにより定義領域の範囲が変わる。例として、開区間で単調性を示しても、端点での値や振る舞いは別途扱う必要がある。
1.2 厳密な単調増加と広義の単調増加
単調増加には二種類のよく使われる概念がある。広義の単調増加では \(x<y\) のときでも \(f(x)=f(y)\) が許される。言い換えると、値は減少しないが、一定区間で停滞する可能性がある。
一方、厳密な単調増加では \(x<y\) なら必ず \(f(x)<f(y)\) が要求される。したがって値の停滞が起こらず、入力の増加に対応して出力は必ず上昇する。この差は多くの性質に影響する。たとえば、逆関数の存在や一対一性の議論では、厳密性が必要になることが多い。
1.3 単調増加性と単調性（減少性との対比）
単調性は「増加または減少のどちらか一方の方向にのみ振れる」性質として扱われることがある。減少性とは、\(x\le y\) なら \(f(x)\ge f(y)\) の形で値が下がり続けることをいう。増加性と減少性は対称的な概念であり、関数を符号反転したり、入力を反転したりすることで性質が対応することがある。
また、増加性・減少性の区別は、比較に用いる順序の向きに直結する。区間の向きや座標の取り方を変えると、同じ図形的変化でも単調増加か減少かが入れ替わる場合があるため、定義を適用する際には「どの順序で比較しているか」を意識することが重要である。
2 数列における単調増加性
2.1 単調増加数列の定義
数列 \((a_n)\) に対しては、添字が進むにつれて値が下がらないことを単調増加と呼ぶ。すなわち、任意の \(n\) について \(a_{n+1}\ge a_n\) が成り立てば単調増加数列である。広義の単調増加に対応するため、等号は許容される。
厳密な単調増加の場合は \(a_{n+1}>a_n\) を要求する。数列では区間の代わりに添字の順序が用いられるため、定義は比較の対象が隣接項に限定される点が特徴である。以後の議論では、広義・厳密のどちらを採用しているかを明確にすることで、結論の強さが適切に決まる。
2.2 有界性と収束（単調収束定理）
単調性は収束と強く結びつく。特に実数において、単調増加でかつ上に有界な数列は収束する。これは単調収束定理として知られ、単調増加の「下方向に落ち込まない」構造と、「上に際限なく伸びない」制約が極限の存在を保証する。
直観的には、値の集まりが上から抑えられているため、これ以上高くならない境界値が生じる。その境界値が実数として極限になる。単調減少の場合は下に有界であれば同様に収束が導かれる。厳密さ（常に増えるかどうか）は収束の成否には関与しにくいが、極限周りの性質や増加度合いの評価には影響する。
2.3 増加度合いの比較（差分・隣接項の関係）
2.3.1 差分が非負であることの意味
単調増加数列を「増加度合い」という観点で表すと、隣接差分 \(\Delta a_n=a_{n+1}-a_n\) が非負になることと同値である。すなわち \(\Delta a_n\ge 0\) は、次の項が前の項を下回らないという定義そのものを差分で言い換えた表現になる。
差分がどの程度大きいか、またはどれほど小さくなるかは、極限への近づき方に関係する。差分が一様に下から正である場合には強い増加性が得られ、逆に差分が0に近づく場合には極限近傍での変化が緩やかになる。したがって、単調性の有無だけでなく差分の挙動を調べると、収束速度や近似誤差の見積もりに役立つ。
3 関数における単調増加性
3.1 区間上の単調増加関数の判定
関数 \(f\) が区間上で単調増加であるとは、区間内の任意の \(x<y\) に対し \(f(x)\le f(y)\) が成立することを意味する。判定では、まず定義域（区間の種類や端点の扱い）を確定し、その範囲で比較を行う。
実務上は、次のような方向性で判定が行われることが多い。第一に、明示的な式変形により比較を直接確かめる方法。第二に、関数の構造（例えば多項式、分数式、対数・指数関数など）に基づき、既知の単調性を利用して組み立てる方法。第三に、微分を用いて導関数の符号から判断する方法（後の章で扱う）。どの手法を選ぶにせよ、単調性は「区間全体での条件」であるため、一点だけ満たす議論では不十分である。
3.2 関数の合成と単調性の保存
単調性は合成によって保存される場合がある。たとえば、単調増加な関数 \(f\) と、同様に単調増加な関数 \(g\) を合成して \(h(x)=f(g(x))\) を考えると、適切な定義域の範囲で \(h\) も単調増加になる。これは、入力の順序がまず \(g\) により保たれ、その結果がさらに \(f\) によって順序のまま比較されるからである。
一方で、合成の際に片方が単調減少であると、順序が反転し、全体の単調性の向きが変化することがある。さらに、合成可能性には値域の整合も必要であり、定義域の切り方が結論に影響する。したがって「増加・減少の向き」と「取りうる値の範囲」を同時に確認することが重要である。
3.3 逆関数・切片の性質と単調性
3.3.1 単調性から導かれる一対一性
厳密な単調増加は、関数が異なる入力に対して異なる出力を返すという一対一性（injective）を導く。つまり \(x_1\ne x_2\) なら \(f(x_1)\ne f(x_2)\) が成り立つ。これは、厳密単調増加の定義 \(x<y\Rightarrow f(x)<f(y)\) を利用すると直接示せる。
この一対一性は逆関数の定義に関わる。逆関数を考える際には、元の関数が同じ値を複数の入力で取り得ないことが基本条件になるため、厳密な単調性が重要になる。広義の単調増加では一定値を取る区間があり得るため、逆関数を同じ一意性の意味で定義できないことがある。さらに、切片（水平な線分）との交点の数や、グラフの形状理解にもこの区別が反映される。
4 微分・積分を用いた判定
4.1 導関数による単調増加性の基準
4.1.1 導関数が非負のときの結論
微分可能な関数に対しては、導関数の符号が単調性を決める重要な基準になる。標準的な主張として、区間上で導関数が非負である（少なくともほぼいたる所で）なら、その関数は広義に単調増加になる。導関数が正なら厳密な増加に結びつく、という形で理解されることが多い。
この理由は、導関数が局所的な変化率を表すためである。ある点での傾きが負であれば、その近傍では値が下がる方向の成分が含まれるが、傾きが常に非負なら、入力増加に伴う下降は起こらない。厳密性の議論では「導関数が正であることがどの程度の範囲で成り立つか」も関わり、零点がどれほど広い領域にわたるかで結論の強さが変わる。
4.2 勾配（傾き）と単調性の幾何学的解釈
幾何学的には、グラフの傾きが基準になる。単調増加は「右へ進むほど高さが下がらない」性質なので、見た目にはグラフが右上がりの傾向を保つことに対応する。ただし、グラフが水平になったり、局所的に傾きが0になる点があったりしても、値が減らなければ広義の単調増加として許容される。
このため、微分可能性がある場合には「接線の傾き」の符号がそのまま単調性に対応する。接線が常に地面に対して上向き、あるいは平行であれば、曲線が高さ方向で下がることがない。曲線の滑らかさ（連続性や微分可能性）によって、局所情報から大域的な単調性を判断できる度合いが異なる。
4.3 帰結：連続性・可積性・極限操作との関係
単調性は連続性や可積性の議論に頻繁に登場する。単調関数は必ずしも連続であるとは限らないが、ジャンプのような不連続を持ち得る一方で、局所的な異常が制限されるため解析上の扱いやすさがある。たとえば、単調性により左右極限が整合的に存在し、境界付近の評価が容易になることがある。
可積性については、単調性があることで測度論的な複雑さが減り、通常のリーマン可積性に関する判定が進む場合がある。さらに、極限操作との関係として、単調収束定理を用いると、近似列の極限が保たれる状況を確立できる。これにより、極限を先に計算できるのか、関数列の収束と積分・評価をどの順序で行うべきかという判断が体系化される。
5 応用と関連する注意点
5.1 不連続点を含む場合の扱い
単調増加関数は、不連続点を持ち得る。典型的には、有限なジャンプを伴う点があっても単調性は破れない。したがって「連続であること」と「単調であること」は同一ではない。
不連続点の扱いでは、左極限・右極限の存在や、それらが関数値とどう関係するかが重要になる。単調性によって値の大小関係が制約されるため、ジャンプの方向は一貫したものになりやすい。解析では、こうした点での定義の取り方（値をどちらの極限に合わせるか）に注意し、議論が区間全体で成り立つ形に整理する必要がある。
5.2 一様収束・点wise収束と単調性
列 \((f_n)\) が点wise収束する場合でも、極限関数に単調性が引き継がれるかどうかは条件に依存する。一般に、各 \(f_n\) が単調増加であっても、単に点ごとの極限を考えるだけでは極限関数の振る舞いが思った通りにならない可能性がある。
一方で、追加の仮定（例えば単調性が有界性と組み合わされる、あるいは単調性の形が極限と整合的に作用する状況）では、極限が単調性を保持する。さらに一様収束があると、連続性や誤差評価の観点で制御が強くなり、単調性を含む性質を扱いやすい。したがって、どの収束概念を用いているかを明示し、それに応じた結論の範囲を定めることが不可欠である。
5.3 多変数への拡張（座標ごとの単調性の考え方）
5.3.1 多変数での「単調」の意味の違い
多変数関数では「単調」が一通りに定まらない。典型的には、各座標に関して独立に増加・減少する性質を考え、たとえば \(x_i\) を固定したまま \(x_j\) だけを増やしたとき値が下がらない、という座標ごとの単調性が導入されることが多い。これは順序を各軸方向に分解して扱うため、実装や解析で扱いやすい。
一方で、ベクトルの比較に基づくより強い概念もある。たとえば成分ごとの大小関係が満たされる場合に関数値の大小も追従する、という定義では、単調性は幾何学的に異なる挙動を許す。さらに方向（特定の直線や曲線方向）に沿った単調性を考える場合もあり、どのタイプの比較を採用するかで性質が変わる。したがって、多変数の文脈では「何に関して増加とみなすか」を定義の段階で明確にする必要がある。