📂距離空間

距離空間におけるコンパクト性の条件の重要性

概要

解析学の多くの定理では、コンパクトを必要条件として要求している（参考1, 参考2, 参考3, 参考4）。証明過程でコンパクトであるという仮定を使うから、「コンパクトなら大丈夫」と自然に受け入れるだろうけど、「コンパクトでないならダメだ」というのには疑問を持つかもしれない。もしコンパクトである条件がなかったら、以下のような良くない状況が起こり得る。

定理¹

$E\subset \mathbb{R}$がコンパクトでない集合だとする。その場合、

(a) $E$で定義された有界でない連続関数が存在する。

(b) $E$で定義された連続で有界だが最大値を持たない関数が存在する。

(c) ここで$E$が有界であるという条件が追加されたとしよう。すると$E$で定義された連続だが一様連続でない関数が存在する。

---

(a), (b), (c)はそれぞれ’コンパクト距離空間での連続関数は有界’、’最大最小定理’、’コンパクト距離空間での連続関数は一様連続’が成り立つためにはコンパクトである必要があることを示している。

証明

(c)

$\mathbb{R}$でのコンパクトの同値条件は閉じており有界であることである。従って、$E$が単に有界だと仮定してみよう。それでは、閉じていないために、$E$に含まれない$E$の集積点が存在する。この点を$x_{0}$としよう。そして、以下のような関数を考える。

$$f(x)=\frac{1}{x-x_{0}}\quad (x \in E)$$

分子も分母も連続関数であるため、$f$も$E$での連続関数である。 明らかに、$f$は有界ではない。さらに、任意の2つの正数$\varepsilon$、$\delta$に対して、以下の式を満たす$x \in E$を考える。

$$\left|x-x_{0} \right|< \delta \implies \left|f(x)-f(x_{0}) \right|<\varepsilon$$

しかし、$t$を$x_{0}$に十分近く選ぶことで、関数値の差が以下のように$\varepsilon$よりも大きくなることができる。

$$\left|t-x_{0} \right|<\delta \implies \left|f(t)-f(x_{0}) \right|>\varepsilon$$

したがって、$f$は一様連続ではない。

■

(a)

上で使用した記法をそのまま持ってきて、以下のような関数を考える。

$$g(x)=\frac{1}{1+(x-x_{0})^{2}}\quad (x\in E)$$

すると、$g$はまだ$E$で連続であり、$0<g(x)<1$であるために有界である。しかし、

$$\sup \limits_{x\in E}g(x)=1$$

であり、$g(x)<1$であるために、$g$は$E$で最大値を持てない。したがって、$E$が有界であるという条件だけでは不十分であることがわかる。これは$E$が有界である条件で示されたことだ。$E$が有界ですらないと仮定してみよう。すると、

$$f(x)=x$$

は連続でありながら有界でない関数である。

■

(b)

以下を考えてみよう。

$$h(x)=\frac{x^{2}}{1+x^{2}} \quad (x\in E)$$

すると、それは$E$で連続である。

$$\sup \limits_{x\in E}h(x)=1$$

全ての$x\in E$に対して$h(x) <1$であるため、$h$は連続で有界だが最大値を持たない関数である。

■