2015-07-13

任意のεについて

数学

高校ではまったく出てこないが重要な論法がある．

命題．
$a,b$ が定数で，任意の $\varepsilon > 0$ に対して，
　　 $a < b + \varepsilon$
が成り立つならば $a \leq b$ である．□

右辺にいくらでも小さくできる項が含まれていると，その項を取り除いても等号付きで不等号が成立する．
証明は背理法による．

（証明）
背理法を用いる． $a > b$ であると仮定する．
このとき $\varepsilon = a - b > 0$ ととると， $\displaystyle a < b + (a - b)$ より $a < a$ となる．
これは矛盾である．したがって， $a \leq b$ である．（証明終）

2015-07-12

不等号のこと

数学

不等号が学校ではじめて登場するのは小学校２年生なのだそうだ．
もちろん私は初登場した日のことはまったく覚えていない．

しかも「不等号」という名前を出さずに記号 $<, >$ を使って数の大小を表現するに留まるのだそうだ．
小学校２年生では少し難しい単語だと判断されたのだろう．

中学校まで，不等号は大小を表現する記号でしかなかった．
それが高校に上がったとたん不等式を解く，証明するという話に変わる．
「マイナスをかけたり割ったりすると，不等号の向きが逆転する」
最初に訪れる山場である．

2015-07-11

連続関数と可測関数

数学ルベーグ積分

連続関数と可測関数の合成がまた可測関数になることを示す．

定理．
関数 $\varphi : \mathbb{R}^{2} \to \mathbb{R}$ を連続とする．
また $f, g$ は有限な値を持つ実数値可測関数とする．
このとき， $F(x):=\varphi(f(x),g(x))$ も可測関数である．

可測であること

（証明）
$\mathbb{R}, \mathbb{R}^2$ の開基として，開区間をとることができる．
$\varphi$ は連続であるから $(a,b)$ という開区間に対して， $\varphi^{-1}( (a,b) )$ は開集合である．
よって， $\mathbb{R}^2$ は直積空間として， $\mathbb{R}$ の区間の直積の合併で表せる．つまり
　 $\displaystyle \varphi^{-1}( (a,\infty) )=\bigcup_{k=1}^{\infty} (x_{1j}, x_{2j}) \times (y_{1j},y_{2j})$
となる．これから
$\{ x \in \mathbb{R}^{d} \mid \varphi(f(x),g(x)) > \alpha \}$
$= F^{-1} ( ( \alpha, \infty) )$
$\displaystyle = \{ x \in \mathbb{R}^{d} \mid ( f(x),g(x) ) \in \bigcup_{k=1}^{\infty} (x_{1j}, x_{2j}) \times (y_{1j},y_{2j}) \}$
$\displaystyle =\bigcup_{k=1}^{\infty} \{ x \mid x_{1k} < f(x) < x_{2k} \} \cap \{ x \mid y_{1k} < g(x) < y_{2k} \}$ ．
等式の最後は可測集合なので示された．（証明終）

この定理の威力は素晴らしく，次の系はほとんど明らかとなる．

系．
(i) 可測関数全体の集合は $\mathbb{C}$ 上のベクトル空間である．
(ii) $f, g$ が可測関数ならば積 $fg$ ，商 $f/g$ （ $g \neq 0$ a.e.）は可測関数である．
(iii) $f$ が可測関数ならば絶対値の $p$ 乗 $|f|^p$ は可測関数である．
(iv) $f$ が実数値可測関数ならば正の部分 $f^+$ は可測関数である．

2015-07-08

「ほとんどすべて」a.e.

数学ルベーグ積分

定義．（ほとんどすべて a.e.）
$x \in A$ に対する命題 $P(x)$ が，ある零集合 $N$ の点を除いては成立するとき
命題 $P(x)$ はほとんどすべて（almost everywhere）の $x$ に対して成り立つ，といい
　 $P(x)$ a.e. $x \in A$
と表す．□

注意．
考える集合が明らかな場合， $x \in A$ は省略可能である．□

稠密でかつ零集合であるものも存在していることは前に述べたとおりである．（例えば，有理数全体の集合 $\mathbb{Q}$ は $\overline{\mathbb{Q}}=\mathbb{R}$ かつ $m(\mathbb{Q})=0$ ）
これぐらい「ぎっちり」と集合に詰まっている点で成り立たなくても，a.e.という言葉を付け加えて成立するとみなそうというわけである．
まさに零集合の魔術というほかない．

簡単だが重要な補題を示す．

補題．
$f$ は可測関数とする． $f=g$ a.e. ならば $g$ も可測関数である．□

