数理解析研究所講究録
1195 巻 2001 年 51-61$\epsilon-\delta$

51

論法の形成過程の考察 : 解析学の基礎の転換の要因*
中根美知代 (Michiyo NAKANE)\dagger

成城大学立教大学

Seijo University and St. Paul’s University
1. はじめに高校まで得意だった数学が大学に入って突然わからなくなったという話は, しばしば聞く. その–因として, 大学初年の微分積分学で習う論法が必ず挙げられる. 高校$\epsilon-\delta$

数学では, 「限りなく近づく」「限りなく小さくなる」 という表現を用いて, 極限に関する諸性質が述べられていた. それが大学に入ると, 「限りなく」 という言い芳が曖昧であるといって頭ごなしに却下され, その表現を–切含まない,論法に置きかえられて教えられるようになる. この論法は, 決して 「限りなく小さくなることのない」 2 つの正数とがお互いに 「せめぎあい」 ながら, あるいは者闘争」 しながらお互いをより小$\epsilon-\delta$$\epsilon$$\text{「_{}2}$$\delta$

さな数へと追い込んでいくことにより, 極限を定義していくものと要約することができ$\text{るだろう}.1)$
そして, 今日多くの微分積分学の教科書は, この論法は, フランスの数学者
Augustin-Louis Cauchy (1789-1857) によりとられたものとしている.
ところが論法が登場したといわれている Cauchy の代表的な教科書『解析学教程』はそのようには書かれていない. そこでは論法で回避したはずの 「限りなく近づく」という表現を全面的に打ち出して様々な概念が定義されているのみならず, 無限小も概念を定義したうえで活用して, 微積分の理論を展開している. その後に Cauchy が書いた教科書『微分積分学要論』 (1823 年),『微分学講義』 (1829 年) においてもこの状況はほとんど変わっていない. 私達が期待したようなことを Cauchy はやっていないのである.
教科書の歴史的記述は, 原典や数学史の専門的な文献にあたったうえでなされたとは限らないので, むやみに信頼しないほうがいい場合もある. ところが数学史の専門的研究もまた, Cauchy を論法の創始者・厳密な解析学を構築した人と位置づけているのであ$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$

る.

そうではあっても,論法を学んだ人々の多くは, どこか釈然としないものを感じるであろう.
論法を用いて, 「限りなく近づく」 とか「無限小」 といった概念を排除してこそ, 解析学を厳密に論じられると習ってきたからである. Cauchy がそれらを使っている以上,論法を導入し, 厳密な基礎づけを持つ解析学を作ったとは考えがたい. 先行研究者が Cauchy を論法の創始者と位置づける理由はなぜか. 本報告の目的は, 先行$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$

研究の見解を整理してこの疑問に答えるとともに, 今日論法を学んだものが納得するような,論法の形成過程を明らかにすることである.
これから見ていくように, Cauchy が, 証明の過程で用いた論法は無限小を導入するかどうかとは独立に使うことができるものである. 限りなく近づくという概念を不等式で評価できる形に置き換えることは, 解析学を厳密に論じる上で確かに有用であった.
実際, Dirichet や Riemann もまた, 無限小を認めつつ,形式による証明を用いている. しかし私達が知りたいのは, 無限小が払拭され, それに代わって論法で解析学が$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$*研究集会での演題は “関数概念の変遷と論法” であったが, 講演内容に即して手直しした.
成城大学立教大学非常勤講師 e-mail:michiyo.nakane@n 砒 y ne$\hat{c}-\delta$$.\mathrm{j}\mathrm{p}$52

基礎づけられていく過程である.
Cauchy が敷いた路線を weierstras が継承し, 今日見るような解析学が完成したとするのが先行研究の見解であるが, この道のりは, 「解析学の厳密化」 の–言で片づけられ,$\text{十分に論じられていないのが現状_{で}ある}.2)$ 本報告では, この過程もあらためて注目し, 解析学の基礎づけの転換の要因を探っていきたい.
$\mathrm{s}$$2.\epsilon-\delta$

論法前史

極限に関する概念を 「任意の数より小さい」 と捉えることは, 遅くも 17 世紀にはあった.
誰が最初に提示したのかははっきりしないが, たとえば, Wajlis の『無限の数論 Jl (1656年) 命題 40 では「項の数が増すとき,$\underline{1}$からの超過分は減少し続け, 任意の与えられた数よりも小さくなり, 項の個数が無限となる場合には消失しなければならない.」といつ準言明が見られる. また,の『プリンキピア Jl (1687 年) にも, たとえば,「諸量がそれでもって零に近づくところのこれら極限の比は, 実際に極限量の比ではな
く, 限りなく減少していく諸量の比が, たえず近づいてゆく極限であり, また与えられた$\mathrm{N}\mathrm{e}\mathrm{w}\mathrm{t}_{\circ}\mathrm{n}$任意の差に対するよりもいっそう近くまで達することは出来るが決して越えることはできず, それらの量が無限に小さくなるまでは実際には到達することができない極限である.」との記述が見られる.
すなわち彼らの時代には「極限において等しくなること」 と「その極限に向かって変化
していく量との差が与えられた有限値よりも小さいこと」 とが等価であることが認識されているのである. ただし, この時点で論法がとられているとは言い難い. 2 つの正数のせめぎ合いにより, お互いをより小さい数に追い込んでいくという操作が見られないか$\epsilon-\delta$

