「一様収束(5)」記事へのコメント

証明

[Quest of Math (20493)]

ノルム空間になることは、一様収束(4)で既に証明した。
したがって、ここではこの空間が完備であることを示せばよい。

C^{0}_{b}(D)の||・||_{D}に関する任意のCauchy列{fn}とする。

∀ε＞0,∃N, ∀n,m＞N ⇒ ||fn(x)-fm(x)||_{D} ＜ ε

よって、任意のy∈Dについて、

|fn(y) - fm(y)| ≦ ||fn(x)-fm(x)||_{D} ＜ ε

である。これより、{fn}はCauchy列である。
C^{0}_{b}(D)の任意の元はRへの写像で、かつRは完備であるので、
{fn}はあるfに収束する。よって、

∀ε1＞0,∃N, ∀n＞N ⇒ ||fn(x)-f(x)||_{D} ＜ ε1

このことから、任意のy∈Dについて、

||fn(y) -f(y)||_{D} → 0 (n→∞)

よって、連続関数列がある関数に一様収束するならば、
その収束先の関数も連続であるので、fは連続である。
したがって、(C^{0}_{b}(D),||・||_{D})はBanach空間である。