連続有界関数

1 連続有界関数の基本概念

連続有界関数とは、与えられた実数値関数について、まず連続性が成立し、さらに値が有限の範囲に収まる状況をまとめて指す用語である。解析学では、連続性が極限操作の整合性を保証し、有界性が大きさの制御を与えるため、議論の安定性が増す。特に、区間・領域の上で関数のふるまいを見通す際の基本要件として扱われる。

1.1 連続性の定義と直観

連続性は「入力が少し動けば、出力も少ししか変わらない」という直観に対応する。厳密には、点における極限が関数値に一致する性質として記述される。これにより、極限計算の結果が関数そのものと矛盾しないことが保証される。

1.1.1 ε-δ論法による連続性

実数直線上で関数 \(f\) が点 \(x_0\) で連続であるとは、任意の正数 \(\varepsilon\) に対して、ある正数 \(\delta\) が存在し、条件 \(	x-x_0	<\delta\) を満たす任意の \(x\) に対して \(	f(x)-f(x_0)	&lt;\varepsilon\) が成り立つことをいう。これにより「十分小さい変化が出力の任意の精度を実現する」ことが形式化される。

1.1.2 極限・連続・写像の関係

連続性は、極限との整合条件として理解できる。すなわち、\(x\) が \(x_0\) に近づくときの \(f(x)\) の極限が \(f(x_0)\) に等しいなら、入力の極限が出力の極限へそのまま受け継がれる。写像の観点では、連続写像は位相的に「近さ」を壊さない作用として捉えられる。区間の上の連続関数は、位相の言葉では連続写像の典型例である。

1.2 有界性の定義と直観

有界性は「関数値が無限に大きく（または小さく）ならない」という制御条件である。連続性が局所的な変化の安定性を与えるのに対し、有界性は全体としての大きさが有限内に保たれることを保証する。

1.2.1 上有界・下有界と有界の同値条件

実数値関数 \(f\) が集合 \(D\) 上で上有界とは、ある実数 \(M\) が存在して任意の \(x\in D\) に対し \(f(x)\le M\) が成り立つことを指す。下有界も同様に、ある \(m\) が存在して \(f(x)\ge m\) が成立することをいう。これらを併せると有界性が得られ、ある \(m,M\) があって \(m\le f(x)\le M\) が全ての点で成立する状態に相当する。さらに、絶対値での条件 \(	f(x)	\le K\) に言い換えられることが多く、これは実数の枠内で上・下の両側制御が同値になるためである。

1.2.2 有界性の幾何学的理解

幾何学的には、グラフが有限の高さに押し込まれている様子として捉えられる。ある区間上の連続関数を描くとき、縦方向の距離が無限に伸びず、視覚的にも上下に挟まれた帯の中に収まる状態が有界性である。逆に、縦方向に発散するグラフは有界ではない。

1.3 連続と有界が同時に成り立つ状況

連続性と有界性が同時に成立するかどうかは、主に定義域がどの程度「狭いか」に依存する。特に、適切なコンパクト性を持つ集合上では、連続性が自動的に極値の存在へつながり、有界性も同時に保証される。

1.3.1 有界性が自動的に従う典型例

閉区間 \([a,b]\) 上の連続関数は有界である。これは、連続関数がその値を最大・最小へ到達させる性質を持つためである。実際、極値が実数として存在すれば、それらの間に全ての関数値が収まるため、上限と下限がともに有限となり有界性が従う。

1.3.2 有界性が失われる代表的な失敗例

定義域が非コンパクトになると、連続性だけでは有界性は保証されない。例えば開区間 \((a,b)\) 上では、端点に向かう挙動が境界点での発散として現れ得る。あるいは有理関数のように、分母が零へ近づくために関数値が大きくなる場合がある。連続であっても、どこかで高さが無限へ伸びる可能性が残る点が失敗の本質である。

2 代表的な定理と性質

連続有界という組合せは、極値・積分・収束など多方面で基本的な役割を果たす。ここでは特に、コンパクト性、ノルム評価、極限操作との関係といった「計算や推論を進めるための道具」に焦点を当てる。

2.1 コンパクト集合上での性質

コンパクト性は、連続関数のふるまいを制限し、極値や有界性を保証する中心概念である。閉区間はその代表例であり、解析の多くの定理がその一般化として理解できる。

2.1.1 連続関数の最大値・最小値の定理