らである.
方で, 17 世紀から 18 世紀にかけて, 「限りなく小さくなるが, 決して

$0$

にはならな

い」 無限小量が極限概念の規定に積極的に活用されるようになる. 無限小量は

$0$

でない

からとしてそれで割り, 今度は限りなく小さいからとの理由で とおくという, 矛盾にみちたいい加減な操作をしながら, 微積分学に関する重要な定理が次々と導かれていった.
.
もちろん, 無限小量のこのような性質について, 疑問を差し挟む者も多数おり, 論争が. ..
繰り広げられていた. この状況については, 本報告集に収録される林論文で詳しく論じられているので, そちらに譲りたい.
このような状況下にあって, 無限小量を導入しない形で厳密な解析学を構成し, さらに解析学を代数的な操作に還元して議論しようとしたのが, Joseph Louis Lagrange (17361813) であった. 彼は,『解析関数の理論 Jl (1797 年) や『関数解析講義』 (1806 年) におい.
.
て,の任意の関数 $f(x)$ を
.:
..
$0$

$\cdot$$x$$f(x+i)=f(x)+\dot{\mu}+qi^{2}+ri^{3}+\cdots$ ,は とは独立に定められる量であることを指摘したうえで, それらと展開し, $p,$ $q,r,$が 1 次, 2 次, 3 次, . . の導関数であることに注目した. このようにして微分を定義し$i$$\cdots$$\cdot$53ていけば, 極限概念や無限小を導入することなく, 解析学が展開できるというのが, 彼の主張であった. 今日の目から見れば, 関数のべき級数展開の–意性, 級数の収束を無条件に認めるなど, 極めて曖昧かっ不十分なものとしか思えない理論であるが, Lagrange の意図は, 貫かれている.
極限や無限小の概念とは無関係でありながら, 彼の『関数解析講義』は論法形成に大きな役割を果たしている. 「変量が になるとき, 値が となるような関数は, 変数が正の方向に増えていくときは導関数と同じ符号で有限な値を, 負の方向に増えていくとき
は導関数と反対の符号で有限の値をとる. ただし導関数の値は, 同じ符号を保ち, 無限にならないものとする」 という定理を証明する過程で, 以下のような手法が見られるからである.
Lagrange は関数 $f(x)$ が$\epsilon-\delta$

$0$

$0$

$f(x+i)=f(x)+if’(X)+iV$,(ここで $V(i)$ は

が

$i$

$0$

$(L1)$になるとき,

ともに O となる)と表せることを指摘した. 彼はここで, 「 $V(i)$ t 樗が になるとき, ともに となる」 とは, 与えられた任意の正の $D$ に対して, 十分小さい を選び, $|V(i)|$ を $D$ よりも小さくすることができる, としている. この点に注意して (L1) の式を書き換えると,
$0$

$0$

$i$

$f(x+i)-f(x)=i[f’(x)+V]$
は $i[f’(x)\pm D]$ の間に入ることになる.

$(L2)$

Lagrange はこの性質を使って, 定理の証明を進めていく.

このことは今日の記号を使えば$i[f’(x)-D]<f(x+i)-f(x)<i[f’(x)-D]$$(L3)$に近づくとと書き換えることが出来る. Lagrange 自身は, この関数を 「 が限りなく$V$ も限りなくに近づき, 最終的には $V(0)=0$ となる」 とは特徴づけていない. 彼が表現したかったのはそのような関数であったが, 彼の主義からして, 極限に関する議論はとりいれたくないのであろう. そこで彼は, 同じことを と $D$ のせめぎ合いで説明している. すなわち論法の考え方で極限概念を規定しているのである. Lagrange が無限小量を嫌っていたことを考え合わせれば, $D$ も も無限小量にはなりえないので, ここで示されているのはまさしく論法であろう.
変量が になるとともに関数値が になるという状況を表現するためには, 今日しばしば矢印で表わされる極限操作が不可欠であるが, これは, 等式や不等式で表される概念を加えても矢印はに比べて, 形式的に扱いにくい. たとえば矢印の左右に有限確定値
成り立つかどうかについては, やや慎重にならねばならない. しかしここに見られるよ
うに, 不等式に相当する表現方法で $f(x)$ の概念を規定することが出来れば, この関数の
$0$

