解析学基礎/実数のソースを表示

== はじめに ==
=== 実数とは何か ===
実数全体からなる集合は、さまざまな数学を考えるための舞台として基本的なものである。しかし、それにもかかわらず「実数とは何か」という問いに答えるのは案外難しい。たとえば、手近な高等学校の教科書<ref>数研出版「改訂版 高等学校 数学Ⅰ」（平成28年2月15日検定済）</ref>を紐解くと、次のような記述が見つかる。

:自然数<math>1,2,3,\cdots</math>に、<math>0</math>と<math>-1,-2,-3,\cdots</math>とを合わせて整数という。また、整数<math>m</math>と<math>0</math>でない整数<math>n</math>を用いて分数<math>\frac{m}{n}</math>の形に表される数を有理数という。
::（中略）
:整数と、有限小数または無限小数で表される数とを合わせて実数という。実数のうち、有理数でない数を無理数という。

間違ったことは含んでいないようだが、「実数とは何か」という問いの答えとして期待する答えには程遠く感じられないだろうか。「無限小数で表される数」とはどのような数か。ぼんやりとしたイメージを描くことはできなくはないが、「無限」を正しく理解するのは簡単ではない。それゆえに、この表現だけでは数学を展開する確固たる土台とするには心もとない。しかし、ではどうすればよいのだろうか。
<references />

=== この本の構成 ===
この本では、上で提起した「実数とは何か」という問いに、次のような形で答えていきたい。

まず、我々がナイーブに想像する「実数全体の集合」が満たすべき性質としてどのようなものがあるかを列挙していく。その中で、たとえば有理数全体の集合は満たさない、実数ならではといえる性質に注目し、それらの性質が実は同値であることを示す。同値であることが確認できれば、それらのうち好みの1つを公理として採用することで、理論を展開する土台ができたことになる。

その後、公理から簡単に導かれるいくつかの定理を証明し、実数全体の集合や、実数上の実数値関数の性質を理解する。そして最後に、有理数全体の集合をもとにして、公理を満たす実数全体の集合を集合論的に構成してみる。以上をもって、「実数とは何か」という問いに対するある一定の答えを与えるのが、この本の目標である。

== 順序体 ==
まず、我々の知っている実数について成り立つことが期待される性質を順に挙げていく。この節で挙げる性質をまとめると、実数全体の集合はアルキメデス順序体である、という言葉で表すことができる。

=== 体 ===
我々の知っている実数には四則演算が定義されていて、常識的な計算法則が成り立つ。つまり、次にあげる'''体の公理'''を満たす。

'''命題2.1.1'''　実数全体の集合<math>\mathbb{R}</math>には加法と乗法という二つの演算が定義されていて、次が成り立つ。
:(F1) 任意の元<math>x,y,z \in \mathbb{R}</math>に対し、<math>(x+y)+z=x+(y+z)</math>
:(F2) ある元<math>0 \in \mathbb{R}</math>が存在し、任意の元<math>x \in \mathbb{R}</math>に対し、<math>x+0=0+x=x</math>
:(F3) 任意の元<math>x \in \mathbb{R}</math>に対し、ある元<math>x_o \in \mathbb{R}</math>が存在し、<math>x+x_o=x_o+x=0</math>
:(F4) 任意の元<math>x,y \in \mathbb{R}</math>に対し、<math>x+y=y+x</math>
:(F5) 任意の元<math>x,y,z \in \mathbb{R}</math>に対し、<math>(xy)z=x(yz)</math>
:(F6) ある元<math>1 \in \mathbb{R}</math>が存在し、任意の元<math>x \in \mathbb{R}</math>に対し、<math>x1=1x=x</math>
:(F7) 0でない任意の元<math>x \in \mathbb{R}</math>に対し、ある元<math>x_r \in \mathbb{R}</math>が存在し、<math>xx_r=x_rx=1</math>
:(F8) 任意の元<math>x,y \in \mathbb{R}</math>に対し、<math>xy=yx</math>
:(F9) 任意の元<math>x,y,z \in \mathbb{R}</math>に対し、<math>(x+y)z=xz+yz,\ x(y+z)=xy+xz</math>
:(F10) <math>0 \ne 1</math>

この10個の公理を満たす集合を一般に'''体'''という。公理(F3)の<math>x_o</math>はふつう<math>-x</math>と書く。公理(F7)の<math>x_r</math>はふつう<math>x^{-1}</math>と書く。実数の集合は体である。他に、有理数全体の集合<math>\mathbb{Q}</math>や、複素数全体の集合<math>\mathbb{C}</math>も体である。

=== 順序体 ===
我々の知っている実数は、大小を比較することができる。すなわち、次が成り立つ。

'''命題2.2.1'''　実数全体の集合<math>\mathbb{R}</math>には<math>\le</math>という二項関係が定義されていて、次が成り立つ。
:(O1) <math>x,y \in \mathbb{R}</math>が<math>x \le y</math>かつ<math>y \le x</math>を満たすならば、<math>x=y</math>
:(O2) <math>x,y \in \mathbb{R}</math>が<math>x \le y</math>かつ<math>y \le z</math>を満たすならば、<math>x \le z</math>
:(O3) 任意の元<math>x,y \in \mathbb{R}</math>に対し、<math>x \le y</math>または<math>y \le x</math>の少なくとも一方が必ず成り立つ。

この3つの公理を満たす集合を一般に'''全順序集合'''という。実数全体の集合は全順序集合である。のみならず、この順序と加法・乗法が以下のような形で両立する。

'''命題2.2.2'''　実数全体の集合<math>\mathbb{R}</math>において、次が成り立つ。
:(O4) <math>x,y \in \mathbb{R}</math>が<math>x \le y</math>を満たすならば、任意の元<math>z \in \mathbb{R}</math>に対し、<math>x+z \le y+z</math>
:(O5) <math>x,y \in \mathbb{R}</math>が<math>0 \le x</math>かつ<math>0 \le y</math>を満たすならば、<math>0 \le xy</math>

体である全順序集合がさらにこの2つの公理を満たすとき、一般にこの集合を'''順序体'''という。実数全体の集合は順序体である。有理数全体の集合も順序体である。順序体の公理を用いて、順序体で一般に成り立つ命題をひとつ証明してみる。

'''補題2.2.3'''　順序体において、<math>0 \le 1</math>である。
:（証明）
:<math>0 \le 1</math>が成り立たないとすると、公理(O3)より<math>1 \le 0</math>であるから、公理(O4)により<math>0 \le -1</math>であることがわかる。よって、<math>(-1)(-1)=1</math>であることに注意すると、公理(O5)より<math>0 \le 1</math>である。これは矛盾。//

この補題を用いると、複素数全体の集合には順序体になるような順序を考えることはできないことがわかる。本筋からはそれるが、証明してみよう。
:（複素数体が順序体でないことの証明）
:複素数体が順序体になるとすると、公理(O3)より<math>0 \le i</math>または<math>i \le 0</math>である。<math>0 \le i</math>とすると、<math>ii=-1</math>であることと公理(O5)より<math>0 \le -1</math>である。<math>i \le 0</math>とすると、公理(O4)より<math>0 \le -i</math>なので、<math>(-i)(-i)=-1</math>であることと公理(O5)より<math>0 \le -1</math>である。いずれの場合も<math>0 \le -1</math>なので公理(O4)より<math>1 \le 0</math>であるから、補題2.2.3と公理(O1)より<math>0=1</math>である。これは公理(F10)に反する。//

=== アルキメデス性 ===
もうひとつ、'''アルキメデスの性質'''と呼ばれる次の性質も重要である。

'''命題2.3.1'''　実数全体の集合<math>\mathbb{R}</math>において、次が成り立つ。
:(A) <math>x,y \in \mathbb{R}</math>が<math>x>0</math>かつ<math>y>0</math>を満たすならば、ある自然数''N''が存在して、<math>Nx>y</math>である。

この性質を満たす順序体を'''アルキメデス順序体'''という。実数全体の集合はアルキメデス順序体である。有理数全体の集合もアルキメデス順序体である。

アルキメデスの性質は、数列の極限と関係がある。ここで、数列の極限が収束するとは、下の意味である。