（証明）
$f=g$ a.e. よりある零集合 $N$ が存在して， $f=g$ in $\mathbb{R}^{d} \setminus N$ となる．
任意の $a \in \mathbb{R}$ と任意の $A \in {\cal P}(\mathbb{R}^{d})$ に対して
$m^{*}(A \cap \{ x \in \mathbb{R}^{d} \mid g(x) > a \})+m^{*}(A \setminus \{ x \in \mathbb{R}^{d} \mid g(x) > a \})$
$=m^{*}(A \cap \{ x \in \mathbb{R}^{d} \setminus N \mid g(x) > a \})+m^{*}(A \setminus \{ x \in \mathbb{R}^{d} \setminus N \mid g(x) > a \})$
$=m^{*}(A \cap \{ x \in \mathbb{R}^{d} \setminus N \mid f(x) > a \})+m^{*}(A \setminus \{ x \in \mathbb{R}^{d} \setminus N \mid f(x) > a \})$
$=m^{*}(A \cap \{ x \in \mathbb{R}^{d} \mid f(x) > a \})+m^{*}(A \setminus \{ x \in \mathbb{R}^{d} \mid f(x) > a \})$
$=m^{*}(A)$
最後の等号は $f$ が可測関数であることを用いた．（証明終）

途中零集合 $N$ を差し引きしている．
これは $A = (A \setminus N) \sqcup N$ から $m^{*}(A)=m^{*}(A \setminus N) + m^{*}(N) = m^{*}(A \setminus N)$ による．

2015-06-29

多項式にあらわす

数学

多項式 $P$ は通常次の形式をしている．
$\displaystyle P(x) = \sum_{k=0}^{n}a_{k}x^{k}$
この式を次のような表示に変更する場合，どのようにするだろうか．
$\displaystyle P(x) = \sum_{k=0}^{n}b_{k}(x-\alpha)^{k}$

方法１　代入
$x=y+\alpha$ を第１式に代入して，展開する．
$y$ について整理したのち $y=x-\alpha$ を代入する．
計算をかんがえるとこの方法がよい．

方法２　除法の原理
$x - \alpha$ で割り算を実行する．
証明にはこの方法がよい．

2015-06-26

連続写像の議論

数学

連続写像の定義は一見よく分からない．

位相空間 $(X,{\cal O}(X))$ ， $(Y,{\cal O}(Y))$ における写像 $f:X \to Y$ が連続であるとは，
任意の $O' \in {\cal O}(Y)$ に対して $f^{-1}(O') \in {\cal O}(X)$ が成り立つことをいう．

具体的な例で抽象論を取り扱ってみよう．
関数 $\varphi : \mathbb{R}^{2} \to \mathbb{R}$ 　が連続であるとする．
このとき $(a, \infty) \in {\cal O}(\mathbb{R})$ という開区間に対して逆像を考える．
　　 $\varphi ^{-1} ( ( a , \infty ) ) = \{ (s,t) \mid \varphi(s,t) > a \}$

2015-06-24

可測関数の定義と同値な条件

数学

補題．（可測関数であるための条件）
関数 $f$ に対して次のそれぞれの条件は同値である．
(i)関数 $f$ は可測関数である．
(ii)任意の $a \in \mathbb{R}$ に対して， $\{ x \mid f(x) \geq a \} \in \cal{M}(\mathbb{R}^{d})$ ．
(ii)任意の $a \in \mathbb{R}$ に対して， $\{ x \mid f(x) < a \} \in \cal{M}(\mathbb{R}^{d})$ ．
(iv)任意の $a \in \mathbb{R}$ に対して， $\{ x \mid f(x) \leq a \} \in \cal{M}(\mathbb{R}^{d})$ ．
(v)任意の $a,b \in \mathbb{R}$ に対して， $\{ x \mid a \leq f(x) < b \} \in \cal{M}(\mathbb{R}^{d})$ ．

すぐ気がつくと思うが，不等号がどのように置き換わっても同値になるのである．
証明については，よく知られているこの話と同じようにすればよい．

例題．
開集合の無限個の共通部分は開集合とは限らないことを示せ．

（例題の証明）
次の開集合列を考える． $\{ (0, 1+\frac{1}{n}) \mid n \in \mathbb{N}\}$ ．
$\displaystyle \bigcap_{n=1}^{\infty}(0,1+\frac{1}{n})=(0, 1 ] \notin \cal{O}(\mathbb{R})$ ．（証明終）

この例題は可算無限個の開集合から閉集合を作り出す手がかりとなる．

べっこう色の記録

かつては日記でしたが、現在は数学のことを多く書いています