$i$

$0$

$i$

$\epsilon-\delta$$i$$\epsilon-\delta$

$0$

$0$

$\alpha$

考察は代数的・形式的な操作で続けられていく. 彼は極限概念を不等式の表現に帰着する
ことにより, 解析学を代数的に扱うことに成功したのである. この成果は, どのようにし

54

極限や無限小を伴うそれ以降の解析学と結びついていったのだろうか.

て,

3. Cauchy の$\epsilon-\delta$

論法と無限小

べき級数展開で微分を定義するという Lagrange の方針は, 残念ながら次の世代には本格的に引き継がれなかった. フランスで, あるいはそこでの成果を移入したイギリスでとられたのは, 依然として, 「限りなく近づく」 $\text{とか無限小量を取り込んだ解析学である}.3$ )Cauchy の教科書もその路線をとっている. まず, Cauchy の最初の微積分学に関する教科書,『解析学教程』で提示された, 極限に関するいくつかの定義を確認していこう.
極限の定義 : ある変量の順次とる値が, ある-定の値に限りなく近づくとき, 最終的には,
それらの値の差が望むだけ小さくなるようにできるとき, この–定の値を極限と呼ぶ. (序文)

無限小 : ある変量の順次とる値が, 限りなく減少し, 与えられたどのような数よりも小さくなるとき, この変量は無限小あるいは無限小量と呼ばれる. この種の変数は を極限として持つ (序文)
$0$関数の連続性を無限小とする. ある区間内のそれぞれの について, 差 $f(x+\alpha)-_{f(x})$
がの値とともに減少するとき, 関数 $f(x)$ は, この区間で, この変量について連続といわれる. 別の言葉で言えば, (中略) その区間で, 変量の無限小の増加が関数それ自体の無限小の増加をつねに作り出すことである. (第 2 章)
Cauchy の収束条件の提示 : つねに増えていく の値に対し, 和がある極限値 に限
りなく近づくとき, この級数は収束するといわれ, 問題としている極限は, 級数の和と呼ばれる. (中略)$:\alpha$$x$$\alpha$$n$$S_{n}$$s$$s_{n}=u_{0}+u1+u2+\ c\ldots+un-1$が収束するための必要十分条件は,$n$$s_{n},$の無限に大きい値に対し, 和$s_{n}+1,$ $s+n2,$&c. . .

と極限値 との差が, 結果的にはそれらどうしの差が無限小になることである. (第 6 章)
なお, 微分の定義は『微分積分学要論』に見られるが,微分 : は無限小量,
は有限の値であるとする. $i=$ 晶とおくと,はまた無限小量で
$s$

$h$

$i$

$\alpha$ある. そして$\frac{f(_{X+i})-f(X)}{i}=\frac{f(_{X+\alpha}h)-f(X)}{\alpha h}$.

が恒等的に成り立つので$\frac{f(x+all)-f(_{X)}}{\alpha}=\frac{f(_{X+i})-f(X)}{i}$ ん$(c_{\text{ノ}}1)$

が出てくる.
が定数であるとして,が限りなくに近づいた時の (C1) の左辺の極限
は, 関数 $y=f(x)$ の微分と呼ばれているものである.
$h$$\alpha$$0$

ここで見られるように, Cauchy は, 極限の定義を 「限りなく近づく」 という表現を用55

いて定義しているうえ, 無限小も積極的に利用している.『解析学教程』・『微分積分学要論』のみならず『微分学講義』においても, ほぼ同様の定義が与えられている. 1853 年の論文においても, 依然として無限小を用いて極限の定義を与えていることから, Cauchy$\text{はこれらの定義を生涯用いていたと考えてよいであろう}.4)$