'''定義2.3.2'''　数列<math>\{a_n\}</math>が次の条件を満たすとき、<math>\{a_n\}</math>は<math>\alpha</math>に'''収束する'''といい、<math>\lim_{n \to \infty}a_n=\alpha</math>と書く。
:任意の正の数<math>\varepsilon</math>に対してある自然数''N''が存在し、<math>n>N</math>ならば<math>|a_n-\alpha|<\varepsilon</math>である。

このように定義するとき、次が成り立つ。

'''定理2.3.3'''　アルキメデス順序体において、<math>\lim_{n \to \infty} \frac{1}{n}=0,\ \lim_{n \to \infty} \frac{1}{2^n}=0</math>である。
:（証明）
:アルキメデス順序体においては、任意の正の数<math>\varepsilon</math>に対しある自然数''N''が存在して、<math>N\varepsilon>1</math>である（(A)において<math>x=\varepsilon,y=1</math>とすればよい）。よって、<math>\frac{1}{N}<\varepsilon</math>であるから、<math>n>N</math>ならば<math>\left|\frac{1}{2^n}\right|<\left|\frac{1}{n}\right|<\frac{1}{N}<\varepsilon</math>である。これは、<math>\lim_{n \to \infty} \frac{1}{n}=0,\ \lim_{n \to \infty} \frac{1}{2^n}=0</math>であることを示している。//

=== 本節のまとめ ===
以上、この節の内容をまとめると、実数全体の集合はアルキメデス順序体である、ということが言える。だが、それは有理数全体の集合も同じことである。そもそも我々は、実数全体の集合とはどのようなものかはよく知らず、有理数全体の集合における演算や大小関係のことならば知っているという状態なのであった。その状態の我々が、有理数についての知っていることをもとに実数全体の集合をとらえようとしている段階なのだから、有理数全体の集合でも成り立つ性質ばかりが挙がるのは当然のことである。有理数全体の集合は満たさず実数全体の集合ならば満たす性質にはどのようなものがあるかは、次節で見ていきたい。

== 実数の連続性 ==
本節では、いよいよ実数ならではといえる性質を扱う。それらはいずれも、実数が「ぎっしりたくさん」存在することを主張する命題たちであり、実はすべて同値な命題である。これらの命題によって表現される実数の性質を、「実数の連続性」と呼ぶ。

=== 上限性質 ===
まず、実数からなる集合<math>A \subset \mathbb{R}</math>に対して、いくつかの概念を定義しよう。

'''定義3.1.1'''　ある実数<math>a \in \mathbb{R}</math>が、集合''A''の任意の元<math>x \in A</math>に対して<math>x \le a</math>を満たすとき、''a''は''A''の'''上界'''であるという。同様に、ある実数<math>a \in \mathbb{R}</math>が、集合''A''の任意の元<math>x \in A</math>に対して<math>a \le x</math>を満たすとき、''a''は''A''の'''下界'''であるという。

一般に、実数からなる集合に対して上界・下界が存在するとは限らない。上界が存在する集合を'''上に有界'''であるといい、下界が存在する集合を'''下に有界'''であるという。上に有界かつ下に有界な集合は'''有界'''であるという。

'''定義3.1.2'''　集合''A''の上界''a''が<math>a \in A</math>を満たすとき、''a''を''A''の'''最大元'''という。同様に、集合''A''の下界''a''が<math>a \in A</math>を満たすとき、''a''を''A''の'''最小元'''という。

上界・下界が存在するとは限らないので、最大元・最小元も存在するとは限らない。ただし、最大元・最小元は存在すればただ一つであることは、順序の公理(O1)からわかる。

'''定義3.1.3'''　集合''A''の上界の集合が最小元を持つとき、その元を''A''の'''上限'''と呼ぶ。同様に、集合''A''の下界の集合が最大元を持つとき、その元を''A''の'''下限'''と呼ぶ。

用語の意味を整理するために、例をいくつか挙げよう。

'''例3.1.4'''
# 閉区間<math>[0,1]=\{x \in \mathbb{R} | 0 \le x \le 1\}</math>について、1以上の任意の実数は上界であり、0以下の任意の実数は下界である。最大元は1であり、最小元は0である。上限は1であり、下限は0である。
# 集合<math>A= \{x \in \mathbb{R} | x^2<2 \}</math>について、<math>\sqrt{2}</math>以上の任意の実数は上界であり、<math>-\sqrt{2}</math>以下の任意の実数は下界である。最大元・最小元は存在しない。上限は<math>\sqrt{2}</math>であり、下限は<math>-\sqrt{2}</math>である。
# 自然数の集合<math>\mathbb{N}=\{0,1,2,\cdots\}</math>について、0以下の任意の実数は下界であるが、上界は存在しない。最小元は0であるが、最大元は存在しない。下限は0であり、上限は存在しない。
# ''n''を正の整数とするとき、''n''個の実数からなる集合<math>A_n=\{a_1,a_2,\cdots,a_n\}</math>について、ある実数<math>M_n,m_n</math>が存在し、<math>M_n</math>以上の任意の実数は上界であり、<math>m_n</math>以下の任意の実数は下界である。最大元は<math>M_n</math>であり、最小元は<math>m_n</math>である。上限は<math>M_n</math>であり、下限は<math>m_n</math>である。これは数学的帰納法を用いて以下のように示される。最大元について、<math>A_1=\{a_1\}</math>に対して<math>M_1=a_1</math>が条件を満たすことはすぐわかる。<math>M_n=a_k</math>のとき、<math>a_k \le a_{n+1}</math>ならば<math>M_{n+1}=a_{n+1}</math>としそうでなければ<math>M_{n+1}=a_k</math>とすれば、この<math>M_{n+1}</math>は集合<math>A_{n+1}</math>に対し条件を満たす。最小元についても同様。
# 空集合<math>\emptyset</math>について、任意の実数は上界であり、任意の実数は下界である。最大元は存在せず、最小元も存在しない。上限は存在せず、下限も存在しない。

ここで用意した用語を用いると、実数の連続性、すなわち実数が「ぎっしりたくさん」存在するという主張は、次のように表現できる。

'''命題3.1.5'''　実数からなる空集合でない集合''A''が上に有界ならば、''A''の上限が<math>\mathbb{R}</math>の中に存在する。

例3.1.4の1,2,4がこのような例になっていることが容易に確認できる。3,5は上限が存在しないが、3は上に有界ではなく、5は空集合である。

命題3.1.5は、実数ならではの、実数が「たくさん」存在することからいえる性質である。これは、実数よりもずっと「少ない」元しか存在しない有理数の集合について考えてみるとわかる。

