# Kolmogorov の拡張定理と連続性定理：有限次元分布から Wiener 測度へ > Polish 空間の内部正則性（Ulam の定理）から Kolmogorov の拡張定理を証明し、正定値核の Kolmogorov 分解と Gauss 過程の存在を示す。連続性定理で連続な修正を作り、Wiener 測度の存在を証明する。 > https://rikai.mugen-giken.com/mathematics/probability/kolmogorov-extension ## 0. この記事の要点 ブラウン運動のように、時間とともに不規則に動く量をどう数学的に作るのか、という話です。「いくつかの時刻での値のばらつき方」を先に決めておき、そのすべてに合う確率の枠組みが本当に存在するのかを確かめます。さらに、動きが途切れず滑らかにつながる（連続な）道をもつようにできることも示します。読み終えると、ブラウン運動の存在が、この記事の二つの定理から順に導かれる様子が追えるようになります。 - 確率過程 $(X_t)_{t\in T}$ を「作る」とは、有限個の時刻での同時分布（**有限次元分布**）を指定し、それらすべてと矛盾しない確率測度を道の空間 $E^T$ 上に構成することです。**Kolmogorov の拡張定理**（）は、状態空間 $E$ が Polish 空間なら、有限次元分布が互いに整合的であるだけで、それが可能であり一意だと主張します。 - 証明の鍵は、Polish 空間（完備で可算な稠密部分集合をもつ距離空間、）上の確率測度が[コンパクト](/mathematics/real-analysis/metric-spaces#def-compactness-metric)集合で内側から近似できること（**Ulam の定理**、）です。コンパクト性が「空でない柱集合（有限個の時刻での値だけを制約した道の集合、）の減少列の共通部分は空でない」ことを保証し、[前測度](/mathematics/real-analysis/abstract-measures#def-measure-abstract)の可算加法性になります。 - 実対称な核 $K(s,t)$ が**正定値**であることは、ある Hilbert 空間のベクトル族の内積 $K(s,t)=\langle v(s),v(t)\rangle$ で書けることと同値です（**Kolmogorov 分解**、）。正定値核は、ちょうど Gauss 過程の共分散になれる関数です（）。 - 拡張定理が作る測度は、道の連続性について何も教えません。**Kolmogorov の連続性定理**（）は、$E[\rho(X_s,X_t)^\alpha]\le C|t-s|^{1+\beta}$ という積率の評価から、Hölder 連続（$|f(t)-f(s)|\le K|t-s|^\gamma$ という形で変化が抑えられる連続性）な道をもつ修正（各時刻で確率 1 で同じ値をとる別の過程、）を作ります。 - 以上を組み合わせて、Brown 運動の存在（[マルチンゲールとブラウン運動](/mathematics/probability/martingales-and-brownian-motion) で主張だけを述べたもの）と、連続関数の空間上の **Wiener 測度**の存在と一意性を証明します（）。 ## 1. 動機 [確率測度の無限直積](/mathematics/real-analysis/product-measures-fubini) で、独立な確率変数の無限列が存在することを証明しました（）。ところが確率論で扱う対象の多くは独立ではありません。Markov 連鎖では次の状態が今の状態に依存し、Brown 運動では $B_s$ と $B_t$ の共分散が $\min(s,t)$ です。しかも Brown 運動の添字集合 $[0,\infty)$ は非可算です。 こうした過程について、私たちが直接指定できるのは有限次元分布だけです。「時刻 $t_1,\ldots,t_n$ での値 $(B_{t_1},\ldots,B_{t_n})$ は共分散 $\min(t_i,t_j)$ の Gauss ベクトルに従う」という指定は、どの有限個の時刻についても意味をもちます。問題は、この無限個の指定をすべて同時に満たす確率空間があるかどうかです。指定どうしが矛盾していれば明らかに存在しないので、必要条件は**整合性**です。時刻 $\{t_1,t_2,t_3\}$ での分布を $(t_1,t_2)$ 成分に射影したものは、時刻 $\{t_1,t_2\}$ での分布と一致していなければなりません。Kolmogorov（1933 年）は、この必要条件が実数値の過程について十分でもあることを示しました。 ここには二つの落とし穴があります。第一に、整合性だけでは足りず、状態空間の位相的な性質（コンパクト集合による近似）が証明に効きます。第二に、拡張定理で得られる確率空間 $\mathbb{R}^{[0,\infty)}$ 上では、「道が連続である」という事象が可測ですらありません（）。連続な道をもつ Brown 運動を作るには、もう一段の議論（連続性定理）が必要です。この記事は二つの定理を順に証明し、Wiener 測度の構成で合流させます。 ## 2. 準備：道の空間と有限次元分布 以下、$T$ は空でない集合（添字集合、時刻の集合）、$(E,\rho)$ は[距離空間](/mathematics/real-analysis/metric-spaces#def-metric-space)とします。$E^T$ は写像 $x:T\to E$ 全体で、$x_t=x(t)$ と書きます。$T$ の空でない有限部分集合の全体を $\mathfrak{F}(T)$ と書きます。$J\in\mathfrak{F}(T)$ に対し $E^J$ には距離 $\rho_J(x,y)=\max_{t\in J}\rho(x_t,y_t)$ を入れます。$J\subset K$ のとき、制限写像を $\pi_{J}^{K}:E^K\to E^J$、$E^T\to E^J$ への制限を $\pi_J$ と書きます。1 点 $J=\{t\}$ のときは $\pi_t$ と書き、**座標写像**と呼びます。 $E^T$ 上の **直積 σ-加法族** $\mathcal{B}(E)^{\otimes T}$ を、すべての座標写像 $\pi_t$（$t\in T$）を可測にする最小の σ-加法族 $\sigma(\pi_t:t\in T)$ と定める。$J\in\mathfrak{F}(T)$ と $B\in\mathcal{B}(E^J)$ により $\pi_J^{-1}(B)$ と書ける集合を**柱集合**といい、柱集合の全体を $\mathcal{C}$ と書く。 柱集合は、有限個の時刻でだけ値の範囲を指定し、それ以外の時刻では何も指定しない道の集合です。下の図では、2 つの時刻 $t_1,t_2$ で値が太線の区間に入る道の全体が柱集合で、指定した時刻の間や外では道は自由に動けます。
t1 t2 B1 B2
$T$ が有限集合 $\{1,\ldots,n\}$ で $E=\mathbb{R}$ のときは、[直積測度と Fubini の定理](/mathematics/real-analysis/product-measures-fubini) の $\mathcal{B}(\mathbb{R})^{\otimes n}$ と同じものです。次の補題は を可分距離空間に一般化したものです。 $E$ が可分距離空間で $J\in\mathfrak{F}(T)$ ならば、$(E^J,\rho_J)$ のボレル集合族は直積 σ-加法族 $\mathcal{B}(E)^{\otimes J}$ に等しい。さらに $E$ が完備なら $(E^J,\rho_J)$ も完備で可分である。 （$\mathcal{B}(E)^{\otimes J}\subset\mathcal{B}(E^J)$）各 $\pi_t:E^J\to E$ は $\rho(\pi_tx,\pi_ty)\le\rho_J(x,y)$ より連続なので、開集合の逆像は開集合です。$\{A\subset E\mid\pi_t^{-1}(A)\in\mathcal{B}(E^J)\}$ は開集合を含む σ-加法族なので $\mathcal{B}(E)$ を含みます。よって各 $\pi_t$ は $\mathcal{B}(E^J)$-可測で、最小性から包含が従います。 （$\supset$）$\{q_k\}$ を $E$ の可算稠密集合とし、中心が $q_k$、半径が正の有理数の開球の直積 $\prod_{t\in J}B(q_{k_t},r)$ 全体を $\mathcal{U}$ とします。$\mathcal{U}$ は可算族で、各元は $\bigcap_{t}\pi_t^{-1}(B(q_{k_t},r))\in\mathcal{B}(E)^{\otimes J}$ です。開集合 $U\subset E^J$ と $x\in U$ を取り、$\rho_J$-球 $B_J(x,\varepsilon)\subset U$ とします。有理数 $r\in(0,\varepsilon/2)$ と $\rho(q_{k_t},x_t) 各 $J\in\mathfrak{F}(T)$ に $(E^J,\mathcal{B}(E^J))$ 上の確率測度 $\mu_J$ が与えられているとする。$J\subset K$ ならば常に $$ \mu_K\circ(\pi_J^K)^{-1}=\mu_J $$ が成り立つとき、族 $(\mu_J)_{J\in\mathfrak{F}(T)}$ は**整合的**であるという。確率空間 $(\Omega,\mathcal{F},P)$ 上の $E$ 値確率過程 $X=(X_t)_{t\in T}$ について、$J=\{t_1,\ldots,t_n\}$ での同時分布 $P\circ(X_{t_1},\ldots,X_{t_n})^{-1}$ を $X$ の**有限次元分布**という。 $E^J$ を「$J$ から $E$ への写像の空間」としたので、時刻の並べ替えに関する整合性は自動的に含まれています。確率過程の有限次元分布の族はつねに整合的です。$(X_t)_{t\in K}$ の分布を $J$ 成分に制限すれば $(X_t)_{t\in J}$ の分布になるからです。 $A\in\mathcal{B}(E)^{\otimes T}$ ならば、可算集合 $S\subset T$ と $B\in\mathcal{B}(E)^{\otimes S}$ があって $A=\pi_S^{-1}(B)$ と書ける。特に、$x\in A$ で $y_t=x_t$（すべての $t\in S$）ならば $y\in A$ である。 このように書ける集合 $A$ の全体を $\mathcal{G}$ とします。$\pi_t^{-1}(B)\in\mathcal{G}$（$S=\{t\}$）です。$A=\pi_S^{-1}(B)$ なら $A^c=\pi_S^{-1}(B^c)$。$A_n=\pi_{S_n}^{-1}(B_n)$ なら、$S=\bigcup_nS_n$（可算）として $A_n=\pi_S^{-1}\bigl((\pi^S_{S_n})^{-1}(B_n)\bigr)$ と書き直せるので $\bigcup_nA_n=\pi_S^{-1}\bigl(\bigcup_n(\pi^S_{S_n})^{-1}(B_n)\bigr)$。よって $\mathcal{G}$ はすべての $\pi_t$ を可測にする σ-加法族で、$\mathcal{B}(E)^{\otimes T}\subset\mathcal{G}$ です。 $T=[0,1]$、$E=\mathbb{R}$ とし、$A=\{x\in\mathbb{R}^{[0,1]}\mid t\mapsto x_t\text{ は連続}\}$ とします。$A\in\mathcal{B}(\mathbb{R})^{\otimes[0,1]}$ と仮定すると、 の可算集合 $S$ があります。$x\equiv0\in A$ を取り、$S$ に属さない点 $u$（$[0,1]$ は非可算なので存在する）で $y_u=1$、それ以外で $y_t=0$ とすると、$y$ は $S$ 上で $x$ と一致するので $y\in A$ のはずですが、$y$ は不連続です。矛盾なので $A$ は可測ではありません。同じ理由で $\sup_{t\in[0,1]}x_t$ も可測関数になりません。 直感的には、可測な事象は可算個の時刻の情報だけで判定できるものに限られ、非可算個の時刻にわたる性質（連続であること）は、可算個の時刻を見ただけでは決まらない、ということです。連続性を扱うために §6 の連続性定理が必要になります。 ## 3. Polish 空間と内部正則性 この節の目標は、「どんな確率測度も、コンパクト集合でほとんど全体を覆える」ことを示す Ulam の定理です。次節の証明で、無限個の条件を有限個の条件に落とすのにコンパクト集合が必要になります。まず補題で、ボレル集合を閉集合と開集合で内側と外側から挟めることを示し、次に完備性と可分性から、コンパクト集合を作ります。 位相空間 $E$ が **Polish 空間**であるとは、$E$ の位相を与える距離 $\rho$ で、$(E,\rho)$ が完備かつ可分になるものが存在することをいう。以下、Polish 空間にはそのような距離を一つ固定して考える。 $\mathbb{R}^d$、その閉集合と開集合（開集合は別の完備距離を入れる）、可分 Banach 空間、Polish 空間の可算直積（）、コンパクト距離空間、後で示す連続関数の空間 $C([0,\infty),\mathbb{R}^d)$ がその例です。 $\mu$ を距離空間 $S$ 上の有限なボレル測度とする。任意のボレル集合 $A$ と $\varepsilon>0$ に対し、閉集合 $F$ と開集合 $G$ で $F\subset A\subset G$、$\mu(G\setminus F)<\varepsilon$ となるものがある。 この性質をもつボレル集合 $A$ の全体を $\mathcal{G}$ とします。 *閉集合を含む。* $F$ を閉集合とし、$G_n=\{x\mid\operatorname{dist}(x,F)<1/n\}$ とおくと、$G_n$ は開集合（$\operatorname{dist}(\cdot,F)$ は 1-Lipschitz で連続）で $G_n\downarrow F$（$F$ は閉なので $\operatorname{dist}(x,F)=0\iff x\in F$）。$\mu$ は有限なので、上からの連続性（）により $\mu(G_n\setminus F)\to0$ です。 *補集合で閉じる。* $F\subset A\subset G$ なら $G^c\subset A^c\subset F^c$ で、$G^c$ は閉、$F^c$ は開、$F^c\setminus G^c=G\setminus F$ です。 *可算和で閉じる。* $A_n\in\mathcal{G}$ に対し $F_n\subset A_n\subset G_n$、$\mu(G_n\setminus F_n)<\varepsilon2^{-n-1}$ とします。$G=\bigcup_nG_n$ は開集合です。$\mu\bigl(\bigcup_nF_n\setminus\bigcup_{n\le N}F_n\bigr)\to0$（$N\to\infty$）なので、$\varepsilon/2$ 未満となる $N$ を取り $F=\bigcup_{n\le N}F_n$（閉集合）とします。$G\setminus F\subset\bigcup_n(G_n\setminus F_n)\cup\bigl(\bigcup_nF_n\setminus F\bigr)$ から $\mu(G\setminus F)<\varepsilon$ です。 以上で $\mathcal{G}$ は閉集合を含む σ-加法族となり、ボレル集合族全体を含みます。 $E$ を Polish 空間、$\mu$ を $E$ 上の有限なボレル測度とする。 1. 任意の $\varepsilon>0$ に対し、コンパクト集合 $K$ で $\mu(E\setminus K)<\varepsilon$ となるものがある（$\mu$ は**緊密**である）。 2. 任意のボレル集合 $A$ と $\varepsilon>0$ に対し、コンパクト集合 $K\subset A$ で $\mu(A\setminus K)<\varepsilon$ となるものがある（**内部正則性**）。 (1) $\{q_i\}$ を可算稠密集合とします。各 $k\in\mathbb{N}$ について閉球 $\bar B(q_i,1/k)$（$i\in\mathbb{N}$）は $E$ を覆う（稠密性）ので、$\bigcup_{i\le n}\bar B(q_i,1/k)\uparrow E$（$n\to\infty$）です。下からの連続性により、$n_k$ を $$ \mu\Bigl(E\setminus\bigcup_{i\le n_k}\bar B(q_i,1/k)\Bigr)<\varepsilon2^{-k} $$ となるように取れます。$K=\bigcap_{k}\bigcup_{i\le n_k}\bar B(q_i,1/k)$ とおくと、$\mu(E\setminus K)<\sum_k\varepsilon2^{-k}=\varepsilon$ です。$K$ は閉集合の共通部分なので閉で、完備空間の閉部分集合として完備です。また各 $k$ で有限個の半径 $1/k$ の閉球（したがって半径 $2/k$ の開球）で覆われるので全有界です。 により $K$ はコンパクトです。 (2) により閉集合 $F\subset A$ で $\mu(A\setminus F)<\varepsilon/2$ となるものを取り、(1) で $\mu(E\setminus K_0)<\varepsilon/2$ となるコンパクト集合 $K_0$ を取ります。$K=F\cap K_0$ はコンパクト集合の閉部分集合なのでコンパクトで、$\mu(A\setminus K)\le\mu(A\setminus F)+\mu(E\setminus K_0)<\varepsilon$ です。 完備性は (1) で全有界な閉集合をコンパクトにするところでだけ使いました。この一点が、次節で前測度の可算加法性を生み出します。 ## 4. Kolmogorov の拡張定理 $T$ を空でない集合、$E$ を Polish 空間とし、$(\mu_J)_{J\in\mathfrak{F}(T)}$ を整合的な確率測度の族とする（）。このとき $(E^T,\mathcal{B}(E)^{\otimes T})$ 上の確率測度 $P$ で、すべての $J\in\mathfrak{F}(T)$ について $$ P\circ\pi_J^{-1}=\mu_J $$ を満たすものがただ一つ存在する。特に、座標過程 $X_t=\pi_t$ は確率空間 $(E^T,\mathcal{B}(E)^{\otimes T},P)$ 上の確率過程で、その有限次元分布は $(\mu_J)$ である。 証明の見取り図です。柱集合の上では $\mu_J$ を使って確率が自然に定まります（手順 2）。これを全体に広げるには、前測度であること、つまり可算加法性が必要で、ここが証明の中心です（手順 3 と 4）。手順 3 では、柱集合が減っていくとき、各段階の柱集合の中に「コンパクト集合でできた小さな柱」を取って、点列の収束部分列から共通の点を作ります。可算加法性が出たら、Carathéodory の拡張定理で測度に広げます（手順 5）。 **(1) 柱集合は代数をなし、直積 σ-加法族を生成する。** $J\subset L$ のとき $\pi_J=\pi_J^L\circ\pi_L$ で、$\pi_J^L$ は連続なので $\pi_J^{-1}(B)=\pi_L^{-1}\bigl((\pi_J^L)^{-1}(B)\bigr)$ と $L$ 上の柱集合に書き直せます。二つの柱集合は $L=J\cup K$ 上に書き直せば、和・補集合も柱集合です。また $E^T$ 自身も柱集合です。よって $\mathcal{C}$ は代数です。$\pi_t^{-1}(B)\in\mathcal{C}$ なので $\sigma(\mathcal{C})\supset\mathcal{B}(E)^{\otimes T}$。逆に各 $\pi_J$ は成分が可測なので $\mathcal{B}(E)^{\otimes J}=\mathcal{B}(E^J)$（）に関して可測で、$\mathcal{C}\subset\mathcal{B}(E)^{\otimes T}$ です。 **(2) $P_0$ の定義と有限加法性。** $C=\pi_J^{-1}(B)$ に対し $P_0(C)=\mu_J(B)$ と定めます。$C=\pi_K^{-1}(B')$ とも書けるとき、$L=J\cup K$ とすると $\pi_L^{-1}\bigl((\pi_J^L)^{-1}(B)\bigr)=\pi_L^{-1}\bigl((\pi_K^L)^{-1}(B')\bigr)$ で、$\pi_L$ は全射なので $(\pi_J^L)^{-1}(B)=(\pi_K^L)^{-1}(B')$。整合性から $$ \mu_J(B)=\mu_L\bigl((\pi_J^L)^{-1}(B)\bigr)=\mu_L\bigl((\pi_K^L)^{-1}(B')\bigr)=\mu_K(B') $$ となり、$P_0$ は表し方によりません。互いに素な二つの柱集合は共通の $L$ 上で $\pi_L^{-1}(B_1)$、$\pi_L^{-1}(B_2)$ と書け、全射性から $B_1\cap B_2=\emptyset$ なので、$P_0$ は $\mu_L$ の加法性から有限加法的です。$P_0(E^T)=1$ です。 **(3) 空集合での連続性。** 次を示します。 > 柱集合の減少列 $C_1\supset C_2\supset\cdots$ が $P_0(C_n)\ge\varepsilon>0$（すべての $n$）を満たすならば、$\bigcap_nC_n\ne\emptyset$。 $C_n=\pi_{J_n}^{-1}(B_n)$ とし、$J_n$ を $J_1\cup\cdots\cup J_n$ に取り替えて（(1) の書き直し）$J_1\subset J_2\subset\cdots$ としてよいです。 により $E^{J_n}$ は Polish なので、 (2) からコンパクト集合 $K_n\subset B_n$ で $\mu_{J_n}(B_n\setminus K_n)<\varepsilon2^{-n-1}$ となるものがあります。$D_n=\bigcap_{k\le n}\pi_{J_k}^{-1}(K_k)$ とおくと、$D_n\subset C_n$ で、$k\le n$ では $C_n\subset C_k$ なので $$ P_0(C_n\setminus D_n)\le\sum_{k\le n}P_0\bigl(C_k\setminus\pi_{J_k}^{-1}(K_k)\bigr)=\sum_{k\le n}\mu_{J_k}(B_k\setminus K_k)<\frac{\varepsilon}{2} $$ です（有限劣加法性は ）。よって $P_0(D_n)>\varepsilon/2>0$ で、$D_n\ne\emptyset$ です。点 $x^{(n)}\in D_n$ を選びます。 $n\ge k$ ならば $\pi_{J_k}(x^{(n)})\in K_k$ です。$K_1$ はコンパクト距離空間なので点列コンパクトで（）、$(\pi_{J_1}(x^{(n)}))_n$ は収束部分列をもちます。その部分列から $(\pi_{J_2}(x^{(n)}))$ の収束部分列を取り、と続けて対角線をとると、部分列 $(n_j)$ で、すべての $k$ について $\pi_{J_k}(x^{(n_j)})\to y^{(k)}\in K_k$（$K_k$ は閉）となるものが得られます。制限写像の連続性から $\pi^{J_{k+1}}_{J_k}(y^{(k+1)})=y^{(k)}$ です。そこで、$t\in J_k$ なら $y_t=y^{(k)}_t$（$k$ の取り方によらない）、$t\notin\bigcup_kJ_k$ なら $y_t$ を $E$ の任意の点とすると、$\pi_{J_k}(y)=y^{(k)}\in K_k\subset B_k$ なので $y\in C_k$（すべての $k$）。主張が示されました。 **(4) 可算加法性。** 互いに素な $A_k\in\mathcal{C}$ で $A=\bigsqcup_kA_k\in\mathcal{C}$ とします。$C_n=A\setminus\bigsqcup_{k\le n}A_k\in\mathcal{C}$ は減少列で $\bigcap_nC_n=\emptyset$ なので、(3) の対偶から $P_0(C_n)\to0$ です（$P_0(C_n)$ は単調減少なので、$0$ に収束しなければある $\varepsilon$ 以上にとどまる）。有限加法性から $P_0(A)=\sum_{k\le n}P_0(A_k)+P_0(C_n)\to\sum_kP_0(A_k)$。よって $P_0$ は代数 $\mathcal{C}$ 上の前測度です。 **(5) 拡張と一意性。** により $P_0$ は $\sigma(\mathcal{C})=\mathcal{B}(E)^{\otimes T}$ 上の測度 $P$ に拡張され、$P\circ\pi_J^{-1}=\mu_J$ を満たします。この性質をもつ測度は柱集合の上で $P_0$ と一致し、$\mathcal{C}$ は交叉で閉じていて $E^T\in\mathcal{C}$ なので、 により一意です。 証明の (3) で、コンパクト集合 $K_n$ は二つの役割を果たしました。$D_n$ が空でないことを測度の評価で保証し、点列 $x^{(n)}$ から収束部分列を取り出すことを可能にしました。$E$ が任意の可測空間だと (3) が破れる例が知られており、位相的な仮定は飾りではありません。ただし独立な場合（）は、各成分の積分で $(3)$ に相当する主張を直接示せるので、位相を使いません。 $E$ を Polish 空間、$\nu$ を $E$ 上の確率測度、$Q(x,dy)$ を確率核（各 $x$ で $Q(x,\cdot)$ は確率測度、各ボレル集合 $A$ で $x\mapsto Q(x,A)$ は可測）とします。$T=\{0,1,2,\ldots\}$ とし、$E^{n+1}$ 上の確率測度を $$ \mu_{\{0,\ldots,n\}}(B)=\int\nu(dx_0)\int Q(x_0,dx_1)\cdots\int Q(x_{n-1},dx_n)\,\mathbf 1_B(x_0,\ldots,x_n) $$ で定めます（内側から順に積分した関数が可測であることは と同じ議論で示せ、可算加法性は単調収束定理から従う）。$J\subset\{0,\ldots,n\}$ には、その $J$ 成分への射影を対応させます。$Q(x_{n},E)=1$ なので、$n+1$ 番目の変数について自明な集合 $B\times E$ では最後の積分を落としても値が変わらず、どの $n$ から射影しても同じ測度が得られて、族は整合的です。 により、初期分布 $\nu$、遷移確率 $Q$ の Markov 連鎖が存在します。 ## 5. 正定値核と Kolmogorov 分解 Gauss 過程の有限次元分布は、平均と共分散で決まります（）。では、どのような関数 $K(s,t)$ が共分散になれるのでしょうか。 写像 $K:T\times T\to\mathbb{R}$ が**正定値核**であるとは、$K(s,t)=K(t,s)$ であり、任意の $n$、$t_1,\ldots,t_n\in T$、$c_1,\ldots,c_n\in\mathbb{R}$ について $$ \sum_{i,j=1}^nc_ic_jK(t_i,t_j)\ge0 $$ が成り立つことをいう（行列 $(K(t_i,t_j))_{i,j}$ がすべて半正定値であることと同じ）。 確率過程 $(X_t)$ が $E[X_t^2]<\infty$ を満たせば、$K(s,t)=\mathrm{Cov}(X_s,X_t)$ は正定値核です。$\sum c_ic_jK(t_i,t_j)=\mathrm{Var}\bigl(\sum_ic_iX_{t_i}\bigr)\ge0$ だからです。 $K:T\times T\to\mathbb{R}$ について次は同値である。 1. $K$ は正定値核である。 2. 実 Hilbert 空間 $H$ と写像 $v:T\to H$ で、すべての $s,t$ について $K(s,t)=\langle v(s),v(t)\rangle$ となるものがある。 さらに、(2) の $(H,v)$ は $\{v(t)\}_{t\in T}$ の張る部分空間が $H$ で稠密になるように取れ（**極小**な分解）、極小な分解 $(H,v)$、$(H',v')$ に対しては、ユニタリ作用素（全射な線形等長写像）$U:H\to H'$ で $Uv(t)=v'(t)$ となるものがただ一つある。 証明の方針です。(2) から (1) は内積の性質からすぐに出ます。逆向きには、時刻 $t$ ごとに「記号 $\delta_t$」を用意し、$K$ を内積と読みかえて、これらの 1 次結合の空間に長さと角度を入れます。内積が $0$ になる元を同一視（商空間）し、極限を補う（完備化）と Hilbert 空間 $H$ になり、$v(t)$ は $\delta_t$ が表す元になります。 **(2) ⇒ (1)** $\sum c_ic_jK(t_i,t_j)=\bigl\|\sum_ic_iv(t_i)\bigr\|^2\ge0$、対称性は内積の対称性です。 **(1) ⇒ (2)** $T$ 上の有限台の実数値関数全体を $V_0$ とし、$a,b\in V_0$ に対し $$ \langle a,b\rangle_K=\sum_{s,t\in T}a(s)b(t)K(s,t) $$ とおきます（有限和）。これは対称な双線形形式で、正定値性から $\langle a,a\rangle_K\ge0$ です。半正定値な対称双線形形式では Cauchy–Schwarz の不等式 $\langle a,b\rangle_K^2\le\langle a,a\rangle_K\langle b,b\rangle_K$ が成り立ちます（$\lambda\mapsto\langle a+\lambda b,a+\lambda b\rangle_K\ge0$ の判別式、$\langle b,b\rangle_K=0$ のときは $\lambda$ の 1 次式が非負であることから $\langle a,b\rangle_K=0$）。したがって $N=\{a\mid\langle a,a\rangle_K=0\}=\{a\mid\langle a,b\rangle_K=0\ \forall b\}$ は部分空間で、商空間 $V_0/N$ 上に内積が well-defined に定まります。 $V_0/N$ を内積から定まる距離で完備化したものを $H$ とします（）。和・スカラー倍・内積は $V_0/N$ 上で一様連続（内積は有界集合上で一様連続）なので、Cauchy 列の極限として $H$ に一意に拡張され、等式で書ける性質（線形性、内積の公理）は極限に引き継がれます。$\langle h,h\rangle=0$ ならば、$h$ に収束する列 $a_n$ について距離 $\|a_n\|\to\|h\|=0$ なので $h=0$ です。よって $H$ は Hilbert 空間です。$\delta_t$ を $t$ で $1$、他で $0$ の関数とし、$v(t)=[\delta_t]$ とすると $\langle v(s),v(t)\rangle=K(s,t)$ で、$\{v(t)\}$ の張る空間は $V_0/N$ 自身なので $H$ で稠密です。 **一意性** 極小な分解 $(H,v)$、$(H',v')$ について、$U_0\bigl(\sum_ic_iv(t_i)\bigr)=\sum_ic_iv'(t_i)$ と定めます。 $$ \Bigl\|\sum_ic_iv'(t_i)\Bigr\|^2=\sum_{i,j}c_ic_jK(t_i,t_j)=\Bigl\|\sum_ic_iv(t_i)\Bigr\|^2 $$ なので、左辺の表示が同じ元を与えるなら右辺も同じ元を与え（差のノルムが $0$）、$U_0$ は well-defined な線形等長写像です。稠密な部分空間上の等長写像は閉包に一意に延び、像は $\{v'(t)\}$ の張る空間の閉包 $H'$ 全体です。$Uv(t)=v'(t)$ を満たす連続線形写像は張る空間上で $U_0$ と一致するので、一意です。 $T$ を空でない集合、$m:T\to\mathbb{R}$ を任意の関数、$K:T\times T\to\mathbb{R}$ を正定値核とする。このとき確率空間とその上の実数値確率過程 $(X_t)_{t\in T}$ で、すべての有限集合 $\{t_1,\ldots,t_n\}$ について $(X_{t_1},\ldots,X_{t_n})$ が Gauss ベクトル $N\bigl((m(t_i))_i,(K(t_i,t_j))_{i,j}\bigr)$ に従うものが存在する。その有限次元分布は $(m,K)$ で一意に決まる。 $J\in\mathfrak{F}(T)$ に対し、$\mathbb{R}^J$ 上の Gauss 分布 $\mu_J=N(m_J,K_J)$、$m_J=(m(t))_{t\in J}$、$K_J=(K(s,t))_{s,t\in J}$ を考えます。$K_J$ は対称半正定値なので、 (2) により $\mu_J$ が存在し、$(m_J,K_J)$ だけで決まります。$J\subset L$ のとき $\pi_J^L$ は線形写像（座標の抜き出し）なので、同定理の (4) から $\mu_L\circ(\pi_J^L)^{-1}=N(\pi_J^Lm_L,\ \pi_J^LK_L(\pi_J^L)^{\mathsf T})=N(m_J,K_J)=\mu_J$。よって族は整合的で、$\mathbb{R}$ は Polish なので から過程が存在します。 二つの定理を合わせると、中心化 Gauss 過程と正定値核と「Hilbert 空間のベクトルの族」は、同じものの三つの見え方です。Kolmogorov 分解 $K(s,t)=\langle v(s),v(t)\rangle$ を使うと、$X_t$ を $H$ のベクトル $v(t)$ に「対応する」Gauss 変数とみなせます（）。 1. **Brown 運動**　$T=[0,\infty)$、$K(s,t)=\min(s,t)$。$\min(s,t)=\int_0^\infty\mathbf 1_{[0,s]}(u)\mathbf 1_{[0,t]}(u)\,du$ なので、$H=L^2(0,\infty)$、$v(t)=\mathbf 1_{[0,t]}$ が Kolmogorov 分解です。 2. **Ornstein–Uhlenbeck 過程**　$T=\mathbb{R}$、$K(s,t)=e^{-|s-t|}$。$e^{-|s-t|}=\int_{\mathbb{R}}e^{i(s-t)\xi}\frac{d\xi}{\pi(1+\xi^2)}$（Cauchy 分布の特性関数）なので、$H=L^2(\mathbb{R},\frac{d\xi}{\pi(1+\xi^2)};\mathbb{C})$ を実 Hilbert 空間とみて $v(t)=e^{it\xi}$ とすれば、$\langle v(s),v(t)\rangle=\mathrm{Re}\int e^{i(s-t)\xi}\frac{d\xi}{\pi(1+\xi^2)}=e^{-|s-t|}$ です。 3. **格子上の Gauss 自由場**　$\Lambda$ を $\mathbb{Z}^d$ の有限部分集合、$m>0$ とし、$A=-\Delta_\Lambda+m^2$（$\Delta_\Lambda$ は $\Lambda$ 上の離散ラプラシアン、外側は $0$ とする）とします。$A$ は対称で $\langle f,Af\rangle\ge m^2|f|^2$ を満たすので正定値行列で、逆行列 $G=A^{-1}$ も正定値です。$G(x,y)$ を共分散とする Gauss 過程 $(\phi_x)_{x\in\Lambda}$ が格子 Gauss 自由場です。分解は $v(x)=A^{-1/2}e_x$ で与えられます。 ## 6. Kolmogorov の連続性定理 拡張定理は有限次元分布しか見ないので、道の性質は「有限次元分布を変えない修正」の範囲でしか決まりません。 同じ確率空間上の確率過程 $X=(X_t)_{t\in T}$、$Y=(Y_t)_{t\in T}$ について、すべての $t$ で $P(X_t=Y_t)=1$ のとき $Y$ は $X$ の**修正**であるという。$P(X_t=Y_t\ \forall t\in T)=1$ のとき（左辺の事象が可測であることも含めて）**区別不能**であるという。 修正どうしは有限次元分布が等しくなります（有限個の時刻での不一致は零集合の有限和に含まれる）。$T$ が可算なら修正は区別不能ですが、非可算だとそうなりません。$\tau$ を $[0,1]$ 上の一様分布とし $X_t=0$、$Y_t=\mathbf 1_{\{t=\tau\}}$ とすれば、$Y$ は $X$ の修正ですが道はすべて不連続です。一方、両方の道が連続な修正どうしは、有理数時刻で一致すれば全時刻で一致するので区別不能です。 $(E,\rho)$ を Polish 空間、$X=(X_t)_{t\in[0,1]}$ を $E$ 値確率過程とし、定数 $\alpha,\beta,C>0$ があって $$ E\bigl[\rho(X_s,X_t)^\alpha\bigr]\le C|t-s|^{1+\beta}\qquad(s,t\in[0,1]) $$ が成り立つとする。このとき $X$ の修正 $\tilde X$ で、すべての道 $t\mapsto\tilde X_t(\omega)$ が連続なものがある。さらに任意の $\gamma\in(0,\beta/\alpha)$ について、ほとんど確実に有限な確率変数 $K_\gamma$ があり、$\rho(\tilde X_s,\tilde X_t)\le K_\gamma|t-s|^\gamma$（すべての $s,t\in[0,1]$）が成り立つ。 仮定の指数が $1+\beta$ と $1$ を超えていることが本質です。[Poisson 過程](/mathematics/probability/markov-chains-poisson#def-poisson-process)（一定の割合でランダムに起こる出来事の回数を数える、階段状に増える過程）$N_t$ は $E|N_t-N_s|=|t-s|$（$\alpha=1$、$\beta=0$）を満たしますが、連続な修正をもちません（跳びがあるため）。 証明の方針です。まず時刻を二進有理数（分母が 2 の冪の分数）に限り、各レベル $n$ で隣り合う点の差が $2^{-\gamma n}$ を超える確率を Markov の不等式で抑えます（手順 1）。次に、$s$ と $t$ を粗いレベルの点まで上がって渡り、細かいレベルへ下りる連鎖で結び、段差を幾何級数で足し合わせます（手順 2）。これで二進有理数の上で一様連続になり、そこから全時刻へ連続に延ばしたものが求める修正です（手順 3）。 $E$ は可分なので、 により $(X_s,X_t)$ は $\mathcal{B}(E^2)$ に関して可測で、$\rho(X_s,X_t)$ は確率変数です。$D_n=\{k2^{-n}\mid0\le k\le2^n\}$、$D=\bigcup_nD_n$（二進有理数）とし、$\gamma\in(0,\beta/\alpha)$ を固定します。 **(1) 隣り合う二進点の評価。** 事象 $A_n=\bigl\{\max_{1\le k\le2^n}\rho(X_{(k-1)2^{-n}},X_{k2^{-n}})>2^{-\gamma n}\bigr\}$ について、Markov の不等式（）を各 $k$ に使うと $$ P(A_n)\le\sum_{k=1}^{2^n}\frac{E\bigl[\rho(X_{(k-1)2^{-n}},X_{k2^{-n}})^\alpha\bigr]}{2^{-\gamma\alpha n}}\le2^n\cdot C2^{-n(1+\beta)}\cdot2^{\gamma\alpha n}=C2^{-n(\beta-\gamma\alpha)}. $$ $\beta-\gamma\alpha>0$ なので $\sum_nP(A_n)<\infty$。Borel–Cantelli の補題（）により、確率 1 の事象 $\Omega_\gamma$ の上では、ある $N(\omega)$ があって $n\ge N(\omega)$ なら $A_n$ が起こりません。 **(2) 連鎖による評価。** $\omega\in\Omega_\gamma$ を固定し、$n\ge N(\omega)$ とします。$m\ge n$ と $s,t\in D_m$、$0\le t-s\le2^{-n}$ について $$ \rho(X_s,X_t)\le2^{-\gamma n}+2\sum_{j=n+1}^m2^{-\gamma j} $$ を $m$ に関する帰納法で示します。$m=n$ のとき $s,t$ は等しいか隣り合う $D_n$ の点なので、(1) から成り立ちます。$m$ で成り立つとして $s,t\in D_{m+1}$ を取ります。$s'$ を $s$ 以上の最小の $D_m$ の点、$t'$ を $t$ 以下の最大の $D_m$ の点とします。$s'\le t'$ のとき、$s'-s$ と $t-t'$ は $0$ か $2^{-(m+1)}$ なので $\rho(X_s,X_{s'})$、$\rho(X_{t'},X_t)\le2^{-\gamma(m+1)}$ で、$s',t'\in D_m$、$0\le t'-s'\le2^{-n}$ だから帰納法の仮定が使え、三角不等式で主張が出ます。$s'>t'$ のときは $s,t$ が長さ $2^{-m}$ の同じ区間 $[t',s']$ の中にあり、等しいか隣り合う $D_{m+1}$ の点なので、$\rho(X_s,X_t)\le2^{-\gamma(m+1)}$ です。 右辺は $c_\gamma2^{-\gamma n}$、$c_\gamma=1+2/(2^\gamma-1)$ 以下です。$s,t\in D$、$0<|t-s|\le2^{-N(\omega)}$ なら $2^{-(n+1)}<|t-s|\le2^{-n}$ となる $n\ge N(\omega)$ を取って $$ \rho(X_s,X_t)\le c_\gamma2^{-\gamma n}\le c_\gamma2^\gamma|t-s|^\gamma. $$ $|t-s|>2^{-N(\omega)}$ のときは、$s$ と $t$ の間にある $D_{N(\omega)}$ の点で $[s,t]$ を幅 $2^{-N(\omega)}$ 以下の高々 $2^{N(\omega)}+2$ 個の区間に区切り、各区間に上の評価を使って三角不等式で足せば、$\rho(X_s,X_t)\le(2^{N(\omega)}+2)c_\gamma2^{\gamma}2^{-\gamma N(\omega)}\le(2^{N(\omega)}+2)c_\gamma2^\gamma|t-s|^\gamma$ です。したがって $K_\gamma(\omega)=(2^{N(\omega)}+2)c_\gamma2^\gamma$ とおけば、$D$ 上で $\rho(X_s,X_t)\le K_\gamma|t-s|^\gamma$ です。 **(3) 修正の構成。** $\gamma_k\uparrow\beta/\alpha$ を取り、$\Omega^*=\bigcap_k\Omega_{\gamma_k}$（確率 1）とします。$\omega\in\Omega^*$ では $t\mapsto X_t(\omega)$ は $D$ 上で一様連続なので、$t\in[0,1]$ に対し $D\ni s\to t$ のときの極限 $\tilde X_t(\omega)$ が $E$ の完備性から存在し、Hölder 評価は極限でも保たれます。$\omega\notin\Omega^*$ では $\tilde X_t(\omega)=e_0$（$E$ の固定点）とします。$\tilde X_t$ は可測関数の各点極限なので確率変数で、すべての道は連続です。 最後に修正であることを示します。$t\in[0,1]$ に対し、$|s_k-t|\le2^{-k}$ となる $s_k\in D$ を取ります。Markov の不等式から、任意の $\eta>0$ で $\sum_kP(\rho(X_{s_k},X_t)>\eta)\le\sum_kC2^{-k(1+\beta)}\eta^{-\alpha}<\infty$ なので、Borel–Cantelli の補題（）により、ほとんど確実に $\rho(X_{s_k},X_t)\le\eta$ がある $k$ から先で成り立ちます。$\eta=1/m$（$m\in\mathbb{N}$）で可算個の零集合を除けば、ほとんど確実に $X_{s_k}\to X_t$ です。一方 $X_{s_k}\to\tilde X_t$ は $\Omega^*$ 上で成り立つので、$\tilde X_t=X_t$ がほとんど確実に成り立ちます。
s t n n+1 n+2 隣り合う点の差 ≤ 2^(-γn)
## 7. Wiener 測度 道の空間として $W^d=C([0,\infty),\mathbb{R}^d)$ を取り、距離 $$ d_W(w,w')=\sum_{n=1}^\infty2^{-n}\min\Bigl(1,\sup_{0\le t\le n}|w(t)-w'(t)|\Bigr) $$ を入れます。$d_W(w_k,w)\to0$ は、各有界区間上での一様収束（広義一様収束）と同値です。座標写像を $\pi_t(w)=w(t)$ と書きます。 $(W^d,d_W)$ は Polish 空間で、そのボレル集合族は座標写像の生成する σ-加法族 $\sigma(\pi_t:t\ge0)$ に等しい。 **完備性。** $d_W$-Cauchy 列 $(w_k)$ は各 $[0,n]$ 上で一様 Cauchy なので、一様収束の Cauchy 判定法（）により各 $[0,n]$ 上で一様収束し、極限 $w$ は連続（）で $d_W(w_k,w)\to0$ です。 **可分性。** 節点 $j/m$（$j\in\mathbb{Z}_{\ge0}$、$m\in\mathbb{N}$）で有理点 $\mathbb{Q}^d$ の値をとり、その間を線形補間し、ある時刻以降は定数とする折れ線は可算個です。$w\in W^d$ と $n$ を取ると、$w$ は $[0,n]$ 上一様連続（）なので、$m$ を大きく取り節点の値を $w(j/m)$ に近い有理点にすれば、$[0,n]$ 上で一様に近い折れ線が取れます。これで可算稠密集合が得られます。 **σ-加法族。** $\pi_t$ は連続なので $\sigma(\pi_t)\subset\mathcal{B}(W^d)$。逆に、$w_0$ を固定すると、連続性から $\sup_{0\le t\le n}|w(t)-w_0(t)|=\sup_{t\in[0,n]\cap\mathbb{Q}}|\pi_t(w)-w_0(t)|$ は可算個の $\sigma(\pi_t)$-可測関数の上限なので、$w\mapsto d_W(w,w_0)$ は $\sigma(\pi_t)$-可測で、開球は $\sigma(\pi_t)$ に属します。可分距離空間の開集合は、可算稠密集合の点を中心とする有理半径の開球の（$U$ に含まれるものの）可算和です（ の証明と同じ議論）。よって $\mathcal{B}(W^d)\subset\sigma(\pi_t)$ です。 $d$ 次元標準 Brown 運動とは、成分 $B^1,\ldots,B^d$ が独立な 1 次元標準 Brown 運動（）であるような $\mathbb{R}^d$ 値過程のことです。 1. 確率空間上の実数値過程 $(B_t)_{t\ge0}$ で、 の四条件を満たし、しかもすべての道が連続なものが存在する。その道は、任意の $\gamma\in(0,1/4)$ と $n$ について、ほとんど確実に $[0,n]$ 上で $\gamma$-Hölder 連続である。 2. $(W^d,\mathcal{B}(W^d))$ 上の確率測度 $\mathbb{W}$ で、座標過程 $(\pi_t)_{t\ge0}$ が $d$ 次元標準 Brown 運動となるものがただ一つ存在する。これを **Wiener 測度**という。$x\in\mathbb{R}^d$ に対し、$w\mapsto x+w$ による $\mathbb{W}$ の像を $\mathbb{W}_x$ と書く（$x$ から出発する Brown 運動の法則）。 **(1)** $\min(s,t)$ は正定値核です。実際 $\min(s,t)=\int_0^\infty\mathbf 1_{[0,s]}(u)\mathbf 1_{[0,t]}(u)\,du$ なので、任意の $t_1,\dots,t_n\ge0$ と実数 $c_1,\dots,c_n$ について $$ \sum_{i,j}c_ic_j\min(t_i,t_j)=\int_0^\infty\Bigl(\sum_i c_i\mathbf 1_{[0,t_i]}(u)\Bigr)^2du\ \ge0 $$ で、対称性も明らかです。 により、平均 $0$、共分散 $\min(s,t)$ の Gauss 過程 $(X_t)_{t\ge0}$ が存在します。$s（$\alpha=4$、$\beta=1$）から、連続な道をもつ修正 $\tilde X^{(n)}$ が $[0,n]$ 上に得られ、$\gamma<1/4$ の Hölder 評価が成り立ちます。$m の (ii) ⇒ (i) により、$B$ は標準 Brown 運動です。これが [マルチンゲールとブラウン運動](/mathematics/probability/martingales-and-brownian-motion) で主張だけを述べた Wiener の存在定理の中身です（あちらの証明はこの (1) を引用しています）。 **(2) 存在。** $d=1$ とします。(1) の $B$ について、写像 $\Phi:\Omega\to W^1$、$\Phi(\omega)=B_\cdot(\omega)$ は、$\pi_t\circ\Phi=B_t$ が可測で、 から $\mathcal{B}(W^1)=\sigma(\pi_t)$ なので可測です。$\mathbb{W}=P\circ\Phi^{-1}$ とすると、座標過程の有限次元分布は $B$ のそれと等しく、道は定義から連続なので、座標過程は標準 Brown 運動です。$d\ge2$ では $(W^1)^d$ と $W^d$ を同一視し、直積測度 $\mathbb{W}^{\otimes d}$（）を取ります。両辺の σ-加法族はどちらも座標写像で生成されるので一致し、成分は独立な標準 Brown 運動です。 **(2) 一意性。** 座標過程が $d$ 次元標準 Brown 運動になる測度の下では、有限次元分布は成分ごとに共分散 $\min(s,t)$ の中心化 Gauss（ の (i) ⇒ (ii)）で、成分が独立なので一つに決まります。$\{\pi_J^{-1}(B)\}$ の形の集合は交叉で閉じていて により $\mathcal{B}(W^d)$ を生成するので、 により $\mathbb{W}$ は一意です。 4 次の積率の代わりに $E|X_t-X_s|^{2p}=(2p-1)!!\,|t-s|^p$ を使うと、$\gamma<(p-1)/(2p)$ が得られ、$p\to\infty$ で任意の $\gamma<1/2$ に達します（）。$\gamma>1/2$ ではどの区間でも Hölder 連続になりません（）。 Wiener 測度は、確率論を「道の空間 $W^d$ 上の測度論」に変えます。Brown 運動の汎関数 $F(B)$ の期待値は $\int_{W^d}F\,d\mathbb{W}$ で、Markov 性や Feynman–Kac 公式は $W^d$ 上の積分の等式として書けます（[Feller 過程と Feynman–Kac](/mathematics/probability/markov-processes-feller)）。 ## 8. 演習 $(E,\rho)$ を Polish 空間とし、$E^{\mathbb{N}}$ に距離 $\bar\rho(x,y)=\sum_{k\ge1}2^{-k}\min(1,\rho(x_k,y_k))$ を入れる。$(E^{\mathbb{N}},\bar\rho)$ は完備かつ可分であり、$\bar\rho$-収束は各座標の収束と同値であることを示せ。 $\bar\rho(x^{(n)},x)\to0$ なら各 $k$ で $\min(1,\rho(x^{(n)}_k,x_k))\le2^k\bar\rho\to0$。逆に各座標で収束すれば、$\varepsilon>0$ に対し $\sum_{k>K}2^{-k}<\varepsilon/2$ となる $K$ を取り、有限個の $k\le K$ の項を $\varepsilon/2$ 未満にできます。Cauchy 列は同じ評価で各座標 Cauchy なので、座標ごとの極限に（上の同値性により）収束します。可算稠密集合 $\{q_i\}$ と固定点 $q_1$ を使い、最初の $K$ 座標が $\{q_i\}$ の元で残りが $q_1$ である点の全体（$K$ を動かして可算個）が稠密です。 $K$ を正定値核、$(H,v)$ をその Kolmogorov 分解とし、$H$ は可分で正規直交基底 $(e_k)_{k\ge1}$ をもつとする。$(\xi_k)$ を独立な標準正規確率変数列とする（ の構成で存在する）。$X_t=\sum_k\langle v(t),e_k\rangle\xi_k$ が $L^2$ で収束し、$(X_t)$ が共分散 $K$ の中心化 Gauss 過程であることを示せ。Kolmogorov の拡張定理を使わない構成になっていることに注意せよ。 部分和 $S_n(t)=\sum_{k\le n}\langle v(t),e_k\rangle\xi_k$ について、$\xi_k$ は $L^2$ の正規直交系なので $E|S_n(t)-S_m(t)|^2=\sum_{m）から極限 $X_t$ があります。$E[X_sX_t]=\lim_nE[S_n(s)S_n(t)]=\lim_n\sum_{k\le n}\langle v(s),e_k\rangle\langle v(t),e_k\rangle=\langle v(s),v(t)\rangle=K(s,t)$。有限個の $t_i$ と $c_i$ について $\sum_ic_iS_n(t_i)$ は独立な正規変数の 1 次結合なので正規分布で、$L^2$ 収束から分布収束し（）、 により極限 $\sum_ic_iX_{t_i}$ も正規分布です。よって $(X_t)$ は Gauss 過程で、平均は $L^2$ 極限で $0$ のままです。 $Z\sim N(0,h)$ なら $E[Z^{2p}]=(2p-1)!!\,h^p$ であることを使い、標準 Brown 運動の道が、任意の $\gamma<1/2$ についてほとんど確実に $[0,1]$ 上 $\gamma$-Hölder 連続であることを示せ。 $E|B_t-B_s|^{2p}=(2p-1)!!\,|t-s|^p$ なので、 を $\alpha=2p$、$\beta=p-1$（$p\ge2$）で使うと、$\gamma<(p-1)/(2p)=\frac12-\frac1{2p}$ の Hölder 連続な修正が得られます。$B$ の道はすでに連続なので、修正 $\tilde B$ とは有理数時刻で一致すれば全時刻で一致し（区別不能）、$B$ 自身が Hölder 連続です。$p=2,3,\ldots$ について確率 1 の事象の共通部分を取れば、すべての $\gamma<1/2$ について同時に成り立ちます。 $\gamma>1/2$ とする。標準 Brown 運動の道が $[0,1]$ 上で $\gamma$-Hölder 連続である確率は $0$ であることを、 を使って示せ。 $|B_t-B_s|\le K|t-s|^\gamma$（$s,t\in[0,1]$）が成り立つ道では、二進分割の二次変分は $$ Q_n=\sum_{k=1}^{2^n}\bigl(B_{k2^{-n}}-B_{(k-1)2^{-n}}\bigr)^2\le2^n\cdot K^22^{-2\gamma n}=K^22^{-n(2\gamma-1)}\to0 $$ です。一方、二次変分の定理（$t=1$）により確率 1 で $Q_n\to1$ です。$K$ を $\mathbb{N}$ 上で動かした可算個の事象 $\{|B_t-B_s|\le K|t-s|^\gamma\ \forall s,t\}$（連続性から有理数の $s,t$ に制限してよいので可測）はいずれも確率 $0$ で、その和である「$\gamma$-Hölder 連続」という事象も確率 $0$ です。 ## 参考文献 - A. N. Kolmogorov『Grundbegriffe der Wahrscheinlichkeitsrechnung』Springer、1933 — 第 III 章（無限次元空間の確率と拡張定理）。 - Patrick Billingsley『Probability and Measure』（第 3 版）Wiley、1995 — 第 36 節（Kolmogorov の存在定理）、第 37 節（Brown 運動）。 - Ioannis Karatzas, Steven E. Shreve『Brownian Motion and Stochastic Calculus』（第 2 版）Springer、1991 — 第 2 章 2.2 節（Daniell–Kolmogorov の拡張定理と Kolmogorov–Čentsov の連続性定理）。 - Olav Kallenberg『Foundations of Modern Probability』（第 2 版）Springer、2002。 - Vern I. Paulsen, Mrinal Raghupathi『An Introduction to the Theory of Reproducing Kernel Hilbert Spaces』Cambridge University Press、2016（正定値核と Hilbert 空間の対応）。