こうしたことを指摘しっつ, Grabiner らが Cauchy を論法の創始者と位置づける)のは, $\text{以下のような記述が見られるからである}.5$ 『微分積分学要論』第 7 講において「 $f(x)$ が端点 $x=x_{0}$ と $x=X$ の間で連続とし, その区間内での関数の微分 $f’(x)$ の最.
大値を $A$ , 最小値 $B$ とすると, 有限な差の比$\epsilon-\delta$$\frac{f(X)-f(x_{0})}{X-x_{0}}$は必ず $A$ と $B$ の間に含まれる」との定理が述べられている. これを証明する際に, Cauchy は と を非常に小さな数とし,と $X$ の間に含まれるすべてのより小さい値 とに対し, 比$\delta$$\epsilon$$i$$\delta$$x$$x_{0}$$\frac{f(X)-f(x_{0})}{X-x_{0}}$より小さい範囲にとどまっていることを指摘する. そして, この関係は数 がどんなに小さくても成り立つことを示し, 証明を終えている.
を限りなく
直観的には
に近づけたとき, $f(X)-f(x_{0})$ と $X-x_{0}$ の比の極限はどうなるか」 ということを意味する定理と証明, すなわち極限操作と等号とで表現できる事象を, Cauchy は不等式で表現しているのである. そして先にあげた Lagrange の証.
明と比べてみれば, Cauchy が Lagrange から影響を受けていることは間違いないと思われる. ここで とという記号が使われていたことが, Cauchy と論法とを結びつける決定的な絆となったのであろう.
Lagrange がこの論法を持ち込んだのは, 解析学を代数的・形式的に論じるためであったといわれる. -方, Cauchy の場合は, 厳密な解析学を構成するためと評価される. それは,『解析学教程』序文において, 彼がそのことを強調したためであろう。 実際彼は, 級数の収束を扱う時に, それまでにないほど精密な議論を作り上げている. そして確かに,この論法を導入することにより極限操作という曖昧な概念が払拭され, 厳密な理論が可能になった. Grabiner らは, このような視点から, Cauchy と論法と厳密な解析学とを結びつけてきたのである.
この 「厳密な解析学」 という言葉が,論法で極限概念を教育を受けた私達に, 誤解「を与える. すなわち, この状況はが無限小を解除し,論法で極限概念を定義して, 厳密な解析学を作った」 ことを意味するように捉えてしまうからである. しかし, 少なくとも Cauchy の場合,論法による証明がなされていることと, 極限概念を論法で基礎づけることとは無関係である. 実際 Cauchy の枠組みの中では, 無限小も「限りなく近づく」 も依然として存在している. 仮に Cauchy が論法を用いれば解析学が厳密に基礎づけると考え, それを真剣に望んでいたのであれば, 後の機会を捉えて,極限に関する定義を書き換えたはずである. しかしそのようなことはない. 無限小も極限
が $f’(x)-\in$ より大きく$f’(x)+\epsilon$$\epsilon$$\mathrm{r}x$$x_{0}$.

$\delta$$\epsilon-\delta$$\epsilon$$\epsilon-\delta$$\epsilon-\delta$$\mathrm{C}\mathrm{a}\mathrm{u}\mathrm{c}\mathrm{h}\mathrm{y}$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$

56も認めるが, 第 7 講の証明は, たまたま類似のことを証明している Lagrange の証明が巧妙だったのでまねてみたに過ぎない, というのが, Cauchy の記述から素直に読みとれる
ところである.
の記号で無限小を表している.
しかも Cauchy は『微分積分学要論』の別の個所では,定理の証明で「非常に小さな数」 とされている が「無限小」 になりうることを Cauchy
論法を習うときに強調される, 任意の正数が否定しているという証拠はない. 今日を無限小と考えてはいけないということを Cauchy が理解していたかどうかは, 疑わしい$\text{と思われる事例もある}.6)\epsilon-\delta$ 論法の形式だけまねて証明をつけることはできたが,を$\epsilon$$\epsilon$$\epsilon-\delta$$\epsilon$$\epsilon$

無限小と考えていたという自らの経験あるいはそういう学生の答案に出会った経験は多くの数学者が持ち合わせていよう.
論法によって極限操作を不等式に置き換えることと, 解析学の体以上見たように,論法で与えることとは, 少なくとも
系から無限小をはずし, それにかわる基礎づけを
歴史的には独立である. 今日から見れば, 前者ができれば, 後者への移行はきわめて自然で容易なように思える. それゆえ, これまでの数学史の研究はその過程を強調することはなかった. しかし, 当時の数学者達にとってもそうであったのだろうか.『解析学教程』の出版以降, Weierstrass の定義が導かれるまでの 40 年の歳月は何を意味しているのだろうか.
$\epsilon-\delta$$\epsilon-\delta$と Riemann の扱い方
形式:Dirichlet
4. 定理としての.
論法によ
Laugwitz は, Peter Lejeune Dirichlet (1805-59) を, 最も初期の段階で論法と評価したる講義を展開した人物と位置づけている 7) Laugwitz が, 何をさして$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$