'''定理3.1.6'''　「有理数からなる空集合でない集合''A''が上に有界ならば、''A''の上限が<math>\mathbb{Q}</math>の中に存在する」という主張は偽である。
:（証明）<math>A= \{x \in \mathbb{Q} | x^2<2 \}</math>とする。<math>1 \in A</math>であり2は''A''の上界なので、''A''は空集合ではなく上に有界な集合である。<math>s \in \mathbb{Q}</math>がこの集合の上限であると仮定する。<math>0<\varepsilon<s</math>を満たす任意の数<math>\varepsilon</math>に対して<math>0<s-\varepsilon < s</math>なので、上限の定義より<math>s-\varepsilon</math>は''A''の上界ではなく、したがって<math>s-\varepsilon<a</math>をみたす<math>a \in A</math>が存在する。よって、<math>(s-\varepsilon)^2<a^2<2</math>である。<math>\varepsilon</math>は任意に小さく取れることから、<math>s^2 \le 2</math>である。ところが、<math>s^2<2</math>とすると、適当な有理数<math>t</math>が存在して<math>s^2<t^2<2</math>となり、''s''が上界であることに反する。よって、<math>s^2=2</math>である。ところが、[[高等学校数学I/数と式#実数]]で示しているように、<math>s^2=2</math>を満たす有理数''s''は存在しない。//

=== 有界単調数列の極限 ===
この節では、数列が収束するための十分条件を考えたい。そのために、概念をいくつか定義しよう。

'''定義3.2.1'''　実数からなる数列<math>\{a_n\}</math>の値域<math>\{a_n|n \in \mathbb{N}\}</math>が有界であるとき、<math>\{a_n\}</math>は'''有界'''な数列であるという。'''上に有界'''、'''下に有界'''も同様に定義する。

'''定義3.2.2'''　実数からなる数列<math>\{a_n\}</math>が、任意の自然数''n''に対して<math>a_n \le a_{n+1}</math>を満たすとき、<math>\{a_n\}</math>は'''単調増加'''であるという。また、任意の自然数''n''に対して<math>a_n \ge a_{n+1}</math>を満たすとき、<math>\{a_n\}</math>は'''単調減少'''であるという。

このとき、次が成り立つ。この命題も、実は実数の連続性のひとつの表現である。

'''命題3.2.3'''　実数からなる上に有界な単調増加数列は、ある実数に収束する。また、実数からなる下に有界な単調減少数列は、ある実数に収束する。

命題3.2.3を用いて、いくつかの数列の極限を考えてみよう。

'''例3.2.4'''　数列<math>\{a_n\}</math>を次の漸化式で定義する。
:<math>a_1=2,\ a_{n+1}=\frac{1}{2}\left(a_n+\frac{2}{a_n}\right)</math>
漸化式より任意の自然数''n''に対して<math>a_n>0</math>なので、<math>\{a_n\}</math>は下に有界である。相加平均・相乗平均の関係を用いると、さらに任意の自然数''n''に対して<math>a_n \ge \sqrt{2}</math>であることがわかる。よって、
:<math>a_{n+1}-a_n=\frac{1}{2}\left(-a_n+\frac{2}{a_n}\right)=-\frac{a_n^2-2}{2a_n} \le 0</math>
であるから<math>\{a_n\}</math>は単調減少数列である。以上から、命題3.2.3によりこの数列は収束する。極限値<math>\lim_{n \to \infty}a_n</math>を<math>\alpha</math>とおくと、<math>\lim_{n \to \infty}a_{n+1}=\alpha</math>でもあることに注意すると、
:<math>\alpha=\frac{1}{2}\left(\alpha+\frac{2}{\alpha}\right)</math>
整理すると、
:<math>\alpha^2=2</math>
すなわち、<math>\lim_{n \to \infty}a_n=\sqrt{2}</math>である。

この例は、実数からなる具体的な数列に命題3.2.3を適用した例となっているだけでなく、有理数からなる数列について命題3.2.3は成り立たないことの反例にもなっている。すなわち、

'''定理3.2.5'''　「有理数からなる上に有界な単調増加数列は、ある有理数に収束する」や「有理数からなる下に有界な単調減少数列は、ある有理数に収束する」という主張は偽である。

が既に示されたことになる。

もうひとつ、別の例に命題3.2.3を適用してみよう。

'''例3.2.6'''　数列<math>\{a_n\}</math>を<math>a_n=\left(1+\frac{1}{n}\right)^n</math>で定めると、この数列<math>\{a_n\}</math>は収束する。
:（証明）
:<math>\begin{align}
a_n&= \sum_{k=0}^n \frac{n!}{n^k (n-k)! k!} \\
&\le \sum_{k=0}^n \frac{n^k (n-k)!}{n^k (n-k)! k!} \\
&= 1+\sum_{k=1}^n \frac{1}{k!} \\
&\le 1+\sum_{k=1}^n \frac{1}{2^{k-1}} \\
&= 1+2\left(1-\frac{1}{2^n}\right) \\
&\le 3
\end{align}</math>
:であることから、<math>\{a_n\}</math>は上に有界である。また、
:<math>\begin{align}
a_{n+1}-a_n&= \sum_{k=0}^{n+1} \frac{(n+1)!}{(n+1)^k (n+1-k)! k!}-\sum_{k=0}^n \frac{n!}{n^k (n-k)! k!} \\
&=\frac{1}{(n+1)^{n+1}}+\sum_{k=0}^n \left(\frac{(n+1)!}{(n+1)^k (n+1-k)! k!}-\frac{n!}{n^k (n-k)! k!} \right) \\
&> \sum_{k=0}^n \frac{1}{k!}\left(\left(1-\frac{1}{n+1}\right)\left(1-\frac{2}{n+1}\right)\cdots\left(1-\frac{k-1}{n+1}\right)-\left(1-\frac{1}{n}\right)\left(1-\frac{2}{n}\right)\cdots\left(1-\frac{k-1}{n}\right)\right) \\
&> 0
\end{align}</math>
であることから、<math>\{a_n\}</math>は単調増加数列である。よって、命題3.2.3より数列<math>\{a_n\}</math>は収束する。//

例3.2.6の数列<math>\{a_n\}</math>について、<math>\lim_{n \to \infty} a_n</math>を'''自然対数の底'''といい、記号<math>e</math>で表す。

=== 区間縮小法 ===
次の命題も、実数の連続性のひとつの表現である。

'''命題3.3.1'''　2つの数列<math>\{a_n\},\{b_n\}</math>が次の条件を満たすならば、<math>\{a_n\},\{b_n\}</math>はともに収束し、<math>\lim_{n \to \infty}a_n=\lim_{n \to \infty}b_n</math>
:任意の自然数''n''に対して<math>a_n \le a_{n+1} \le b_{n+1} \le b_n</math>であり、かつ<math>\lim_{n \to \infty}(b_n-a_n)=0</math>である。

=== ボルツァーノ・ワイエルシュトラスの定理 ===
数列に対して、たとえばその奇数番目の項だけを取り出すなどのように、その一部分を順番を変えずに取り出してできる新しい数列を、元の数列の'''部分列'''という。このとき、次の命題が成り立つ。この命題は、'''ボルツァーノ・ワイエルシュトラスの定理'''と呼ばれ、これも実数の連続性のひとつの表現である。

'''命題3.4.1'''　実数からなる数列<math>\{a_n\}</math>が有界ならば、<math>\{a_n\}</math>はある実数に収束するような部分列を持つ。

=== コーシー列 ===
数列が収束する条件を別の形で言い換えることはできるだろうか。ここで、'''コーシー列'''という概念を定義する。

'''定義3.5.1'''　数列<math>\{a_n\}</math>が次の条件を満たすとき、'''コーシー列'''であるという。
:任意の正の数<math>\varepsilon</math>に対してある自然数''N''が存在し、<math>m,n \ge N</math>ならば<math>|a_m-a_n|<\varepsilon</math>である。

収束する数列が必ずコーシー列であることは、次に示すように容易にわかる。

'''定理3.5.2'''　数列<math>\{a_n\}</math>がある値<math>\alpha</math>に収束するならば、<math>\{a_n\}</math>はコーシー列である。
:（証明）
:<math>\{a_n\}</math>が<math>\alpha</math>に収束するとき、正の数<math>\varepsilon</math>を任意にとると、ある自然数''N''が存在して、<math>m,n \ge N</math>ならば<math>|a_m-\alpha|<\frac{\varepsilon}{2},|a_n-\alpha|<\frac{\varepsilon}{2}</math>である。よって、
::<math>|a_m-a_n| = |(a_m-\alpha)-(a_n-\alpha)| \le |a_m-\alpha|+|a_n-\alpha|<\varepsilon</math>
:である。すなわち、<math>\{a_n\}</math>はコーシー列である。//

では、逆は成り立つだろうか。実は、定理3.5.2の逆は成り立つのだが、これもやはり実数の連続性を表す命題なのである。

'''命題3.5.3'''　数列<math>\{a_n\}</math>がコーシー列ならば、<math>\{a_n\}</math>はある値<math>\alpha</math>に収束する。

== 同値性の証明 ==
本節では、実数の連続性を表現するものとして前節で挙げた5つの命題、命題3.1.5・命題3.2.3・命題3.3.1・命題3.4.1・命題3.5.3が、すべて同値であることを証明する。

=== Step1 ===
'''定理4.1.1'''　命題3.1.5が成り立つならば、命題3.2.3が成り立つ。
:（証明）
:<math>\{a_n\}</math>を実数からなる上に有界な単調増加数列とし、集合''A''を<math>A=\{a_n|n \in \mathbb{N}\}</math>と定める。この集合''A''は実数からなる空集合でない集合であり、上に有界なので、命題3.1.5より上限''s''を持つ。
:''s''は''A''の上限なので、定義より任意の自然数''n''に対して<math>a_n \le s</math>が成り立つ。一方、やはり上限の定義より任意の正の数<math>\varepsilon</math>に対して<math>s-\varepsilon</math>は''A''の上界ではなく、したがってある自然数''N''が存在して<math>s-\varepsilon<a_N</math>である。さらに、<math>\{a_n\}</math>が単調増加数列であることから、<math>n>N</math>ならば<math>a_N \le a_n</math>である。以上を総合すると、任意の正の数<math>\varepsilon</math>に対してある自然数''N''が存在して、<math>n>N</math>ならば<math>s-\varepsilon<a_N \le a_n \le s</math>である。すなわち、<math>\lim_{n \to \infty}a_n=s</math>である。下に有界な場合は大小関係を逆にして同様に示される。//

=== Step2 ===
'''定理4.2.1'''　命題3.2.3が成り立つならば、命題3.3.1が成り立つ。
:（証明）
:<math>\{a_n\},\{b_n\}</math>を命題3.3.1の条件を満たす数列とする。条件より、<math>\{a_n\}</math>は上に有界な単調増加数列、<math>\{b_n\}</math>は下に有界な単調減少数列なので、命題3.2.3よりある実数に収束する。<math>\lim_{n \to \infty}a_n=\alpha,\lim_{n \to \infty}b_n=\beta</math>とすると、
::<math>\beta=\lim_{n \to \infty} b_n=\lim_{n \to \infty} \left((b_n-a_n)+a_n\right)=0+\alpha=\alpha</math>
:である。//

=== Step3 ===
'''定理4.3.1'''　命題3.3.1が成り立つならば、命題3.4.1が成り立つ。

この定理の証明には、高校数学でもおなじみの「はさみうちの原理」を用いる。この本では数列の極限を定義2.3.2で定義するので、まずはこの定義に従ってはさみうちの原理を証明しておこう。

'''補題4.3.2'''　数列<math>\{a_n\},\{b_n\},\{c_n\}</math>が、すべての自然数''n''に対して<math>a_n \le b_n \le c_n</math>を満たし、かつ<math>\lim_{n \to \infty}a_n=\lim_{n \to \infty}c_n=\alpha</math>を満たすならば、<math>\lim_{n \to \infty}b_n=\alpha</math>である。
:（証明）
:<math>\lim_{n \to \infty}a_n=\lim_{n \to \infty}c_n=\alpha</math>なので、任意の正の数<math>\varepsilon</math>に対してある自然数''N''が存在し、<math>n>N</math>ならば<math>|a_n-\alpha|<\varepsilon,|c_n-\alpha|<\varepsilon</math>である。よって、
::<math>\alpha-\varepsilon < a_n \le b_n \le c_n < \alpha+\varepsilon</math>
:であるから、<math>|b_n-\alpha|<\varepsilon</math>である。すなわち、<math>\lim_{n \to \infty}b_n=\alpha</math>である。//

この補題を用いて、定理4.3.1を示す。

:（定理4.3.1の証明）
:数列<math>\{a_n\}</math>が有界であるとすると、ある実数''b'',''c''が存在して、任意の自然数''n''に対して<math>b \le a_n \le c</math>である。この''b'',''c''を用いて、次のようにして数列<math>\{b_n\},\{c_n\}</math>を定める。
:# <math>b_1=b,c_1=c</math>とする。
:# <math>\frac{b_n+c_n}{2} \le a_m \le c_n</math>を満たす''m''が有限個しか存在しないならば、<math>b_{n+1}=b_n,c_{n+1}=\frac{b_n+c_n}{2}</math>とする。そうでないならば、<math>b_{n+1}=\frac{b_n+c_n}{2},c_{n+1}=c_n</math>とする。
:このように定めた数列<math>\{b_n\},\{c_n\}</math>を用いて、<math>\{a_n\}</math>の部分列<math>\{a_{n_k}\}</math>を次のように定める。
:# <math>n_1=1</math>とする。
:# <math>k \ge 2</math>のとき、<math>b_k \le a_m \le c_k</math>を満たす''m''は無限に存在する。そのような''m''であって<math>n_{k-1}</math>より大きいものの中で最小のものを<math>n_k</math>とする。
:このように定めれば、<math>\{a_{n_k}\}</math>は<math>\{a_n\}</math>の部分列であり、任意の自然数''k''に対して<math>b_k \le a_{n_k} \le c_k</math>を満たす。ところで、任意の自然数''n''に対して<math>b_n \le b_{n+1} \le c_{n+1} \le c_n</math>であり、かつ<math>\lim_{n \to \infty}(c_n-b_n)=\lim_{n \to \infty}\frac{2(c-b)}{2^n}=0</math>である（定理2.3.3を用いた）。よって、この数列は命題3.3.1の条件を満たすので、命題3.3.1より<math>\{b_n\},\{c_n\}</math>はともに収束し、<math>\lim_{n \to \infty}b_n=\lim_{n \to \infty}c_n</math>である。よって、はさみうちの原理（補題4.3.2）により、<math>\{a_{n_k}\}</math>は収束する。//

=== Step4 ===
'''定理4.4.1'''　命題3.4.1が成り立つならば、命題3.5.3が成り立つ。

定理を示す前に、まずコーシー列の性質をひとつ示しておこう。

'''補題4.4.2'''　数列<math>\{a_n\}</math>がコーシー列ならば、<math>\{a_n\}</math>は有界である。
:（証明）
:1>0であるから、<math>\{a_n\}</math>がコーシー列であるとすると、ある自然数''N''が存在して、<math>n \ge N</math>ならば<math>|a_n-a_N|<1</math>である。すなわち、<math>a_N-1<a_n<a_N+1</math>である。<math>S=\{|a_1|,|a_2|,\cdots,|a_{N-1}|,|a_N-1|,|a_N+1|\}</math>とする。集合''S''は有限集合なので最大元''M''を持つ。このとき、任意の自然数''n''に対して<math>|a_n| \le M</math>であるから、''M''は集合<math>\{|a_n| | n \in \mathbb{N}\}</math>の上界である。よって、<math>\{a_n\}</math>は有界である。//

この補題を用いて、定理を示そう。

:（定理4.4.1の証明）
:<math>\{a_n\}</math>をコーシー列とすると、補題4.4.2より<math>\{a_n\}</math>は有界なので、命題3.4.1より収束する部分列<math>\{a_{n_k}\}</math>を持つ。<math>\lim_{k \to \infty}a_{n_k}=\alpha</math>とする。<math>\varepsilon>0</math>を任意にとると、ある自然数''K''が存在して、<math>k>K</math>ならば<math>|a_{n_k}-\alpha|<\frac{\varepsilon}{2}</math>である。
:ところで、<math>\{a_n\}</math>はコーシー列なので、ある自然数''N''が存在して、<math>k \ge N</math>ならば<math>|a_k-a_{n_k}|<\frac{\varepsilon}{2}</math>である（部分列の定義より<math>n_k \ge k</math>であることに注意する）。よって、<math>k>K</math>かつ<math>k>N</math>ならば、
::<math>|a_k-\alpha| \le |a_k-a_{n_k}|+|a_{n_k}-\alpha|<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon</math>
:である。すなわち、<math>\lim_{k \to \infty} a_k=\alpha</math>である。//

=== Step5 ===
'''定理4.5.1'''　命題3.5.3が成り立つならば、命題3.1.5が成り立つ。
:（証明）
:集合''A''は実数からなる空集合でない集合で、上に有界であるとする。集合''B''を''A''の上界すべてからなる集合とすると、''A''が上に有界なので''B''は空集合ではない。また、集合<math>C=\mathbb{R} \setminus B</math>も空集合でない。なぜならば、''A''が空集合でないのである元<math>a \in A</math>が存在するが、この''a''に対して<math>a-1 \in C</math>だからである。
:<math>b \in B,c \in C</math>をひとつとる。この''b'',''c''を用いて、次のようにして数列<math>\{b_n\},\{c_n\}</math>を定める。
:# <math>b_1=b,c_1=c</math>とする。
:# <math>\frac{b_n+c_n}{2} \in C</math>ならば、<math>b_{n+1}=b_n,c_{n+1}=\frac{b_n+c_n}{2}</math>とする。<math>\frac{b_n+c_n}{2} \in B</math>ならば、<math>b_{n+1}=\frac{b_n+c_n}{2},c_{n+1}=c_n</math>とする。
:このように定めるとき、<math>m,n \ge N</math>に対して
::<math>|b_m-b_n| <|b_N-c_N| = \frac{2|b-c|}{2^N}</math>
:であるが、定理2.3.3より任意の<math>\varepsilon>0</math>に対してある''N''が存在して<math>\frac{2|b-c|}{2^N}<\varepsilon</math>なので、<math>\{b_n\}</math>はコーシー列である。よって、命題3.5.3より<math>\{b_n\}</math>はある値<math>\alpha</math>に収束する。<math>\{c_n\}</math>についても同様にコーシー列であるから収束し、また<math>\lim_{n \to \infty}|b_n-c_n|=0</math>であることもわかるので、<math>\lim_{n \to \infty}c_n=\alpha</math>でもある。
:任意の自然数''n''に対して<math>b_n</math>は''A''の上界なので、任意の元<math>a \in A</math>に対して<math>a \le b_n</math>が成り立つ。よって、<math>a \le \alpha</math>が成り立つので、<math>\alpha</math>は''A''の上界である。また、任意の数<math>x < \alpha</math>をとると、<math>\lim_{n \to \infty}c_n=\alpha</math>であるから、ある''n''が存在して<math>x<c_n</math>である。この<math>c_n</math>は''A''の上界ではないので、''x''も''A''の上界ではない。よって、<math>\alpha</math>は''A''の上界の集合の最小元、すなわち上限である。//

以上により、5つの命題が同値であることが示された。

== アルキメデス性と実数の連続性 ==
前節では、実数の連続性を表す5つの命題が同値であることを証明した。その中では、アルキメデスの性質から導かれる定理2.3.3を用いていることに注意しよう。すなわちこれまでに示されたのは、この5つの命題はアルキメデスの性質を仮定したうえでは同値、ということである。アルキメデスの性質を仮定しない場合、5つの命題は、それ自身がアルキメデスの性質を含意する命題と、アルキメデスの性質とは独立な命題とに分かれており、つまり同値ではない。本節ではこのことについて詳しくみていく。

=== アルキメデス性の証明（１） ===
まず、命題3.1.5と命題3.2.3は、それ自身がアルキメデス性を含意していることを示す。

'''定理5.1.1'''　命題3.2.3が成り立つならば、命題2.3.1が成り立つ。
:（証明）
:(A)の否定、すなわち
::ある正の数<math>x,y</math>が存在し、任意の自然数''N''に対して<math>Nx \le y</math>
:が成り立つと仮定する。このとき、数列<math>\{n\}</math>を考えると、これは単調増加数列であり、また<math>\frac{y}{x}</math>が上界なので上に有界であるから、命題3.2.3より<math>\{n\}</math>は収束する。<math>\lim_{n \to \infty}n=\alpha</math>とする。
:このとき、数列<math>\{n\}</math>が単調増加であることから、任意の自然数''n''に対して<math>n \le \alpha</math>でなければならない。なぜならば、<math>N>\alpha</math>なる''N''が存在したとすると、<math>n>N</math>ならば<math>n-\alpha>N-\alpha>0</math>となり、<math>\lim_{n \to \infty}n=\alpha</math>に反するからである。ところで、<math>1>0</math>より<math>\alpha-1<\alpha</math>であるから、<math>\lim_{n \to \infty}n=\alpha</math>よりある自然数''M''が存在して<math>\alpha-1<M<\alpha</math>である。すなわち、<math>\alpha<M+1</math>である。これは矛盾。よって、(A)が成り立つ。//

'''系5.1.2'''　命題3.1.5が成り立つならば、命題2.3.1が成り立つ。
:（証明）定理4.1.1と定理5.1.1より従う。//

=== アルキメデス性の証明（２） ===
ほぼ同様に、命題3.4.1もそれ自身がアルキメデス性を含意していることが示される。

'''定理5.2.1'''　命題3.4.1が成り立つならば、命題2.3.1が成り立つ。
:（証明）
:(A)の否定、すなわち
::ある正の数<math>x,y</math>が存在し、任意の自然数''N''に対して<math>Nx \le y</math>
:が成り立つと仮定する。このとき数列<math>\{n\}</math>を考えると、この数列は有界なので、命題3.4.1よりある実数に収束するような部分列を持つ。その部分列を<math>\{n_i\}</math>とし、<math>\lim_{i \to \infty}n_i=\alpha</math>とする。
:このとき、数列<math>\{n_i\}</math>が単調増加であることから、任意の自然数''i''に対して<math>n_i \le \alpha</math>でなければならない。なぜならば、<math>n_j>\alpha</math>なる''j''が存在したとすると、<math>i>j</math>ならば<math>n_i-\alpha>n_j-\alpha>0</math>となり、<math>\lim_{i \to \infty}n_i=\alpha</math>に反するからである。ところで、<math>1>0</math>より<math>\alpha-1<\alpha</math>であるから、<math>\lim_{i \to \infty}n_i=\alpha</math>よりある自然数''k''が存在して<math>\alpha-1<n_k<\alpha</math>である。すなわち、<math>\alpha<n_k+1 \le n_{k+1}</math>である。これは矛盾。よって、(A)が成り立つ。//

残る2つの命題、命題3.3.1と命題3.5.3については、この命題からアルキメデスの性質を導き出すことはできないことが知られている。そのことを示すには反例を挙げればよいのだが、その反例は当然実数体ではない別の順序体ということになり、実数を理解するという本筋からは外れることになるので、ひとまずここでは触れないことにしておく。

== 実数の連続性の帰結 ==
この節では、実数の連続性を用いて、実数上の実数値関数に関する種々の性質を証明していく。以下、この節では実数の連続性を表す命題たちは成り立つものとして議論を進める。

=== 中間値の定理 ===
まず、関数の極限と連続性を定義しておこう。

'''定義6.1.1'''　関数<math>f:\mathbb{R} \to \mathbb{R}</math>が次の条件を満たすとき、''x''を''a''に近づけたとき<math>f(x)</math>は<math>\alpha</math>に収束するといい、<math>\lim_{x \to a}f(x)=\alpha</math>と書く。
:任意の正の数<math>\varepsilon</math>に対しある正の数<math>\delta</math>が存在し、<math>0<|x-a|<\delta</math>ならば<math>|f(x)-\alpha|<\varepsilon</math>である。

'''定義6.1.2'''　関数<math>f:\mathbb{R} \to \mathbb{R}</math>が
:<math>\lim_{x \to a}f(x)=f(a)</math>
を満たすとき、''f''は<math>x=a</math>で連続であるという。区間''I''に属する任意の数''a''について''f''が<math>x=a</math>で連続のとき、''f''は区間''I''で連続であるという。

連続関数について、次のことが成り立つことは定義よりすぐわかる。

'''補題6.1.3'''　関数<math>f:\mathbb{R} \to \mathbb{R}</math>が<math>x=a</math>で連続であり、数列<math>\{a_n\}</math>が<math>\lim_{n \to \infty}a_n=a</math>をみたすならば、<math>\lim_{n \to \infty}f(a_n)=f(a)</math>
:（証明）
:''f''が<math>x=a</math>で連続なので、任意の正の数<math>\varepsilon</math>に対しある正の数<math>\delta</math>が存在し、<math>|x-a|<\delta</math>ならば<math>|f(x)-f(a)|<\varepsilon</math>である。いま、<math>\lim_{n \to \infty}a_n=a</math>なので、この<math>\delta</math>に対しある自然数''N''が存在し、<math>n>N</math>ならば<math>|a_n-a|<\delta</math>である。よって、この''N''に対し<math>n>N</math>ならば<math>|f(a_n)-f(a)|<\varepsilon</math>であることがわかる。これは、<math>\lim_{n \to \infty}f(a_n)=f(a)</math>であることを示している。//

この補題と実数の連続性を用いて、'''中間値の定理'''と呼ばれるおなじみの定理を証明してみよう。

'''定理6.1.4'''　関数''f''は閉区間<math>[a,b]</math>で連続で、<math>f(a)<0,f(b)>0</math>とすると、
:<math>f(c)=0,\ a \le c \le b</math>
を満たす数''c''が存在する。
:（証明）
:次のようにして数列<math>\{a_n\},\{b_n\}</math>を定める。
:# <math>a_1=a,b_1=b</math>とする。
:# <math>f\left(\frac{a_n+b_n}{2}\right) \le 0</math>ならば、<math>a_{n+1}=\frac{a_n+b_n}{2},b_{n+1}=b_n</math>とする。そうでないならば、<math>a_{n+1}=a_n,b_{n+1}=\frac{a_n+b_n}{2}</math>とする。
:このように定めると、この数列<math>\{a_n\},\{b_n\}</math>は命題3.3.1の条件を満たすので、命題3.3.1よりどちらも収束し、<math>\lim_{n \to \infty}a_n=\lim_{n \to \infty}b_n</math>である。この極限値を''c''とする。<math>a \le c \le b</math>である。
:このとき、''f''の連続性と補題6.1.3より、<math>\lim_{n \to \infty}f(a_n)=f(c),\lim_{n \to \infty}f(b_n)=f(c)</math>である。ところで、<math>\{a_n\},\{b_n\}</math>の定義からすべての自然数''n''に対して<math>f(a_n) \le 0,f(b_n)>0</math>であるから、<math>\lim_{n \to \infty}f(a_n) \le 0,\lim_{n \to \infty}f(b_n) \ge 0</math>である。よって<math>f(c) \le 0</math>かつ<math>f(c) \ge 0</math>なので、<math>f(c)=0</math>である。
:以上より、この''c''は定理の条件を満たす''c''であることがわかった。//

=== 最大値・最小値の存在 ===
関数の最大値・最小値とは、その値域の最大元・最小元のことである。すなわち、次のように定義される。

'''定義6.2.1'''　集合<math>A \subset \mathbb{R}</math>で定義される関数''f''について、実数''M''が集合<math>f(A):=\{ f(x)|x \in A\}</math>の上界であり、かつ<math>M \in f(A)</math>であるとき、この''M''を''f''の最大値という。また、''m''が集合<math>f(A)</math>の下界であり、かつ<math>m \in f(A)</math>であるとき、この''m''を''f''の最小値という。

このように定義するとき、次の定理もよく知られている定理であり、高校の教科書では中間値の定理と並んで証明抜きで紹介されている連続関数についての定理である。この定理の証明も、下に示すように実数の連続性を用いてなされる。

'''定理6.2.2'''　閉区間<math>[a,b]</math>で定義される関数''f''が連続ならば、最大値・最小値を持つ。
:（証明）
:まず、集合<math>f([a,b])</math>が上に有界であることを背理法で示す。そのため、集合<math>f([a,b])</math>が上に有界でないと仮定する。このとき、任意の自然数''n''に対して、<math>f(a_n) \ge n</math>を満たす実数<math>a_n \in [a,b]</math>が存在する。この<math>a_n</math>たちを並べた数列<math>\{a_n\}</math>を考える。数列<math>\{a_n\}</math>は有界なので、ボルツァーノ・ワイエルシュトラスの定理（命題3.4.1）より収束する部分列<math>\{a_{n_k}\}</math>を持つ。<math>\lim_{k \to \infty}a_{n_k}=\alpha</math>とおくと<math>\alpha \in [a,b]</math>であり、したがって''f''は<math>x=\alpha</math>で連続なので、補題6.1.3より<math>\lim_{k \to \infty}f(a_{n_k})=f(\alpha)</math>となるはずである。ところが、任意の自然数''k''に対して<math>f(a_{n_k}) \ge n_k \ge k</math>であるから、数列<math>\{f(a_{n_k})\}</math>はある実数に収束することはない。これは矛盾。したがって、集合<math>f([a,b])</math>は上に有界である。
:集合<math>f([a,b])</math>が上に有界なので、命題3.1.5より集合<math>f([a,b])</math>は上限''M''を持つ。<math>M \in f([a,b])</math>であることを示したい。''M''が上限であることから、任意の自然数''n''に対して
::<math>M-\frac{1}{n} < f(b_n) \le M</math>
:を満たす実数<math>b_n \in [a,b]</math>が存在する。この<math>b_n</math>たちを並べた数列<math>\{b_n\}</math>を考える。数列<math>\{b_n\}</math>は有界なので、ボルツァーノ・ワイエルシュトラスの定理（命題3.4.1）より収束する部分列<math>\{b_{n_k}\}</math>を持つ。<math>\lim_{k \to \infty}b_{n_k}=\beta</math>とおくと<math>\beta \in [a,b]</math>であり、したがって''f''は<math>x=\beta</math>で連続なので、補題6.1.3より<math>\lim_{k \to \infty}f(b_{n_k})=f(\beta)</math>となる。ところで、
::<math>M-\frac{1}{k} \le M-\frac{1}{n_k} < f(b_{n_k}) \le M</math>
:であるから、はさみうちの原理（補題4.3.2）より<math>\lim_{k \to \infty}f(b_{n_k})=M</math>である。よって、<math>M=f(\beta) \in f([a,b])</math>である。
:以上より、集合<math>f([a,b])</math>は上限''M''を持ち、<math>M \in f([a,b])</math>であることが示された。これは、''M''が関数''f''の最大値であることを示している。最小値についても同様に証明できる。//

=== 平均値の定理 ===
次に、微分可能な関数についての重要な定理である平均値の定理を証明しよう。平均値の定理の証明には前節で述べた最大値・最小値の存在定理を用いるので、これもまた実数の連続性から得られる帰結なのである。まず、微分を定義することから始める。

'''定義6.3.1'''　関数<math>f(x)</math>について、極限
:<math>\lim_{x \to a}\frac{f(x)-f(a)}{x-a}</math>
がある値に収束するとき、<math>f(x)</math>は<math>x=a</math>で微分可能であるという。その極限値を<math>f(x)</math>の<math>x=a</math>における微分係数といい、<math>f'(a)</math>と書く。区間''I''に属する任意の数''a''について''f''が<math>x=a</math>で微分可能のとき、''f''は区間''I''で微分可能であるという。

この定義に従って、'''ロルの定理'''と呼ばれる次の定理が成り立つことを証明しよう。これは、後で述べる平均値の定理の特別な場合である。

'''定理6.3.2'''　関数<math>f(x)</math>は閉区間<math>[a,b]=\{x \in \mathbb{R}|a \le x \le b\}</math>で連続で、開区間<math>(a,b)=\{x \in \mathbb{R}|a < x < b\}</math>で微分可能であるとする。さらに、<math>f(a)=f(b)</math>であるとする。このとき、<math>f'(c)=0</math>を満たす実数<math>c \in (a,b)</math>が存在する。
:（証明）
:<math>f(x)</math>が定数関数のとき成り立つことは明らかであるから、以下<math>f(x)</math>が定数関数でない場合を考える。<math>f(x)</math>は閉区間<math>[a,b]</math>で連続なので定理6.2.2より最大値・最小値を持つが、<math>f(x)</math>が定数関数でないならば最大値・最小値の少なくともいずれかは<math>f(a)</math>と異なる値である。最大値が<math>f(a)</math>ではないときを考え、<math>x=c</math>で最大値をとるとする。<math>c \in (a,b)</math>である。
:<math>f(x)</math>は開区間<math>(a,b)</math>で微分可能なので、特に微分係数<math>f'(c)</math>が存在する。つまり、任意の正の数<math>\varepsilon</math>に対してある正の数<math>\delta</math>が存在し、<math>0<|x-c|<\delta</math>ならば
::<math>\left|\frac{f(x)-f(c)}{x-c}-f'(c)\right|<\varepsilon</math>・・・①
:である。ここで、<math>f(c)</math>は最大値なので、<math>0<|x-c|<\delta</math>を満たす''x''について<math>f(x)-f(c) \le 0</math>であることに注意すると、<math>x>c</math>のとき<math>\frac{f(x)-f(c)}{x-c} \le 0</math>であるから、①が任意の正の数<math>\varepsilon</math>に対して成り立つことから<math>f'(c) \le 0</math>である。一方、<math>x<c</math>のとき<math>\frac{f(x)-f(c)}{x-c} \ge 0</math>であるから、①が任意の正の数<math>\varepsilon</math>に対して成り立つことから<math>f'(c) \ge 0</math>である。以上より、<math>f'(c)=0</math>である。//

ロルの定理を用いれば、下に挙げる'''平均値の定理'''はすぐに証明できる。

'''定理6.3.3'''　関数<math>f(x)</math>は閉区間<math>[a,b]</math>で連続で、開区間<math>(a,b)</math>で微分可能であるとする。このとき、
:<math>f'(c)=\frac{f(b)-f(a)}{b-a}</math>
を満たす実数<math>c \in (a,b)</math>が存在する。
:（証明）
:<math>f(x)</math>が定理6.3.3の条件を満たすとき、関数<math>g(x)=f(x)-\frac{f(b)-f(a)}{b-a}(x-a)</math>を考えると、<math>g(x)</math>は定理6.3.2の条件を満たし、<math>g'(c)=f'(c)-\frac{f(b)-f(a)}{b-a}</math>である。よって、定理6.3.2より<math>f'(c)-\frac{f(b)-f(a)}{b-a}=0</math>を満たす実数<math>c \in (a,b)</math>が存在する。この''c''について、<math>f'(c)=\frac{f(b)-f(a)}{b-a}</math>である。//

次にあげる定理もこれらの定理の亜種で、'''コーシーの平均値の定理'''と呼ばれる。

'''定理6.3.4'''　関数<math>f(x),g(x)</math>は閉区間<math>[a,b]</math>で連続で、開区間<math>(a,b)</math>で微分可能であるとする。また、<math>g(a) \ne g(b)</math>であり、<math>g'(x)=0</math>となる<math>x \in (a,b)</math>は存在しないとする。このとき、
:<math>\frac{f'(c)}{g'(c)}=\frac{f(b)-f(a)}{g(b)-g(a)}</math>
を満たす実数<math>c \in (a,b)</math>が存在する。
:（証明）
:<math>f(x),g(x)</math>が定理6.3.4の条件を満たすとき、関数<math>h(x)=(g(b)-g(a))f(x)-(f(b)-f(a))g(x)</math>を考えると、<math>h(x)</math>は定理6.3.2の条件を満たし、<math>h'(c)=(g(b)-g(a))f'(c)-(f(b)-f(a))g'(c)</math>である。よって、定理6.3.2より<math>(g(b)-g(a))f'(c)-(f(b)-f(a))g'(c)=0</math>を満たす実数<math>c \in (a,b)</math>が存在する。<math>g(b)-g(a) \ne 0,g'(c) \ne 0</math>なので両辺を<math>(g(b)-g(a))g'(c)</math>で割ると、<math>\frac{f'(c)}{g'(c)}=\frac{f(b)-f(a)}{g(b)-g(a)}</math>である。//

なお、コーシーの平均値の定理との対比を強調するために、定理6.3.3を'''ラグランジュの平均値の定理'''と呼ぶこともある。

== 実数の構成 ==
最後に、本書で挙げた性質を満たすような実数の集合を、有理数の集合をもとにして集合論的に構成してみよう。ここでは、有理数からなるコーシー列の集合をある同値関係で割った商集合の元として、実数を定義してみることにする。

=== コーシー列と完備化 ===
'''定義7.1.1'''　集合''A''を、有理数からなる数列でコーシー列であるものの集合とする。すなわち、
:<math>A=\{ \{a_n\} | </math>任意の自然数''n''に対して<math>a_n \in \mathbb{Q}</math>であり、任意の正の数<math>\varepsilon</math>に対してある自然数''N''が存在して<math>m,n \ge N</math>ならば<math>|a_m-a_n|<\varepsilon \}</math>
とする。この集合''A''上の関係<math>\sim</math>を
:<math>\{a_n\} \sim \{b_n\} \Leftrightarrow \lim_{n \to \infty}(a_n-b_n)=0</math>
で定義する。

'''補題7.1.2'''　定義7.1.1の関係<math>\sim</math>は同値関係である。
:（証明）
::（反射律）<math>\lim_{n \to \infty}(a_n-a_n)=0</math>である。
::（対称律）<math>\lim_{n \to \infty}(a_n-b_n)=0</math>ならば、<math>\lim_{n \to \infty}(b_n-a_n)=\lim_{n \to \infty}(-(a_n-b_n))=0</math>である。
::（推移律）<math>\lim_{n \to \infty}(a_n-b_n)=0,\ \lim_{n \to \infty}(b_n-c_n)=0</math>ならば、<math>\lim_{n \to \infty}(a_n-c_n)=\lim_{n \to \infty}((a_n-b_n)+(b_n-c_n))=0</math>である。//

'''定義7.1.3'''　定義7.1.1の集合''A''と同値関係<math>\sim</math>に対して、
:<math>\mathbb{R}:=A/\sim</math>
と定義する。<math>\{a_n\}</math>を代表元とする同値類を<math>[a_n]</math>と書くことにする。この集合<math>\mathbb{R}</math>上の加法・乗法・順序を
:<math> [a_n]+[b_n]:=[a_n+b_n] </math>
:<math> [a_n][b_n]:=[a_n b_n] </math>
:<math> [a_n] < [b_n] \Leftrightarrow </math>ある正の数<math>\varepsilon</math>とある自然数''N''が存在して、<math>n>N</math>ならば<math>a_n+\varepsilon<b_n</math>
と定義する。

'''補題7.1.4'''　定義7.1.3はwell-definedである。
:（証明）
::（加法）<math>\lim_{n \to \infty}(a_n-a'_n)=0, \lim_{n \to \infty}(b_n-b'_n)=0</math>とするとき、<math>\lim_{n \to \infty}((a_n+b_n)-(a'_n+b'_n))=\lim_{n \to \infty}((a_n-a'_n)+(b_n-b'_n))=0</math>である。
::（乗法）<math>\lim_{n \to \infty}(a_n-a'_n)=0, \lim_{n \to \infty}(b_n-b'_n)=0</math>とするとき、<math>\lim_{n \to \infty}(a_n b_n-a'_n b'_n)=\lim_{n \to \infty} (a_n(b_n-b'_n)+(a_n-a'_n)b'_n)=0</math>である。（補題4.4.2より<math>\{a_n\},\{b'_n\}</math>は有界であることに注意せよ）
::（順序）ある正の数<math>\varepsilon</math>とある自然数<math>N_0</math>が存在して、<math>n>N_0</math>ならば<math>a_n+\varepsilon<b_n</math>が成り立つとする。さらに<math>\lim_{n \to \infty}(a_n-a'_n)=0, \lim_{n \to \infty}(b_n-b'_n)=0</math>とすると、この<math>\varepsilon</math>に対しある自然数<math>N_1, N_2</math>が存在して、<math>n>N_1</math>ならば<math>a'_n<a_n+\frac{\varepsilon}{3}</math>、<math>n>N_2</math>ならば<math>b_n-\frac{\varepsilon}{3}<b'_n</math>である。すなわち、<math>N=\max\{N_0,N_1,N_2\}</math>とすると、<math>n>N</math>ならば<math>a'_n+\frac{\varepsilon}{3}<a_n+\frac{2\varepsilon}{3}<b_n-\frac{\varepsilon}{3}<b'_n</math>である。これは、<math>[a_n]<[b_n]</math>ならば<math>[a'_n]<[b'_n]</math>であることを示している。//

補題7.1.2により集合<math>\mathbb{R}</math>が定義できることが、補題7.1.4により集合<math>\mathbb{R}</math>上に加法・乗法・順序が定義できることがわかった。この構成法のことを'''完備化'''と呼ぶ。次節では、このように構成された実数の集合<math>\mathbb{R}</math>が、実際に実数の公理を満たすことを確認しよう。

=== 公理の証明 ===
'''定理7.2.1'''　前節で定義した<math>\mathbb{R}</math>について、命題2.1.1が成り立つ。
:（証明）
::(F1) <math>([a_n]+[b_n])+[c_n]=[a_n+b_n+c_n]=[a_n]+([b_n]+[c_n])</math>
::(F2) 数列<math>\{0_n\}</math>を任意の自然数''n''に対し<math>0_n=0</math>という数列とすると、<math>\{0_n\}</math>はコーシー列で、<math>[a_n]+[0_n]=[a_n],\ [0_n]+[a_n]=[a_n]</math>
::(F3) <math>[a_n]+[-a_n]=[0_n],\ [-a_n]+[a_n]=[0_n]</math>
::(F4) <math>[a_n]+[b_n]=[a_n+b_n]=[b_n+a_n]=[b_n]+[a_n]</math>
::(F5) <math>([a_n][b_n])[c_n]=[a_n b_n c_n]=[a_n]([b_n][c_n])</math>
::(F6) 数列<math>\{1_n\}</math>を任意の自然数''n''に対し<math>1_n=1</math>という数列とすると、<math>\{1_n\}</math>はコーシー列で、<math>[a_n][1_n]=[a_n],\ [1_n][a_n]=[a_n]</math>
::(F7) <math>[a_n]\left[\frac{1}{a_n}\right]=[1_n],\ \left[\frac{1}{a_n}\right][a_n]=[1_n]</math>
::(F8) <math>[a_n][b_n]=[a_n b_n]=[b_n a_n]=[b_n][a_n]</math>
::(F9) <math>([a_n]+[b_n])[c_n]=[a_n c_n+b_n c_n]=[a_n][c_n]+[b_n][c_n],\ [a_n]([b_n]+[c_n])=[a_n b_n+a_n c_n]=[a_n][b_n]+[a_n][c_n]</math>
::(F10) <math>\lim_{n \to \infty}(1_n-0_n)=\lim_{n \to \infty}1_n=1 \ne 0</math>.//

'''定理7.2.2'''　前節で定義した<math>\mathbb{R}</math>について、命題2.2.1が成り立つ。
:（証明）
::(O1) <math>[a_n]<[b_n]</math>かつ<math>[b_n]<[a_n]</math>とすると、ある自然数''N''とある正の数<math>\varepsilon</math>が存在して、<math>n>N</math>ならば<math>a_n+\varepsilon<b_n,\ b_n+\varepsilon<a_n</math>より、<math>a_n+2\varepsilon<a_n</math>となり不合理。よって<math>[a_n] \le [b_n],\ [b_n] \le [a_n]</math>ならば<math>[a_n]=[b_n]</math>
::(O2) <math>[a_n] < [b_n],\ [b_n] < [c_n]</math>とすると、ある自然数''N''とある正の数<math>\varepsilon</math>が存在して、<math>n>N</math>ならば<math>a_n+2\varepsilon < c_n</math>となるので、<math>[a_n] < [c_n]</math>
::(O3) <math>[a_n] \ne [b_n]</math>とすると、ある正の数<math>\varepsilon</math>が存在して、任意の自然数<math>N</math>に対して<math>n>N,\ |a_n-b_n|>\varepsilon</math>なる自然数''n''が存在する。一方、<math>\{a_n\},\{b_n\}</math>はコーシー列なので、この<math>\varepsilon</math>に対してある自然数<math>N_1</math>が存在して、<math>n,m>N_1</math>ならば<math>|a_n-a_m|<\frac{\varepsilon}{3},|b_n-b_m|<\frac{\varepsilon}{3}</math>である。この自然数<math>N_1</math>に対して<math>n>N_1,\ |a_n-b_n|>\varepsilon</math>なる自然数''n''が存在する。<math>a_n<b_n</math>と仮定すると、<math>a_n+\varepsilon<b_n</math>であり、<math>m>N_1</math>を満たす任意の自然数''m''に対して、<math>a_m<a_n+\frac{\varepsilon}{3},b_m>b_n-\frac{\varepsilon}{3}</math>であるから、<math>a_m+\frac{\varepsilon}{3}<a_n+\frac{2\varepsilon}{3}<b_n-\frac{\varepsilon}{3}<b_m</math>である。これは、<math>[a_n]<[b_n]</math>であることを示している。同様に、この自然数''n''に対して<math>a_n>b_n</math>のとき、<math>[a_n]>[b_n]</math>である。//

'''定理7.2.3'''　前節で定義した<math>\mathbb{R}</math>について、命題2.2.2が成り立つ。
:（証明）
::(O4) <math>[a_n] < [b_n]</math>とすると、ある自然数''N''とある正の数<math>\varepsilon</math>が存在して、<math>n>N</math>ならば<math>a_n+\varepsilon<b_n</math>である。よって、<math>a_n+c_n+\varepsilon<b_n+c_n</math>である。これは、<math>[a_n]+[c_n]<[b_n]+[c_n]</math>であることを示している。
::(O5) <math>[0_n] < [a_n],\ [0_n] < [b_n]</math>とすると、ある自然数''N''とある正の数<math>\varepsilon</math>が存在して、<math>n>N</math>ならば<math>\varepsilon<a_n,\ \varepsilon<b_n</math>である。よって、<math>\varepsilon^2<a_nb_n</math>である。これは、<math>0<[a_n][b_n]</math>であることを示している。//

'''定理7.2.4'''　前節で定義した<math>\mathbb{R}</math>について、命題2.3.1が成り立つ。
:（証明）
:<math>[a_n]>[0_n],\ [b_n]>[0_n]</math>とすると、ある自然数''N''が存在して<math>n>N</math>ならば<math>a_n>0,\ b_n>0</math>となる。ここで、<math>a_n,b_n</math>は有理数で、有理数においてはアルキメデスの性質が成り立つことから、ある自然数''M''とある正の数<math>\varepsilon</math>が存在して<math>M a_n>b_n+\varepsilon</math>となる。これは、<math>M[a_n]>[b_n]</math>であることを示している。すなわち、命題2.3.1は成り立つ。//

'''定理7.2.5'''　前節で定義した<math>\mathbb{R}</math>について、命題3.5.3が成り立つ。
:（証明）
:<math>\{a_n\}</math>を実数からなるコーシー列とする。任意の自然数''n''に対して<math>a_n</math>は実数なので、ある有理数のコーシー列<math>\{b(n)_k\}</math>が存在して<math>a_n=[b(n)_k]</math>である。ここで<math>\{b(n)_k\}</math>はコーシー列なので、任意の正の数<math>\varepsilon</math>に対してある自然数''K''が存在して、<math>k>K</math>ならば<math>|b(n)_K-b(n)_k|<\frac{\varepsilon}{4}</math>である。有理数の列<math>\{c_n\}</math>を、<math>c_n=b(n)_K</math>で定める。任意の正の数<math>\varepsilon</math>に対してある自然数''K''が存在して、<math>k>K</math>ならば<math>|c_n-b(n)_k|<\frac{\varepsilon}{4}</math>であったのだから、<math>|c_n-a_n|<\frac{\varepsilon}{3}</math>である。よって、ある自然数''N''が存在して、<math>n,m>N</math>ならば
::<math>|c_n-c_m|<|c_n-a_n|+|a_n-a_m|+|a_m-c_m|<\frac{\varepsilon}{3}+\frac{\varepsilon}{3}+\frac{\varepsilon}{3}=\varepsilon</math>
:であるが、これは<math>\{c_n\}</math>がコーシー列であることを示している。<math>\alpha=[c_n]</math>とする。また、ここで任意の正の数<math>\varepsilon</math>に対してある自然数''N,K''が存在して、<math>n>N,k>K</math>ならば、
::<math>|b(n)_k-c_k|<|b(n)_k-a_n|+|a_n-a_k|+|a_k-c_k|<\frac{\varepsilon}{3}+\frac{\varepsilon}{3}+\frac{\varepsilon}{3}=\varepsilon</math>
であるが、これは<math>\lim_{n \to \infty}a_n=[c_k]=\alpha</math>であることを示している。//

以上により、前節で定義した<math>\mathbb{R}</math>は我々の期待する実数の集合であることが示された。

== 参考文献 ==
この本に記した内容は、解析学の基礎となる内容であり、多くの解析学の教科書に書かれている。一方で、特に数学を専門としない人が解析学を応用するにあたっては直接用いることが少ない割に、大学初年度の学生が学習するにはやや重い内容であり、簡単のためしばしば省略されることも多い内容でもあるため、その行間を埋めることを意図したのがこの本である。したがって読者が他の本を参照したければ解析学の標準的な教科書なら何でもよいのであるが、この本を書くにあたって主に参考としたのは以下の2冊である。
* 杉浦光夫『解析入門Ⅰ』東京大学出版会＜基礎数学＞、1980年
* 加藤文元『大学教養 微分積分』数研出版＜数研講座＞、2019年
杉浦は定番の教科書であり、実数論のような「細かい」内容からも逃げることなく精密に書かれていることに定評がある。だが、精密な古い教科書であるがために内容が豊富すぎるともいえ、通読する教科書としてはやや重すぎるかもしれない。この本を書くにあたっては、連続性の公理とその同値性の証明を中心に、大いに参考とした。加藤は最近書かれた教科書であり、最近の大学生が高校時代にどの程度の学習をしてきたかを踏まえて書かれている、非常に読みやすい教科書である。この本を書くにあたっては、実数の連続性から導かれる諸命題の証明などの参考とした。
[[Category:解析学|しつすう]]
[[Category:多元数|しつすう]]