コンテンツにスキップ

解析学基礎/実数

出典: フリー教科書『ウィキブックス(Wikibooks)』

はじめに

[編集]

実数とは何か

[編集]

実数全体からなる集合は、さまざまな数学を考えるための舞台として基本的なものである。しかし、それにもかかわらず「実数とは何か」という問いに答えるのは案外難しい。たとえば、手近な高等学校の教科書[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は成り立つ。//

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

(証明)
を実数からなるコーシー列とする。任意の自然数nに対しては実数なので、ある有理数のコーシー列が存在してである。ここではコーシー列なので、任意の正の数に対してある自然数Kが存在して、ならばである。有理数の列を、で定める。任意の正の数に対してある自然数Kが存在して、ならばであったのだから、である。よって、ある自然数Nが存在して、ならば
であるが、これはがコーシー列であることを示している。とする。また、ここで任意の正の数に対してある自然数N,Kが存在して、ならば、

であるが、これはであることを示している。//

以上により、前節で定義したは我々の期待する実数の集合であることが示された。

参考文献

[編集]

この本に記した内容は、解析学の基礎となる内容であり、多くの解析学の教科書に書かれている。一方で、特に数学を専門としない人が解析学を応用するにあたっては直接用いることが少ない割に、大学初年度の学生が学習するにはやや重い内容であり、簡単のためしばしば省略されることも多い内容でもあるため、その行間を埋めることを意図したのがこの本である。したがって読者が他の本を参照したければ解析学の標準的な教科書なら何でもよいのであるが、この本を書くにあたって主に参考としたのは以下の2冊である。

  • 杉浦光夫『解析入門Ⅰ』東京大学出版会<基礎数学>、1980年
  • 加藤文元『大学教養 微分積分』数研出版<数研講座>、2019年

杉浦は定番の教科書であり、実数論のような「細かい」内容からも逃げることなく精密に書かれていることに定評がある。だが、精密な古い教科書であるがために内容が豊富すぎるともいえ、通読する教科書としてはやや重すぎるかもしれない。この本を書くにあたっては、連続性の公理とその同値性の証明を中心に、大いに参考とした。加藤は最近書かれた教科書であり、最近の大学生が高校時代にどの程度の学習をしてきたかを踏まえて書かれている、非常に読みやすい教科書である。この本を書くにあたっては、実数の連続性から導かれる諸命題の証明などの参考とした。