かは慎重に検討していく余地があるが, たとえば, 以下のような事実がある.
Dirichlet は, 1854 年.58 年に定積分論に関する講義を行なった. 彼は連続関数を Cauchyと同じように定義した後, それから導かれる性質, あるいは重要な 「定理」 として, 「関数 $y=f(x)$ が $x=a$ から $x=b$ で連続関数であるならば, 任意に小さく選ばれた の絶対値に対して, 小さなを見出すことができ, 幅が 以下の区間で, 関数値が高々しか変化しない」 ことを提示し, $\text{証明している^{}8)}$. 今町 連続関数の定義として与えられているものは, まず, 定理として登場したのである. Diri&let は具体的な関数の例をいくつか挙げてこのことを示している. 区間を分割し, 連続関数の積分を定義するにあたっては, 連続関数の不等式による表現が有用と判断したためであろう. なお, 54 年の講義には Weierstrass も参加していた.
形式による連続性の定義を残Bernhard Riemann (1826-66) もまた, メモの形で,している. 1851 年論文に添えられている注では $w=w(z)$ が連続であることを 「量 $w$ が$z=a$ と $z=b$ の問でともに連続的に変わる」 として定義しているが, この表現はつぎのに対する無限小の変化が $w$ の無限ことを表すものとする, として, 「その区間の中で,よりも小さの区間の内部で. が小の変化を隼じる : 任意の与えられた に対して,$\rho$$\sigma$$\sigma$$\rho$$\epsilon-\delta$$z$$\epsilon$

$z$

$z$

$\alpha$をとることができる.」9)
いとき, $w$. のふたつの値の差が より大きくならないように
さらに, 遺稿のなかから発見された 1855 年づけメモには, 積分論に関して言及したう$\epsilon$$\alpha$57

えで, 「関数の連続性は不等式を用いて表現されねばならない. そうすることによりはじ.
めて計算の方法を完全にすることができるからである」 $\text{との記述も見られるのである^{}10)}$
Riemann が実際に複素関数論や積分論を展開する場面において, これらの注意をどの
論法流の定義のように活用したか, 今のところわかっていない. しかし, 少なくともなんらかの利点に気がついていたことは確かである.
論法の影響を受けたのは, Dirichlet がフーリエ
Laugwitz によれば, Riemann が級数の収束性を論じ, Dirichlet 関数の概念を提示した 1829 年の論文である. 確かにそこ形式による不等式の表現を用いて, 級数の収束性が論じられている. しかし,では,方で, あるの証明のなかでは, 任意の正数であった が, 別の証明のなかでは, 無限小を表しているという事実がある. もちろん積分論においても, 依然として Dirichlet は
無限小を用いている. Riemann でもこの事情は変わらない. 不等式による表現の重要性を指摘しつつ, 積分を考察する時には, 細かく分割した区間の幅を無限小にとっている.
Dirichlet も Kemann も Cauchy と同様で, 今日では無限小になってはならない 「任意に小さな正数」 と「無限小」 を識別するということはない. 「任意の正数」 はいつの間にか, 無限小になっているのである. ふたりとも無限小とはなにか, 明確に定義して使っているわけではないので, 文字通り 「限りなく小さくなる数」 と捉えていると考えていいだろう.
論法による表現を併存させた形で, 理論を進めている. 彼らに彼らは, 無限小ととって形式は, 積分を定義するといった, 具体的な課題を見通しよく論じるたあに導かれたものなのである. 今日の私達が想像するように, 無限小を排除して, 厳密な連続性の定義を与えようとする意図は見えない. これが, Dirichlet らの状態であった.
形式の有効性を認識しつつある. では, なぜ, 彼らはそ
そうとはいっても, 彼らはれを定義として採用し, それから出発して解析学を構成しないのだろうか. そうすれば,論法から, 無限小を含まない解析学の構成へと自然に進んでい極限操作を規定するけるはずである. 逆にいえば, weierstrass はなぜ, Dirichlet らの定理を定義にしたのであろうか. これについて考察していこう.
$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$$\epsilon$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$

5. 定理から定義へ :Weierstrass の 1861 年講義.
形式は Karl
今日見るような(1815-97) によって完成されたとされてい形式による. 実際, 1861 年, Berhn の Gewerbeinstitut での講義で, Weierstrass {まる連続性の定義を与えている. H. A. Schwartz によって認されたこの講義録は, 1971 年,)
Dugac $\text{によって部分的に公刊された}.11$ これに基づいて, Weierstrass のやり方を見てい:こう.
との対応として, 関数 $y’=’ f(x)$ を定義する. そして,
立変数
Weierstrassに対してある限界 が定められ, 絶対値が より小さいすべてのんについて $f(x+h)-f(x)$よりも小さくなりうるならば, 独立変数の無限小の変化が関数の無限が任意に小さい小の変化に対応するという」 とし, 「独立変数の無限小の変化に対して関数の無限小の変化が対応するとき, その変数に関して連続関数あるいは, その変数について連続的に変化するという」 としている. このようにして「無限小の変化」 を定義してしまえば, 無限小$\epsilon-\delta$$\mathrm{w}_{\mathrm{e}\mathrm{i}.\mathrm{e}\mathrm{r}}\mathrm{s}\mathrm{t}\mathrm{r}\mathrm{a}\mathrm{s}\mathrm{s}$$\epsilon-\delta$$\cdot$$\iota 3\mathrm{i}\partial\dot{\mathrm{R}}$$\delta$$h$$x\text{と}’ y$$\lceil_{\text{ん}}$$\delta$58という概念を持ち込むことなく, 連続関数が定義されたことになる. Dirichlet にとっては定理, Riemann にとっては覚え書きであった連続関数のこの性質は, ここで, 連続関数の定義となった.
では, この転換は何によって引き起こされたのだろうか. この講義のノートの前後から推定できることに限定して考察してみよう. Weierstrass はつぎに, 独立変数 とともにに近づく関数を「小さい が与えられると,が定まり, 絶対値が より小さい
とき, \mbox{\boldmath $\varphi$}(ん)となる」と定義する. そして Weierstrass はこの関数を用いて, 関数 $f(x)$ は
$h$

