# Arzelà–Ascoli と Stone–Weierstrass：連続関数の空間のコンパクト性と稠密性 > コンパクト距離空間上の連続関数の族が相対コンパクトになる条件（Arzelà–Ascoli）と、部分環が連続関数全体で稠密になる条件（Stone–Weierstrass、実・複素）を証明し、Weierstrass の多項式近似定理を導く。 > https://rikai.mugen-giken.com/mathematics/real-analysis/arzela-ascoli-stone-weierstrass ## 0. この記事の要点 この記事は、関数をたくさん並べたとき、その中から「うまく収束していく列」を取り出せるのはどんなときか、という問いと、どんな連続関数でも多項式のような素直な関数でいくらでも近づけられるのはなぜか、という問いを扱います。前者は、関数の値のふれ幅を全体でそろえて抑えられれば取り出せる、という形で答えが出ます。後者は、足し算・掛け算で閉じていて点を見分けられる関数の集まりなら近づけられる、という形で答えが出ます。読み終えると、この二つの定理の主張と、使いどころの見当がつきます。 - 無限次元の空間では、有界な点列が収束する部分列をもつとは限りません。連続関数の空間 $C(K)$（一様ノルム）でもそうです。**Arzelà–Ascoli の定理**は、$K$ がコンパクト距離空間のとき、$C(K)$ の部分集合が相対コンパクト（閉包がコンパクト）であることは「一様有界かつ同程度連続」と同値であると主張します。 - 同程度連続性は、一様連続性の $\delta$ を族全体で共通にとれるという条件です。これが「関数全体が有限個の情報で制御できる」ことの正体で、証明は[全有界](/mathematics/real-analysis/metric-spaces#def-compactness-metric)性に帰着します。 - **Stone–Weierstrass の定理**は、コンパクト Hausdorff 空間 $K$ 上で、定数を含み点を分離する $C(K)$ の部分環（和・積・定数倍で閉じた関数の集まり）は一様ノルムで稠密（どれだけ小さな誤差でも近づける）だと主張します。必要な道具は、絶対値関数 $|t|$ を多項式で一様近似できること（これは平方根の逐次近似とディニの定理で示します）だけです。 - 複素数値の場合は、複素共役で閉じていることが追加で必要です。単位円周上の $z$ の多項式が稠密でない例で、この条件が外せないことを確かめます。 - 帰結として **Weierstrass の多項式近似定理**（閉区間上の連続関数は多項式で一様近似できる）、三角多項式の稠密性、モーメントによる関数の決定が得られます。Arzelà–Ascoli は積分作用素のコンパクト性に、Stone–Weierstrass はコンパクト作用素や群の表現論の基本定理に使われます。 ## 1. 動機 — 連続関数の空間で「収束部分列」を探す [距離空間](/mathematics/real-analysis/metric-spaces) の により、距離空間では「完備かつ全有界」がコンパクトの条件でした。有限次元のベクトル空間では有界閉集合がこれを満たしましたが、関数の空間はちがいます。たとえば $[0,1]$ 上の連続関数の列 $f_n(x) = x^n$ は、$|f_n| \le 1$ と一様に有界ですが、一様ノルムで収束する部分列をもちません。どの部分列も $x < 1$ で $0$ に、$x = 1$ で $1$ に各点収束するので、収束するとしても極限は不連続関数であり、 により一様収束できないからです。 では、どんな条件を追加すれば、一様有界な関数列から一様収束する部分列を取り出せるでしょうか。$f_n(x) = x^n$ が失敗する理由は、$x = 1$ の近くで $f_n$ の傾きがいくらでも大きくなることです。「$|x - y| < \delta$ ならば $|f(x) - f(y)| < \varepsilon$」の $\delta$ を、$f_n$ によらずに選べないのです。この観察が同程度連続性の動機です。**Arzelà–Ascoli の定理**はこの直観の定式化で、微分方程式の解の存在証明（解の近似列から収束部分列を取る）や、積分作用素がコンパクトであることの証明に使われます。 第二の問いは逆向きの近似です。[関数列と一様収束](/mathematics/real-analysis/uniform-convergence) で、ワイエルシュトラスの M 判定法から、連続だがどこでも微分できない関数 が現れました。それほど乱れた連続関数でさえ、多項式（無限回微分可能な、最も素直な関数）で一様に近似できる、というのが **Weierstrass の近似定理**です。**Stone–Weierstrass の定理**は、多項式の代わりに「環の構造をもつ関数族」であれば同様の結論が成り立つことを示します。以下、この二つを、距離空間の道具だけで証明します。 ## 2. 準備 — 連続関数の空間 $C(K)$ $K$ をコンパクト Hausdorff 空間（[コンパクト性](/mathematics/topology/compactness) の と を参照）とします。この記事で扱う $K$ は、コンパクト距離空間（距離空間は Hausdorff）か、有界閉区間・コンパクトな $\mathbb{R}^n$ の部分集合です。$C(K)$ で実数値連続関数全体を表し、複素数値のときは $C(K; \mathbb{C})$ と書きます。 連続関数のコンパクト集合上の像はコンパクトだから有界であり（）、 $$ \|f\| = \max_{x \in K} |f(x)| $$ が定義できます。これを**一様ノルム**と呼び、$d(f, g) = \|f - g\|$ を距離とします。$\|f + g\| \le \|f\| + \|g\|$ と $\|fg\| \le \|f\|\,\|g\|$ は明らかです。 $K$ をコンパクト Hausdorff 空間とすると、$(C(K), \|\cdot\|)$ は完備距離空間である。複素数値の場合も同様である。 $(f_n)$ をコーシー列とする。各 $x \in K$ で $|f_n(x) - f_m(x)| \le \|f_n - f_m\|$ だから $(f_n(x))$ は $\mathbb{R}$ のコーシー列であり、$f(x) = \lim f_n(x)$ が存在する（）。$\varepsilon > 0$ に対し $N$ を、$m, n \ge N$ で $\|f_n - f_m\| < \varepsilon$ となるようにとり、$m \to \infty$ とすると、すべての $x$ と $n \ge N$ で $|f_n(x) - f(x)| \le \varepsilon$。つまり $f_n \to f$ は一様収束である。$f$ の連続性：$x_0 \in K$ と $\varepsilon > 0$ に対し、上のように $N$ をとり、$f_N$ が $x_0$ で連続だから $x_0$ の開近傍 $W$ が存在して $x \in W$ ならば $|f_N(x) - f_N(x_0)| < \varepsilon$。すると $x \in W$ で $|f(x) - f(x_0)| \le |f(x) - f_N(x)| + |f_N(x) - f_N(x_0)| + |f_N(x_0) - f(x_0)| < 3\varepsilon$。ゆえに $f \in C(K)$ で $\|f_n - f\| \to 0$ である。 コンパクト距離空間では、連続関数は自動的に一様連続です。区間 $[a,b]$ の場合は でした。一般の場合を、ルベーグ数の補題から示します。 $K$ をコンパクト距離空間、$f \in C(K)$ とする。任意の $\varepsilon > 0$ に対して、$\delta > 0$ が存在して、$d(x, y) < \delta$ ならば $|f(x) - f(y)| < \varepsilon$ となる。 各 $x \in K$ に対し $U_x = f^{-1}\bigl((f(x) - \varepsilon/2,\ f(x) + \varepsilon/2)\bigr)$ とおく。$f$ の連続性により $U_x$ は開集合で、$x \in U_x$ だから $\{U_x\}_{x \in K}$ は $K$ の開被覆である。$K$ は点列コンパクト（）だから、 のルベーグ数 $\delta$ がとれる。$d(y, z) < \delta$ ならば $\{y, z\}$ の直径は $\delta$ 未満なので、ある $U_x$ に含まれ、$|f(y) - f(z)| \le |f(y) - f(x)| + |f(x) - f(z)| < \varepsilon$。 ## 3. 同程度連続性と Arzelà–Ascoli の定理 $K$ をコンパクト距離空間とし、$\mathcal{F} \subset C(K)$ とする。 - $\mathcal{F}$ が**一様有界**であるとは、ある $M$ があって、すべての $f \in \mathcal{F}$ で $\|f\| \le M$ となることをいう。 - $\mathcal{F}$ が**同程度連続**（equicontinuous）であるとは、任意の $\varepsilon > 0$ に対して、$\delta > 0$ が存在して、すべての $f \in \mathcal{F}$ と、$d(x, y) < \delta$ なるすべての $x, y \in K$ に対して $|f(x) - f(y)| < \varepsilon$ となることをいう。 $K$ をコンパクト距離空間、$\mathcal{F} \subset C(K)$ を同程度連続とする。各 $x \in K$ に対して $\sup_{f \in \mathcal{F}} |f(x)| < \infty$ ならば、$\mathcal{F}$ は一様有界である。 同程度連続性で $\varepsilon = 1$ に対応する $\delta$ をとる。$K$ は全有界（）だから、有限個の点 $x_1, \ldots, x_m$ で $K = \bigcup_i B(x_i, \delta)$ となる。$M_i = \sup_{f \in \mathcal{F}} |f(x_i)|$ とし $M = 1 + \max_i M_i$ とおく。任意の $x \in K$ に対し $d(x, x_i) < \delta$ となる $i$ をとれば、$f \in \mathcal{F}$ について $|f(x)| \le |f(x_i)| + 1 \le M$。 主定理に進みます。$\mathcal{F}$ が**相対コンパクト**とは、閉包 $\overline{\mathcal{F}}$（$C(K)$ の中での）がコンパクトであることをいいます。 $K$ をコンパクト距離空間、$\mathcal{F} \subset C(K)$ とする。次の二つは同値である。 1. $\mathcal{F}$ は $C(K)$ で相対コンパクトである。 2. $\mathcal{F}$ は一様有界かつ同程度連続である。 証明の方針を先に述べます。(2) ⇒ (1) では、関数全体が「有限個の点での値」だけでほぼ決まってしまうことを使います。同程度連続性により、有限個の点 $x_i$ での値がそろえば、点と点のあいだでも関数の値は $\varepsilon/3$ ほどしかずれません。そこで、有限個の点での値の組を有限次元の立方体の点とみなして細かく分ければ、関数全体を有限個の代表でおおえて、全有界性が言えます。(1) ⇒ (2) は、全有界なら有限個の代表の連続性が全体に及ぶ、という逆向きの議論です。 **(2) ⇒ (1)。** $\|f\| \le M$（$f \in \mathcal{F}$）とし、$\mathcal{F}$ が全有界であることを示す。$\varepsilon > 0$ を任意にとる。同程度連続性により、$\delta > 0$ が存在して、$d(x,y) < \delta$ ならばすべての $f \in \mathcal{F}$ で $|f(x) - f(y)| < \varepsilon/3$。$K$ は全有界だから、$K = \bigcup_{i=1}^{m} B(x_i, \delta)$ となる $x_1, \ldots, x_m$ がある。 写像 $\Phi : \mathcal{F} \to [-M, M]^m$、$\Phi(f) = (f(x_1), \ldots, f(x_m))$ を考える。立方体 $[-M, M]^m$ を一辺 $\varepsilon/3$ 未満の有限個の小立方体に分割する。$\Phi(\mathcal{F})$ と交わる小立方体のそれぞれから、そこへ $\Phi$ で写る $\mathcal{F}$ の元を一つずつ選んで $f_1, \ldots, f_r$ とする。すると任意の $f \in \mathcal{F}$ について、$\Phi(f)$ が入っている小立方体から選ばれた $f_j$ が、すべての $i$ で $|f(x_i) - f_j(x_i)| < \varepsilon/3$ を満たす。任意の $x \in K$ に対し $d(x, x_i) < \delta$ となる $i$ をとると、 $$ |f(x) - f_j(x)| \le |f(x) - f(x_i)| + |f(x_i) - f_j(x_i)| + |f_j(x_i) - f_j(x)| < \tfrac{\varepsilon}{3} + \tfrac{\varepsilon}{3} + \tfrac{\varepsilon}{3} = \varepsilon . $$ よって $\|f - f_j\| \le \varepsilon$。$\varepsilon$ は任意だから、$\mathcal{F}$ は全有界である（半径を $2\varepsilon$ にとれば開球で覆える）。 全有界集合の閉包は全有界である：$\mathcal{F}$ が有限個の半径 $\varepsilon$ の球で覆われるならば、$\overline{\mathcal{F}}$ の点は $\mathcal{F}$ の点から距離 $\varepsilon$ 未満にあるので、半径 $2\varepsilon$ の同じ中心の球で覆われる。一方 $\overline{\mathcal{F}}$ は完備な $C(K)$（）の閉集合だから、 (2) により完備である。 より $\overline{\mathcal{F}}$ はコンパクトである。 **(1) ⇒ (2)。** $\overline{\mathcal{F}}$ はコンパクトだから全有界である。$\varepsilon > 0$ とすると、$\overline{\mathcal{F}}$ は有限個の球 $B(g_j, \varepsilon/3)$（$j = 1, \ldots, r$）で覆われる。各 $g_j \in C(K)$ は有界、かつ により一様連続で、$\delta_j > 0$ を $d(x,y) < \delta_j \Rightarrow |g_j(x) - g_j(y)| < \varepsilon/3$ ととれる。$\delta = \min_j \delta_j$ とおく。任意の $f \in \mathcal{F}$ に対し $\|f - g_j\| < \varepsilon/3$ となる $j$ があり、$d(x, y) < \delta$ ならば $$ |f(x) - f(y)| \le |f(x) - g_j(x)| + |g_j(x) - g_j(y)| + |g_j(y) - f(y)| < \varepsilon . $$ これは同程度連続性である。一様有界性は、全有界集合が有界であること（$\|f\| \le \max_j \|g_j\| + \varepsilon/3$）から従う。 実際に使うのは、次の点列版です。 $K$ をコンパクト距離空間とし、$(f_n)$ を $C(K)$ の一様有界かつ同程度連続な関数列とする。このとき、$(f_n)$ は一様収束する部分列をもつ。その極限も連続である。 $\mathcal{F} = \{f_n\}$ に を適用すると $\overline{\mathcal{F}}$ はコンパクトである。コンパクト距離空間は点列コンパクトだから（）、$(f_n)$ は $\overline{\mathcal{F}}$ の点に収束する部分列をもつ。収束は $\|\cdot\|$ に関する収束、つまり一様収束で、極限は $\overline{\mathcal{F}} \subset C(K)$ の元として連続である。 **(a) 同程度連続になる典型。** $K$ 上の関数で、ある定数 $L$ と $0 < \alpha \le 1$ について $|f(x) - f(y)| \le L\, d(x,y)^{\alpha}$ をすべての $f \in \mathcal{F}$ が満たすならば、$\delta = (\varepsilon/L)^{1/\alpha}$ とおけば同程度連続である（リプシッツ族、ヘルダー族）。$K = [a,b]$ で $f \in C^1$、$\|f\|_\infty + \|f'\|_\infty \le 1$ を満たす関数の族は、平均値の定理により $|f(x) - f(y)| \le |x - y|$ だから、一様有界かつ同程度連続であり、$C[a,b]$ で相対コンパクトである。導関数を制御すれば関数がコンパクトになる、というのは偏微分方程式の理論（Sobolev 空間のコンパクト埋め込み）の原型である。 **(b) 同程度連続性が必要である。** $f_n(x) = x^n$ は $C[0,1]$ で一様有界だが同程度連続でない。実際、$\varepsilon = 1/2$ に対し、どんな $\delta$ をとっても $x = 1 - \delta/2$、$y = 1$ に対し $n$ を大きくすると $|f_n(x) - f_n(y)| = 1 - (1 - \delta/2)^n \to 1$ となる。 によれば、$\{f_n\}$ は相対コンパクトでない。冒頭の考察と一致する。 **(c) 一様有界性が必要である。** $f_n(x) = n$（定数関数）は同程度連続（$|f_n(x) - f_n(y)| = 0$）だが、一様有界でなく、一様収束する部分列をもたない。 **(d) 各点有界だけでは足りないが、同程度連続なら足りる。** のとおり、同程度連続な族に対しては、一点ごとの有界性だけを確かめれば一様有界性がわかる。たとえば関数列で、すべての $x$ で $f_n(x)$ が有界、かつ同程度連続ならばよい。 $k : [0,1] \times [0,1] \to \mathbb{R}$ を連続関数とし、$f \in C[0,1]$ に対して $$ (Kf)(x) = \int_0^1 k(x, y) f(y)\,dy $$ と定める。$\mathcal{F} = \{\, Kf \mid \|f\| \le 1 \,\}$ は $C[0,1]$ で相対コンパクトである。 $[0,1]^2$ はコンパクトだから $k$ は有界で $|k| \le A$、かつ一様連続である（；$[0,1]^2$ にはユークリッド距離を入れる）。$\|f\| \le 1$ ならば $|(Kf)(x)| \le A$ で、一様有界である。$\varepsilon > 0$ に対し、$k$ の一様連続性から $\delta > 0$ が存在して $|x - x'| < \delta$ ならば全 $y$ で $|k(x,y) - k(x',y)| < \varepsilon$ となる。このとき $$ |(Kf)(x) - (Kf)(x')| \le \int_0^1 |k(x, y) - k(x', y)|\,|f(y)|\,dy \le \varepsilon $$ が $\|f\| \le 1$ のすべての $f$ について成り立つから、$\mathcal{F}$ は同程度連続である。 より相対コンパクトである。つまり、有界な関数列 $(f_n)$ に対して $(Kf_n)$ は一様収束する部分列をもつ。作用素 $K$ が有界集合をコンパクトな集合へ写す、という性質を**コンパクト作用素**といいます。この例が、[コンパクト作用素](/mathematics/functional-analysis/compact-operators) の最初の例になります。 ## 4. Stone–Weierstrass の定理 ### 4.1. 絶対値関数の多項式近似 主定理の鍵は、一見無関係な次の事実です。 この補題は、次の定理の証明で「最大・最小をとる操作が近似の中で許される」ことを保証するために使います。最大・最小は絶対値で書けるので、折れ目のある $|t|$ を滑らかな多項式で近似できればよい、という筋道です。証明では、まず $\sqrt{s}$ を近似します。$q$ が $\sqrt{s}$ の近似なら、誤差は $s - q^2$ に比例して現れるので、その半分を $q$ に足して直す、という修正を繰り返します。これを $s = t^2$ に使えば $|t| = \sqrt{t^2}$ の近似になります。 多項式 $p_n$ で $p_n(0) = 0$ を満たすものの列があって、$[-1, 1]$ 上 $p_n(t)$ が $|t|$ に一様収束する。 まず $[0,1]$ 上で $\sqrt{s}$ を多項式で近似する。$q_0(s) = 0$、$q_{n+1}(s) = q_n(s) + \dfrac{s - q_n(s)^2}{2}$ と帰納的に定める。各 $q_n$ は $s$ の多項式で $q_n(0) = 0$ である。 *主張：$s \in [0,1]$ で $0 \le q_n(s) \le \sqrt{s}$。* $n = 0$ は明らか。$0 \le q_n \le \sqrt{s}$ とする。$\sqrt{s} - q_{n+1} = \sqrt{s} - q_n - \dfrac{(\sqrt{s} - q_n)(\sqrt{s} + q_n)}{2} = (\sqrt{s} - q_n)\Bigl(1 - \dfrac{\sqrt{s} + q_n}{2}\Bigr)$。$0 \le \sqrt{s} + q_n \le 2\sqrt{s} \le 2$ だから後ろの因子は $[0, 1]$ に入り、$0 \le \sqrt{s} - q_{n+1} \le \sqrt{s} - q_n$。よって $q_{n+1} \le \sqrt{s}$ であり、$q_{n+1} \ge q_n \ge 0$（$q_{n+1} - q_n = (s - q_n^2)/2 \ge 0$）。 したがって $q_n(s)$ は $n$ について単調増加で $\sqrt{s}$ 以下だから収束する。極限を $q(s)$ とすると、漸化式で $n \to \infty$ として $q = q + (s - q^2)/2$、すなわち $q^2 = s$、$q \ge 0$ だから $q(s) = \sqrt{s}$。連続関数 $g_n(s) = \sqrt{s} - q_n(s)$ は $[0,1]$ 上で単調減少しながら連続関数 $0$ に各点収束するので、 により一様収束する。 $p_n(t) = q_n(t^2)$ とおく。$t \in [-1,1]$ のとき $t^2 \in [0,1]$ で $\sqrt{t^2} = |t|$ だから、$\sup_{|t| \le 1} |p_n(t) - |t|| = \sup_{s \in [0,1]} |q_n(s) - \sqrt{s}| \to 0$。また $p_n(0) = q_n(0) = 0$ である。
|t| q2(t²) 0
### 4.2. 実数値の Stone–Weierstrass $K$ をコンパクト Hausdorff 空間とする。$A \subset C(K)$ が**部分環**（実数値の場合は部分代数）であるとは、$f, g \in A$、$c \in \mathbb{R}$ に対して $f + g,\ cf,\ fg \in A$ が成り立つことをいう。$A$ が**点を分離する**とは、$x \ne y$ なる任意の $x, y \in K$ に対して、$f(x) \ne f(y)$ となる $f \in A$ が存在することをいう。 $K$ をコンパクト Hausdorff 空間、$A$ を $C(K)$ の部分環で、定数関数 $1$ を含み、点を分離するものとする。このとき $A$ は $C(K)$ で一様ノルムに関して稠密である。すなわち任意の $f \in C(K)$ と $\varepsilon > 0$ に対し、$\|f - a\| < \varepsilon$ となる $a \in A$ が存在する。 証明の流れは次のとおりです。(i)〜(iii) で、$A$ の閉包 $B$ が和・積に加えて最大・最小でも閉じることを示します。(iv) で、二点での値を自由に指定できる関数が $A$ にあることを示します。(v) では、近似したい $f$ に対して、まず一点 $x$ を固定し、$x$ で $f$ と一致して全体では $f + \varepsilon$ を超えない関数を、最小をとって作ります。次に $x$ を動かし、それらの最大をとって、$f - \varepsilon$ より下に落ちない関数にします。上から押さえ、下から持ち上げて、$f$ の前後 $\varepsilon$ の帯に収める、という二段構えです。 $K = \emptyset$ なら自明だから $K \ne \emptyset$ とする。$B$ を $A$ の $C(K)$ における閉包とする。 **(i) $B$ は部分環で $1$ を含む。** $f, g \in B$ に対し $A$ の列 $a_n \to f$、$b_n \to g$ をとれば、$\|a_n b_n - fg\| \le \|a_n\|\,\|b_n - g\| + \|a_n - f\|\,\|g\| \to 0$（$\|a_n\|$ は有界）であり、和・スカラー倍も同様である。 **(ii) $f \in B$ ならば $|f| \in B$。** $f = 0$ なら明らか。そうでなければ $g = f/\|f\| \in B$ は $|g| \le 1$ を満たす。 の多項式 $p_n$ をとると、$p_n(0) = 0$ なので $p_n(g) = c_1 g + c_2 g^2 + \cdots$ は $B$ の元であり、$\|p_n(g) - |g|\| \le \sup_{|t| \le 1} |p_n(t) - |t|| \to 0$。$B$ は閉だから $|g| \in B$、したがって $|f| = \|f\|\,|g| \in B$。 **(iii) $f, g \in B$ ならば $\max(f, g),\ \min(f, g) \in B$。** $\max(f,g) = \dfrac{f + g + |f - g|}{2}$、$\min(f,g) = \dfrac{f + g - |f - g|}{2}$ と (i)(ii) による。帰納法で有限個の関数の最大・最小も $B$ に属する。 **(iv) 値の指定。** $x \ne y$ と実数 $\alpha, \beta$ に対し、$h \in A$ で $h(x) = \alpha$、$h(y) = \beta$ となるものがある。実際 $A$ は点を分離するから $u \in A$ で $u(x) \ne u(y)$ となるものがあり、 $$ h = \alpha + (\beta - \alpha)\,\frac{u - u(x)}{u(y) - u(x)} $$ は $A$ の元（$A$ は定数を含む）で所要の値をとる。 **(v) 近似。** $f \in C(K)$、$\varepsilon > 0$ をとる。 各 $x, y \in K$ に対し、$x \ne y$ なら (iv) で $h_{xy} \in A$ を $h_{xy}(x) = f(x)$、$h_{xy}(y) = f(y)$ となるようにとり、$x = y$ なら $h_{xx} = f(x) \cdot 1$ とする。$x$ を固定する。$U_y = \{\, z \in K \mid h_{xy}(z) < f(z) + \varepsilon \,\}$ は $y$ を含む開集合である（$h_{xy} - f$ の連続性）。$K$ はコンパクトだから有限個の $y_1, \ldots, y_m$ で $K = \bigcup_j U_{y_j}$。$g_x = \min_j h_{xy_j} \in B$ とおくと、(iii) により $g_x \in B$ であり、すべての $z \in K$ で $g_x(z) < f(z) + \varepsilon$。また $g_x(x) = f(x)$（各 $h_{xy_j}(x) = f(x)$ のため）。 次に $V_x = \{\, z \in K \mid g_x(z) > f(z) - \varepsilon \,\}$ は $x$ を含む開集合である。$K$ のコンパクト性から有限個の $x_1, \ldots, x_k$ で $K = \bigcup_i V_{x_i}$。$g = \max_i g_{x_i} \in B$ とおく。すべての $z \in K$ で $g(z) > f(z) - \varepsilon$（$z \in V_{x_i}$ なる $i$ をとれば $g(z) \ge g_{x_i}(z) > f(z) - \varepsilon$）かつ $g(z) < f(z) + \varepsilon$。よって $\|f - g\| \le \varepsilon$。$g \in B = \overline{A}$ だから $\|g - a\| < \varepsilon$ となる $a \in A$ があり、$\|f - a\| < 2\varepsilon$ となる。 この証明で、コンパクト性は (v) の二回の有限被覆の選択に使われています。Hausdorff 性は証明の中では直接使っていません。点が連続関数で分離されるなら、その空間は自動的に Hausdorff になるからです（$f(x) \ne f(y)$ なら $f^{-1}$ で値の近傍の逆像をとれば $x, y$ が開集合で分離されます）。 $K \subset \mathbb{R}^n$ をコンパクト集合とする。任意の $f \in C(K)$ と $\varepsilon > 0$ に対し、$n$ 変数の多項式 $P$ で、すべての $x \in K$ で $|f(x) - P(x)| < \varepsilon$ となるものが存在する。特に $K = [a,b]$ では、閉区間上の連続関数は多項式で一様近似できる。 $A$ を $K$ 上に制限した $n$ 変数多項式関数の全体とする。$A$ は和・スカラー倍・積で閉じ、定数 $1$ を含む。点を分離する：$x \ne y$ なら、ある座標 $i$ で $x_i \ne y_i$ だから、多項式 $P(z) = z_i$ が $P(x) \ne P(y)$ を与える。$K$ は Hausdorff（距離空間）だから、 により $A$ は $C(K)$ で稠密である。 $f \in C[a, b]$ が、すべての $n = 0, 1, 2, \ldots$ について $\int_a^b f(x)\,x^n\,dx = 0$ を満たすならば、$f = 0$ である。 積分の線型性から、任意の多項式 $P$ について $\int_a^b f P\,dx = 0$。 により多項式 $P_k$ で $\|f - P_k\| \to 0$ となるものがとれる。すると $$ \int_a^b f^2\,dx = \int_a^b f (f - P_k)\,dx + \int_a^b f P_k\,dx = \int_a^b f(f - P_k)\,dx \le (b-a)\,\|f\|\,\|f - P_k\| \to 0 . $$ よって $\int f^2 = 0$ で、$f^2$ は連続かつ非負だから $f \equiv 0$。連続関数は、その「モーメント列」で一意に決まる、というこの事実は、確率論で分布の決定に使われます。 Weierstrass の近似定理は、有界閉区間でなければ成り立ちません。$\mathbb{R}$ 全体で $\sup_{x \in \mathbb{R}} |\sin x - P(x)| < 1$ となる多項式 $P$ があるとすると、$P$ は有界でなければならず、したがって定数 $c$ である。ところが $\sup |\sin x - c| \ge 1$（$\sin x = \pm 1$ のどちらかが $c$ から距離 $1$ 以上）となって矛盾します。コンパクトでないと、多項式は無限遠で発散してしまうからです。 ### 4.3. 複素数値の Stone–Weierstrass $K$ をコンパクト Hausdorff 空間、$A$ を $C(K; \mathbb{C})$ の複素部分環（和・複素数倍・積で閉じる）で、定数 $1$ を含み、点を分離し、**複素共役で閉じている**（$f \in A \Rightarrow \bar{f} \in A$）とする。このとき $A$ は $C(K; \mathbb{C})$ で一様ノルムに関して稠密である。 $A_{\mathbb{R}} = \{\, f \in A \mid f \text{ は実数値} \,\}$ とおく。$A_\mathbb{R}$ は実数値連続関数の部分環で、$1$ を含む。$f \in A$ ならば $\operatorname{Re} f = (f + \bar{f})/2$ と $\operatorname{Im} f = (f - \bar{f})/(2i)$ はともに $A$ に属する実数値関数だから $A_\mathbb{R}$ の元である。点の分離：$x \ne y$ に対し $f \in A$ が $f(x) \ne f(y)$ なら、$\operatorname{Re} f$ か $\operatorname{Im} f$ の少なくとも一方が $x, y$ で異なる値をとり、それは $A_\mathbb{R}$ の元である。したがって により、$A_\mathbb{R}$ は $C(K)$（実数値）で稠密。 $g = u + iv \in C(K; \mathbb{C})$（$u, v$ は実数値連続）と $\varepsilon > 0$ をとる。$a, b \in A_\mathbb{R}$ を $\|u - a\| < \varepsilon$、$\|v - b\| < \varepsilon$ ととる。$a + ib \in A$ で、$\|g - (a + ib)\| \le \|u - a\| + \|v - b\| < 2\varepsilon$。 $K = S^1 = \{z \in \mathbb{C} \mid |z| = 1\}$（コンパクト Hausdorff）とし、$A$ を $z^n$（$n \in \mathbb{Z}$）の有限一次結合全体とする。$z^n z^m = z^{n+m}$ だから積で閉じ、$z^0 = 1$ を含み、$\overline{z^n} = z^{-n}$（$|z| = 1$ のとき $\bar{z} = z^{-1}$）だから共役で閉じ、$z$ 自身が点を分離する。 により $A$ は $C(S^1; \mathbb{C})$ で稠密である。 $f : \mathbb{R} \to \mathbb{C}$ を周期 $2\pi$ の連続関数とすると、$g(e^{i\theta}) = f(\theta)$ は $S^1$ 上の連続関数を定める（$\theta \mapsto e^{i\theta}$ は局所的に連続な逆写像（偏角）をもつ）。よって、周期 $2\pi$ の連続関数は、三角多項式 $\sum_{|n| \le N} c_n e^{in\theta}$ で一様近似できる。これは [$L^p$ 空間](/mathematics/real-analysis/lp-spaces) で三角関数系の完全性を論じる際の入口になる事実です。 次の例のねらいは、$z$ の多項式だけでは $\bar{z}$ に近づけないことを、積分という「ものさし」で示すことです。$z$ の多項式はどれも $e^{i\theta}$ との積を $0$ から $2\pi$ まで積分すると $0$ になりますが、$\bar{z}$ では $2\pi$ になります。この差が、一様収束で近づこうとしても埋まらない、という議論です。 $K = S^1$ で、$A$ を $z$ の多項式 $\sum_{k=0}^{N} c_k z^k$ 全体とする。$A$ は定数を含む複素部分環で、点を分離するが共役で閉じていない（$\bar{z} = z^{-1} \notin A$）。実際 $A$ は $C(S^1; \mathbb{C})$ で稠密でない。 $p(z) = \sum_{k \ge 0} c_k z^k \in A$ に対して、$\int_0^{2\pi} p(e^{i\theta})\, e^{i\theta}\, d\theta = \sum_k c_k \int_0^{2\pi} e^{i(k+1)\theta}\, d\theta = 0$（$k + 1 \ge 1$ だから各積分は $0$）。一方、$g(z) = \bar{z}$ については $\int_0^{2\pi} \overline{e^{i\theta}}\, e^{i\theta}\, d\theta = 2\pi$。もし $p_n \to g$ が一様収束すれば、$\bigl|\int (p_n - g) e^{i\theta} d\theta\bigr| \le 2\pi \|p_n - g\| \to 0$ だが、左辺は常に $2\pi$ なので矛盾する。 ## 5. 演習 $K$ をコンパクト距離空間、$(f_n)$ を $C(K)$ の同程度連続な列とし、各点 $x \in K$ で $f_n(x) \to f(x)$（$f : K \to \mathbb{R}$）とする。このとき $f \in C(K)$ であり、$f_n \to f$ は一様収束であることを示せ。 まず一様有界性：各 $x$ で $(f_n(x))$ は収束列だから有界、同程度連続だから により一様有界。 により、$(f_n)$ の任意の部分列は、さらに一様収束する部分列 $f_{n_k} \to g \in C(K)$ をもつ。各点収束の極限は一意だから $g = f$ であり、特に $f \in C(K)$。一様収束しないとすると、ある $\varepsilon > 0$ と部分列 $(f_{n_j})$ で $\|f_{n_j} - f\| \ge \varepsilon$ となるものがあるが、その部分列のさらなる部分列は $f$ に一様収束するはずで、矛盾する。 偶数次の項だけからなる多項式（$x^2$ の多項式）の全体は、$C[0,1]$ で稠密だが、$C[-1,1]$ では稠密でないことを示せ。 $[0,1]$ では、$A = \{ P(x^2) \}$ は部分環で $1$ を含み、$x \mapsto x^2$ が単射だから点を分離する（$x \ne y \in [0,1]$ なら $x^2 \ne y^2$）。 により稠密。$[-1, 1]$ では、$A$ の元はすべて偶関数で、$f(x) = x$ との距離は $\|P(x^2) - x\| \ge |P(1) - 1|$ と $|P(1) + 1|$ のうち大きい方、すなわち $\ge 1$ である（$x = \pm 1$ での値の差 $2 = |(P(1) - 1) - (P(1) + 1)|$）。よって $f$ は $A$ の閉包に入らず、稠密でない。点を分離する条件が $x$ と $-x$ で破れているのが原因である。 $(Vf)(x) = \int_0^x f(y)\,dy$ で定まる $V : C[0,1] \to C[0,1]$ について、$\{Vf \mid \|f\| \le 1\}$ が相対コンパクトであることを示せ。 $|(Vf)(x)| \le \|f\| \le 1$ で一様有界。$|(Vf)(x) - (Vf)(x')| = \bigl|\int_{x'}^{x} f\bigr| \le |x - x'|$ だから、$\delta = \varepsilon$ として同程度連続。 より相対コンパクト。 ## 参考文献 - W. Rudin, *Principles of Mathematical Analysis*, 3rd ed., McGraw–Hill, 1976 — Chapter 7（関数列と関数級数）。同程度連続、Arzelà–Ascoli、Stone–Weierstrass を扱う。 - W. Rudin, *Real and Complex Analysis*, 3rd ed., McGraw–Hill, 1987 — Chapter 5（Banach 空間）、Chapter 7 付近。 - G. B. Folland, *Real Analysis: Modern Techniques and Their Applications*, 2nd ed., Wiley, 1999 — §4.6（Arzelà–Ascoli の定理）と §4.7（Stone–Weierstrass の定理）。 - J. R. Munkres, *Topology*, 2nd ed., Prentice Hall, 2000 — §45（距離空間のコンパクト性）、§47（関数空間のコンパクト性）。 - 杉浦光夫『解析入門 I』東京大学出版会、1980 — 関数列の一様収束と近似に関する章。 - M. H. Stone, "The generalized Weierstrass approximation theorem", *Mathematics Magazine* 21 (1948), 167–184, 237–254.