（当ブログの結論）
高校２年生が微分積分を学習するのに適切な本は、高校生用の教科書や参考書なのでは無く、大学１年生向けの参考書：例えば：
「やさしく学べる微分積分」（石村園子）
書評「素晴らしいほどわかりやすい。 高校2年の知識があれば、すらすら読める。 数学苦手な人でも、やさしくシリーズは、微積とベクトルはとっつきやすいと思うので、おすすめです。」
などだと思います。
その本は、初めて微分積分を学ぶ高校２年生にとって、内容がわかり易いです。説明が正確でごまかしが無いので、高校教科書の微分積分の説明にあるようなごまかしが納得できず（ごまかしに納得する方がおかしい）学習が止まってしまう様なことが無く、スムーズに勉強を進めることできるので良いと思います。その本の３６ページから４５ページまで勉強するだけで、微分の必須知識が学べます。
（微分積分学の歴史）
ライプニッツが、1684年に「極大と極小にかんする新しい方法」を出版して、その中で微分法を発表し、
ついで1686年に「深遠な幾何学」を出版して積分法を発表しました。
その後に、ニュートンが微分積分学を発表しました。
それに対して、旧い数学者のバークレー司教(Bishop George Berkeley)が微分積分学を攻撃した論争が微分積分学を正しく育てました。
バークレー司教は、ダブリンのトリニティ・カレッジで神学を学び、後に講義をする。アイルランド、クロインの(英国国教会の)監督Bishopとなる(1734)。
バークレー司教は、数学から唯物論を追放する目的で、『解析者―不誠実な数学者へ向けての論説』（The Analyst: or a Discourse Addressed to an Infidel Mathematician, 1734）で、ニュートン・ライプニッツ理論（微分積分学）を攻撃し、大論争を引き起こす(『解析教程』第II章第1節参照)。
ド・モアブル、テイラー、マクローリン、ラグランジュ、ヤコブ・ベルヌーイ、ヨハン・ベルヌーイなどが論争に加わり、微積分学の論理的基礎づけに対する関心を高めた功績は大きい。
とくに、マクローリンは反論のためにニュートンの方法の厳密な構成を行った。
以下で、バークレー司教の微分積分学に対する感想を見てみます。
『バークレー司教：解析者より』
「しかし、速度の速度、その速度、そのまた速度、またその速度、またまたその速度などなどというのは、私が間違っているのでなければ、すべての人間の理解を越えてしまっています。
精神がこの捉え難いアイデア（微分積分学）を解析し追及すればするほど、それはまごつき狼狽えることになり.....」
『バークレー司教：解析者より』
「......我が時代の解析者（微分積分学）は有限の量の差を考えるだけでは満足しません。
彼ら（微分積分学）はさらにその差の差を考え、最初の差の差の差を考えます。 そしてさらに無限にまで。
つまり彼ら（微分積分学）は認識できる最小の量よりさらに無限に小さい量を考えます。
その無限に小さい量よりもさらに無限に小さな量を、そしてその上これまでの無限小量よりもさらに無限に小さい量を考え、終わりも限界もないのです。
......もう告白するしかありませんが、無限に小さい量を心に描くことは ......私の能力を超えています。
しかし、そのような無限に小さい量の、それよりさらに無限に小さい一部、だから結局それを無限倍したとしても最も微細な有限の量にまでなることもできない、そんなものを想像するということは、どんな人にとってもそれこそ無限に困難なことだろうと、私は思うのです。.....」
『バークレー司教：解析者より』
「そして、この流率（微分）とは何だろうか？
無限小の増分の速度。 そして、これら同じ無限小の増分の速度とは何なんだろうか？
これらは有限の量でもなく、無限に小さい量でもなく、無でもない。 こんなものなら、過ぎ去った量の幽霊と呼んではいけないというのだろうか？ 」
ニュートンとライプニッツの微分は、「無限小」の概念が十分に論理付けされていなかったため、今日のような厳密さが欠けていた。だが、微分は、力学や天文学などで応用可能、しかも実用的であったため、ベルヌーイやロピタル、オイラー、ラグランジュ、ラプラスなどの研究によって普及していった。
微分学が厳密性を伴うようになったのは、19世紀に入ってからである。仏の数学者コーシーは、1821年に発表した「解析教程」で「極限」や「無限小」、「連続関数」の概念を定義し、解析学の基礎を刷新し、その後デデキントやカントールによる実数論などを経て、今日の微分の基礎が完成した。
連続関数の定義は、1817年にBolzanoが中間値の定理を証明する前提条件に定義した連続関数の定義により、歴史上初めて連続関数が正しく定義された（その定義は関数の連続性を区間で定義するものである）。
その歴史的経緯から、中間値の定理を成り立たせない関数を連続関数と呼ぶ高校数学での連続関数の定義は偽物である。なお、高校数学で定義された連続関数という言葉が使い物にならないので、 大学数学では、連続関数という言葉を使わずに「区間連続」という言葉で本来の意味の連続関数をあらわすことにしています。
微分積分学を厳密化するしくみ
初期の微分積分学では，「限りなく近付ける」という概念を使って来た。この極限の最大の問題点は、「限りなく近づく」という表現の曖昧さです。その概念を具体的に数学的に明確な概念にするのが「ε-δ論法」です。
コーシー（1789-1857）は不等式を使ったε-δ論法を導入した。
コーシー以前たとえばラグランジュが「無限小」や「極限」を曖昧なものとして数学の記述から排除しようとしたのに対して、コーシーは動的な表現が不等式評価と結びつくことを洞察して積極的に数学の記述に取り込んだ。不等式評価と結びついていることが把握されてさえいれば、動的表現自体を排除する必要はない。
極限の概念を明確にすると、(1) コーシーらの開拓した古典的（基礎的）微分積分学のイプシロンデルタ論法による極限の表し方と、(2) 位相空間論に係わり再構築した微分積分学のイプシロンデルタ論法による極限の表し方との、異なる２つの極限の表し方があります。そのようにイプシロンデルタ論法によって明確に表した極限の概念は複数あるのです。その２つを合わせて「限りなく近付ける」と言っていたのですから、その表現がいかにあいまいであったかが分かると思います。
（イプシロンデルタ論法の説明は、ここをクリックした先のサイトが参考になる。）
《古典的（基礎的）微分積分学のイプシロンデルタ論法の大前提》
関数f(x) は少なくとも、微小な区間
ａ − δ＜ｘ＜ａ + δ， （ここで、δはある小さな正の実数）
の全ての実数の点で定義されている（１点のみは区間ではない）とする。（定義域Aはその区間だけを考えれば良い。）
ということを初めから前提にして、古典的（基礎的）微分積分学による関数の極限の定義と関数の連続の定義をイプシロンデルタ論法で表現すると、以下のようにとても簡単にあらわせる。（ただし、極限の定義の場合にはｆ(a) が定義されていないでも良いものとする）
《基礎的微分積分学による関数の極限の定義》
関数ｆ(x) がｘの点列の収束するあるｘ＝ａの点で実数ｂに収束する極限値ｂが存在するということを、以下のようにイプシロンデルタ論法で定義する。
ｘ＝ａの点で、
十分小さい正の値の実数εを考える（あらゆる値のεを考える）。
次に、ある小さな正の値の実数δを考える。
そして、どのように小さい値のεに対しても（あらゆる値のεに対して）、
ある値の実数δが存在して、
０＜|ｘ－ａ|＜δ， ｘ≠ａ，
を満足するａ以外のｘが存在し（当たり前）、このδで値を制限された変数ｘの、その範囲内の全ての実数の値において、
|ｆ(x)－ｂ|＜ε
となるような実数ｂが（あらゆるεの値に対して）存在するならば（またそうなる場合に限って）、ｆ(x)の極限が存在するものとし、その極限値をｂとする。
（極限の定義おわり）
《連続の定義》
関数の定義域Ａのｘ=aの点において、十分小さい正の実数εを考える。次に、正の実数δを考える。
そして、どのように小さい値のεに対しても、
ある値の実数δが存在して、
|ｘ－ａ|＜δ
を満足するａ以外のｘが存在し（当たり前）、この式を満足する全ての実数ｘで、
|ｆ(x)－ｆ(a)|＜ε
となるならば（またそうなる場合に限って）、ｆ(x)が点ａで連続である。
（連続の定義おわり）
-----（連続の定義の言い換え）----
この定義をハッキリ把握するために、想像力を膨らませて、この定義を、以下の様に噛み砕いて自分の言葉で言い換えて定義を覚えると良い。
（０）
この、関数の点ａでの連続の定義は、関数の点ａの近傍の幅を持った微小区間で連続を判定している。
すなわち、関数の連続を確認する点ｘ＝ａ については、その点の座標の周りに広がりを持つ区間の、少なくとも、
ａ− δ＜ｘ＜ａ +δ, （ここで、δはある小さな値の正の実数）
という微小区間の全ての実数値ｘで関数ｆ(x)が定義されていることが大前提である。
「区間」と言う場合は、それは１つの連結区間であって、その区間内の全ての実数が関数の定義域である事を意味する。
（１）
次に、
ａに近い（値ａも含む）関数の定義域の変数ｘを考える。
（２）
ａから、正の値δの範囲内でずれる、ａも含む定義域の全てのｘの値についてｆ(x)を考える。
この定義における「全てのｘの値」の意味は、ａから、正の値δの範囲内でずれる値の区間に属する全て実数のｘを考慮することを意味する。
（３）
その全てのｘの値の関数ｆ(x)の値のバラツキの誤差を求める。
その誤差＜εとする小さな正の値εでバラツキの範囲を定める。
すなわち、点ａの近傍の区間の全ての実数ｘ（ただし、ｘ＝ａの場合も含む）の値の関数値ｆ(x)について、
－ε＜ （ｆ(x)－ｆ(ａ)）＜ε
となる正の値εを定める。
（４）
点ａの近傍の区間の全ての実数ｘの値の区間の範囲を式：
ａ− δ＜ｘ＜ａ +δ
で定める正の値δを十分小さくすれば、
その範囲内の全ての変数ｘ（値ａも含む）によるｆ(x)の値のバラツキが小さくなりバラツキの範囲の値 ε をいくらでも小さくできるならば；
ｆ(x)はｘ＝ａで極限値ｂを持ち、かつ、その極限値ｂがｆ(ａ)に等しい。
その場合に、
関数ｆ(x)は、
ｘ＝ａで連続である。
（第１の定義の連続）。
言い換えると、
「点ａでｆ(x)が連続であるとは、
どんなに小さい正の実数値εに対しても、
十分小さい正の実数値δを使ってｘの微小区間を、
ａ − δ＜ｘ＜ａ +δ （ｘ＝ａとなる場合も含む）
に限定すれば、その微小区間内のどのｘの値でも、
－ε＜ （ｆ(x)－ｆ(ａ)）＜ε
が成り立つようにできる事である。」
----（定義の言い換えおわり）-----------
（注意１）このε－δ論法による連続の第１の定義は、
ｘの微小区間の ａ − δ＜ｘ＜ａ+δ の全ての実数についてｆ(x)の値が存在する（定義されている）事を条件にしている。そのため、関数値ｆ(x)が点ａを含む微小区間で定義されていない場合は、連続であるとは定義しない。
（注意２）ここで、ε－δ論法というものは、εとδを使った極限の表現の手段であって、そのε－δ論法を使った「連続」の定義は、上の形の第１の連続の定義に限られない。
片側連続についても、第１の連続の定義とは形を変えた別のε－δ論法によって片側連続が定義される。
〔位相空間論に係わり再構築した微分積分学〕
一方で、位相空間論に係わり再構築した微分積分学は、位相空間の数の集合（限定された数）のみに基づいて関数の性質を解析する。
先に述べたように、古典的（基礎的）微分積分学の発展の歴史は、微分積分の概念を確立する過程で間違いを繰り返してようやく厳密性（論理的正しさ）を確保できた歴史がある。現代数学の位相空間論に係わり再構築した微分積分学も、同様に、多くの間違いを繰り返して最後に厳密性（論理的正しさ）を確保する過程の途上にあると考える。
位相空間論に係わり再構築した微分積分学では、関数の連続性の定義は、εδ論法（イプシロンデルタ論法）を使うのではあるが、関数の（値域の）連続性を、定義域が実数の区間であるとは限らない関数に対して定義する。その関数では、定義域が実数の区間であるべしという制約を無くしたので、（値域の）連続性があるとされた関数のグラフが連結しているとは限らない。その関数のグラフは切れ切れのグラフになる。
〔位相空間論に係わる、関数の（値域の）連続性の定義〕
関数ｆ(x) の定義域をＡとする。（Ａは有理数のみでも良い）
ある点ａ∊Aにおいて、（点ａは孤立点であっても良い）
『どのようなε>0に対しても、
あるδ>0において、
全てのx∊Aに対して、
|x-a|＜δ
となるならば、
|f(x)-f(a)|＜ε
となる。』
という命題が成り立つならば、
ｆ(x)は点ａで「（値域の）連続性」がある。
という定義である。
（関数の連続性の定義おわり）
「関数 f(x) が、その関数ｆ(x) の定義域Ａのすべての x =ａの値で位相空間論に係わる連続性があるとき、 f(x) は位相空間論に係わり定義された（値域の）連続関数である」
例えば、以下のグラフであらわす、定義域Ａが有理数全体である関数ｆ(x) が、位相空間論に係わり定義された（値域の）連続関数である。（√2 は定義域Ａの外の数である）。
（この位相空間論に係わる（値域の）連続性の定義には、孤立点に連続性があるという定義が含まれている。孤立点の極限は、この（値域の）連続性の定義を経由して定義する。）
この関数の（値域の）連続性の定義は、正確には、位相空間論の連続写像の定義の基礎となる定義であって、位相空間論の連続写像の定義そのものではない。 実数R全体での点ａでのこの連続性の定義が満足される関数ならば、実数全体での位相空間の連続写像と同値になる。
【積分とは何か】
積分については，ここをクリックした先のｐｄｆファイルにある原教授の以下のコメントが大切です。
---（原教授のコメント開始）---------
積分については高校でも習ってはいるが，その基礎を突き詰めていくといろいろと困ったことがでてくる．
特に「積分は微分の逆演算」として定義すると，「ある関数 f の積分を求めよ」という問題や「この関数の積分は定義できるか？」という問題でハタと困ってしまう．
（微分して f になるような関数がわからない場合，高校までの知識ではお手上げだ．）
この節では高校までの知識はいったん忘れて，「積分とは何か」「積分をどのように定義すべきか」から話を始める．
4.1 積分（定積分）の定義
ということで，まずやるべきは「与えられた関数f(x) に対して，その積分を定義すること」である．
これから見ていくように，かなり広いクラスの関数に対してその積分（定積分）を定義することができる．
定積分を通して不定積分も定義できるので，高校までの知識とのつながりがつくことになる．
・・・
積分の最も素朴な定義はこれから紹介する「リーマン和」に基づくもので、、、
---（原教授のコメントおわり）------
（補足２）
（「リーマン積分可能」の定義）
「微分積分学入門」（横田 壽）の１２４ページから１２５ページに「リーマン積分可能」の定義が書いてあります：
（この本は書店で購入できます。）
その他に、高校２年生が勉強するのに適切な、書店で購入できる微分積分の参考書は：
「やさしく学べる微分積分」（石村園子） ￥2000円
が内容がわかり易くて良いと思います。
ここではドイツの数学者G.F.B. Riemann (1826-1917) によって示されたRiemann 積分について学んでいきます．リーマン積分による「積分可能」の定義は、全ての種類の「積分可能」の定義の基礎になっています。
f(x) は閉区間[a, b] で定義されているとします．この閉区間[a, b] を次のような点xi(i = 1, 2, . . . , n) でn 個の小区間に分割します．
（a = x0 < x1 < x2 < · · · < xi < · · · < xn = b）
この分割をΔ で表わし， Δxi = xi − xi−1 (i = 1, 2, . . . , n) のうちで最も大きい値を|Δ| で 表わします．
（注目ポイント）
高校数学で教える区分求積法では、区間を細分した部分区間のグラフの高さf(x)を求めますが、そのｘの位置が部分区間の中の特定の位置に固定されています。
その固定をしないで、どの位置のｘでのf(x)を棒グラフの高さにして計算しても良い、
というのがリーマン積分です。
いま，それぞれの小区間[xi−1, xi] のなかに任意の位置に点ξi をとり，Riemann 和 (Riemann sum) とよばれる次の和を考えます．
このとき、
となる実数S が存在するならば，このS をf(x) の定積分(definite integral) といい， f(x) は閉区間[a, b] で積分可能(integrable) であるといいます．また，このS を次のように表わします．
つまり関数f(x) が閉区間[a, b] で積分可能であるということは，分割の仕方および点ξi(i = 1, 2, . . . , n) のとり方に関係なく、各点の関数値の和が一通りに定まるということです．
この定義に従い、関数の積分可能性を以下の様にして調べることができます。
先ず小さな閉区間[a, b] を定めて、
その区間の小区間への分割の仕方および点ξi(i = 1, 2, . . . , n) のとり方に関係なく、各点の関数値の和が一通りに定まる（積分可能）か否かを調べることができます。
（積分が不可能な関数）
下のグラフの関数ｆ（ｘ）のように、どの位置においても関数の極限が存在しない関数があり得ます。
例えば、
ｘが有理数の場合にｆ（ｘ）＝０であって、
ｘが無理数の場合のｆ（ｘ）＝１
という、極限が存在しない関数ｆ（ｘ）などです。
そういう、極限が存在しない関数ｆ（ｘ）を積分して関数Ｆ（ｘ)を得た場合（もし積分できた場合）、その積分により得られた関数Ｆ（ｘ）は微分可能だろうか。
そもそも、微分の計算は極限を求める計算なので、その関数ｆ（ｘ）が積分できても、その積分した関数Ｆ（ｘ）を微分した場合に、元の関数ｆ（ｘ）は（極限値が存在しないので）、微分によっては得られないと考えます。
上図の関数ｆ（ｘ）の変数ｘ＝ｘ１からｘ＝ｘ２までの変数ｘの閉区間をｎ等分して、その区分した部分毎にｆ（ｘ）の値ｆ（ξ）を求めて、その値の和で積分します。
（１）その際に、 変数ｘ＝ξが全て有理数なら、ｆ（ξ）＝０になり、積分結果は０になります。
（２）一方、変数ｘ＝ξが全て無理数√２の有理数倍なら、ｆ（ξ）＝１になり、積分結果は（ｘ２－ｘ１）になります。
（３）ｆ（ｘ）の値ｆ（ξ）の選び方によって結果が変わるような計算の値は定かでは無いので、その様な関数ｆ（ｘ）は積分することができません。
このように、微分積分学では、あらゆる関数に微分積分を行う理論を作ろうとすると、いろいろな難しい問題があることがわかりました。
微分積分学で、難しい問題が生じない関数の範囲を把握して、その範囲内で微分積分の計算をすることで、応用上で微分積分を使い易くできます。
そのため、使い易い関数として、極限が存在し、かつ、連続な「連続関数」（関数ｆ（ｘ）が連続な範囲にｘの定義域を限定した１つながりに連続な関数が連続関数です）を主に扱う対象にし、また、「微分可能性」で関数の種類と、また、関数の変数ｘの定義域内の所定の範囲を定めて、その所定の範囲内だけで微分積分を行うようにします。その範囲内で成り立つ法則を把握して、種々の公式を導き出して使うことで微分積分学を最大限に応用できるようになります。
微分積分学は、微分可能な関数と積分可能な関数を定義して、その種の関数の間で微分したり積分をします。
「関数を積分して、それを微分したら元の関数に戻る」
という、微分積分学の基本定理がありますが、
その定理は、その関数ｆ（ｘ）の積分可能な部分に限り、かつ積分後の関数Ｆ（ｘ)の微分可能な部分に限って成り立つ定理です。
その定理の大前提に、何が微分可能で何が積分可能であるかの定義があります。
（微分積分学の基本定理を厳密に定義すると、「微分積分学の基本定理」という命題は、積分可能条件を記述した命題です）
（微分可能の定義が微分積分学の基本定理を左右する）
微分積分学の基本定理の根底を支えているのが微分可能の定義です。高校数学の微分可能の定義は、変数ｘが開区間(a＜x＜b)で定義された関数f(x)にしか微分可能が定義されていません。そのため、高校数学の範囲内の知識では、開区間(a＜x＜b)で定義された関数 f(x)にしか、微分積分学の基本定理が成り立ちません。
一方、大学数学では、変数ｘが閉区間（a≦x≦b）で定義された関数f(x)の区間の端点x=a,bでも 微分可能が定義されています。そのため、大学数学では、閉区間（a≦x≦b）で定義された関数f(x)にも 微分積分学の基本定理が成り立つと教えられています。
微分積分を学ぶ者は、「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。
しかし、この一番大切な概念を高校２年には教えない。高校３年に至っても「積分可能」の概念を教えていないようです。
積分の概念は、数学の研究対象を微小な部分に分割して研究し、その微小部分を集積した全体にまとめ上げて全体を考えるという、適用範囲が広い概念です。
「歴史的に見ても、微分より積分の方がずっと前に出現している。」
積分の被積分関数の計算においては、ｘのある値で０になる関数を分母にする、すなわち、そのｘの値で０になる関数で式を割り算する計算が許されています。しかし、（大学で初めて学ぶ）広義積分を知らないと、その計算が何故許されるかが理解できません。
リンク：
１９世紀の解析学における「厳密化革命」とは何か
ε-δ論法の誕生
【ε論法】関数の連続性とδのテクニック
ε-δ論法の論理式の意味
連続関数の定義
高校数学の目次
新型コロナウイルス感染対策
高校２年生が微分積分を学習するのに適切な本は、高校生用の教科書や参考書なのでは無く、大学１年生向けの参考書：例えば：
「やさしく学べる微分積分」（石村園子）
書評「素晴らしいほどわかりやすい。 高校2年の知識があれば、すらすら読める。 数学苦手な人でも、やさしくシリーズは、微積とベクトルはとっつきやすいと思うので、おすすめです。」
などだと思います。
その本は、初めて微分積分を学ぶ高校２年生にとって、内容がわかり易いです。説明が正確でごまかしが無いので、高校教科書の微分積分の説明にあるようなごまかしが納得できず（ごまかしに納得する方がおかしい）学習が止まってしまう様なことが無く、スムーズに勉強を進めることできるので良いと思います。その本の３６ページから４５ページまで勉強するだけで、微分の必須知識が学べます。
（微分積分学の歴史）
ライプニッツが、1684年に「極大と極小にかんする新しい方法」を出版して、その中で微分法を発表し、
ついで1686年に「深遠な幾何学」を出版して積分法を発表しました。
その後に、ニュートンが微分積分学を発表しました。
それに対して、旧い数学者のバークレー司教(Bishop George Berkeley)が微分積分学を攻撃した論争が微分積分学を正しく育てました。
バークレー司教は、ダブリンのトリニティ・カレッジで神学を学び、後に講義をする。アイルランド、クロインの(英国国教会の)監督Bishopとなる(1734)。
バークレー司教は、数学から唯物論を追放する目的で、『解析者―不誠実な数学者へ向けての論説』（The Analyst: or a Discourse Addressed to an Infidel Mathematician, 1734）で、ニュートン・ライプニッツ理論（微分積分学）を攻撃し、大論争を引き起こす(『解析教程』第II章第1節参照)。
ド・モアブル、テイラー、マクローリン、ラグランジュ、ヤコブ・ベルヌーイ、ヨハン・ベルヌーイなどが論争に加わり、微積分学の論理的基礎づけに対する関心を高めた功績は大きい。
とくに、マクローリンは反論のためにニュートンの方法の厳密な構成を行った。
以下で、バークレー司教の微分積分学に対する感想を見てみます。
『バークレー司教：解析者より』
「しかし、速度の速度、その速度、そのまた速度、またその速度、またまたその速度などなどというのは、私が間違っているのでなければ、すべての人間の理解を越えてしまっています。
精神がこの捉え難いアイデア（微分積分学）を解析し追及すればするほど、それはまごつき狼狽えることになり.....」
『バークレー司教：解析者より』
「......我が時代の解析者（微分積分学）は有限の量の差を考えるだけでは満足しません。
彼ら（微分積分学）はさらにその差の差を考え、最初の差の差の差を考えます。 そしてさらに無限にまで。
つまり彼ら（微分積分学）は認識できる最小の量よりさらに無限に小さい量を考えます。
その無限に小さい量よりもさらに無限に小さな量を、そしてその上これまでの無限小量よりもさらに無限に小さい量を考え、終わりも限界もないのです。
......もう告白するしかありませんが、無限に小さい量を心に描くことは ......私の能力を超えています。
しかし、そのような無限に小さい量の、それよりさらに無限に小さい一部、だから結局それを無限倍したとしても最も微細な有限の量にまでなることもできない、そんなものを想像するということは、どんな人にとってもそれこそ無限に困難なことだろうと、私は思うのです。.....」
『バークレー司教：解析者より』
「そして、この流率（微分）とは何だろうか？
無限小の増分の速度。 そして、これら同じ無限小の増分の速度とは何なんだろうか？
これらは有限の量でもなく、無限に小さい量でもなく、無でもない。 こんなものなら、過ぎ去った量の幽霊と呼んではいけないというのだろうか？ 」
ニュートンとライプニッツの微分は、「無限小」の概念が十分に論理付けされていなかったため、今日のような厳密さが欠けていた。だが、微分は、力学や天文学などで応用可能、しかも実用的であったため、ベルヌーイやロピタル、オイラー、ラグランジュ、ラプラスなどの研究によって普及していった。
微分学が厳密性を伴うようになったのは、19世紀に入ってからである。仏の数学者コーシーは、1821年に発表した「解析教程」で「極限」や「無限小」、「連続関数」の概念を定義し、解析学の基礎を刷新し、その後デデキントやカントールによる実数論などを経て、今日の微分の基礎が完成した。
連続関数の定義は、1817年にBolzanoが中間値の定理を証明する前提条件に定義した連続関数の定義により、歴史上初めて連続関数が正しく定義された（その定義は関数の連続性を区間で定義するものである）。
その歴史的経緯から、中間値の定理を成り立たせない関数を連続関数と呼ぶ高校数学での連続関数の定義は偽物である。なお、高校数学で定義された連続関数という言葉が使い物にならないので、 大学数学では、連続関数という言葉を使わずに「区間連続」という言葉で本来の意味の連続関数をあらわすことにしています。
微分積分学を厳密化するしくみ
初期の微分積分学では，「限りなく近付ける」という概念を使って来た。この極限の最大の問題点は、「限りなく近づく」という表現の曖昧さです。その概念を具体的に数学的に明確な概念にするのが「ε-δ論法」です。
コーシー（1789-1857）は不等式を使ったε-δ論法を導入した。
コーシー以前たとえばラグランジュが「無限小」や「極限」を曖昧なものとして数学の記述から排除しようとしたのに対して、コーシーは動的な表現が不等式評価と結びつくことを洞察して積極的に数学の記述に取り込んだ。不等式評価と結びついていることが把握されてさえいれば、動的表現自体を排除する必要はない。
極限の概念を明確にすると、(1) コーシーらの開拓した古典的（基礎的）微分積分学のイプシロンデルタ論法による極限の表し方と、(2) 位相空間論に係わり再構築した微分積分学のイプシロンデルタ論法による極限の表し方との、異なる２つの極限の表し方があります。そのようにイプシロンデルタ論法によって明確に表した極限の概念は複数あるのです。その２つを合わせて「限りなく近付ける」と言っていたのですから、その表現がいかにあいまいであったかが分かると思います。
（イプシロンデルタ論法の説明は、ここをクリックした先のサイトが参考になる。）
《古典的（基礎的）微分積分学のイプシロンデルタ論法の大前提》
関数f(x) は少なくとも、微小な区間
ａ − δ＜ｘ＜ａ + δ， （ここで、δはある小さな正の実数）
の全ての実数の点で定義されている（１点のみは区間ではない）とする。（定義域Aはその区間だけを考えれば良い。）
ということを初めから前提にして、古典的（基礎的）微分積分学による関数の極限の定義と関数の連続の定義をイプシロンデルタ論法で表現すると、以下のようにとても簡単にあらわせる。（ただし、極限の定義の場合にはｆ(a) が定義されていないでも良いものとする）
《基礎的微分積分学による関数の極限の定義》
関数ｆ(x) がｘの点列の収束するあるｘ＝ａの点で実数ｂに収束する極限値ｂが存在するということを、以下のようにイプシロンデルタ論法で定義する。
ｘ＝ａの点で、
十分小さい正の値の実数εを考える（あらゆる値のεを考える）。
次に、ある小さな正の値の実数δを考える。
そして、どのように小さい値のεに対しても（あらゆる値のεに対して）、
ある値の実数δが存在して、
０＜|ｘ－ａ|＜δ， ｘ≠ａ，
を満足するａ以外のｘが存在し（当たり前）、このδで値を制限された変数ｘの、その範囲内の全ての実数の値において、
|ｆ(x)－ｂ|＜ε
となるような実数ｂが（あらゆるεの値に対して）存在するならば（またそうなる場合に限って）、ｆ(x)の極限が存在するものとし、その極限値をｂとする。
（極限の定義おわり）
《連続の定義》
関数の定義域Ａのｘ=aの点において、十分小さい正の実数εを考える。次に、正の実数δを考える。
そして、どのように小さい値のεに対しても、
ある値の実数δが存在して、
|ｘ－ａ|＜δ
を満足するａ以外のｘが存在し（当たり前）、この式を満足する全ての実数ｘで、
|ｆ(x)－ｆ(a)|＜ε
となるならば（またそうなる場合に限って）、ｆ(x)が点ａで連続である。
（連続の定義おわり）
-----（連続の定義の言い換え）----
この定義をハッキリ把握するために、想像力を膨らませて、この定義を、以下の様に噛み砕いて自分の言葉で言い換えて定義を覚えると良い。
（０）
この、関数の点ａでの連続の定義は、関数の点ａの近傍の幅を持った微小区間で連続を判定している。
すなわち、関数の連続を確認する点ｘ＝ａ については、その点の座標の周りに広がりを持つ区間の、少なくとも、
ａ− δ＜ｘ＜ａ +δ, （ここで、δはある小さな値の正の実数）
という微小区間の全ての実数値ｘで関数ｆ(x)が定義されていることが大前提である。
「区間」と言う場合は、それは１つの連結区間であって、その区間内の全ての実数が関数の定義域である事を意味する。
（１）
次に、
ａに近い（値ａも含む）関数の定義域の変数ｘを考える。
（２）
ａから、正の値δの範囲内でずれる、ａも含む定義域の全てのｘの値についてｆ(x)を考える。
この定義における「全てのｘの値」の意味は、ａから、正の値δの範囲内でずれる値の区間に属する全て実数のｘを考慮することを意味する。
（３）
その全てのｘの値の関数ｆ(x)の値のバラツキの誤差を求める。
その誤差＜εとする小さな正の値εでバラツキの範囲を定める。
すなわち、点ａの近傍の区間の全ての実数ｘ（ただし、ｘ＝ａの場合も含む）の値の関数値ｆ(x)について、
－ε＜ （ｆ(x)－ｆ(ａ)）＜ε
となる正の値εを定める。
（４）
点ａの近傍の区間の全ての実数ｘの値の区間の範囲を式：
ａ− δ＜ｘ＜ａ +δ
で定める正の値δを十分小さくすれば、
その範囲内の全ての変数ｘ（値ａも含む）によるｆ(x)の値のバラツキが小さくなりバラツキの範囲の値 ε をいくらでも小さくできるならば；
ｆ(x)はｘ＝ａで極限値ｂを持ち、かつ、その極限値ｂがｆ(ａ)に等しい。
その場合に、
関数ｆ(x)は、
ｘ＝ａで連続である。
（第１の定義の連続）。
言い換えると、
「点ａでｆ(x)が連続であるとは、
どんなに小さい正の実数値εに対しても、
十分小さい正の実数値δを使ってｘの微小区間を、
ａ − δ＜ｘ＜ａ +δ （ｘ＝ａとなる場合も含む）
に限定すれば、その微小区間内のどのｘの値でも、
－ε＜ （ｆ(x)－ｆ(ａ)）＜ε
が成り立つようにできる事である。」
----（定義の言い換えおわり）-----------
（注意１）このε－δ論法による連続の第１の定義は、
ｘの微小区間の ａ − δ＜ｘ＜ａ+δ の全ての実数についてｆ(x)の値が存在する（定義されている）事を条件にしている。そのため、関数値ｆ(x)が点ａを含む微小区間で定義されていない場合は、連続であるとは定義しない。
（注意２）ここで、ε－δ論法というものは、εとδを使った極限の表現の手段であって、そのε－δ論法を使った「連続」の定義は、上の形の第１の連続の定義に限られない。
片側連続についても、第１の連続の定義とは形を変えた別のε－δ論法によって片側連続が定義される。
〔位相空間論に係わり再構築した微分積分学〕
一方で、位相空間論に係わり再構築した微分積分学は、位相空間の数の集合（限定された数）のみに基づいて関数の性質を解析する。
先に述べたように、古典的（基礎的）微分積分学の発展の歴史は、微分積分の概念を確立する過程で間違いを繰り返してようやく厳密性（論理的正しさ）を確保できた歴史がある。現代数学の位相空間論に係わり再構築した微分積分学も、同様に、多くの間違いを繰り返して最後に厳密性（論理的正しさ）を確保する過程の途上にあると考える。
位相空間論に係わり再構築した微分積分学では、関数の連続性の定義は、εδ論法（イプシロンデルタ論法）を使うのではあるが、関数の（値域の）連続性を、定義域が実数の区間であるとは限らない関数に対して定義する。その関数では、定義域が実数の区間であるべしという制約を無くしたので、（値域の）連続性があるとされた関数のグラフが連結しているとは限らない。その関数のグラフは切れ切れのグラフになる。
〔位相空間論に係わる、関数の（値域の）連続性の定義〕
関数ｆ(x) の定義域をＡとする。（Ａは有理数のみでも良い）
ある点ａ∊Aにおいて、（点ａは孤立点であっても良い）
『どのようなε>0に対しても、
あるδ>0において、
全てのx∊Aに対して、
|x-a|＜δ
となるならば、
|f(x)-f(a)|＜ε
となる。』
という命題が成り立つならば、
ｆ(x)は点ａで「（値域の）連続性」がある。
という定義である。
（関数の連続性の定義おわり）
「関数 f(x) が、その関数ｆ(x) の定義域Ａのすべての x =ａの値で位相空間論に係わる連続性があるとき、 f(x) は位相空間論に係わり定義された（値域の）連続関数である」
例えば、以下のグラフであらわす、定義域Ａが有理数全体である関数ｆ(x) が、位相空間論に係わり定義された（値域の）連続関数である。（√2 は定義域Ａの外の数である）。
（この位相空間論に係わる（値域の）連続性の定義には、孤立点に連続性があるという定義が含まれている。孤立点の極限は、この（値域の）連続性の定義を経由して定義する。）
この関数の（値域の）連続性の定義は、正確には、位相空間論の連続写像の定義の基礎となる定義であって、位相空間論の連続写像の定義そのものではない。 実数R全体での点ａでのこの連続性の定義が満足される関数ならば、実数全体での位相空間の連続写像と同値になる。
【積分とは何か】
積分については，ここをクリックした先のｐｄｆファイルにある原教授の以下のコメントが大切です。
---（原教授のコメント開始）---------
積分については高校でも習ってはいるが，その基礎を突き詰めていくといろいろと困ったことがでてくる．
特に「積分は微分の逆演算」として定義すると，「ある関数 f の積分を求めよ」という問題や「この関数の積分は定義できるか？」という問題でハタと困ってしまう．
（微分して f になるような関数がわからない場合，高校までの知識ではお手上げだ．）
この節では高校までの知識はいったん忘れて，「積分とは何か」「積分をどのように定義すべきか」から話を始める．
4.1 積分（定積分）の定義
ということで，まずやるべきは「与えられた関数f(x) に対して，その積分を定義すること」である．
これから見ていくように，かなり広いクラスの関数に対してその積分（定積分）を定義することができる．
定積分を通して不定積分も定義できるので，高校までの知識とのつながりがつくことになる．
・・・
積分の最も素朴な定義はこれから紹介する「リーマン和」に基づくもので、、、
---（原教授のコメントおわり）------
（補足２）
（「リーマン積分可能」の定義）
「微分積分学入門」（横田 壽）の１２４ページから１２５ページに「リーマン積分可能」の定義が書いてあります：
（この本は書店で購入できます。）
その他に、高校２年生が勉強するのに適切な、書店で購入できる微分積分の参考書は：
「やさしく学べる微分積分」（石村園子） ￥2000円
が内容がわかり易くて良いと思います。
ここではドイツの数学者G.F.B. Riemann (1826-1917) によって示されたRiemann 積分について学んでいきます．リーマン積分による「積分可能」の定義は、全ての種類の「積分可能」の定義の基礎になっています。
f(x) は閉区間[a, b] で定義されているとします．この閉区間[a, b] を次のような点xi(i = 1, 2, . . . , n) でn 個の小区間に分割します．
この分割をΔ で表わし， Δxi = xi − xi−1 (i = 1, 2, . . . , n) のうちで最も大きい値を|Δ| で 表わします．
（注目ポイント）
高校数学で教える区分求積法では、区間を細分した部分区間のグラフの高さf(x)を求めますが、そのｘの位置が部分区間の中の特定の位置に固定されています。
その固定をしないで、どの位置のｘでのf(x)を棒グラフの高さにして計算しても良い、
というのがリーマン積分です。
いま，それぞれの小区間[xi−1, xi] のなかに任意の位置に点ξi をとり，Riemann 和 (Riemann sum) とよばれる次の和を考えます．
この定義に従い、関数の積分可能性を以下の様にして調べることができます。
先ず小さな閉区間[a, b] を定めて、
その区間の小区間への分割の仕方および点ξi(i = 1, 2, . . . , n) のとり方に関係なく、各点の関数値の和が一通りに定まる（積分可能）か否かを調べることができます。
（積分が不可能な関数）
下のグラフの関数ｆ（ｘ）のように、どの位置においても関数の極限が存在しない関数があり得ます。
例えば、
ｘが有理数の場合にｆ（ｘ）＝０であって、
ｘが無理数の場合のｆ（ｘ）＝１
という、極限が存在しない関数ｆ（ｘ）などです。
そもそも、微分の計算は極限を求める計算なので、その関数ｆ（ｘ）が積分できても、その積分した関数Ｆ（ｘ）を微分した場合に、元の関数ｆ（ｘ）は（極限値が存在しないので）、微分によっては得られないと考えます。
上図の関数ｆ（ｘ）の変数ｘ＝ｘ１からｘ＝ｘ２までの変数ｘの閉区間をｎ等分して、その区分した部分毎にｆ（ｘ）の値ｆ（ξ）を求めて、その値の和で積分します。
（１）その際に、 変数ｘ＝ξが全て有理数なら、ｆ（ξ）＝０になり、積分結果は０になります。
（２）一方、変数ｘ＝ξが全て無理数√２の有理数倍なら、ｆ（ξ）＝１になり、積分結果は（ｘ２－ｘ１）になります。
（３）ｆ（ｘ）の値ｆ（ξ）の選び方によって結果が変わるような計算の値は定かでは無いので、その様な関数ｆ（ｘ）は積分することができません。
このように、微分積分学では、あらゆる関数に微分積分を行う理論を作ろうとすると、いろいろな難しい問題があることがわかりました。
微分積分学で、難しい問題が生じない関数の範囲を把握して、その範囲内で微分積分の計算をすることで、応用上で微分積分を使い易くできます。
そのため、使い易い関数として、極限が存在し、かつ、連続な「連続関数」（関数ｆ（ｘ）が連続な範囲にｘの定義域を限定した１つながりに連続な関数が連続関数です）を主に扱う対象にし、また、「微分可能性」で関数の種類と、また、関数の変数ｘの定義域内の所定の範囲を定めて、その所定の範囲内だけで微分積分を行うようにします。その範囲内で成り立つ法則を把握して、種々の公式を導き出して使うことで微分積分学を最大限に応用できるようになります。
微分積分学は、微分可能な関数と積分可能な関数を定義して、その種の関数の間で微分したり積分をします。
「関数を積分して、それを微分したら元の関数に戻る」
という、微分積分学の基本定理がありますが、
その定理は、その関数ｆ（ｘ）の積分可能な部分に限り、かつ積分後の関数Ｆ（ｘ)の微分可能な部分に限って成り立つ定理です。
その定理の大前提に、何が微分可能で何が積分可能であるかの定義があります。
（微分積分学の基本定理を厳密に定義すると、「微分積分学の基本定理」という命題は、積分可能条件を記述した命題です）
（微分可能の定義が微分積分学の基本定理を左右する）
微分積分学の基本定理の根底を支えているのが微分可能の定義です。高校数学の微分可能の定義は、変数ｘが開区間(a＜x＜b)で定義された関数f(x)にしか微分可能が定義されていません。そのため、高校数学の範囲内の知識では、開区間(a＜x＜b)で定義された関数 f(x)にしか、微分積分学の基本定理が成り立ちません。
一方、大学数学では、変数ｘが閉区間（a≦x≦b）で定義された関数f(x)の区間の端点x=a,bでも 微分可能が定義されています。そのため、大学数学では、閉区間（a≦x≦b）で定義された関数f(x)にも 微分積分学の基本定理が成り立つと教えられています。
微分積分を学ぶ者は、「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。
しかし、この一番大切な概念を高校２年には教えない。高校３年に至っても「積分可能」の概念を教えていないようです。
積分の概念は、数学の研究対象を微小な部分に分割して研究し、その微小部分を集積した全体にまとめ上げて全体を考えるという、適用範囲が広い概念です。
「歴史的に見ても、微分より積分の方がずっと前に出現している。」
積分の被積分関数の計算においては、ｘのある値で０になる関数を分母にする、すなわち、そのｘの値で０になる関数で式を割り算する計算が許されています。しかし、（大学で初めて学ぶ）広義積分を知らないと、その計算が何故許されるかが理解できません。
リンク：
１９世紀の解析学における「厳密化革命」とは何か
ε-δ論法の誕生
【ε論法】関数の連続性とδのテクニック
ε-δ論法の論理式の意味
連続関数の定義
高校数学の目次
新型コロナウイルス感染対策
