はじめに編集

実数とは何か編集

実数全体からなる集合は、さまざまな数学を考えるための舞台として基本的なものである。しかし、それにもかかわらず「実数とは何か」という問いに答えるのは案外難しい。たとえば、手近な高等学校の教科書[1]を紐解くと、次のような記述が見つかる。

自然数 に、0と とを合わせて整数という。また、整数mと0でない整数nを用いて分数 の形に表される数を有理数という。
(中略)
整数と、有限小数または無限小数で表される数とを合わせて実数という。実数のうち、有理数でない数を無理数という。

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

  1. ^ 数研出版「改訂版 高等学校 数学Ⅰ」(平成28年2月15日検定済)

この本の構成編集

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

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

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

順序体編集

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

編集

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

命題2.1.1 実数全体の集合 には加法と乗法という二つの演算が定義されていて、次が成り立つ。

(F1) 任意の元 に対し、 
(F2) ある元 が存在し、任意の元 に対し、 
(F3) 任意の元 に対し、ある元 が存在し、 
(F4) 任意の元 に対し、 
(F5) 任意の元 に対し、 
(F6) ある元 が存在し、任意の元 に対し、 
(F7) 0でない任意の元 に対し、ある元 が存在し、 
(F8) 任意の元 に対し、 
(F9) 任意の元 に対し、 
(F10)  

この10個の公理を満たす集合を一般にという。公理(F3)の はふつう と書く。公理(F7)の はふつう と書く。実数の集合は体である。他に、有理数全体の集合 や、複素数全体の集合 も体である。

順序体編集

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

命題2.2.1 実数全体の集合 には という二項関係が定義されていて、次が成り立つ。

(O1)   かつ を満たすならば、 
(O2)   かつ を満たすならば、 
(O3) 任意の元 に対し、 または の少なくとも一方が必ず成り立つ。

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

命題2.2.2 実数全体の集合 において、次が成り立つ。

(O4)   を満たすならば、任意の元 に対し、 
(O5)   かつ を満たすならば、 

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

補題2.2.3 順序体において、 である。

(証明)
 が成り立たないとすると、公理(O3)より であるから、公理(O4)により であることがわかる。よって、 であることに注意すると、公理(O5)より である。これは矛盾。//

この補題を用いると、複素数全体の集合には順序体になるような順序を考えることはできないことがわかる。本筋からはそれるが、証明してみよう。

(複素数体が順序体でないことの証明)
複素数体が順序体になるとすると、公理(O3)より または である。 とすると、 であることと公理(O5)より である。 とすると、公理(O4)より なので、 であることと公理(O5)より である。いずれの場合も なので公理(O4)より であるから、補題2.2.3と公理(O1)より である。これは公理(F10)に反する。//

アルキメデス性編集

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

命題2.3.1 実数全体の集合 において、次が成り立つ。

(A)   かつ を満たすならば、ある自然数Nが存在して、 である。

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

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

定義2.3.2 数列 が次の条件を満たすとき、  収束するといい、 と書く。

任意の正の数 に対してある自然数Nが存在し、 ならば である。

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

定理2.3.3 アルキメデス順序体において、 である。

(証明)
アルキメデス順序体においては、任意の正の数 に対しある自然数Nが存在して、 である((A)において とすればよい)。よって、 であるから、 ならば である。これは、 であることを示している。//

本節のまとめ編集

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

実数の連続性編集

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

上限性質編集

まず、実数からなる集合 に対して、いくつかの概念を定義しよう。

定義3.1.1 ある実数 が、集合Aの任意の元 に対して を満たすとき、aA上界であるという。同様に、ある実数 が、集合Aの任意の元 に対して を満たすとき、aA下界であるという。

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

定義3.1.2 集合Aの上界a を満たすとき、aA最大元という。同様に、集合Aの下界a を満たすとき、aA最小元という。

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

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

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

