2015-07-15

差集合について

数学

全体集合 $X$ の部分集合を $A,B$ とする．
このとき，差集合を次で定義する． $A \setminus B =\{ x \mid x \in A , x \notin B \}$ ．

差集合の集合算を考えたい．

まず大切なこととして， $x \notin A \Leftrightarrow x \in A^{c}$ であることは押えておく．

命題１．
$(A \setminus B ) \setminus C = A \setminus (B \cup C)$ ．

（証明）
$(A \setminus B ) \setminus C \subset A \setminus (B \cup C)$ を示す．
$x \in (A \setminus B ) \setminus C$ を言い換えると， $x \in A$ かつ $x \notin B$ かつ $x \notin C$ である．
とくに「 $x \notin B$ かつ $x \notin C$ 」は「 $x \in B^{c}$ かつ $x \in C^{c}$ 」である．
言い換えると $x \in B^{c} \cap C^{c}$ ということである．
ここでド・モルガンの法則により $x \in (B \cup C)^{c}$ となる．
ゆえに $x \notin B \cup C$ であるから， $x \in A \setminus (B \cup C)$ である．
逆の包含関係については下から上に辿っていけばよい．（証明終）

命題２．
$A \setminus (A \cap B) = A \cap B^c$ ．

（証明）
$x \in A \setminus (A \cap B)$ とする．
これは $x \in A$ かつ $x \notin A \cap B$ である．
後半について，言い換えると次の三通りのうちのどれかである．
１） $x \in A$ かつ $x \notin B$
２） $x \notin A$ かつ $x \in B$
３） $x \notin A$ かつ $x \notin B$
$x \in A$ より，１）の場合しかありえない．
よって， $x \in A$ かつ $x \in B^c$ であるから $x \in A \cap B^c$ である．
逆向きの包含関係は証明を下から上へ辿っていけばよい．（証明終）

2015-07-14

自然対数の積分表示

数学

高校数学３ではじめてこの積分を習う．

$\displaystyle \int_{1}^{x} \frac{1}{t}dt = \log x$

つまり，右辺を左辺で定義することもできるわけだ．
有名な対数の性質も左辺も証明できよう．

例．
$\log x^{r} = r \log x$ ．

（解）
$\displaystyle \int_{1}^{x^{r}}\frac{1}{t}dt$ について， $t=s^{r}$ という置換をおこなう．
$dt = r s^{r-1}ds$ かつ $s : 1 \to x$ となる．
つまり $\displaystyle \int_{1}^{x^{r}}\frac{1}{t}dt = \int_{1}^{x} \frac{1}{s^{r}}r s^{r-1}ds = r \int_{1}^{x} \frac{1}{s}ds$ ．（終）

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}$