1 最大値定理の位置づけ
1.1 定理の基本趣旨
最大値定理（最大値・最小値の存在定理とも呼ばれる枠組み）は、実数値関数に対し、「ある領域で連続性などの条件を満たすなら、その領域上で最大値（および最小値）が実際に到達される」ことを保証する。ここでいう到達とは、関数が単に上から抑えられていることではなく、ある点でその上限の値をとることを意味する。
解析学では、極値の存在を確かめたり、関数の挙動を定性的に捉えたりする際の土台となる。特に最適化、近似評価、境界における議論の局面で、結論の「存在」を支える中心的な道具として位置づけられる。
1.2 関連する考え方との関係
最大値定理は、連続関数の性質として知られる幾つかの要点を束ねて理解できる。代表的には、上限（サプレマム）の考え方、完備性（実数の連続体としての性質）、そしてコンパクト性に基づく一般論がある。
とくに「上限は存在するが、それが実現されるか」という問いに対して、領域側の条件（閉性やコンパクト性）と関数側の条件（連続性）が組み合わさると、上限が実際の値として現れる、という回答を与える。これにより、極値探索の議論が「到達するはずの対象」を前提として組み立てられる。
1.3 最小値定理との対応
最大値定理と最小値定理は双対関係にある。関数が最大値をもつことが示せれば、関数に符号反転を施すことで最小値の存在へ移せる。実際、与えられた関数 \(f\) について \(-f\) に関する最大値の議論を行えば、元の関数 \(f\) の最小値の議論が得られる。
この対応のため、同じ条件のもとで最大値・最小値が同時に存在するという形で定式化されることが多い。以後の各章でも、両者を一体として扱う視点が反映される。
2 閉区間での最大値定理（一次元）
2.1 定理の主張
2.1.1 最大値と最小値の同時存在
実数直線上の閉区間 \([a,b]\] を考える。関数 \(f:[a,b]\to \mathbb{R}\) が \([a,b]\) 上で連続であるとする。このとき \(f\) は \([a,b]\) 上で最大値と最小値の双方をとる。すなわち、ある点 \(x_{\max},x_{\min}\in [a,b]\) が存在して \[ f(x_{\max})=\max_{x\in[a,b]} f(x),\quad f(x_{\min})=\min_{x\in[a,b]} f(x) \] が成り立つ。
直感的には、区間の端点まで含む「閉じた範囲」において連続であれば、関数はどこかで一番高く（あるいは低く）なる、という結論が確実になる。
2.2 前提条件の意味
2.2.1 連続性の役割
連続性は、極値が「飛び」や「穴」を通じて見失われるのを防ぐ条件である。連続でない場合、区間上で値が急に変化し、上限に近づいてもその値に到達しないことがありうる。するとサプレマムは存在しても、それが実現される保証が崩れる。
連続性はまた、近くの点で関数値が近いことを要求し、上限や下限に関係する点列の極限を扱うときに決定的な役割を果たす。極値を与える点の候補が境界や内部に現れるとしても、その候補点での関数値が期待通りに極限と一致することを支えるからである。
2.2.2 閉区間（有界性・端点）の役割
閉区間という前提は、領域側の条件として重要である。一次元の文脈では、閉区間は有界であることに加え、極限をとったときにその極限点が依然として領域内に留まる点（端点を含む完備性）をもつ。
対照的に、開区間では境界近傍で関数が上がり続け、最大値を取る点が領域の外に押し出される状況が起こりやすい。また無限区間のような有界でない場合も同様に、上限に達する前に値が発散方向へ進むことで最大値が存在しないことがある。
2.3 証明の典型方針
2.3.1 上限（サプレマム）を用いる証明
代表的な証明は、関数値集合の上限を出発点にする。\(f\) の像 \[ S=\{f(x)\mid x\in[a,b]\} \] を考え、これは連続性と閉区間の有界性から有界であるため上限をもつ。実数の性質により \(S\) の上限 \(M=\sup S\) は存在する。
次に \(M\) に限りなく近い値をとる点列を構成する。すなわち、各 \(n\) に対し \(f(x_n)>M-\frac{1}{n}\) となる \(x_n\in[a,b]\) を選ぶ。これにより \(f(x_n)\) は \(M\) に収束することが見込まれるが、次の段階では \(x_n\) の「極限点」が区間内にあることが必要となる。
閉区間では点列 \((x_n)\) に収束部分列が存在する（コンパクト性と同値な性質）。その部分列が \(x_{n_k}\to x_{\max}\in[a,b]\) に収束すれば、連続性より \(f(x_{n_k})\to f(x_{\max})\) が従う。右辺は \(M\) に一致するため、結局 \(f(x_{\max})=M\) が得られ、最大値の到達が示される。
2.3.2 最大値が達成される点の特定
証明の枠組みにおける「最大値を与える点」の特定は、具体的計算が可能な場合と不可能な場合が分かれる。一般論では、上記のように点列の収束極限として存在が保証されるため、点の明示的な式は必ずしも得られない。それでも \(x_{\max}\) は \([a,b]\) 内で最大を与えることが確立される。
関数がさらに微分可能な場合は、最大値が端点か停留点（導関数が 0 あるいは定義域内の特異点を除く範囲で）に現れる、という形で位置づけができる。つまり一般の存在論を、計算可能な候補集合へ落とし込むことで「どこで達成されるか」を追跡しやすくなる。この整理は最適化や変分における工程管理に相当する。
3 一般化：コンパクト性による最大値定理
3.1 コンパクト性の概念
コンパクト性は「極限や無限操作を扱っても領域が崩れない」という性質を抽象化した概念である。閉区間の事実が一次元の特殊形として現れているのに対し、一般化では領域を任意の位相空間として扱い、コンパクト性をその中心条件とする。
直観的には、コンパクト集合上の連続写像は、その像が「無限に散らばる」ことなく性質が保たれる。最大値定理の一般形は、この保たれ方を実数値で表したものと見なせる。具体的には、連続写像の像が到達性を持ち、極値の存在が保証される。
3.2 一般位相空間・ユークリッド空間での定式化
3.2.1 連続写像とコンパクト集合の像
位相空間 \(X\) のコンパクト部分集合 \(K\subset X\) と、位相空間 \(Y\) への連続写像 \(g:K\to Y\) を考える。ここで \(Y\) における適切な性質（実数体の場合には標準的な位相）があれば、像 \(g(K)\) はコンパクトである。特に \(Y=\mathbb{R}\) の場合、コンパクト集合は閉かつ有界であり、さらに連続関数の極値の議論へ接続できる。
最大値定理は、実数値の連続写像 \(f:K\to\mathbb{R}\) に対し、\(f(K)\) がコンパクトであることから上限・下限が閉集合内で実現される、という流れで導かれる。したがって「閉区間」から「コンパクト集合」へ置き換えても、最大・最小の到達が成立する。
3.3 閉集合・有界性との対応
ユークリッド空間では、コンパクト集合は一般に閉かつ有界で同値になる。このため、閉区間の最大値定理が、閉性と有界性の組合せによる極値到達の具体例であることが見える。
ただし一般位相空間では「閉かつ有界」という言い方だけでは十分でなく、コンパクト性そのものが適切な条件となる。したがって同値関係は空間の構造に依存し、最大値定理の一般化ではコンパクト性を主役として扱うのが整合的である。
4 応用と例
4.1 極値問題への利用
最大値定理は、極値探索における基本姿勢を与える。閉じた範囲で連続な関数は必ず最大・最小を持つため、極値が存在しないという事態は起こらない。よって微分や変数変換により候補点を抽出し、それらを比較することで解が得られる設計が可能になる。
また、最適化問題では「目的関数がある性能を最大化する」という言明が多いが、その最適解が単に上限に近いだけで達成されない可能性がある。最大値定理は、閉じた領域で連続性が確保されると、その懸念を取り除く点で実務的な価値がある。
4.2 境界値の評価・推定
境界値の評価では、領域の内部だけでなく端点や境界上の値が重要になる。閉区間の最大値定理では、最大値が端点に出る可能性も含めて結論が保証される。これにより、例えば連続関数の値の範囲を見積もる際に、境界の評価だけで十分な情報が得られる場合がある。
一般化した形でも同様で、コンパクトな領域では境界の概念を持たない場合でも「極値がどこかで実現される」ことが支えとなる。推定の信頼性は、その領域がコンパクトであるかどうかに強く依存する。
4.3 微分の手法との接続
4.3.1 極大・極小と最大値の整合
微分可能な関数では、局所的な極大・極小（導関数に基づく条件）と、領域全体での最大値・最小値（大域的条件）は一致するとは限らない。ただし最大値定理が存在を保証することで、大域的極値は「端点」または「停留点」へ落ち込むという整理ができる。
この整理により、解析学の手法は二段構えになる。第一に最大・最小が必ず存在するという存在論的結論を置き、第二に停留点や端点を有限個の候補として計算し比較する。この流れは、微分積分の標準的な最適化プロセスとして学習・応用される。
4.4 具体例（多項式・有理関数・連続関数）
多項式関数 \(p(x)\) は実数全体で連続である。したがって任意の閉区間 \([a,b]\) において \(p\) は最大値と最小値を必ずとる。さらに \(p'(x)=0\) の解と端点を調べれば、大域的極値の値が求まる場合が多い。
有理関数 \(r(x)=\frac{P(x)}{Q(x)}\) も、分母が 0 にならない区間では連続になる。よって、\([a,b]\) の内部で \(Q(x)\neq 0\) が保たれる状況では最大値定理の適用対象となり、端点も含めて極値が存在する。
より一般の連続関数でも同様で、例えば区分的に定義された形であっても「閉区間で連続」となっていれば最大値が到達する。これらの例は、関数を個別に複雑化しても、領域が閉で連続性が担保される限り「極値が見つかる」ことを統一的に説明する。