$0$

$\varphi(h)$$\delta$$\epsilon$$\delta$$<\epsilon$$f$( $x+$ ん)–f(x) $=ph+h\cdot(\text{ん})$ ,((ん) は$(W1)$$h$とともに 0 に近づく関数)

ど分解されることを指摘した後,$\frac{df(x)}{dx}\overline{arrow}p=f’(_{X)}, (W2)$として微分を定義するのである. 彼は後に, 微分を持たない連続関数を構成するが, その際には, こちらの定義の方が, 従来の $f$ ( $x+$ ん)–f(x) を で割ったものの比とする定義$h$よりも使い勝手がいいことを述べている.12
Weierstrass の議論は, 先に見た Lagrange の教科書を思い起こさせる. べき級数展開によって, 微分を定義しているからである. Weierstrass の微分の定義においては, Cauchyの無限小は必要はない. そのかわりに, 今日で言えば 0(1) の記号で表現される (ん) が必要なのである. そして, これは Lagrange の発想や, Dirichlet らの連続関数の 「定理」 を応用すれば形式で, 無限小を導入することなく定義できるものである. すなわち解析学を展開するにあたって, Cauchy の無限小は必要なくなってしまうのである. Weierstrass$\epsilon-\delta$

自身, 「無限小」 という言葉は使っているし, それを排斥するという声明を出しているわけではない. 彼の解析学で必要ないから使わなかったというのが, 率直なところと察せられる. なお今日の微積分の教科書では, Weierstrass ののことを無限小と呼んでいる.
と論法の要点は,のせめぎ合いにより, お互いをより小さい数へと追い込んでいくことにあった. したがって, 関数の極限に関する諸性質や数列・級数の極限といった,独立変数や番号と関数や各項の値というように, 2 つの数の間の関係で捉えられるものには適用できる. しかし, 「無限小」 は自分自身が単独で小さくなっていく量である. 「任意の正数より小さい数」 として捉えたところで, 任意の正数をより小さい数へと追い込んでいくものがない. そのため Cauchy の無限小を形式で書くことはできないが, 「単独の無限小」 に代えて, 無限小の変化の関係を問題にする 「関数の連続性」 から話を始める
ことにより,
論法で微分積分学を貫徹させることが可能なのである.
Weierstrass のように, 無限小変化を伴う量の間の関連を論法で–度書いてしまえば, cauchy らの微分の定義を用いるにしても, それを論法で書くことは難しくな
い. 「無限小を用いない,論法に基礎づけられた厳密な解析学」 はこうして形成されていったのであろう.
$\varphi(h)$$\epsilon-\delta$$\delta$$\epsilon$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$

59

6. おわりに論法という言葉は, 「解析学の厳密化」 と切り離せない. Lagrange や Cauchy が, 極限操作を不等式による表現で置き換えたこと, それにより 「限りなく近づく」 という幾何学的な概念が, 代数的な処理に帰着されるようになったことは, 微積分に関する演算を間違いなく行なうという意味で, 重要な段階であった. そして先行研究においては, このこととと無限小を排除することを明確に Ell せず, 前者が成立した時点で後者も成立しているに等しいと考えており, 解析学の厳密性を追求するという理念だけで前者から後者へ移行できると思われていた. しかし事情はそう単純ではなかった.
本報告で強調したように,形式が導入されたことと, 解析学から無限小が追放されたことは少なくとも歴史的には独立である. しかも, 無限小を認めつつ,
形式で連続関数の性質を規定するといった状態が, Dirichlet や Riemann の著作に見られた. 単に厳密性を追求することがその移行の要因だとすれば,論法を使いっつ, 無限小を認めるという状態をどう評価すればいいいのだろうか. Dirichlet や Riemann は, この状態が厳密ではないと納得しつつ議論を進めていたとは考えがたい. Weierstarss がそこから脱却していったとすると, そこには具体的な数学上の課題があったとしか考えられないのであ$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$

