正則+第2可算公理⇒正規
主張
正則(ハウスドルフ性を入れなくても良い)でかつ第2可算公理を満たす空間は,正規である.
[証明]
内田先生の集合と位相の本の演習問題(p107)になっていて,そこにある方針で示します.以下A,Bを互いに交わらない閉集合とする.
(1)開集合系{U_n}, {V_n}で
となり,さらに, となるものが存在する.実際第2可算公理を満たすから可算開基を とすると,正則であることからAの任意の点xに対して, の元 U_x と 開集合 O_x で
となる.同様にすればV_nも取れる.
(2) (1)の{U_n}, {V_n}に対して
とする.明らかにU,Vは開集合である.また より である.そして
である.実際(1)より任意のx∈Aに対してあるNがあってx∈U_N. より, . よって x∈U'_n⊂U となる.B,Vの方も同様.[証明終]
この主張から正則,第2可算公理,ハウスドルフを満たす空間は距離付け可能であることがわかります.
Exercise5.2.27
Exercise5.2.27
次の1次元確率微分方程式の解を陽に求めよ.
ただし,Wは1次元ブラウン運動とする.
[解]
とすると,この確率微分方程式は
の解となる.σ(x)は2階連続微分可能で1階微分,2階微分ともにR上で有界である.b(x)も同様であるから,特にLipschitz連続である.従ってKaratzasShreve Proposition5.2.21より,次の常微分方程式を解くことで上の確率微分方程式の解を得ることができる.
ただし,
これを解いて
以上より解は
となる.[終]
ある種の確率微分方程式が常微分方程式を解くことで解を得ることができるという話題でした.上の場合f(x,y)がxによらないので楽でした.これがxによると常微分方程式を陽に解くことができないので,解析解は出ないように思います.
局所コンパクトハウスドルフ空間上では,ある連続関数の列でG-δコンパクト集合の定義関数に各点収束するものが存在する.
主張
局所コンパクトハウスドルフ(以下LCHとする)X上では,ある連続関数の列でG-δコンパクト集合Kの定義関数に各点収束するものが存在する.
[証明]
次の事実を用いる.
事実
LCHのコンパクト集合Kと開集合OでK⊂Oならば,コンパクト台をもつ実数値連続関数で 0≦u(x)≦1,u(x)=1 (x∈K),supp(u)⊂O となるものが存在する. (猪狩「実解析入門」6章などを参照)
とする.上の事実から各nに対してコンパクト台をもつ連続関数の列 で
となるものが存在する.このとき
となる.実際任意のnで とすると, となり矛盾.このnにたいして,
さらにXが第二可算公理を満たすとコンパクトG_δ集合を含む最小のσ加法族はボレル集合族に一致します.
Exercise5.2.17(Ito-Watanabe(1978))
Problem3.3.23
Problem3.3.23
をd(≧3)次元のr(>0)を出発するベッセル過程とする. とするとき,
となることを示せ.つまりYはベータ分布に従う.
[証明]
伊藤の公式より, は局所連続マルチンゲールである.従ってあるstopping timeの列 で がマルチンゲールとなり, となるものが存在する. , とすると,これらはstopping timeで, となる.
で, , より条件付き期待値のルベーグの収束定理より,
整理して
を得る.[証明終]
Exercise(3.12),Chapter2(Revuz, Yor)続き
つまり
つまり
となる.
(4) がマルチンゲールであることはすぐにわかる. であることを示す.非負のマルチンゲールであるから, が存在する.Fatouの補題から
となり である.よって(1)より となり,結論を得る.[証明終]
Revuz and YorのContinuous Martingales and Brownian Motionという本の問題でした.この問題を使って3次元以上のベッセル過程で0が非再帰的であることが示せるそうなので考えています.今後もこの本の問題を解くかわかりませんが,この本の問題のカテゴリはRevuzAndYorにしておきます.