例3.1.4

  1. 閉区間 について、1以上の任意の実数は上界であり、0以下の任意の実数は下界である。最大元は1であり、最小元は0である。上限は1であり、下限は0である。
  2. 集合 について、 以上の任意の実数は上界であり、 以下の任意の実数は下界である。最大元・最小元は存在しない。上限は であり、下限は である。
  3. 自然数の集合 について、0以下の任意の実数は下界であるが、上界は存在しない。最小元は0であるが、最大元は存在しない。下限は0であり、上限は存在しない。
  4. nを正の整数とするとき、n個の実数からなる集合 について、ある実数 が存在し、 以上の任意の実数は上界であり、 以下の任意の実数は下界である。最大元は であり、最小元は である。上限は であり、下限は である。これは数学的帰納法を用いて以下のように示される。最大元について、 に対して が条件を満たすことはすぐわかる。 のとき、 ならば としそうでなければ とすれば、この は集合 に対し条件を満たす。最小元についても同様。
  5. 空集合 について、任意の実数は上界であり、任意の実数は下界である。最大元は存在せず、最小元も存在しない。上限は存在せず、下限も存在しない。

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

命題3.1.5 実数からなる空集合でない集合Aが上に有界ならば、Aの上限が の中に存在する。

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

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

定理3.1.6 「有理数からなる空集合でない集合Aが上に有界ならば、Aの上限が の中に存在する」という主張は偽である。

(証明) とする。 であり2はAの上界なので、Aは空集合ではなく上に有界な集合である。 がこの集合の上限であると仮定する。 を満たす任意の数 に対して なので、上限の定義より Aの上界ではなく、したがって をみたす が存在する。よって、 である。 は任意に小さく取れることから、 である。ところが、 とすると、適当な有理数 が存在して となり、sが上界であることに反する。よって、 である。ところが、高等学校数学I/数と式#実数で示しているように、 を満たす有理数sは存在しない。//

有界単調数列の極限編集

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

定義3.2.1 実数からなる数列 の値域 が有界であるとき、 有界な数列であるという。上に有界下に有界も同様に定義する。

定義3.2.2 実数からなる数列 が、任意の自然数nに対して を満たすとき、 単調増加であるという。また、任意の自然数nに対して を満たすとき、 単調減少であるという。

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

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

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

例3.2.4 数列 を次の漸化式で定義する。

 

漸化式より任意の自然数nに対して なので、 は下に有界である。相加平均・相乗平均の関係を用いると、さらに任意の自然数nに対して であることがわかる。よって、

 

であるから は単調減少数列である。以上から、命題3.2.3によりこの数列は収束する。極限値  とおくと、 でもあることに注意すると、

 

整理すると、

 

すなわち、 である。

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

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

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

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

例3.2.6 数列  で定めると、この数列 は収束する。

(証明)
 
であることから、 は上に有界である。また、
 

であることから、 は単調増加数列である。よって、命題3.2.3より数列 は収束する。//

例3.2.6の数列 について、 自然対数の底といい、記号 で表す。

区間縮小法編集

次の命題も、実数の連続性のひとつの表現である。

命題3.3.1 2つの数列 が次の条件を満たすならば、 はともに収束し、 

任意の自然数nに対して であり、かつ である。

ボルツァーノ・ワイエルシュトラスの定理編集

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

命題3.4.1 実数からなる数列 が有界ならば、 はある実数に収束するような部分列を持つ。

コーシー列編集

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

定義3.5.1 数列 が次の条件を満たすとき、コーシー列であるという。

任意の正の数 に対してある自然数Nが存在し、 ならば である。

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

定理3.5.2 数列 がある値 に収束するならば、 はコーシー列である。

(証明)
  に収束するとき、正の数 を任意にとると、ある自然数Nが存在して、 ならば である。よって、
 
である。すなわち、 はコーシー列である。//

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

命題3.5.3 数列 がコーシー列ならば、 はある値 に収束する。

同値性の証明編集

本節では、実数の連続性を表現するものとして前節で挙げた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が成り立つ。

(証明)
 を実数からなる上に有界な単調増加数列とし、集合A と定める。この集合Aは実数からなる空集合でない集合であり、上に有界なので、命題3.1.5より上限sを持つ。
sAの上限なので、定義より任意の自然数nに対して が成り立つ。一方、やはり上限の定義より任意の正の数 に対して Aの上界ではなく、したがってある自然数Nが存在して である。さらに、 が単調増加数列であることから、 ならば である。以上を総合すると、任意の正の数 に対してある自然数Nが存在して、 ならば である。すなわち、 である。下に有界な場合は大小関係を逆にして同様に示される。//

Step2編集

定理4.2.1 命題3.2.3が成り立つならば、命題3.3.1が成り立つ。