コンパクト集合 \(K\) 上で連続な実数値関数は、最大値および最小値を達成する。つまり、ある点 \(x_{\max},x_{\min}\in K\) が存在して \(f(x_{\max})=\max_{x\in K} f(x)\)、\(f(x_{\min})=\min_{x\in K} f(x)\) が成り立つ。極値が「存在するだけでなく、どこかの点で実際に起きる」ことが重要である。

2.1.1.1 ヒント：到達性と極値の存在

到達性は、単なる上限・下限の議論から一歩進んで、極値を与える点が集合の内部に見つかるという主張である。解析的には、開被覆と有限部分被覆の考え方、あるいは極大列の抽出による極値の実現に結びつけて示されることが多い。結果として、有界性も同時に得られる。

2.1.2 コンパクト性と有界性の結びつき

最大・最小の存在から直ちに、有界性が導かれる。なぜなら、全ての関数値は最小値と最大値の間に挟まれるからである。したがって「連続＋コンパクトな定義域」では「連続＋有界」が確定的になる。この対応は、後の関数空間や収束理論でも、しばしば裏付けとして用いられる。

2.2 有界性に関する不等式評価

有界性は不等式として扱うと扱いやすくなる。特にノルム（上限の大きさ）を導入すると、加法・スカラー倍といった操作に対して安定な評価が得られる。

2.2.1 関数のノルム（上限ノルム）と評価

有界な関数 \(f\) に対し上限ノルムを \(\|f\|_\infty=\sup_{x\in D}	f(x)	\) と定義する。すると \(	f(x)	\le \|f\|_\infty\) が全点で成立し、関数の最大振れ幅がこの量で統一的に表される。評価や見積もりは、このノルムの性質を通じて計算できるようになる。

2.2.2 線形性・和積に関する安定性

上限ノルムは線形的な操作に対して素直に振る舞う。例えば \(\|f+g\|_\infty\le \|f\|_\infty+\|g\|_\infty\) が成り立ち、スカラー倍に対しては \(\|\alpha f\|_\infty=	\alpha	\|f\|_\infty\) となる。さらに積についても、少なくとも有界な関数同士であれば \(\|fg\|_\infty\le \|f\|_\infty\|g\|_\infty\) のような評価が得られ、代数的な操作の後も有界性が維持される。

2.3 極限操作と有界性

極限は解析の中心操作であるが、形式的な極限を取るだけでは有界性が壊れたり、扱いが難しくなることがある。どの収束様式を用いるかが鍵となる。

2.3.1 一様収束と有界性の保持

一様収束では、収束の速さが定義域全体で一様に制御されるため、有界性の保持が起こりやすい。具体的には、\(f_n\) がある関数 \(f\) に一様収束し、さらに各 \(f_n\) が一様に有界、または少なくともある時点以降の関数列が有界であれば、極限関数 \(f\) も有界になる。直観的には「どこでも急に暴れない」性質が、極限先にも引き継がれる。

2.3.2 有界収束や優位収束との違い

「有界収束」「優位収束」などの用語は、極限に関する別の条件を含む。前者は主に関数列の値の振る舞いに焦点があるのに対し、後者は測度論的な積分の交換に関わる条件（優位する可積分な支配関数の存在など）を含む。目的が積分値の極限と交換できるかどうかにある場合、ただ有界であることだけでは足りないことが多い。どの収束概念を用いるかで、結論の強さが変わる点に注意が必要である。

3 関数空間としての観点

連続有界という性質は、関数を点としてではなく集合として扱う際に特に意味を持つ。具体的には、距離や完備性の議論が可能になるよう、適切な位相（たとえば上限ノルムに由来する位相）が導入される。

3.1 有界連続関数の空間

有界連続関数全体は、ノルム空間や距離空間として整理できる。ここでの見方により、収束の概念が統一され、定理の適用範囲が明確になる。

3.1.1 有界連続関数全体の集合

定義域 \(D\) 上で連続かつ有界な関数全体の集合を \(C_b(D)\) のように表すことがある。ここで重要なのは、「連続」は局所的性質、「有界」は大域的な制御である点で、両者を同時に要請することで扱える対象が限定される。特に非コンパクトな \(D\) でも、この集合は定義できる。

3.1.2 上限ノルムによる位相・距離

\(C_b(D)\) では上限ノルム \(\|f\|_\infty\) を用いて距離 \(\rho(f,g)=\|f-g\|_\infty\) を与えられる。これにより、収束は「関数の値の最大差が小さくなる」形で判定できる。一様収束はまさにこの距離に関する収束と整合するため、位相と解析の操作が結びつく。

3.2 一様収束と完備性

一様収束を基準にしたとき、空間が「極限で閉じているか」を問うことが重要になる。完備性は、極限を内部に保つかどうかを示す性質である。

