『解析概論』輪読 - 1122386530

1：RSKTTM：2005/07/26(火) 23:02:10: 立ててみました。

書名：『解析概論　改訂第3版』
著者：高木貞治
出版社：岩波書店

交代で解説を行い、他の人がそれに質問、間違いの指摘などを行うことにします。
適宜他の本を参照してもよいことにします。もちろんその場合は、その本を持っていない人でも分かるように書きます。

解析概論持っていない人でもおかしなところがあったらどんどん突っ込んでしまってください。

あ、ちなみに現在僕は所々飛ばして今P57の偏微分と全微分のあたりまでしか進んでないです。やばい(^^;
2：RSKTTM：2005/07/26(火) 23:03:06: 第1章　基本的な概念
1.　数の概念

まず数の概念と四則演算については分かっているものとします。また自然数、整数、有理数、無理数について深く考えないことにします。きちんと定義しません。本来ならば自然数を定義して、そこから整数→有理数（ここは問題ないはずですが）→実数と数の範囲を広げていくのでしょうが、この本ではそれは行われません。我々もこれらについてはとりあえず経験に従うことにします。

自然数　1, 2, 3, …
整数　…-2, -1, 0, 1, 2, …
有理数　整数p, q（p≠0）を用いてq/pと表される数
無理数　有理数でない実数

10進法について

有理数を10進法で表すと有限小数か循環する無限小数になります。逆に有限小数と循環する無限小数は有理数になります。したがって無理数は無限小数でも循環する無限小数でも表されません（なぜなら無理数とは有理数で無い実数のことだから）。

数の幾何学的表現

実数を直線上の点として表すことができます（数直線）。直線XX´上で0を表す点をOとし、これを原点とします。xを表す点Pはx>0のとき半直線OX上に、x<0のとき半直線OX´上にとることにします。xを表す点と原点の距離つまりOPをxの絶対値といい|x|で表します。
次の不等式が成り立ちます。
|x|+|x´|≧|x+x´|≧|x|-|x´|.
これは三角不等式といいます。証明は略します。実数の公理を出発点として証明しなくてはならないのだと大変かもしれませんが、我々は「a≧0かつb≧0のときa≧b⇒a^2≧b^2」さらにはこれを示すための「a, b, c, d≧0のとき(a≧bかつc≧d)⇒ac≧bd」などを使ってもよいので、簡単です。
3：RSKTTM：2005/07/26(火) 23:04:06: 二つの実数x, yの組(x, y)は平面上の点に対応させます。
同様に三つの実数x, y, zの組(x, y, z)は空間内の点に対応させます。
一般にnこの実数の組(x_1, x_2, …,x_n)をn次元空間上の1点といいそれをPで表します。
Pを(x_1, x_2, …,x_n), P´を(x_1´, x_2´, …,x_n´)をするとき
sqrt((x_1-x_1´)^2+(x_2-x_2´)^2+…+(x_n-x_n´)^2)（ただしsqrt(x)は√xを表す。）
をP, P´の距離といい、PP´で表します。
今Pを固定し、
PP´^2=(x_1-x_1´)^2+(x_2-x_2´)^2+…+(x_n-x_n´)^2<δ^2
を満たすならばP´はPを中心とする半径δのn次元の球の内部にあるといいます。
また
|x_1-x_1´|<δ, |x_2-x_2´|<δ,… ,|x_n-x_n´|<δ
ならばP´はPを中心として稜（空間図形の辺のことは正確には稜というらしいです）が座標軸に平行で、その長さが2δなるn次元の立方体の内部にあるといいます。
これらの定義は2次元、3次元の場合の拡張になっています。

2.　数の連続性

全ての実数を次の性質を満たす二つの集合A, Bに分けることを考えます。これらは本文中の表現と同じものです。
(鄯)R=A∪B（Rは実数全体の集合）.
(鄱)A≠∅ฺ, B≠∅ฺ,
(鄴)a∈A, b∈B⇒a<b.
このような組み分け(A, B)をDedekindの切断といい、Aを下組、Bを上組といいます。
ここで組み合わせ的にはAの最大元と, Bの最小元の存在について次の4通りが考えられます。
1. 下組Aに最大元max(A)が存在し、上組Bに最小限min(B)が存在する.
2. 下組Aに最大元max(A)が存在し、上組Bに最小限min(B)が存在しない.
3. 下組Aに最大元max(A)が存在しせず、上組Bに最小限min(B)が存在する.
4. 下組Aに最大元max(A)が存在せず、上組Bに最小限min(B)が存在しない.
ただし最大元、最小元を次のように定義します。

定義（最大元、最小元）

Sを実数の集合とする。
MがSの最大元である⇔(def) (M∈Sかつ(∀x∈S)(x≦M)).
mがSの最小元である⇔(def) (m∈Sかつ(∀x∈S)(x≧m)).

しかし1. が起こると矛盾します。なぜならM=max(A), m=min(B)とするとM<p<mなる実数、例えばp=(M+m)/2を持ち出すとp∈AとするとMがAの最大元であることに矛盾します。またp∈BとするとmがBの最小元であることに矛盾します。以上よりp∉ฺAかつp∉ฺBとなりますが、これはR=A∪Bに矛盾します。したがって1. は起こりえません。
では2. , 3. , 4.は起こりえるのでしょうか。
ここで次の公理が成り立つことを認めることにします。
4：RSKTTM：2005/07/26(火) 23:05:39: 公理（Dedekindの公理）

実数の切断(A, B)について次のいずれか一方のみが成り立つ。

1. 下組Aに最大元max(A)が存在し、上組Bに最小限min(B)が存在しない.
2. 下組Aに最大元max(A)が存在せず、上組Bに最小限min(B)が存在する.

（本文中では定理 1.（Dedekindの定理））と書いてありますが、我々はこれを議論の出発点とするのでDedekindの公理と呼ぶことにします。また本文中の「実数の切断は、下組と上組の境界として、一つの数を確定する」という書き方はちょっとあいまいなので公理をこの形で述べることにします。）

これは直観的には数直線に途切れが無いことを意味しています。

3.　数の集合・上限・下限

定義（上界、下界、上に有界、下に有界）

Sを実数の集合とする。
(∀x∈S)(x≦M)なる実数Mが存在するときSは上に有界であるという。またこのようなMをSの一つの上界という。
(∀x∈S)(x≧M)なる実数Mが存在するときSは下に有界であるという。またこのようなMをSの一つの下界という。
Sが上に有界でかつ下に有界のときSは有界であるという。

ある数が上界ならばそれよりも大きい数はやはり上界です。下界についても同様です。
5：RSKTTM：2005/07/26(火) 23:07:10: 命題

Mが集合Sの上界であるときN>Mなる実数NはSの上界である。
Mが集合Sの下界であるときN<Mなる実数NはSの下界である。

証明

上界について示す。
MはSの上界であるから、(∀x∈S)(x≦M).
N>Mだから(∀x∈S)(x≦M<N), すなわち(∀x∈S)(x<N).
ゆえにNはSの上界である。
下界についても同様にして示せる。

このように上界、下界というのはたくさんあるわけですがその中でもぎりぎりのところ、つまりなるべく小さな上界、なるべく大きな下界というものに着目します。

定義（上限、下限）

上に有界に集合Sの上界全体の集合に最小元があればそれをSの上限という。
下に有界に集合Sの下界全体の集合に最大元があればそれをSの下限という。

上の上限について次がいえます。

命題

次の同値がいえる。

aはSの上限である
⇔(1) (∀x∈S)(x≦a),
　 (2) a´<a⇒(∃x∈S)(a´<x).
なお下限についても同様のことが成り立つ。

証明

(1)はaがSの上界であることを意味している。よってaがSの上界全体の集合の最小元であることと(2)が同値であることを示せばよい。
aがSの上界全体の集合の最小元であるということは、a´<aなるa´はSの上界全体の集合に属さないということと同じである（最小元の定義より）。したがってa´は￢(∀x∈S)(x≦a´)すなわち(∃x∈S)(x>a´)を満たす。以上よりaがSの上限であることと(1), (2)の同値が示せた。

さてSに最大元が存在するときそれはSの上限でしょうか。これは直観的には明らかかもしれませんが、上限というのはある種の集合の最小元として定義されていますから、字面だけ見るとそんなに明らかではないような気もしてきます。以下でこのことを証明します。
6：RSKTTM：2005/07/26(火) 23:11:05: 命題

集合Sに最大元M=max(A)が存在するならばMはAの上限である。
下限についても同様のことがいえる。

証明

先ほどの命題を利用する。最大元の定義からして、Mは(1)を満たす。またa´<MとするとM∈Sであるからa´<xを満たすSの元xが最低一つは存在することになる。よってMは(2)をも満たすのでSの上限である。

定理2. （Weierstrassの定理）

Sは空集合でないとする。
集合Sが上に有界ならばSには上限が存在する。
集合Sが下に有界ならばSには下限が存在する。

証明

Sが上に有界だとして、Sに上限が存在することを示す。
RをSの上界でない実数全体の集合AとSの上界全体の集合Bに分ける。
このとき(A, B)は実数の切断である。
7：RSKTTM：2005/07/26(火) 23:11:49: ∵全ての実数はSの上界であるかないかのどちらかであるからR=A∪B.
またSの元pをとりq<pなる実数qをとるとqはSの上界ではない（qより大きいSの元pが存在しているから）。
ゆえにq∈AであるからA≠∅ฺ.
そしてSは上に有界なので、当然Sの上界が存在するからB≠∅ฺ.
a∈A, b∈Bとする。
aはSの上界でないからあるSの元xが存在してa<x_0.
また上界の定義より(∀x∈S)(x≦b).
よってｔa<x_0≦b.
ゆえにa∈A, b∈B⇒a<b.
以上より(A, B)は実数の切断である。

するとDedekindの公理より
1. max(A)が存在し、min(B)が存在しない。
2. max(A)が存在せず、min(B)が存在する。
のうちどちらか一方のみが起こる。
そこで2. のみが起こることを示す。
1. が起こるとして矛盾を導く。
1. が起こると仮定する。
max(A)∈Aであるからmax(A)<xなるSの元xが存在する。
ここでmax(A)<b<xなる実数をとる。
するとmax(A)<bよりb∉ฺA.
またbより大きいSの元xがあるからb∉ฺB.
これはDedekindの切断の定義に反する（R=A∪Bに反する）。
したがって1. は起こりえない。
ゆえに2. が起こるからSの上界全体の集合の最小元すなわちSの上限が存在する。