る.

本報告ではその理由を, Weierstrass の新しい微分の概念によるものとした. これを導入した際に, 彼は, 無限小に代えて関数の連続性を基盤におくことにより, 解析学が構成できることに気がついたのである. そして, Difidet にとっては定理であった
形式
による連続性の規定を連続関数の定義に切り替え, 今日見るような,論法の定義を与えた. 無限小それ自身ではなく, 無限小に変化するものの間に関係に基礎づけて理論を展開すれば, それまでの成果は, すべて形式で書くことができる. これが今日の論$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$$\epsilon-\delta$

法の基本となる考え方であろう.
もちろん, 本報告では Weierstrass が直面したと思われる具体的な課題の–例あるいは可能性を指摘したにすぎない. この時期には, 連続関数の性質を形式で書くことの優位性がさまざまなところがら見えてきている可能性がある. Riemann が指摘するように, 積分を定義する時の優位性も考えられようし, 複素関数論の可能性もある. いずれにせよ, 今日いう, 「無限小を排除して, 厳密な理論を展開するための論法」成立の要因についてはまだまだ検討の余地があろう.
$\epsilon-\delta$$\epsilon-\delta$

2 次文献と注
1) 「せめぎあい」 という言い方は–松信『解析学序説上巻』第 21 版, 1978 年, 裳華房に,
遠山啓『数学入門 (下)j, 1960 年, 岩波新書に見られる.
2) たとえば I. Grattan-Guinness, The Fontana History ofthe Mathematical Sciences,Fontana
Press, 1997, U. Bottazzini, The Higher Calcvlus: A History of Real and Complex Analysis「 $2$ 者闘争」 という言い方は,

60

from Euler to Weierstrass, 1989, New York:Springer.

(邦訳『解析学の歴史』, 好田順治

訳, 1990, 現代数学社)