(証明)
 を命題3.3.1の条件を満たす数列とする。条件より、 は上に有界な単調増加数列、 は下に有界な単調減少数列なので、命題3.2.3よりある実数に収束する。 とすると、
 
である。//

Step3編集

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

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

補題4.3.2 数列 が、すべての自然数nに対して を満たし、かつ を満たすならば、 である。

(証明)
 なので、任意の正の数 に対してある自然数Nが存在し、 ならば である。よって、
 
であるから、 である。すなわち、 である。//

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

(定理4.3.1の証明)
数列 が有界であるとすると、ある実数b,cが存在して、任意の自然数nに対して である。このb,cを用いて、次のようにして数列 を定める。
  1.  とする。
  2.  を満たすmが有限個しか存在しないならば、 とする。そうでないならば、 とする。
このように定めた数列 を用いて、 の部分列 を次のように定める。
  1.  とする。
  2.  のとき、 を満たすmは無限に存在する。そのようなmであって より大きいものの中で最小のものを とする。
このように定めれば、  の部分列であり、任意の自然数kに対して を満たす。ところで、任意の自然数nに対して であり、かつ である(定理2.3.3を用いた)。よって、この数列は命題3.3.1の条件を満たすので、命題3.3.1より はともに収束し、 である。よって、はさみうちの原理(補題4.3.2)により、 は収束する。//

Step4編集

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

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

補題4.4.2 数列 がコーシー列ならば、 は有界である。

(証明)
1>0であるから、 がコーシー列であるとすると、ある自然数Nが存在して、 ならば である。すなわち、 である。 とする。集合Sは有限集合なので最大元Mを持つ。このとき、任意の自然数nに対して であるから、Mは集合 の上界である。よって、 は有界である。//

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

(定理4.4.1の証明)
 をコーシー列とすると、補題4.4.2より は有界なので、命題3.4.1より収束する部分列 を持つ。 とする。 を任意にとると、ある自然数Kが存在して、 ならば である。
ところで、 はコーシー列なので、ある自然数Nが存在して、 ならば である(部分列の定義より であることに注意する)。よって、 かつ ならば、
 
である。すなわち、 である。//

Step5編集

定理4.5.1 命題3.5.3が成り立つならば、命題3.1.5が成り立つ。

(証明)
集合Aは実数からなる空集合でない集合で、上に有界であるとする。集合BAの上界すべてからなる集合とすると、Aが上に有界なのでBは空集合ではない。また、集合 も空集合でない。なぜならば、Aが空集合でないのである元 が存在するが、このaに対して だからである。
 をひとつとる。このb,cを用いて、次のようにして数列 を定める。
  1.  とする。
  2.  ならば、 とする。 ならば、 とする。
このように定めるとき、 に対して
 
であるが、定理2.3.3より任意の に対してあるNが存在して なので、 はコーシー列である。よって、命題3.5.3より はある値 に収束する。 についても同様にコーシー列であるから収束し、また であることもわかるので、 でもある。
任意の自然数nに対して Aの上界なので、任意の元 に対して が成り立つ。よって、 が成り立つので、 Aの上界である。また、任意の数 をとると、 であるから、あるnが存在して である。この Aの上界ではないので、xAの上界ではない。よって、 Aの上界の集合の最小元、すなわち上限である。//

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

アルキメデス性と実数の連続性編集

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

アルキメデス性の証明(1)編集

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

定理5.1.1 命題3.2.3が成り立つならば、命題2.3.1が成り立つ。

(証明)
(A)の否定、すなわち
ある正の数 が存在し、任意の自然数Nに対して 
が成り立つと仮定する。このとき、数列 を考えると、これは単調増加数列であり、また が上界なので上に有界であるから、命題3.2.3より は収束する。 とする。
このとき、数列 が単調増加であることから、任意の自然数nに対して でなければならない。なぜならば、 なるNが存在したとすると、 ならば となり、 に反するからである。ところで、 より であるから、 よりある自然数Mが存在して である。すなわち、 である。これは矛盾。よって、(A)が成り立つ。//

系5.1.2 命題3.1.5が成り立つならば、命題2.3.1が成り立つ。

(証明)定理4.1.1と定理5.1.1より従う。//

アルキメデス性の証明(2)編集

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

