（当ブログの結論）
高校２年生が微分積分を学習するのに適切な本は、高校生用の教科書や参考書なのでは無く、大学１年生向けの参考書：例えば：
「やさしく学べる微分積分」（石村園子）
書評「素晴らしいほどわかりやすい。 高校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) 位相空間論に係わり再構築した微分積分学のイプシロンデルタ論法による極限の表し方との、異なる２つの極限の表し方があります。そのようにイプシロンデルタ論法によって明確に表した極限の概念は複数あるのです。その２つを合わせて「限りなく近付ける」と言っていたのですから、その表現がいかにあいまいであったかが分かると思います。
（イプシロンデルタ論法の説明は、ここをクリックした先のサイトが参考になる。）
《実数とは》
微分積分の命綱を握っているのが実数の概念です。以下の例を用いて実数について考える。
下の図のようにｘ＝１から、ｘ＝２、次にｘ＝3/2 というように有理数の値を変えてくと、限りなく近づく先の数が有理数の中には無い。しかし、そのように限りなく近づく先の数が存在すると考えた。その数を実数と呼ぶ。
このように、「限りなく近づける」操作（極限の操作）が、数の概念を拡張することを要請し、そうして拡張された新たな数が実数であった。この拡張された数である実数から成るとされる数直線には数の連続性があるとされた。このように極限の操作によって数の概念が実数にまで拡張され、それが数の連続性と微分積分の礎になった。
《数列の極限》
項が限りなく続く数列ｘ1, ｘ2, ｘ3, ・・・, ｘn, ・・・を無限数列と言う。ｘnをその第ｎ項といい、この無限数列を{ｘn}であらわす。また、ａn を自然数ｎの式であらわしたものを数列{ｘn} の一般項という。
「変数ｘが限りなく点ａに近づく」という極限の定義は、数の集合Ａにおいて、以下のことが成り立つこととして、極限を定義する。
【数列の極限の定義】
以下の図で、「数の集合Ａの要素で、点ａ以外の値の、変数ｘの無限数列{ｘn}を考える。
この数列{ｘn}では、自然数ｎが限りなく大きくなるとき、第ｎ項は限りなく値ａに近づく。
一般に、数列{ｘn}において、ｎが限りなく大きくなるにつれて、ｘn が一定の値ａに限りなく近づくとき、数列{ｘn}はａに収束する、または、数列{ｘn}の極限はａであるという。その値ａを数列{ｘn}の極限値であるという。（点ａは数の集合Ａの要素で無くても良い）。
数列{ｘn}の極限値がａであるとき、次のように書く。
すなわち、「変数ｘが限りなく点ａに近づく」という極限の概念を、点ａに収束する、数の集合Ａの要素のｘの無限数列を使って数学的に定義した。
その結果、変数ｘが限りなく近づく先の数の点ａは、すなわち、変数ｘの極限の数の点ａは、
数の集合Ａの要素の点ｘの無限数列の集積点であるという結論が得られる。
--（集積点の定義）--
実数の集合Ｒの部分集合の数の集合Ａを考える。
（１）実数の点ａが数の集合Ａの集積点であるとは、
点ａの値以外の数の集合Ａの要素の点ｘn による、点ａに収束する無限数列 {ｘn}が存在すること（点ａは実数ではあるが、数の集合Ａの要素とは限らない）である。
（２）数の集合Ａの要素のある数の点ｙが集積点ではないとき、その点ｙを数の集合Ａの孤立点と呼ぶ。
--（集積点の定義おわり）---
《関数の極限》
関数ｆ(x) の定義域のｘの数の集合Ａから、値がａと異なる要素ｘn を順に選んで、点ａに収束するｘの無限数列{ｘn}を作った場合に、その無限数列{ｘn}が点ａに収束するのにともなって、 ｆ(x) が値Ｃに収束するということが、ｘ→ａで関数ｆ(x)に極限が存在するための基礎条件である。
関数ｆ(x) において、変数ｘがａと異なる値をとりながら限りなくａに近づくとき、ｆ(x) の値が一定の値Ｃに限りなく近づくならば、
ｘ→ａのときｆ(x) の極限値がＣである。
といい、次のように書く。
また、この場合、”ｘ→ａのときｆ(x) はＣに収束する”という。
【関数の極限の（第１の）定義】
変数ｘがａと異なる値をとりながら限りなくａに近づくとき、関数ｆ(x) の値が一定の値Ｃに限りなく近づくという関数の極限は、以下のように定義する。
関数ｆ(x) の定義域の集合Ａを、区間とする。そして、「変数ｘが限りなくａに近づくとき関数ｆ(x) に極限値Ｃが存在する」ことの数学的定義を：
「区間Ａ内の点ｘの、点ａに収束する全ての無限数列{ｘn}で共通して、関数ｆ(x) が同じ値Ｃに収束する」ことと定義する。
そう定義する理由は、関数ｆ(x) によっては、点ａに収束する各無限数列{ｘn}毎に、関数ｆ(x) が異なる値Ｃに収束したり、収束しなかったりすることがあるからである。
【関数の極限の（第２の）定義】
また、古典的（基礎的）微分積分学のもう１つの考え方では、集合Ａの要素の点x がａに限りなく近づくとは，
絶対値|x−ａ| を限りなく小さくできる（そういう条件を満たす値ｘが集合Ａの要素に存在する）ということと同じだと考えてもよい．集合Ａが区間であれば、それは、いつでも成り立っている。
そして， f(x) が値Ｃに限りなく近づくということも
|f(x) − Ｃ| を限りなく小さくできることだと考えてもよい．
《関数ｆ(x) のｘの定義域の集合Ａは区間とする》
定義域の集合Ａが区間であって、区間Ａの要素のｘの値がｘ0に近い全ての点ｘ（ａに近い区間Ａ内の全ての実数の点ｘ）において、f(x)がＣに近い値になることが、x=ａでf(x)に極限値が存在することの厳密な（第２の）定義である。この（第２の）定義は、（第１の）定義と、必要十分な関係にある。
《古典的（基礎的）微分積分学のイプシロンデルタ論法の大前提》
関数f(x) は少なくとも、定義域の区間Ａの微小な区間
０＜|ｘ-ａ|＜ δ， （ここで、δはある小さな正の実数）
の全ての実数の点で定義されている（１点のみは区間ではない）とする。
ということを初めから前提にして、古典的（基礎的）微分積分学による関数の極限の定義と関数の連続の定義をイプシロンデルタ論法で表現すると、以下のようにとても簡単にあらわせる。（ただし、極限の定義の場合にはｆ(a) が定義されていないでも良いものとする）
《基礎的微分積分学のεδ論法による関数の極限の定義》
関数ｆ(x) がｘの点列の収束するあるｘ＝ａの点で実数Ｃに収束する極限値Ｃが存在するということを、以下のようにイプシロンデルタ論法で定義する。
ｘ＝ａの点で、
十分小さい正の値の実数εを考える（あらゆる値のεを考える）。
次に、ある小さな正の値の実数δを考える。
そして、どのように小さい値のεに対しても（あらゆる値のεに対して）、
ある値の実数δが存在して、
０＜|ｘ－ａ|＜δ， ｘ≠ａ，
を満足するａ以外のｘが存在し（当たり前）、このδで値を制限された変数ｘの、その範囲内の全ての実数の値において、
|ｆ(x)－Ｃ|＜ε
となるような実数Ｃが（あらゆるεの値に対して）存在するならば（またそうなる場合に限って）、ｆ(x)の極限が存在するものとし、その極限値をＣとする。
（極限の定義おわり）
《連続の定義》
定義域Ａの点ｘ＝ａでの関数ｆ(x) に関して十分小さい正の実数εを考える。次に、正の実数δを考える。
そして、どのように小さい値のεに対しても、
ある値の実数δが存在して、
|ｘ－ａ|＜δ
を満足するａ以外のｘが存在し（当たり前）、この式を満足する全ての実数ｘで、
|ｆ(x)－ｆ(a)|＜ε
となるならば（またそうなる場合に限って）、ｆ(x)が点ａで連続である。
（連続の定義おわり）
-----（連続の定義の言い換え）----
この定義をハッキリ把握するために、想像力を膨らませて、この定義を、以下の様に噛み砕いて自分の言葉で言い換えて定義を覚えると良い。
（０）
この、関数の点ａでの連続の定義は、関数の点ａの近傍の幅を持った微小区間で連続を判定している。
すなわち、関数の連続を確認する点ｘ＝ａ については、その点の座標の近傍の微小区間の、少なくとも、
０＜|ｘ-ａ|＜ δ, （ここで、δはある小さな値の正の実数）
という微小区間の全ての実数値ｘで関数ｆ(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) 位相空間論に係わり再構築した微分積分学のイプシロンデルタ論法による極限の表し方との、異なる２つの極限の表し方があります。そのようにイプシロンデルタ論法によって明確に表した極限の概念は複数あるのです。その２つを合わせて「限りなく近付ける」と言っていたのですから、その表現がいかにあいまいであったかが分かると思います。
（イプシロンデルタ論法の説明は、ここをクリックした先のサイトが参考になる。）
《実数とは》
微分積分の命綱を握っているのが実数の概念です。以下の例を用いて実数について考える。
下の図のようにｘ＝１から、ｘ＝２、次にｘ＝3/2 というように有理数の値を変えてくと、限りなく近づく先の数が有理数の中には無い。しかし、そのように限りなく近づく先の数が存在すると考えた。その数を実数と呼ぶ。
このように、「限りなく近づける」操作（極限の操作）が、数の概念を拡張することを要請し、そうして拡張された新たな数が実数であった。この拡張された数である実数から成るとされる数直線には数の連続性があるとされた。このように極限の操作によって数の概念が実数にまで拡張され、それが数の連続性と微分積分の礎になった。
《数列の極限》
項が限りなく続く数列ｘ1, ｘ2, ｘ3, ・・・, ｘn, ・・・を無限数列と言う。ｘnをその第ｎ項といい、この無限数列を{ｘn}であらわす。また、ａn を自然数ｎの式であらわしたものを数列{ｘn} の一般項という。
「変数ｘが限りなく点ａに近づく」という極限の定義は、数の集合Ａにおいて、以下のことが成り立つこととして、極限を定義する。
【数列の極限の定義】
以下の図で、「数の集合Ａの要素で、点ａ以外の値の、変数ｘの無限数列{ｘn}を考える。
この数列{ｘn}では、自然数ｎが限りなく大きくなるとき、第ｎ項は限りなく値ａに近づく。
一般に、数列{ｘn}において、ｎが限りなく大きくなるにつれて、ｘn が一定の値ａに限りなく近づくとき、数列{ｘn}はａに収束する、または、数列{ｘn}の極限はａであるという。その値ａを数列{ｘn}の極限値であるという。（点ａは数の集合Ａの要素で無くても良い）。
数列{ｘn}の極限値がａであるとき、次のように書く。
すなわち、「変数ｘが限りなく点ａに近づく」という極限の概念を、点ａに収束する、数の集合Ａの要素のｘの無限数列を使って数学的に定義した。
その結果、変数ｘが限りなく近づく先の数の点ａは、すなわち、変数ｘの極限の数の点ａは、
数の集合Ａの要素の点ｘの無限数列の集積点であるという結論が得られる。
--（集積点の定義）--
実数の集合Ｒの部分集合の数の集合Ａを考える。
（１）実数の点ａが数の集合Ａの集積点であるとは、
点ａの値以外の数の集合Ａの要素の点ｘn による、点ａに収束する無限数列 {ｘn}が存在すること（点ａは実数ではあるが、数の集合Ａの要素とは限らない）である。
（２）数の集合Ａの要素のある数の点ｙが集積点ではないとき、その点ｙを数の集合Ａの孤立点と呼ぶ。
--（集積点の定義おわり）---
《関数の極限》
関数ｆ(x) の定義域のｘの数の集合Ａから、値がａと異なる要素ｘn を順に選んで、点ａに収束するｘの無限数列{ｘn}を作った場合に、その無限数列{ｘn}が点ａに収束するのにともなって、 ｆ(x) が値Ｃに収束するということが、ｘ→ａで関数ｆ(x)に極限が存在するための基礎条件である。
関数ｆ(x) において、変数ｘがａと異なる値をとりながら限りなくａに近づくとき、ｆ(x) の値が一定の値Ｃに限りなく近づくならば、
ｘ→ａのときｆ(x) の極限値がＣである。
といい、次のように書く。
また、この場合、”ｘ→ａのときｆ(x) はＣに収束する”という。
【関数の極限の（第１の）定義】
変数ｘがａと異なる値をとりながら限りなくａに近づくとき、関数ｆ(x) の値が一定の値Ｃに限りなく近づくという関数の極限は、以下のように定義する。
関数ｆ(x) の定義域の集合Ａを、区間とする。そして、「変数ｘが限りなくａに近づくとき関数ｆ(x) に極限値Ｃが存在する」ことの数学的定義を：
「区間Ａ内の点ｘの、点ａに収束する全ての無限数列{ｘn}で共通して、関数ｆ(x) が同じ値Ｃに収束する」ことと定義する。
そう定義する理由は、関数ｆ(x) によっては、点ａに収束する各無限数列{ｘn}毎に、関数ｆ(x) が異なる値Ｃに収束したり、収束しなかったりすることがあるからである。
【関数の極限の（第２の）定義】
また、古典的（基礎的）微分積分学のもう１つの考え方では、集合Ａの要素の点x がａに限りなく近づくとは，
絶対値|x−ａ| を限りなく小さくできる（そういう条件を満たす値ｘが集合Ａの要素に存在する）ということと同じだと考えてもよい．集合Ａが区間であれば、それは、いつでも成り立っている。
そして， f(x) が値Ｃに限りなく近づくということも
|f(x) − Ｃ| を限りなく小さくできることだと考えてもよい．
《関数ｆ(x) のｘの定義域の集合Ａは区間とする》
定義域の集合Ａが区間であって、区間Ａの要素のｘの値がｘ0に近い全ての点ｘ（ａに近い区間Ａ内の全ての実数の点ｘ）において、f(x)がＣに近い値になることが、x=ａでf(x)に極限値が存在することの厳密な（第２の）定義である。この（第２の）定義は、（第１の）定義と、必要十分な関係にある。
《古典的（基礎的）微分積分学のイプシロンデルタ論法の大前提》
関数f(x) は少なくとも、定義域の区間Ａの微小な区間
０＜|ｘ-ａ|＜ δ， （ここで、δはある小さな正の実数）
の全ての実数の点で定義されている（１点のみは区間ではない）とする。
ということを初めから前提にして、古典的（基礎的）微分積分学による関数の極限の定義と関数の連続の定義をイプシロンデルタ論法で表現すると、以下のようにとても簡単にあらわせる。（ただし、極限の定義の場合にはｆ(a) が定義されていないでも良いものとする）
《基礎的微分積分学のεδ論法による関数の極限の定義》
関数ｆ(x) がｘの点列の収束するあるｘ＝ａの点で実数Ｃに収束する極限値Ｃが存在するということを、以下のようにイプシロンデルタ論法で定義する。
ｘ＝ａの点で、
十分小さい正の値の実数εを考える（あらゆる値のεを考える）。
次に、ある小さな正の値の実数δを考える。
そして、どのように小さい値のεに対しても（あらゆる値のεに対して）、
ある値の実数δが存在して、
０＜|ｘ－ａ|＜δ， ｘ≠ａ，
を満足するａ以外のｘが存在し（当たり前）、このδで値を制限された変数ｘの、その範囲内の全ての実数の値において、
|ｆ(x)－Ｃ|＜ε
となるような実数Ｃが（あらゆるεの値に対して）存在するならば（またそうなる場合に限って）、ｆ(x)の極限が存在するものとし、その極限値をＣとする。
（極限の定義おわり）
《連続の定義》
定義域Ａの点ｘ＝ａでの関数ｆ(x) に関して十分小さい正の実数εを考える。次に、正の実数δを考える。
そして、どのように小さい値のεに対しても、
ある値の実数δが存在して、
|ｘ－ａ|＜δ
を満足するａ以外のｘが存在し（当たり前）、この式を満足する全ての実数ｘで、
|ｆ(x)－ｆ(a)|＜ε
となるならば（またそうなる場合に限って）、ｆ(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全体での点ａでのこの連続性の定義が満足される関数ならば、実数全体での位相空間の連続写像と同値になる。
《関数の連続性の条件》
関数がある点ａで連続であるとは、第１の条件として、関数の定義域Ｄが点ａと、ａの近傍で連結していることである。第２の条件として、点ａで関数ｆ(x) の値域が連結していることである。その２つの条件を満足しない点ａは「連続でない点」である。
第１の条件は、変数ｘの点ａが関数ｆ(x) の定義域Ｄに含まれることと、ｘ＝ａの近傍の定義域は実数が連結したｘの微小区間であることとを要請する（連結している数の集合は実数がすき間なく存在する区間だけである）。
第２の条件は、式(10)であらわすように、点ａに限りなく近づく関数ｆ(x) の極限の値がｆ(a) であることを要請する。
（第２の条件の補足）更に、第１の条件が満足されない点βでは、（位相空間論に係わる微分積分学では）第２の条件を不問にしている。しかし、その点βで関数ｆ(x) の値ｆ(β) を定義して第１の条件を満足させると、再度第２の条件で判定すると点βが連続ではないことが判明することがある。そのような点βでは、そうした後に調べる以前から（値域の）連続性を判定する必要がある。その判定は、以下の式(10b)であらわす、点βに限りなく近づく関数ｆ(x) の極限値が存在する条件により判定する必要がある。
すなわち、関数ｆ(x) の定義域Ｄ上の点ａの点列で、ｎ≧Ｎなる点列ａ_nが収束する先の点βのまわりの”開区間”に含まれる点a_nの関数の値ｆ(a_n) が値域の”開区間”に含まれることを、点βでの関数ｆ(x) の（値域の）連続性の定義とするべきである。
【積分とは何か】
積分については，ここをクリックした先のｐｄｆファイルにある原教授の以下のコメントが大切です。
---（原教授のコメント開始）---------
積分については高校でも習ってはいるが，その基礎を突き詰めていくといろいろと困ったことがでてくる．
特に「積分は微分の逆演算」として定義すると，「ある関数 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) のとり方に関係なく、各点の関数値の和が一通りに定まる（積分可能）か否かを調べることができます。
（積分が不可能な関数）
下のグラフの関数ｆ（ｘ）のように、どの位置においても関数の極限が存在しない関数があり得ます。
例えば、
ｘが有理数の場合にｆ（ｘ）＝０であって、
ｘが無理数の場合のｆ（ｘ）＝１
という、極限が存在しない関数ｆ（ｘ）などです。
そういう、極限が存在しない関数ｆ（ｘ）を積分して関数Ｆ（ｘ)を得た場合（もし積分できた場合）、その積分により得られた関数Ｆ（ｘ）は微分可能だろうか。
そもそも、微分の計算は極限を求める計算なので、その関数ｆ（ｘ）が積分できても、その積分した関数Ｆ（ｘ）を微分した場合に、元の関数ｆ（ｘ）は（極限値が存在しないので）、微分によっては得られないと考えます。
上図の関数ｆ（ｘ）の変数ｘ＝ｘ１からｘ＝ｘ２までの変数ｘの閉区間をｎ等分して、その区分した部分毎にｆ（ｘ）の値ｆ（ξ）を求めて、その値の和で積分します。
（１）その際に、 変数ｘ＝ξが全て有理数なら、ｆ（ξ）＝０になり、積分結果は０になります。
（２）一方、変数ｘ＝ξが全て無理数√２の有理数倍なら、ｆ（ξ）＝１になり、積分結果は（ｘ２－ｘ１）になります。
（３）ｆ（ｘ）の値ｆ（ξ）の選び方によって結果が変わるような計算の値は定かでは無いので、その様な関数ｆ（ｘ）は積分することができません。
このように、微分積分学では、あらゆる関数に微分積分を行う理論を作ろうとすると、いろいろな難しい問題があることがわかりました。
微分積分学で、難しい問題が生じない関数の範囲を把握して、その範囲内で微分積分の計算をすることで、応用上で微分積分を使い易くできます。
そのため、使い易い関数として、極限が存在し、かつ、連続な「連続関数」（関数ｆ（ｘ）が連続な範囲にｘの定義域を限定した１つながりに連続な関数が連続関数です）を主に扱う対象にし、また、「微分可能性」で関数の種類と、また、関数の変数ｘの定義域内の所定の範囲を定めて、その所定の範囲内だけで微分積分を行うようにします。その範囲内で成り立つ法則を把握して、種々の公式を導き出して使うことで微分積分学を最大限に応用できるようになります。
微分積分学は、微分可能な関数と積分可能な関数を定義して、その種の関数の間で微分したり積分をします。
「関数を積分して、それを微分したら元の関数に戻る」
という、微分積分学の基本定理がありますが、
その定理は、その関数ｆ（ｘ）の積分可能な部分に限り、かつ積分後の関数Ｆ（ｘ)の微分可能な部分に限って成り立つ定理です。
その定理の大前提に、何が微分可能で何が積分可能であるかの定義があります。
（微分積分学の基本定理を厳密に定義すると、「微分積分学の基本定理」という命題は、積分可能条件を記述した命題です）
（微分可能の定義が微分積分学の基本定理を左右する）
微分積分学の基本定理の根底を支えているのが微分可能の定義です。高校数学の微分可能の説明は、区間で定義された関数f(x) の内点での微分可能のみが詳しく説明され、区間の端点での微分が説明されていない。そのため、閉区間(a＜x＜b)で定義された関数 f(x) で微分積分学の基本定理が成り立つことが説明できません。
一方、大学数学では、変数ｘが閉区間（a≦x≦b）で定義された関数ｆ(x) の区間の端点x=a,bでも 微分可能が定義されている。そのため、大学数学ならば、閉区間（a≦x≦b）で定義された関数f(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全体での点ａでのこの連続性の定義が満足される関数ならば、実数全体での位相空間の連続写像と同値になる。
《関数の連続性の条件》
関数がある点ａで連続であるとは、第１の条件として、関数の定義域Ｄが点ａと、ａの近傍で連結していることである。第２の条件として、点ａで関数ｆ(x) の値域が連結していることである。その２つの条件を満足しない点ａは「連続でない点」である。
第１の条件は、変数ｘの点ａが関数ｆ(x) の定義域Ｄに含まれることと、ｘ＝ａの近傍の定義域は実数が連結したｘの微小区間であることとを要請する（連結している数の集合は実数がすき間なく存在する区間だけである）。
第２の条件は、式(10)であらわすように、点ａに限りなく近づく関数ｆ(x) の極限の値がｆ(a) であることを要請する。
（第２の条件の補足）更に、第１の条件が満足されない点βでは、（位相空間論に係わる微分積分学では）第２の条件を不問にしている。しかし、その点βで関数ｆ(x) の値ｆ(β) を定義して第１の条件を満足させると、再度第２の条件で判定すると点βが連続ではないことが判明することがある。そのような点βでは、そうした後に調べる以前から（値域の）連続性を判定する必要がある。その判定は、以下の式(10b)であらわす、点βに限りなく近づく関数ｆ(x) の極限値が存在する条件により判定する必要がある。
すなわち、関数ｆ(x) の定義域Ｄ上の点ａの点列で、ｎ≧Ｎなる点列ａ_nが収束する先の点βのまわりの”開区間”に含まれる点a_nの関数の値ｆ(a_n) が値域の”開区間”に含まれることを、点βでの関数ｆ(x) の（値域の）連続性の定義とするべきである。
【積分とは何か】
積分については，ここをクリックした先のｐｄｆファイルにある原教授の以下のコメントが大切です。
---（原教授のコメント開始）---------
積分については高校でも習ってはいるが，その基礎を突き詰めていくといろいろと困ったことがでてくる．
特に「積分は微分の逆演算」として定義すると，「ある関数 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) のとり方に関係なく、各点の関数値の和が一通りに定まる（積分可能）か否かを調べることができます。
（積分が不可能な関数）
下のグラフの関数ｆ（ｘ）のように、どの位置においても関数の極限が存在しない関数があり得ます。
例えば、
ｘが有理数の場合にｆ（ｘ）＝０であって、
ｘが無理数の場合のｆ（ｘ）＝１
という、極限が存在しない関数ｆ（ｘ）などです。
そもそも、微分の計算は極限を求める計算なので、その関数ｆ（ｘ）が積分できても、その積分した関数Ｆ（ｘ）を微分した場合に、元の関数ｆ（ｘ）は（極限値が存在しないので）、微分によっては得られないと考えます。
上図の関数ｆ（ｘ）の変数ｘ＝ｘ１からｘ＝ｘ２までの変数ｘの閉区間をｎ等分して、その区分した部分毎にｆ（ｘ）の値ｆ（ξ）を求めて、その値の和で積分します。
（１）その際に、 変数ｘ＝ξが全て有理数なら、ｆ（ξ）＝０になり、積分結果は０になります。
（２）一方、変数ｘ＝ξが全て無理数√２の有理数倍なら、ｆ（ξ）＝１になり、積分結果は（ｘ２－ｘ１）になります。
（３）ｆ（ｘ）の値ｆ（ξ）の選び方によって結果が変わるような計算の値は定かでは無いので、その様な関数ｆ（ｘ）は積分することができません。
このように、微分積分学では、あらゆる関数に微分積分を行う理論を作ろうとすると、いろいろな難しい問題があることがわかりました。
微分積分学で、難しい問題が生じない関数の範囲を把握して、その範囲内で微分積分の計算をすることで、応用上で微分積分を使い易くできます。
そのため、使い易い関数として、極限が存在し、かつ、連続な「連続関数」（関数ｆ（ｘ）が連続な範囲にｘの定義域を限定した１つながりに連続な関数が連続関数です）を主に扱う対象にし、また、「微分可能性」で関数の種類と、また、関数の変数ｘの定義域内の所定の範囲を定めて、その所定の範囲内だけで微分積分を行うようにします。その範囲内で成り立つ法則を把握して、種々の公式を導き出して使うことで微分積分学を最大限に応用できるようになります。
微分積分学は、微分可能な関数と積分可能な関数を定義して、その種の関数の間で微分したり積分をします。
「関数を積分して、それを微分したら元の関数に戻る」
という、微分積分学の基本定理がありますが、
その定理は、その関数ｆ（ｘ）の積分可能な部分に限り、かつ積分後の関数Ｆ（ｘ)の微分可能な部分に限って成り立つ定理です。
その定理の大前提に、何が微分可能で何が積分可能であるかの定義があります。
（微分積分学の基本定理を厳密に定義すると、「微分積分学の基本定理」という命題は、積分可能条件を記述した命題です）
（微分可能の定義が微分積分学の基本定理を左右する）
微分積分学の基本定理の根底を支えているのが微分可能の定義です。高校数学の微分可能の説明は、区間で定義された関数f(x) の内点での微分可能のみが詳しく説明され、区間の端点での微分が説明されていない。そのため、閉区間(a＜x＜b)で定義された関数 f(x) で微分積分学の基本定理が成り立つことが説明できません。
一方、大学数学では、変数ｘが閉区間（a≦x≦b）で定義された関数ｆ(x) の区間の端点x=a,bでも 微分可能が定義されている。そのため、大学数学ならば、閉区間（a≦x≦b）で定義された関数f(x)にも 微分積分学の基本定理が成り立つことが理解できる。
微分積分を学ぶ者は、「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。
しかし、この一番大切な概念を高校２年には教えない。高校３年に至っても「積分可能」の概念を教えていないようです。
積分の概念は、数学の研究対象を微小な部分に分割して研究し、その微小部分を集積した全体にまとめ上げて全体を考えるという、適用範囲が広い概念です。
「歴史的に見ても、微分より積分の方がずっと前に出現している。」
積分の被積分関数の計算においては、ｘのある値で０になる関数を分母にする、すなわち、そのｘの値で０になる関数で式を割り算する計算が許されています。しかし、（大学で初めて学ぶ）広義積分を知らないと、その計算が何故許されるかが理解できません。
リンク：
１９世紀の解析学における「厳密化革命」とは何か
ε-δ論法の誕生
【ε論法】関数の連続性とδのテクニック
ε-δ論法の論理式の意味
連続関数の定義
高校数学の目次