3) たとえば, 当時よく使われていた Lacroix の教科書は, 極限概念を用いて書かれている. この教科書の要約したものが英訳され, 当時の英語圏に大きな影響を与えた.
の解析学と無限小については, たとえば D. Laugwitz, “Infinitely Small Quanti4)
ties in Cauchy’s Textbooks,” Historia Mathematica, (1987), pp.258-274. “Definite Valuesof Infinite Sums: Aspects of the Foundations of Infinitesimal Analysis around 1820,”
Archives for History of Exact Sciences, 39, (1988-99), pp.195-245.
5) J. V. Grabiner, The
of Cauchy’s Rigorous Cdculus, The MIT Press, 1981. G.
M. Fisher “Cauchy and the infimitely small,” Historia Mathematica 5, (1978), pp.313-331にも同様な論考が見られる. 他の数学史家の見解もほぼ–致している.
6) このことについては, 中根美知代
論法と無限小」,『科学基礎論研究 Jl, 2001 年に出版予定.
7) D.Laugwitz Bemhard Riemann
Wendepunkte in der Auffassung der Mathematik, 1996, Birkh\"auser, 邦訳『リーマン : 人と業績』, 山本敦之訳, 1997 年.
8) Bottazzini は関数の–様連続性の認識の過程という立場から, 何人かの数学者の連続の定義を検討している. “Geometrical Rigour and ‘Modern Analysis”’. An Introduction to
Cauchy’s Cours d’Analyse, Bottazzini Cauchy Cours d’Analyse, 1990, Editric Bolognaに所収.
9) Anmerkungen として Riemann 全集に所収されている.
10) RiemannNachtr\"age, p.lll.
11) P. Dugac, “El\’ements d’analyse de Karl Weierstrass”, Archives for History of Exact Scienoes, 10, pp.41-176. なお, これに関連した Dugac の論文,「解析学の基礎」, Dieudonne’ 編, 1985 年, pp.385-456 所収, “Probl\‘emes d’histoire de l’analyse math\’ematique『数学史
au XIX siecle. Cas de Weierstrass et Dedekind, Historia Mathematica 3, (1976), pp.5-19.
:
も参考にした.
12) イタリア人数学者 Casorati は Krone(敷 er と Weierstrass の議論の記録を残している.
これによれば, 関数の連続性と微分可能可能性をどのように識別するかが, 1860 年代に問題になっていた. 64 年には関数が連続であるためには, いかなる関数 $f(k)$ に対して$\mathrm{C}\mathrm{a}\mathrm{u}\mathrm{A}\mathrm{y}$$\mathrm{o}r\cdot igin$$\mathrm{r}_{\epsilon-\delta}$$\mathit{1}\mathit{8}\mathit{2}g_{- \mathit{1}}\mathit{8}\theta \mathit{6}i$$\ovalbox{\tt\small REJECT}$$\ovalbox{\tt\small REJECT}$$\mathrm{I}\mathrm{I}\text{』}$$\phi(x)$$\lim\frac{\phi(_{X+}k)-\emptyset(_{X})}{f(k)}$が有限確定値となるかが論じられている .

$\mathrm{E}$. Neuenschwander, “DerNachlass von Casorati (1835-1890) in Pavia”, Archives for History of Exact Sciences, 19,
pp.1-89. Weierstrass の定義は, このような事情も反映していると察せられる.

原論文

.-

. Cauchy[1821] Cours d’analyse de l’\’ecole royale $po$ lytechnique,
Paris,, Paris, 1897.
Series 2,$\mathrm{A}.\mathrm{L}$$1821=\mathrm{o}_{\mathrm{e}\mathrm{u}\mathrm{V}\mathrm{r}}\mathrm{e}\mathrm{s}$$\mathrm{v}\mathrm{o}\mathrm{l}3$$I^{\mathrm{r}e}$partie : analyse alg\’ebrique,61[1823] R\’esum\’e des legons donn\’ees \‘a l’Ecole royale polytechnique sur la calcul infinit\’esimal,, pp. 5-261, Paris, 1899.
, Series 2,, Paris,, pp. 263-609,, Series 2,[1829] Legons sur le calcul diff\’erentiel, Paris,
Paris, 1899.
convergentes dont les divers termes sont des fonctions continut\’es[1853] “Note sur les
ou imaginaire entre des limites donn\’ees,’’ Comptes $rend’LAs$ , $36(1853)$ ,d’une variable
pp.454-459.
$1823=\mathrm{O}\mathrm{e}\mathrm{u}\mathrm{v}\mathrm{r}\mathrm{e}\mathrm{s}$$\mathrm{v}\mathrm{o}11$$\mathrm{v}\mathrm{o}\mathrm{l}4$$\mathrm{v}\mathrm{o}\mathrm{l}4$$1829=\mathrm{o}\mathrm{e}\mathrm{u}\mathrm{V}\mathrm{r}\mathrm{e}\mathrm{S}$$\mathrm{s}\mathrm{e}^{\text{ノ}}\mathrm{r}\mathrm{i}\mathrm{e}\mathrm{S}$$\mathrm{r}\mathrm{e}\mathrm{e}^{\text{ノ}}11\mathrm{e}$.L. Dirichlet
une fonction[1829] ‘Sur Convergence des s\’eries trigonom\’etriques qui servent \‘a, pp.157-169. $=Werke$
arbitraire entre les limites donn\’ees’’,J. Reine Angew. Math.,, pp.238-306.
[1871] (1858) Vorlesungen \"uber die Theorie der bestimmten Integrale zwischen reellen. Mayer ed.) Leipzig.
Grenzen, ([1904] (1854) Vorlesungen \"uber die Lehre von den einfachen und mehrfac ん en bestimmten
Integralen (L.Arendt ed.), Braubschweig.

$\mathrm{P}.\mathrm{G}$$\mathrm{r}\mathrm{e}\mathrm{p}\mathrm{r}\mathrm{e}^{\text{ノ_{}\mathrm{S}}}\mathrm{e}\mathrm{n}\mathrm{t}\mathrm{e}\mathrm{r}$$\mathrm{v}\mathrm{o}\mathrm{l}4$$\mathit{1}$$\mathrm{G}.\mathrm{F}$$\mathrm{S}.\mathrm{F}$. Lacoix[1797] Trait\’e $du$ calcul diff\’erentiel et cdcul intg’rd, 1797, Paris.
$\mathrm{J}.\mathrm{L}$. Lagrange.
[1797] Th\’eorie des fonctions analytiques, Paris, 1[1806] Legons sur le calcul des fonctions, new ed. Paris: Courcier 1806.
$797=(\mathrm{E}\mathrm{u}\mathrm{v}\mathrm{r}\mathrm{e}\mathrm{S}\mathrm{g}$$=\oplus \mathrm{u}\mathrm{v}\mathrm{r}\mathrm{e}\mathrm{S}10$.

I.
[1687]『自然哲学の数学的諸原理』 (世界の名著第 26 巻), 河辺六男訳, 中央公論社, 1971 年.
$\mathrm{N}\mathrm{e}\mathrm{w}\mathrm{t}_{0}\mathrm{n}$B. Riemann[1851] “Grundlagen f\"ur eine allgemeine Theorie der Functionen einer ver\"anderlichen complexen Gr\"osse.’’ $=Werke\mathit{1}$ , pp.3-48.
J.Wallis[1656] Arithmetica infinitorum, Oxford, 1656.
Olms Verlag, 1972.

$=\mathrm{i}\mathrm{n}$\^Opera mathematica I, II, III, Geroge