定理5.2.1 命題3.4.1が成り立つならば、命題2.3.1が成り立つ。

(証明)
(A)の否定、すなわち
ある正の数 が存在し、任意の自然数Nに対して 
が成り立つと仮定する。このとき数列 を考えると、この数列は有界なので、命題3.4.1よりある実数に収束するような部分列を持つ。その部分列を とし、 とする。
このとき、数列 が単調増加であることから、任意の自然数iに対して でなければならない。なぜならば、 なるjが存在したとすると、 ならば となり、 に反するからである。ところで、 より であるから、 よりある自然数kが存在して である。すなわち、 である。これは矛盾。よって、(A)が成り立つ。//

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

実数の連続性の帰結編集

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

中間値の定理編集

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

定義6.1.1 関数 が次の条件を満たすとき、xaに近づけたとき  に収束するといい、 と書く。

任意の正の数 に対しある正の数 が存在し、 ならば である。

定義6.1.2 関数 

 

を満たすとき、f で連続であるという。区間Iに属する任意の数aについてf で連続のとき、fは区間Iで連続であるという。

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

補題6.1.3 関数  で連続であり、数列  をみたすならば、 

(証明)
f で連続なので、任意の正の数 に対しある正の数 が存在し、 ならば である。いま、 なので、この に対しある自然数Nが存在し、 ならば である。よって、このNに対し ならば であることがわかる。これは、 であることを示している。//

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

定理6.1.4 関数fは閉区間 で連続で、 とすると、

 

を満たす数cが存在する。

(証明)
次のようにして数列 を定める。
  1.  とする。
  2.  ならば、 とする。そうでないならば、 とする。
このように定めると、この数列 は命題3.3.1の条件を満たすので、命題3.3.1よりどちらも収束し、 である。この極限値をcとする。 である。
このとき、fの連続性と補題6.1.3より、 である。ところで、 の定義からすべての自然数nに対して であるから、 である。よって かつ なので、 である。
以上より、このcは定理の条件を満たすcであることがわかった。//

最大値・最小値の存在編集

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

定義6.2.1 集合 で定義される関数fについて、実数Mが集合 の上界であり、かつ であるとき、このMfの最大値という。また、mが集合 の下界であり、かつ であるとき、このmfの最小値という。

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

定理6.2.2 閉区間 で定義される関数fが連続ならば、最大値・最小値を持つ。

(証明)
まず、集合 が上に有界であることを背理法で示す。そのため、集合 が上に有界でないと仮定する。このとき、任意の自然数nに対して、 を満たす実数 が存在する。この たちを並べた数列 を考える。数列 は有界なので、ボルツァーノ・ワイエルシュトラスの定理(命題3.4.1)より収束する部分列 を持つ。 とおくと であり、したがってf で連続なので、補題6.1.3より となるはずである。ところが、任意の自然数kに対して であるから、数列 はある実数に収束することはない。これは矛盾。したがって、集合 は上に有界である。
集合 が上に有界なので、命題3.1.5より集合 は上限Mを持つ。 であることを示したい。Mが上限であることから、任意の自然数nに対して
 
を満たす実数 が存在する。この たちを並べた数列 を考える。数列 は有界なので、ボルツァーノ・ワイエルシュトラスの定理(命題3.4.1)より収束する部分列 を持つ。 とおくと であり、したがってf で連続なので、補題6.1.3より となる。ところで、
 
であるから、はさみうちの原理(補題4.3.2)より である。よって、 である。
以上より、集合 は上限Mを持ち、 であることが示された。これは、Mが関数fの最大値であることを示している。最小値についても同様に証明できる。//

平均値の定理編集

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

定義6.3.1 関数 について、極限

 

がある値に収束するとき、  で微分可能であるという。その極限値を  における微分係数といい、 と書く。区間Iに属する任意の数aについてf で微分可能のとき、fは区間Iで微分可能であるという。

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

定理6.3.2 関数 は閉区間 で連続で、開区間 で微分可能であるとする。さらに、 であるとする。このとき、 を満たす実数 が存在する。

(証明)
 が定数関数のとき成り立つことは明らかであるから、以下 が定数関数でない場合を考える。 は閉区間 で連続なので定理6.2.2より最大値・最小値を持つが、 が定数関数でないならば最大値・最小値の少なくともいずれかは と異なる値である。最大値が ではないときを考え、 で最大値をとるとする。 である。
 は開区間 で微分可能なので、特に微分係数 が存在する。つまり、任意の正の数 に対してある正の数 が存在し、 ならば
 ・・・①