3.2.1 収束様式と極限関数の性質

一様収束する関数列では、極限関数が連続であることが保証される場合がある。典型的には、各 \(f_n\) が連続で、かつ一様収束なら極限 \(f\) も連続になる。さらに有界性も、一様収束に適した条件の下で保たれ、上限ノルムでの収束として整理できる。

3.2.2 有界連続関数空間の完備性

上限ノルムによる距離空間として見ると、適切な定義域のもとで \(C_b(D)\) は完備となることがある。完備性があると、Cauchy列の極限が空間内に存在し、解析的な極限操作が「途中で対象の外へ出ない」ことを意味する。これにより、近似による議論や固定点の構成などが信頼できる基盤の上で行える。

3.3 関連する関数空間との比較

連続性・有界性・可積分性といった性質は、それぞれ異なる空間で体系化される。比較することで、同じ結論が別条件で成り立つのか、あるいは条件が本質的に違うのかが分かる。

3.3.1 一様連続関数との関係

一様連続性は「全域で同じ精度管理が可能」という点で、連続性より強い概念である。コンパクト集合では、連続性は自動的に一様連続性へ高められる。一方で非コンパクト領域では、連続でも一様連続にならない例が存在する。したがって「連続＋有界」と「一様連続」や「連続」の関係は、定義域の性質により変化する。

3.3.2 可積分性や連続性の階層関係

可積分性は測度に依存する条件で、連続性や有界性とは論理関係が一様ではない。例えば連続で有界な関数は、有限測度の領域では可積分になりやすいが、無限測度の場合には状況が変わる。さらに可積分性のみに基づく極限交換には、支配条件や近似の手順が必要になることがあるため、階層は単純な包含関係にはならない場合が多い。

4 例・反例・注意点

ここでは条件の効き方を明確にするため、典型例と反例を対比し、最後に混同しやすい点を整理する。特に「連続」と「有界」を別々に検証する視点が重要になる。

4.1 典型例（どの条件が効いているか）

条件が満たされると何が自動的に得られるのかを、少数の代表例で確認する。

4.1.1 有限区間上の連続関数

関数が \([a,b]\) 上で連続なら、極値の存在により有界性が従う。したがって、この状況では「連続有界」という性質が確実に成り立ち、上限ノルムも有限値で定義できる。さらに、積分や近似で必要となる見積もりも容易になる。

4.1.2 押し込みや推定での有界性確認

実務的には、関数を簡単な式で挟み込むことで有界性を確認することが多い。例えば分子と分母の次数比較、あるいは既知の有界関数同士の加減乗による評価で、上限ノルムを見積もる。連続性がすでに確認できている場合、あとは挟み込みや不等式評価で値域が有限に抑えられるかを検討する。

4.2 反例（連続でも有界でない）

条件が一つでも欠けると結論が崩れることがある。反例は「どこが本質か」を示す。

4.2.1 定義域が非コンパクトな場合

例えば \(f(x)=x\) を \(\mathbb{R}\) 上で考えると、関数は連続だが有界ではない。値は \(x\) とともに無限大へ伸びるためである。閉区間に制限すれば有界になるが、定義域全体では同じ主張が成り立たない。

4.2.2 発散・極のある関数の例

開区間 \((0,1)\) 上で \(f(x)=1/x\) を考えると、点 \(x\) はどこまでも近づけるが、\(x\to 0\) の方向で値が無限に増大する。定義域上の各点では連続でも、境界点に相当する部分で発散が起きるため、有界性は成立しない。この種の例は、極を持つ関数が非コンパクト性や境界近傍で問題を生じさせることを示す。

4.3 解析上の落とし穴

最後に、現場で混同が起こりやすい論点を明確化する。形式的な条件の切り分けが、誤った推論を防ぐ。

4.3.1 定義域変更による性質の変化

同じ関数でも定義域を変えると、連続性の判定点や有界性の可否が変わる。例えば閉区間へ制限すれば有界性が得られても、開区間のままだと発散が残ることがある。さらに、連続性自体も定義域の端点の扱いで状況が変化するため、定義域を固定せずに議論すると誤解が生じやすい。

4.3.2 「局所的に有界」と「全体的に有界」の混同

局所的に有界とは、各点の近傍で値が有限に抑えられるという意味合いで使われることがある。一方、全体的に有界は定義域全体で一つの有限上限（あるいは絶対値の上限）が存在することを要求する。後者はより強く、局所的条件だけでは大域的な発散を排除できないため、同一視すると誤りにつながる。