>>259
ホイヨ
読め！ｗ （＾＾

https://note.com/katobungen/n/ncf17bbe02535
微分「dx」の正体（3） ー εδが奪ったもの
加藤文元 2026年2月14日
§1. 極限概念の登場
18世紀の数学者たちは、無限小量の論理的な曖昧さを承知しながらも、その驚くべき計算力を手放す気はさらさらなかった。状況を変えたのは、19世紀初頭のオーギュスタン=ルイ・コーシー（1789–1857）である。

コーシーの仕事の核心は、解析学の基礎を極限の概念の上に据え直したことにある。彼がエコール・ポリテクニークでの教科書として1821年に著した『解析教程（Cours d'analyse de l'École royale polytechnique）』は、その記念碑的な仕事の出発点であった。

エコール・ポリテクニークは1794年、フランス革命期に技術者・軍人養成のための高等教育機関として創設された。従来の数学者は研究論文や専門的な著作こそ多くを遺したが、体系的な「教科書」を書いていない。その必要がなかったからだ。しかしエコール・ポリテクニークの教授には、学生に教えるための教程を整備する義務があった。ラグランジュが同校で講じた内容は『解析関数論（Théorie des fonctions analytiques）』（1797年）として刊行され、コーシーもまた1815年に解析学の教授に就任した後、自身の講義に基づいて『解析教程』を執筆した。教育制度が生んだ「教科書を書く」という制度的要請が、解析学の基礎を体系的に整理し直す契機となったのである。

『解析教程』の中で、コーシーは「極限」の概念をおよそ次のように定義した

一つの変量に次々に与えられる値が、ある固定された値にいくらでも近づき、その値との差をいくらでも小さくできるとき、この固定された値を変量の極限と呼ぶ。

この定義には、まだ「いくらでも近づく」「いくらでも小さくできる」などといった直観的な表現が残っている。実際、コーシーの議論には、旧来の「無限小による発想」が混在していた。Boyer（The History of the Calculus and Its Conceptual Development, Dover, 1959（初版1949年、以下引用ページは Dover 版による））が指摘するように、コーシーは無限小量を「極限が
0 である変量」として再定義することで、無限小を追放するのではなく極限の言葉に組み入れようしようとした（Boyer, pp. 272–273）。「
0 に収束する変量」というなら、特定の大きさを持つ「無限に小さい量」という矛盾した存在を仮定する必要はない。

略

しかし、コーシーの極限の定義はまだ十分に精密ではなかった。「いくらでも近づく」とは、どこまで近づけばよいのか。「いくらでも小さくできる」とは、具体的にどういう条件が満たされたときなのか。こうした曖昧さを完全に排除し、極限概念を純粋に有限的な論理の言葉で書き切る仕事は、次の世代に委ねられることになる。
つづく
略