である。ここで、 は最大値なので、 を満たすxについて であることに注意すると、 のとき であるから、①が任意の正の数 に対して成り立つことから である。一方、 のとき であるから、①が任意の正の数 に対して成り立つことから である。以上より、 である。//

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

定理6.3.3 関数 は閉区間 で連続で、開区間 で微分可能であるとする。このとき、

 

を満たす実数 が存在する。

(証明)
 が定理6.3.3の条件を満たすとき、関数 を考えると、 は定理6.3.2の条件を満たし、 である。よって、定理6.3.2より を満たす実数 が存在する。このcについて、 である。//

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

定理6.3.4 関数 は閉区間 で連続で、開区間 で微分可能であるとする。また、 であり、 となる は存在しないとする。このとき、

 

を満たす実数 が存在する。

(証明)
 が定理6.3.4の条件を満たすとき、関数 を考えると、 は定理6.3.2の条件を満たし、 である。よって、定理6.3.2より を満たす実数 が存在する。 なので両辺を で割ると、 である。//

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

実数の構成編集

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

コーシー列と完備化編集

定義7.1.1 集合Aを、有理数からなる数列でコーシー列であるものの集合とする。すなわち、

 任意の自然数nに対して であり、任意の正の数 に対してある自然数Nが存在して ならば 

とする。この集合A上の関係 

 

で定義する。

補題7.1.2 定義7.1.1の関係 は同値関係である。

(証明)
(反射律) である。
(対称律) ならば、 である。
(推移律) ならば、 である。//

定義7.1.3 定義7.1.1の集合Aと同値関係 に対して、

 

と定義する。 を代表元とする同値類を と書くことにする。この集合 上の加法・乗法・順序を

 
 
 ある正の数 とある自然数Nが存在して、 ならば 

と定義する。

補題7.1.4 定義7.1.3はwell-definedである。

(証明)
(加法) とするとき、 である。
(乗法) とするとき、 である。(補題4.4.2より は有界であることに注意せよ)
(順序)ある正の数 とある自然数 が存在して、 ならば が成り立つとする。さらに とすると、この に対しある自然数 が存在して、 ならば  ならば である。すなわち、 とすると、 ならば である。これは、 ならば であることを示している。//

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

公理の証明編集

定理7.2.1 前節で定義した について、命題2.1.1が成り立つ。

(証明)
(F1)  
(F2) 数列 を任意の自然数nに対し という数列とすると、 はコーシー列で、 
(F3)  
(F4)  
(F5)  
(F6) 数列 を任意の自然数nに対し という数列とすると、 はコーシー列で、 
(F7)  
(F8)  
(F9)  
(F10)  .//

定理7.2.2 前節で定義した について、命題2.2.1が成り立つ。

(証明)
(O1)  かつ とすると、ある自然数Nとある正の数 が存在して、 ならば より、 となり不合理。よって ならば 
(O2)  とすると、ある自然数Nとある正の数 が存在して、 ならば となるので、 
(O3)  とすると、ある正の数 が存在して、任意の自然数 に対して なる自然数nが存在する。一方、 はコーシー列なので、この に対してある自然数 が存在して、 ならば である。この自然数 に対して なる自然数nが存在する。 と仮定すると、 であり、 を満たす任意の自然数mに対して、 であるから、 である。これは、 であることを示している。同様に、この自然数nに対して のとき、 である。//

定理7.2.3 前節で定義した について、命題2.2.2が成り立つ。

(証明)
(O4)  とすると、ある自然数Nとある正の数 が存在して、 ならば である。よって、 である。これは、 であることを示している。
(O5)  とすると、ある自然数Nとある正の数 が存在して、 ならば である。よって、 である。これは、 であることを示している。//

定理7.2.4 前節で定義した について、命題2.3.1が成り立つ。

(証明)
 とすると、ある自然数Nが存在して ならば となる。ここで、 は有理数で、有理数においてはアルキメデスの性質が成り立つことから、ある自然数Mとある正の数 が存在して となる。これは、 であることを示している。すなわち、命題2.3.1は成り立つ。//