「微分・積分」の勉強
（ページ内リンク）
▽はじめに
▽連続関数について
▽積分とは何か（リーマン積分）
▽《区間という用語の意味》
▽一様連続性
▽不正確な情報から真実を見抜くコツ
▽（外部リンク）原始関数とは何か
▽（外部リンク）不定積分とは何か
▽微分積分学の基本定理
▽積分可能な例
▽必ずある間違い
▽広義積分
▽（外部リンク）置換積分等の積分の計算に潜んでいる広義積分
▽（外部リンク）変な積分
（はじめに）
高校数学では、「原始関数を求める」のが積分だと言われています。
しかし、大学で教わる微分積分も調べて、積分とは何かを
熟慮した結果、
積分とは「不定積分を求めること」（不定積分とは何かをハッキリさせなければなりませんが）である事である事が分かりました。
高校生は、ハッキリ教えられないでも、動物的な本能で、
「積分で求めるべき”原始関数”は１つながりに連続でなければならない」
という経験を積んで来たと思います。それは、実は原始関数の定義に初めから明示しなければならない条件だったというあいまいさが原始関数の定義にはありました。
また、求める目標の原始関数の目標を明確化すると、それは、原始関数に近い関係にある不定積分でした。
積分で正しい答えを求めるために探していたのは、不定積分だったのです。
（１）不定積分F(x)は、それを微分すると、有限個の微分不可能な点を除く大部分の点で、被積分関数ｆ（ｘ）が得られる関数の事です。
（２）不定積分は、（複合区間を定義域にする誤った原始関数とは違い）明確に１つながりに連続な関数である関数です。それは、複合区間を定義域にする原始関数の変数ｘの定義域を、F(x)が１つながりに連続になる範囲に限定する事で実現します。
（３）不定積分は、原始関数と違って、微分したとき、被積分関数ｆ（ｘ）の数点の関数値と一致しないでも良い関数です。大部分のｘでｆ（ｘ）と一致するだけで良いのです。
そういう不定積分を”原始関数”のつもりで求めるだけで良いのが積分の計算です。
以下では、その不定積分F(x)と、原始関数と、被積分関数ｆ（ｘ）との関係を見ていきましょう。
（連続関数について）
数学者の小平邦彦「[軽装版]解析入門Ⅰ」では、微分積分を使いものになる道具にするため、数学の定理で連続関数を使うときに必ず使う形に整合させて連続関数を定義しています。すなわち、連続関数という言葉を、連結区間で１つながりに連続する関数と定義しています。
このページで使う「連続関数」という言葉は、高校数学で教わる誤った定義の連続関数では無く、大学で学ぶ正しい定義の連続関数（１つながりに連続な関数）をあらわします。
また、小平邦彦「[軽装版]解析入門Ⅰ」では、使いものにならなくなっている「不連続点」と言われている言葉を使わず、微分積分の概念の理解のために役立つ言葉で、連続点以外の点をあらわす「連続で無い点」という言葉を使っています。そのため、当ブログでも、小平邦彦「[軽装版]解析入門Ⅰ」に従って、「不連続点」という言葉は使わず、「連続で無い点」という言葉を使います。
（不連続点の当初の定義も、連続で無い点の定義と同じでした。藤原松三郎の「微分積分学 第１巻」によると、「ｆ（ｘ）がｘ＝ξで連続でない場合に、ｘ＝ξをｆ（ｘ）の不連続点という。」と定義されていました。）
連続関数の定義は、1817年にBolzanoが中間値の定理を証明する前提条件に定義した連続関数の定義により、歴史上初めて連続関数が正しく定義された（その定義は関数の連続性を区間で定義するものである）。 その歴史的経緯から、中間値の定理を成り立たせない関数を連続関数と呼ぶ日本の高校数学の連続関数の定義（世界の高校数学の連続関数の定義とは異なると思う）は偽物である。
なお、高校２年の微分積分の勉強のためには、「やさしく学べる微分積分」（石村園子）を読むと良いと思います。高校３年になって本格的に微分積分を学びたくなった学生は、学生が微分積分を無駄なく学べるよう工夫がこらされている本：小平邦彦「[軽装版]解析入門Ⅰ」を読むと、微分積分が無駄なく勉強できて良いと思います。
【積分とは何か】
注意 5.3 1969年の日本書院の高校の教科書の数学IIIで， 定積分は次のように定義されている．
関数 y = f(x) は閉区間 [a, b] で連続とする．
（関数が不連続な場合への積分の定義の拡大を排除していないので、定義にごまかしが無い）
この区間を図のように (n-1) 個の点
ｘ１, ｘ２, … , ｘｎ－１
で n 個の小区間
[a,ｘ１], [ｘ１,ｘ２], … , [ｘｎ－１, b]
に分ける．それら小区間内にそれぞれ任意の点
ｔ１, ｔ２, … , ｔｎ …①
をとって，和
を作る．ただし、ａ＝ｘ0，ｂ＝ｘｎとする。
すべての小区間の長さが，いずれも 0 に近づくように n を限りなく大きくするとき， ①の点の位置のとり方にかかわらず， 和Ｓｎは一定の極限値に近づくことが知られている． この極限値を，関数 f(x) の区間 [a, b] における定積分といい
で表す． ■
この定義は高校生のための定積分の定義として優れている． リーマン積分の理論と断絶していない。
大学において、そこに開かれている． 「収束」の意味，区間和の上限，下限などを学習し，
連続関数なら、Ｓｎが収束することと、積分可能であること、
をつかんだら、
その段階で，高校での定義を再認識することができる．
高校教科書はこのようでなければならない．
以下では、先ず、積分とは何かを、積分可能のハッキリした定義を知ることで頭を整理しましょう。
積分については，ここをクリックした先のｐｄｆファイルにある原教授の以下のコメントが大切です。
---（原教授のコメント開始）---------
積分については高校でも習ってはいるが，その基礎を突き詰めていくといろいろと困ったことがでてくる．
特に 「積分は微分の逆演算」として定義すると，「ある関数 f の積分を求めよ」という問題や「この関数の積分は定義できるか？」という問題でハタと困ってしまう．
（微分して f になるような関数がわからない場合，高校までの知識ではお手上げだ．）
この節では高校までの知識はいったん忘れて，「積分とは何か」「積分をどのように定義すべきか」か ら話を始める．
4.1 積分（定積分）の定義
ということで，まずやるべきは「与えられた関数f(x) に対して，その積分を定義すること」である．
これから見ていくように，かなり広いクラスの関数に対してその積分（定積分）を定義することができる．
定積分を通して不定積分も定義できるので，高校までの知識とのつながりがつくことになる．
・・・
積分の最も素朴な定義はこれから紹介する「リーマン和」に基づくもので、、、
---（原教授のコメントおわり）------
（積分の計算の基本）
定義6.1（Riemann積分） 同志社大学 押目教授
閉区間[a, b]上において有界（有限な最大値と有限な最小値を持つ）な関数f(x)に対して、
以下のｎ＋１個の有限個の小区間への分割の仕方、および、その小区間内の点ξi(i = 1, 2, . . . , n) の位置のとり方に関係なく、各点の関数値の和Ｓが一通りに定まる時，
f(x)は閉区間[a, b]において(Riemann)積分可能という．
（注意）無限大の数の小区間へ分割するのでは無いことに注意 。
以下のグラフのように、面積を分割して、分割した要素の総計を求めてグラフの面積を計算する手法が「積分」です。
この計算のための法則性を整理して覚えることが「積分」を勉強するということです。
《区間という用語の意味》
また、 「区間」という数学用語は、変数ｘの数直線上にある、実数がすき間なくつめられた１かたまりの実数の集合として定義されている事に注意が必要です。
ａ≦ｘ≦ｂを満足するｘの区間という表現は、ａ≦ｘ≦ｂの範囲内の全ての実数ｘという意味です。
－∞＜ｘ＜∞という区間もあります。
区間はｘの値の範囲を限定するためのａ≦ｘ≦ｂという式とは意味が異なることに注意する必要があります。
区間ａ≦ｘ≦ｂが命題の中に記載されている場合は、その範囲内の全ての実数ｘについて命題を検討する必要があります。被積分関数ｆ(x)が定義されていない変数ｘの点があっても、その点も、その命題が検討されるべき点の１つです。
「区間」という用語は、特に重要な関数である連続関数の連続性を定義するために必要な、連続関数f(x)の変数xの集合体がいつも持っていなければならない連続性という重要な性質が「区間」という概念を用いてあらわされています。
すなわち、変数ｘの「区間」の性質で大切なのは、
「区間」のなかに変数ｘの値が隙間なく存在すること。
つまり所定範囲内での隙間が無い全ての実数の集合という概念が「区間」という用語で定義されています。
例えば：
f(x)=1/xの定義域を(0,∞) (={x|xは0より大きい実数})
とすれば、f(x)は区間で定義された関数です。
g(x)=1/xの定義域を(-∞,0)∪(0,∞)(={x|xは0でない実数})
とすれば、g(x)は区間で定義された関数ではありません。
（f(x)とg(x)は定義域が異なっているため、f(x)とg(x)は同じ関数ではありません）
（「リーマン積分可能」の定義）
「微分積分学入門」（横田 壽）の１２４ページから１２５ページ近くに「リーマン積分可能」の定義が書いてあります：（注：横田教授が芝浦工業大学を退官したため、この教科書を無料で掲載するWebページが無くなりました。この本は書店で購入できます。）
その他に、高校２年生が勉強するのに適切な、書店で購入できる微分積分の参考書の、「やさしく学べる微分積分」（石村園子）の１０４ページに「積分可能」の定義が書いてあります。
ここではドイツの数学者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) の位置のとり方に関係なく、各点の関数値の和が一通りに定まる（積分可能）か否かを調べることができます。
（注意）
ここで、点ξiの位置のとり方に関係なく関数値の和が定まるためには、
少なくともその区間の全ての実数値に対して有限の値の関数値が存在しなければなりません。
それが、積分可能性の大前提です。
（リーマン積分の例１）
下図の左上、右上、左、の３つの各グラフを、ｘ軸の０から値ｘまでリーマン積分してグラフの面積を計算すると、ｘの値毎の面積が、３つの場合で共通して右下のグラフになります。
（リーマン積分の例２）
以下の図の関数ｆ（ｘ）のグラフを考えます。
この関数ｆ（ｘ）の、
－１≦ｘ≦３
の閉区間を小区間に細分した各小区間での関数の値の和が一通りに定まるので、リーマン積分可能です。
この関数ｆ（ｘ）を積分して、以下の図の不定積分の関数Ｆ（ｘ)を求めることができます。
この様な積分の解は上図のグラフの不定積分F(x)であらわせます。
この関数Ｆ（ｘ）は、ｘ＝０とｘ＝２で微分不可能です。一方、原始関数は、定義域の連結区間内の全ての点で微分可能な関数です。そのため、その微分不可能な点ｘ＝０とｘ＝２を定義域の連結区間内に含む関数は原始関数ではありません。この様な簡単なグラフの面積を求める問題であっても、変数ｘのあらゆる実数を定義域とする原始関数を使おうとすると、問題を解く事ができません。
しかし、不定積分の部分として、定義域を連結区間０＜ｘ＜２に狭くした原始関数を不定積分の定義域の一部に組み込んで使う事ができます。
上の関数の例では、全実数の定義域の一部の０＜ｘ＜２の範囲を定義域とするｆ（ｘ）に対して原始関数Ｆ（ｘ）が存在します。それを不定積分に組み込みます。また、定義域が２＜ｘの範囲の原始関数Ｆ（ｘ）が存在します。また、定義域がｘ＜０の範囲の原始関数Ｆ（ｘ）が存在します。その３つの原始関数を連続につないで不定積分を作れば良いのです。
【一様連続性】どの様な関数がリーマン積分可能であるか一様連続性
以上で説明したリーマン積分が、閉区間で連続な関数を例にして説明されるのは、その関数がリーマン積分可能だからです。
リーマン積分可能のキーワードは、一様連続性です。閉区間で連続な関数は一様連続です。すなわち、積分区間を均等に分割して分割数を多くすると、すべての分割部分の中での関数値のばらつきを一斉に小さくできる（これを一様連続と言う）。そのため閉区間で連続な関数は、分割数を多くして、一斉に、分割部分内の関数値のバラツキを小さくできるので、積分の値のバラツキを小さくでき、リーマン積分可能です。
（極限では無限大に発散する点に向けて連続している（開区間で）連続な関数は、その無限大に発散する点とは接続してはいませんが、その開区間の領域をいくら細かく分割しても、発散点の近くでは、未だ分割部分内の関数のバラツキが大きいです。そういうふうに、分割した区間内での関数の値のバラツキを一斉に小さくできない（一様連続で無い）関数は、積分可能にはなりません。）
（関数の値のバラツキが一斉に小さくなる説明）
ｆ(x)が連結な閉区間ａ≦ｘ≦ｂで１つながりに連続な関数であれば、閉区間で連続な関数の最大値・最小値の定理によって、ｆ(x)の値はある最大値と最小値の間の値に限られている。
そのように、ある最大値と最小値の間の値に限られている、閉区間で連続な関数ｆ（ｘ）の領域を以下の図の様に２等分する。
（ただし、二等分とは言っても、分割された領域の境界点は、それぞれの領域が共有するように分割する。）
そして、分割された領域毎に、関数の最大値と最小値の差Δを考え、全分割領域での、差Δの最大値Δ２を抽出する。
関数ｆ（ｘ）が連続関数の場合は、その差の最大値Δ２は、分割前の領域での関数の最大値と最小値の差Δ１よりも小さくなる。
更に、各領域を２等分する。
（ただし、二等分とは言っても、分割された領域の境界点は、それぞれの領域が共有するように分割する。）
そして、分割された領域毎に、関数の最大値と最小値の差Δを考え、全分割領域での、差Δの最大値Δ３を抽出する。
関数ｆ（ｘ）が連続関数の場合は、その差の最大値Δ３は、分割前の領域での差の最大値Δ２よりも小さくなる。
更に、各領域を２等分する操作を繰り返し、
差の最大値Δ４、Δ５、Δ６・・・
を求めて行く。
すると、関数ｆ（ｘ）が連続関数の場合は、領域を分割する毎に、全分割領域での差の最大値Δｎは無限に小さくなって行く。（これは、以下のようにして証明できる）
（仮説）
もし関数の最大値と最小値の差Δｎが無限に小さくならないで、ある値β＞０に留まるとする。
（仮説の検証）
その場合は、どんなに区間を分割しても、関数値のばらつきがβである微小区間が残り続ける。
ばらつきがβ未満の微小区間を分割してもばらつきがβである微小区間が生まれる事はないので、関数値のばらつきがβである微小区間は、関数値のばらつきがβである微小区間の分割によって生まれる。
すなわち、関数値のばらつきがβである微小区間が、それを無限に分割しても、関数値のばらつきがβであり続ける。その微小区間は点に収束し、その点の近くで関数値のばらつきが０に収束する事はない。
その場合は、その点で関数f(x)の連続の条件を満足しない。
これは、f(x)が連続である条件に反する。
ゆえに、この仮説が成り立たず、
関数の最大値と最小値の差Δｎは無限に小さくなっていく。
（一様連続性）
以上の様に、ある関数f(x)の各分割領域を更に２分の１に分割する操作をｎ回繰り返していき、各分割領域の関数f(x)の最大値と最小値の差（関数の値のばらつき）Δを求める。
（１）そのとき、全ての分割領域での関数の値のばらつきΔの最大値Δｎが有限の値で存在すること。
（２）この操作を繰り返して分割領域を無限に小さくすると、
全ての分割領域での関数の値のばらつきの最大値Δnが、無限に小さくなって行く。
（すなわち、全ての分割領域での関数の値のばらつきがΔnより小さく、そのΔnが無限に小さくなっていく）
これが成り立つ関数f(x)の性質を「一様連続」であると言います。
この説明は、以下の様に定義されている一様連続の言い換えです。
「どんなに小さな正の値εについても、全ての分割領域での関数の値のばらつきがε以下にできる、分割領域の小さな幅δ＝(b-a)/(２^n)が存在するとき、その関数は一様連続である。」
（一様連続の説明おわり）
無限に小さい差Δｎによる、関数ｆ（ｘ）の値の総和（リーマン積分）への影響は無限に小さい。そのため、この関数ｆ（ｘ）はリーマン積分可能である。
（バラツキが一斉に小さくなる説明おわり）
【不正確な情報から真実を見抜くコツ】
以下で説明するように、高校で教わる原始関数の定義は（大学での定義とは異なり）不正確なあいまいな定義です。
そのように、不正確な情報から真実を拾い出すコツがあります。それは、扱う関数を均質な基本的な要素に分割して、その分割された関数に不正確かもしれない情報を適用します。
具体的には、関数を、全て、１つながりに連続する関数に分割して考えます。その、１つながりに連続する関数を扱うのであれば、不正確な情報の公式を適用したとしても誤りに陥る事を防ぐことができます。
そのように、先ずは、１つながりに連続する関数毎に積分を調べれば良いのです。
例えば、下図の関数ｆ(x)を考える場合：
ｘ＜－１での１つながりに連続する関数と、
－１＜ｘ＜１での１つながりに連続する関数と、
１＜ｘ での１つながりに連続する関数を、
別々の３つの関数と考えれば良いのです。
そのように、関数全体を、均質な基本的な要素の関数に分割して、その基本要素だけに公式を適用すれば、不正確な壊れた道具の定理（例えば正しい原始関数の定義を使って証明した定理を作ってから、原始関数の定義を変えてしまって、その定理を適用するという使い方の定理）を使いこなすことができるようになります。
不正確な情報が与えられても正しい答えを出せるようになる事は、数学の極意を習得するという事でもあり、大事な数学的分析態度だと考えます。
【原始関数とは何か】（ここをクリック）
-----【原始関数の正しい定義】---------------
（原始関数の正しい定義は、１つながりに連続で、かつ、微分可能な関数Ｆ(x)をｆ（ｘ）の原始関数と定義します）
すなわち、関数F(x)が、連結区間ａ＜ｘ＜ｂのどの点でも連続、かつ、微分可能な関数であれば、F(x)を微分して導関数ｆ（ｘ）が求められる。この場合に、F(x)を関数ｆ（ｘ）の原始関数と言う。
（藤原松三郎の「微分積分学 第１巻」）
すなわち、原始関数は連結区間における連続関数であり１つながりのグラフであると定義されています。
-------原始関数の定義おわり-----------------
【不定積分とは何か】（ここをクリック）
（１）不定積分F(x)は、それを微分すると、有限個の微分不可能な点を除く大部分の点で、１つながりに連続した単位の被積分関数ｆ（ｘ）が得られる関数の事です。
（２）不定積分は、明確に１つながりに連続な関数です。
（３）不定積分は、原始関数と違って、微分したとき、被積分関数ｆ（ｘ）の数点の関数値と一致しないでも良い関数です。大部分のｘでｆ（ｘ）と一致するだけで良いのです。
【微分積分学の基本定理】
関数ｙ＝ｆ（ｘ）が、 連結区間ａ≦ｘ≦ｂ の全ての点で連続とする。 その条件が成り立つならば、必ず、
という計算をすることができる。（積分可能である）
そして、次のことが成り立つ。
（１）Ｓ（ｘ）は、連結区間ａ＜ｘ＜ｂで、
S'（ｘ）＝ｆ（ｘ）
になり、（正しい定義の）原始関数の１つである。
このS(x)の式はf(x)の不定積分の定義になっています。
上の式で積分して計算される不定積分S(x)は、定義域が、積分可能な範囲に限定されている結果、定義域が連結区間に限定されています。
そして、S(x)は、必ず、その定義域で１つながりに連続した関数になります。
（注意１）
以下の関数ｆ（ｘ）は関数の定義域内の全ての点で連続ですが、１つながりに連続な関数では無いので連続関数ではありません。
高校教科書の誤った連続関数の定義：「関数 f(x) が、定義域のすべての x の値で連続であるとき、 f(x) は連続関数である。」に従うと、これを連続関数とする誤りに陥ります。
この切れ切れのノコギリ状の関数ｆ（ｘ）を不定積分した関数Ｆ（ｘ）を求めてみます。
ここで、関数値ｆ（ｘ）が定義されていないｘ＝0.5の点等では、そのｘの値の近傍までｆ（ｘ）を積分して、その積分の極限値をｘ＝0.5の点等での積分値に拡張する積分をしました。
この関数Ｆ（ｘ）を微分すると、ｘ＝0.5, 1.5, 2.5等では、Ｆ（ｘ）の微分係数が計算できません。
この関数Ｆ（ｘ）は原始関数ではありません。
そうなる原因は、被積分関数ｆ（ｘ）が１つながりに連続では無いので連続関数では無かったから、（微分積分学の基本定理）の前提条件である、関数ｙ＝ｆ（ｘ）が、連結区間ａ≦ｘ≦ｂの全ての点で連続である条件が成り立っていなかったからです。
（注意２）
また、連続点は数学の重要な概念であり、数学的に厳密に定義されています。不連続点という言葉は、その重要な連続点の定義に従属して、その反対の性質を持つ点として定義する必要があります。
しかし、「不連続点」の定義では、そうせず、たいした根拠も無く、上の例のように関数値が存在しない点は「不連続点」とは呼ばず、連続点の概念とは無関係な言葉として定義されています。
そのように定義した「不連続点」という概念によっては、ｘのある値ｘ0でｆ（ｘ0）が存在しないことで関数がｘ＝ｘ0で連続で無いという関数の不連続性が把握できなくなっています。
数学センスがある学生は、関数の連続点の否定を表すのではない「不連続点」という言葉は数学的に無意味で数学研究に役立たないと見抜き、「不連続点」という言葉は使わず別の言葉「連続で無い点」を自分で独自に定義して自分の研究に役立てると思います。
（注意３）
高校生は教科書から、誤った連続関数の定義：
「関数 f(x) が、定義域のすべての x の値で連続であるとき、 f(x) は連続関数である。」
を教わることで、
正しい定理：「連続関数を積分した式は、その式のグラフの全ての点で微分可能である（微分積分学の基本定理）」が、
その誤った連続関数の定義から導かれるこの反例によって否定されてしまうという問題に直面します。
高校生は、この反例により、「（連続関数に限定すれば）微分と積分が逆演算になる」という微分積分学の基本定理も否定され、積分が微分の逆演算になる根拠も分からなくなるという深刻な問題に直面します。
こういう問題に直面する高校生に心から同情します。
（注意１～３おわり）
微分積分学の基本定理によって、関数ｆ（ｘ）が連結区間のａ≦ｘ≦ｂ上で１つながりに連続であるならば、
不定積分関数S(x)やF(x)が、ｆ（ｘ）のその範囲内の積分で計算する事で求められる事が保証されています。
そうして計算して得た不定積分Ｆ（ｘ）を使って、
被積分関数ｆ（ｘ）が連続である範囲のａ≦ｘ≦ｂでの定積分を、
Ｆ（ｂ）－Ｆ（ａ）で計算できる事が保証されています。
微分積分学の基本定理の登場により我々に注意が喚起されたメッセージは、
『関数ｆ（ｘ）の積分を計算しようとする場合には、その積分区間における関数の性質（連続である等）を調べなければならない』
というメッセージです。
不定積分を用いて定積分を計算する演算の際に、その定積分の積分区間における関数の性質を調べる事を欠かしてはならない、というメッセージです。
この大切なメッセージについては、日本の高校の積分の授業では、「積分する区間内の全ての変数値に対して関数値が定義されていなければならない」と教えられているようです。先ず、関数値が定義されている事は必要です。しかし、厳密に言うと、それだけでは積分可能の条件としては不十分です。
（積分可能な例１）
関数を積分する区間は、
ａ≦ｘ≦ｂ
というように、その積分の区間の両端が存在する区間で積分します。
すなわち、
ａ＜ｘ＜ｂ
というような、両端が存在しない区間では積分しません。
例えば、以下の図の、ｘ＝０で連続で無い関数ｆ（ｘ）は、その連続で無い点以外の変数ｘの連結区間内で１つながりに連続です。その連結区間内で、この関数ｆ（ｘ）が連続関数であると定義されます。
（積分が可能な範囲）
上図の関数では、
ｘ＝０の近くの、０＜ｘ≦ｂの範囲内のｘ＝δの点から積分し、例えば、
δ≦ｘ≦ｂ
の範囲で積分します。
（注意）連続関数とは、ある関数ｆ（ｘ）の変数ｘの所定の範囲内で関数ｆ（ｘ）が連続である、という関数ｆ（ｘ）の範囲のことです。
（積分できない例）
上図の関数の事例では、ｘ＝０の点では関数ｆ（ｘ）の値が－∞になり、関数が定義されていないで、関数が不連続です。そして、この関数では、ｘ＝０を含んだ範囲で積分することはできません。
上図の関数を、上図の様にｘ＝０を含む区間で定積分したら、マイナスの無限大になるので、積分が不可能です。
そのため、上図の関数を、例えば－１から１までの区間で積分する事も不可能です。
これを無視して、関数ｆ（ｘ）の連続で無い点を定積分の範囲内に入れてしまうと以下の間違いをおかします。
Ｆ（ｘ）＝１／ｘをｘで微分したら
になるので、
関数
の、複合区間を定義域にする誤った原始関数がＦ（ｘ）＝１／ｘです。そして、変数ｘの積分区間に、ｆ（ｘ）が不連続になるｘ＝０を含めた、ｘが－１から１までの区間で、
関数ｆ（ｘ）の定積分を、複合区間を定義域とする誤った原始関数F(x)を使って、 Ｆ（１）－Ｆ（－１）＝１－（－１）＝２
という 計算で求めると、明らかに間違えます。
上の図で明らかな様に、－１から１までの範囲でのｆ（ｘ）の積分はｆ（ｘ）のグラフの面積にならなければなりません。そのため、定積分の答えは、マイナス無限大にならなければなりません。
しかし、複合区間を定義域とする誤った原始関数Ｆ（ｘ）を使った上の計算結果はそれと全く違い、面積が正の値の２になり、
全く間違った答えになりました。
高校で習う、
「原始関数Ｆ（ｘ）を使って、以下の計算で定積分する。」
に従って、
（高校で教えられていない必須作業の、関数ｆ（ｘ）が定積分の区間で連続か否かのチェックをしないで）
複合区間を定義域にする誤った原始関数Ｆ（ｘ）の差を計算すると、上の計算の例の様に、
元の関数のグラフの面積が計算できず、
間違った答えになります。
上図の高校数学の微分積分学の基本定理の後半の式も、この反例によって否定されてしまう。高校数学の誤った定義が固着した連続関数という言葉を使わずに、（大学数学が実行しているように）本来の連続関数をあらわす「区間で連続な関数」という言葉を使うと良い。
なお、微分積分学の基本定理に記載されている、
という式で定義された関数S(x)は不定積分であって、１つながりのグラフになります。
実際、被積分関数
に対して、上の式により：
ａ＞０の場合には、ｘ＞０の範囲の定義域だけの関数
Ｓ（ｘ）＝１／ｘ， （ｘ＞０）
だけが得られます。この定義域で１／ｘは１つながりの連続関数（区間で連続な関数）です。
ａ≦ｂ＜０の場合には、ｘ＜０の範囲の定義域だけの関数
Ｓ（ｘ）＝１／ｘ， （ｘ＜０）
だけが得られます。この定義域で１／ｘは１つながりの連続関数（区間で連続な関数）です。
ａ＝０の場合には、Ｓ（ｘ）が計算できません。
この積分の式で定義される（定義可能な）不定積分：
は必ず１つながりに連続な関数です。
そのため、この不定積分S(x)は、ｘ≠０における高校数学による誤った原始関数の定義：
Ｆ（ｘ）＝１／ｘ， （ｘ≠０）
（これは、定義域がｘ≠０で、ｘ＜０の部分とｘ＞０の部分の複合区間を定義域にする、不連続な、誤った原始関数F(x) ）
とは異なります。
（積分可能条件の注意）
高校生が覚えておくべき積分可能条件は、
関数ｆ（ｘ）が１つながりに連続であるｘの範囲内で積分するならば積分可能性が完全に保証され、
そうでないときは間違った答えが得られる事がある事
を覚えておいてください。
なお、微分積分学の基本定理が積分可能性を完全に保証する条件であるｆ（ｘ）が積分区間で連続でなければならないという条件は、緩める事ができ、ｆ（ｘ）の不定積分Ｆ（ｘ）が１つながりに連続であるだけで良いということが分かっています。（これについては後で詳しく説明します）
（１つながりに連続した関数（区間で連続な関数）を単位として定積分を計算するならば、間違いは起きません。）
いずれにしろ、原始関数を用いて定積分を計算する演算の際に、その定積分の積分区間における関数の性質（原始関数F(x)の連続性、又は、被積分関数ｆ（ｘ）の連続性）を調べる事を欠かしてはなりません。原始関数F(x)の連続性を調べるという事は、その関数F(x)が不定積分であるか否かを調べているのです。
（必ずある間違い）
以下の関数の不定積分があります。
この被積分関数が１つながりに連続な範囲は、
ｘ＞０ か、
ｘ＜０ か
の２つの範囲です。
単に（１／ｘ）と表した被積分関数は２つの連続関数（区間で連続な関数）をいっしょくたにしてしまっています。
各連続関数（区間で連続な関数）毎に、別々に不定積分して関数の解を得なければなりません。
不定積分の解は、それぞれの連続関数（区間で連続な関数）に応じて２つあり、上記の式のように２つの式で表さなければなりません。
しかし、高校数学では、その２つの不定積分を以下の式で１つの式で表して教えています。
これは、２つの別々の連続関数（区間で連続な関数）をいっしょくたにした関数なので、もはや１つながりに連続な関数では無く、不定積分ではありません。
不定積分は１つながりに連続でなければなりません。
明らかな間違いですが、これが「不定積分を求めよ」という問題の解として教えられているので要注意です。
（大学生の正しい解答）
表現の煩雑さを避けて、
（解答おわり）
この式の右辺は不定積分では無いので、その式をF(x)と表して、それを定積分に適用して、
－１から１までの定積分として、
F(1)－F(－1)
を計算するのは間違いです。
（高校生は、上記の間違った不定積分を教わり、それを、上記の、不定積分と定積分の関係式に代入して間違った答えを得ます。高校生は（先生にも）、どこが間違っているか分からず、微分積分が分からなくなる高校生が多いのではないかと思います。）
積分結果が１つながりに連続しているのが正しい不定積分のグラフです。そしてそのグラフが連続するｘの範囲（区間）が、定積分が可能な範囲です。
（関数が１つながりに連続な範囲で積分可能な例）
以下の図の、１つながりに連続な関数ｆ（ｘ）を考えます。
この関数ｆ（ｘ）の不定積分として以下の関数Ｆ（ｘ）が考えられます。
この不定積分F(x)の求め方は：
ｘ＞０での関数ｆ（ｘ）の原始関数を求め、
ｘ＜０での原始関数を求め、
２つの原始関数を、独立にY方向に移動させて連続するようにつなぐ事で
総体の、上の図の不定積分Ｆ(x)が求められます。
この不定積分Ｆ（ｘ）をｘで微分すれば、ｘがどの値であってもｆ（ｘ）になるので、この関数Ｆ（ｘ）は関数ｆ（ｘ）の原始関数でもあります。この関数ｆ（ｘ）が１つながりに連続な範囲のｘ＝ａからｂまでの定積分は、
不定積分Ｆ（ｘ）を使って、
Ｆ（ｂ）－Ｆ（ａ）
で計算できます。
（研究課題）
ここで、
関数ｆ（ｘ）が、
の場合に、
その変数ｘの
ｘ＝−∞の点とｘ＝∞の点が１点であって、
その点で変数ｘの区間が連結しているものと定義する。
そして、ｘ→０の点は、変数ｘの連結区間の端点とした、
変数ｘの連結区間を定義する。
そして、関数f(x)は、
ｘ→ ±∞の点で値f(x)=0であるので、その点でも連続していると定義し、
ｘ→ ±∞の点を含む連結区間で１つながりに連続した関数であると定義できます。
（その様に、２つの関数をｘ→ ±∞の点で連結して１つの関数にすることは、置換積分法などで関数の変数を変換する場合に、自然に起こり得る事です。）
この関数f(x)の、
ａ＜０と、
ｂ＞０との
２点の間の定積分を、
不定積分Ｆ（ｘ）を使って、
Ｆ（ｂ）－Ｆ（ａ）
という値であらわすと、
その定積分は以下の様に定義できます。
先ず、
ｘ＝ａの点から、ｘ＝−∞まで
f(x)を定積分して、
続けて、
ｘ＝−∞の点から、ｘ＝ｂの点まで、
f(x)を定積分する。
すなわち、そのように、変数ｘのｘ＝ａからｘ＝ｂまで連結した区間の経路で関数& f(x)が積分でき、
その経路の積分範囲で定積分した値が、
Ｆ（ｂ）－Ｆ（ａ）
であると定義できます。
すなわち、
ｘ＝０をまたいで積分したりせずに、
ｘ→ ±∞の点を経由した
迂回した経路で積分した積分結果が、
Ｆ（ｂ）－Ｆ（ａ）
であると解釈します。
そう解釈するならば、
Ｆ（ｂ）－Ｆ（ａ）は、
定積分の値を正しくあらわしています。
このように、関数f(x)の定積分を、連結区間内からはみ出す部分がない経路で積分した値であると認識すれば、
Ｆ（ｂ）－Ｆ（ａ）は、
その定積分の値を正しくあらわす式であると解釈できます。
定積分を計算する演算の際に、その定積分が可能な積分区間が、被積分関数f(x)の値が有限値であるｘの点を連結した区間に限られると認識するのが良いと分かりました。
（なお、その連結区間で、不定積分F(x)は１つながりに連続な関数になっています。）
（研究課題おわり）
（積分が完全に保証される積分可能条件の外で行う例）
微分積分学の基本定理における積分可能条件（関数ｆ（ｘ）が積分範囲内で１つながりに連続な関数でなければならない）にあえて違反して行う以下の積分では、被積分関数ｆ（ｘ）がある点で連続な連続関数である場合と、その関数の１点の関数値が存在しない（あるいは０等の値になる、その点では不連続な関数である）場合とが区別されずに、その範囲を積分した不定積分が同じ１つながりに連続な関数になる。
（積分可能な例２）
以下の図の関数ｆ（ｘ）のグラフを考えます。
この関数は、ｘ＝０の点での極限とｘ＝２の点での極限が存在しません。
ｘ＝０の点とｘ＝２の点で関数は不連続であり、また、極限も存在しませんが、
－１≦ｘ≦３
の閉区間をリーマン積分により小区間に細分した各小区間での関数の値の和が一通りに定まるので、その連続で無い点を範囲内に持つ区間で（１つながりに連続な連続関数ならば必ず積分できるという積分保証範囲の外で無理やりに）あえて積分すると積分可能です。
この関数ｆ（ｘ）を積分して、以下の図の不定積分の関数Ｆ（ｘ)を求めることができます。
（原始関数を利用した不定積分の求め方）
この不定積分F(x)の求め方は、上図の関数ｆ（ｘ）の：
－１＜ｘ＜０の区間のｆ（ｘ）に対する原始関数 F(x)＝０と、
０＜ｘ＜２の区間のｆ（ｘ）に対する原始関数 F(x)＝ｘと、
２＜ｘ＜３の区間のｆ（ｘ）に対する原始関数 F(x)＝Ｃ２とを求め、
それらの原始関数をＹ方向に平行移動して連続につなげば、以下の１つながりのグラフの不定積分Ｆ(x)が出来上がります。
この不定積分Ｆ（ｘ）を微分して下図のグラフの関数を求めます。
ｘ＝０とｘ＝２の点ではグラフが折れ曲がっているので微分できません。
この不定積分F(x)を微分した結果の導関数（ｄＦ（ｘ）／ｄｘ）は、ｘ＝０とｘ＝２で関数値が存在しないという点で、関数ｆ（ｘ）と異なる関数になるという特徴があります。
原始関数の定義の発想の順番は、Ｆ（ｘ）を先に考え、次にｆ（ｘ）を考えるのです。
（先ず、連結区間を定め、その連結区間内で１つながりに連続した原始関数F(x)を考え、次に、それを微分して関数ｆ（ｘ）が得られ、結果として得られたｆ（ｘ）の原始関数がF(x)であると呼ぶのです。）
この発想の順を逆にしてｆ（ｘ）に不定積分の関数F(x)を対応付ける写像変換を定義する事はできます。
上の図で得た導関数（ｄＦ（ｘ）／ｄｘ）は、ｘ≠０とｘ≠２の範囲でのみ定義されている関数です。そのグラフはｆ（ｘ）とは、変数ｘ＝０とｘ＝２の点だけが異なります。
この導関数（ｄＦ（ｘ）／ｄｘ）のグラフを再度積分したらどうなるでしょうか。
その積分結果は、再び同じ不定積分Ｆ（ｘ）が得られます。
（ただし、関数値ｆ（ｘ）が定義されていないｘ＝０と２の点では、そのｘの値の近傍までｆ（ｘ）を積分して、その積分の極限値をｘ＝0の点等での積分値に拡張する積分をしました。）
変数ｘ＝０での点とＸ＝２での点の有無で異なる２つのグラフ、すなわちｆ（ｘ）と、導関数（ｄＦ（ｘ）／ｄｘ）を積分したら、同じ不定積分Ｆ（ｘ）が得られました。
そのため、被積分関数ｆ（ｘ）に積分結果の不定積分Ｆ（ｘ）を対応させる写像変換は、
２個以上の関数の、ｆ（ｘ）と（ｄＦ（ｘ）／ｄｘ）とに１つの不定積分Ｆ（ｘ）を対応させる、
複数対１の写像であると考えられます。
（注意）
ちなみに、微分不可能な点がある関数F(x)は真の原始関数ではありません。（真の原始関数は必ず１つながりに連続で、すべての点で微分可能な関数です。また、所定の定義域の関数ｆ（ｘ）では原始関数が無くても、定義域を狭くした範囲では原始関数がある事も忘れないよう注意してください。）
上の例の不定積分F(x)、
すなわち、ｘ=0の点とｘ＝２の点で折れ曲がって微分不可能な点を持つ関数F(x)は、
関数ｆ（ｘ）からｘ＝０の点とｘ＝２の点を除外した関数が微分の結果で得られる不定積分です。
この不定積分では原始関数より広い範囲の関数が扱え、上図のようなグラフの面積を求めることもでき実用的です。
（厳密に考える１）
ここで、厳密に考えると、
不定積分F(x)を微分すると、ｘ≠０とｘ≠２の範囲でのみ関数値がある導関数（ｄF(x)／ｄｘ）が得られました。そのため、関数F(x)は、ｘ≠０とｘ≠２の範囲でのみ定義されている導関数（ｄF(x)／ｄｘ）の不定積分でもあります。
一方、ｘ＝０で、ｆ（０）＝１であり、ｘ＝２で、ｆ（２）＝１である最初の関数ｆ（ｘ）は、不定積分F（ｘ）の微分によっては、ｘ＝０での点とｘ＝２での関数値が得られません。
しかし、ｆ（ｘ）を定積分するために利用する関数としては、この不定積分F（ｘ）で十分です。
小平邦彦「[軽装版]解析入門Ⅰ」の182ページにも、不連続な関数ｆ（ｘ）の広義積分＝不定積分F(x)が１つながりの連続関数で得られることが書いてあります。
また、 F(x)を微分して不連続な関数ｆ（ｘ）が得られる原始関数Ｆ(x)もあり得るが、それは、原始関数F(x)が微小に振動している場合という限られた場合だけです。
小平邦彦「[軽装版]解析入門Ⅰ」の126ページには、
上図の様に、普通の連続で無い点を持つ関数ｆ（ｘ）の不定積分F(x)につては、その連続で無い点のｘ＝０やｘ＝２の点では、そのｘの値で微分できないと書いてあります。
すなわち、上図におけるｘ＝０やｘ＝２の点のように有限の値の高さに段差を持つ連続で無い点を持つ関数ｆ（ｘ）には、その連続で無い点で微分できる原始関数Ｆ(x)は存在しないと書いてあります。
その様に原始関数が無くても不定積分が存在することが、小平邦彦「[軽装版]解析入門Ⅰ」の182ページに書いてあります。
不定積分F(x)においては、その不定積分F(x)を微分した関数が、被積分関数のｆ（ｘ）からｘ＝０やｘ＝２という有限個の点を除いた大部分の点で関数ｆ（ｘ）と一致するだけで良い事が書いてあります。
そのように、原始関数の場合は細かい注意が必要でしたが、広義積分を含めた不定積分の場合は、堂々と、不連続な関数ｆ（ｘ）の多くが積分可能であり不定積分Ｆ(x)を持つので、細かい注意に神経を使う必要も無くなり、積分がやり易くなりました。
（厳密な考察２から４）
下図の３つの被積分関数ｆ（ｘ）の不定積分F(x)は同じ関数になります。これを以下で考察します。
（厳密に考える２）上図の左上の場合
０≦ｘ≦２の定義域でのみ定義され、その定義域内で常にｆ（ｘ）＝１となる関数ｆ（ｘ）を考えてみます。
この関数ｆ（ｘ）は閉区間で１つながりに連続な関数です。
この関数ｆ（ｘ）を積分して得た不定積分F(x)は、
０≦ｘ≦２の閉区間の定義域で定義される、F(x)＝ｘ
という関数になります。
１つながりの連続関数であるF(x)は、その端点ｘ＝０とｘ＝２では、片側微分係数で微分係数が定義され、ｘ＝０とｘ＝２との点ではF'(x)の値があります。例えば以下の式の様に：
不定積分F(x)はｆ（ｘ）の定義域の端のｘ＝０で片側微分可能です。
ｘ＝０でもｘ＝２でも、ｆ（ｘ）＝１である関数ｆ（ｘ）は、不定積分の関数F（ｘ）の片側微分によって得られます。
そのため、この不定積分F(x)は、ｆ（ｘ）の全ての関数値をF’（ｘ）の結果として与える原始関数です。
（厳密に考える３）上図の右上の場合
０≦ｘ≦２の定義域でのみ定義され、その定義域内で、
ｘ＝０で ｆ（ｘ）＝０
０＜ｘ＜２で ｆ（ｘ）＝１
ｘ＝２で ｆ（ｘ）＝０
となる関数ｆ（ｘ）を考えてみます。
その関数ｆ（ｘ）を積分して得た不定積分F(x)は、
０≦ｘ≦２の定義域で定義される、F(x)＝ｘ
という関数になります。
この不定積分で得た関数F(x)は、
ｆ（０）＝１となる関数ｆ（ｘ）の不定積分で得た関数と同じ関数になるので、ｆ（０）＝０という情報が失われた関数である事が明らかです。
このF(x)からは、ｆ（０）の値＝０が再現不可能である事が明らかです。
F(x)は、定義域の閉区間の端点で片側微分可能で、端点ｘ＝０とｘ＝２での微分係数＝１が計算できますが、その値は、ｆ（０）及びｆ（２）とは異なります。
このように、不定積分F（ｘ）の微分によっては、ｘ＝０での点とｘ＝２でのｆ（ｘ）の値は得られません。この不定積分F(x)は、不連続な関数ｆ（ｘ）の全ての関数値をF’（ｘ）の結果として与える原始関数ではありません。
このF(x)をこの例の不連続な関数ｆ（ｘ）の原始関数と呼ぶのは不正確ですが、このF(x)はｆ（ｘ）の不定積分である事には間違いありません。
（厳密に考える４）上図の左の場合
０≦ｘ≦２の定義域でのみ定義され、その定義域内で、
ｘ＝０で ｆ（ｘ）＝２
０＜ｘ＜２で ｆ（ｘ）＝１
ｘ＝２で ｆ（ｘ）＝２
となる関数ｆ（ｘ）を考えてみます。
その結果は、（厳密に考える３）と同じ結果になります。
（積分可能性が保証される条件とは）
上図の場合では、関数ｆ（ｘ）が不連続な点があっても積分できました。これは、以下の条件を満足したからです。
関数ｆ（ｘ）が積分可能な条件は、
関数ｆ（ｘ）の積分区間で、ｆ（ｘ）の不定積分Ｆ（ｘ）が連続であることです。
関数ｆ（ｘ）を積分する区間は、不定積分Ｆ（ｘ）が１つながりに連続な範囲の、例えば、
ａ≦ｘ≦ｂ
という区間で積分が可能です。
（この様に不連続関数ｆ（ｘ）にも積分可能性が保証される条件については後で説明します。）
（不連続関数ｆ（ｘ）の無理やり積分と、その微分の例）
関数ｆ（ｘ）を：
変数ｘが整数の点では関数値が存在せず、
変数ｘが整数以外の点では値が１、
である不連続関数とします。
（上図において、関数ｆ（ｘ）の連続で無い点である、変数ｘ＝整数での関数ｆ（ｘ）の極限値を、その変数ｘの位置での関数ｆ（ｘ）の値にして連続で無い点を除去すれば、関数ｆ２（ｘ）＝１となる連続関数になります。）
この不連続関数 ｆ（ｘ）のグラフを積分したら、
１つながりに連続な不定積分 Ｆ（ｘ）＝ｘが得られます。
ここで、関数値ｆ（ｘ）が定義されていないｘ＝0の点等では、そのｘの値の近傍までｆ（ｘ）を積分して、その積分の極限値をｘ＝0の点等での積分値に拡張する積分をしました。
この不定積分Ｆ（ｘ）＝ｘを微分したら、
連続関数であるｆ２（ｘ）＝１が得られます。
この不定積分Ｆ（ｘ）＝ｘは、それを微分して得られた関数ｆ２（ｘ）＝１の原始関数です。
上図のｆ（ｘ）及びｆ２（ｘ）を積分した結果の不定積分F（ｘ）では、被積分関数が連続関数ｆ２（ｘ）である場合と、その連続関数のｘが整数の点の関数値が存在しない（あるいは０等の値になる）不連続関数ｆ（ｘ）である場合と、が区別できません。
この様に、積分すると、被積分関数の連続で無い点の情報を失った不定積分F(x)が得られます。
（積分可能な例３）
（注意）
原始関数のF(x)が連続で微分可能でF'(x)＝ｆ(x)であっても、ｆ(x)が連続関数になるとは限らないことに注意が必要です。F(x)が連続で微分可能であっても微小に振動している場合があるからです。
以下で定義する原始関数Ｆ（ｘ）を微分して得た関数ｆ（ｘ）は、
Ｆ（ｘ）の微分で作られたので、積分可能です。
（Ｆ（ｘ）の定義）
ｘ≠０の場合：
ｘ＝０の場合： Ｆ（０）＝０，
（導関数ｆ（ｘ））
この原始関数Ｆ（ｘ）はｘ≠０の場合も、ｘ＝０の場合も、微分可能で、
その導関数ｆ（ｘ）は、以下の式であらわせます。
ｘ≠０の場合の微分：
になり、ｘが０に近づくと－１と１の間を振動します。
この導関数が含むｃｏｓ（１／ｘ）の関数が以下のグラフであらわす形の関数になるからです。
Ｘ＝０の場合にも、Ｆ（ｘ）は微分可能で：
というように、０になります。
このように、ｘ＝０の場合の導関数ｆ（ｘ）は、ｘ＝０で不連続ではありますが、ｆ（０）＝０という値を持ちます。
この導関数ｆ（ｘ）は、ｘ＝０で不連続ですが、ｘ＝０で関数値を持ち、積分すると原始関数Ｆ（ｘ）になる、積分可能な関数です。
しかも、その積分結果の原始関数Ｆ（ｘ）を微分すると、元の、ｘ＝０で不連続な関数ｆ（ｘ）が得られます。
（積分可能な例４）
上のグラフは、不連続な関数ｆ（ｘ）のグラフですが、無理やり積分して積分可能なグラフの例を示しています。
上の図の関数ｆ（ｘ）がリーマン積分可能なのは、変数ｘの全区間の部分区間毎です。
第１の部分区間：
－∞＜ｘ＜Ａ
第２の部分区間：
Ａ’＜ｘ≦Ｃ
（点Ａで関数は不連続であり、また、極限も存在しませんが、
－∞＜ｘ≦Ｃ
まで合わせた区間でも、関数の区間を細分した各小区間での関数の値の和が一通りに定まるので、その連続で無い点Ａを範囲内に持つ区間でも積分可能です。）
（点Ｂでは、関数が無限大になるので積分ができません）
第３の部分：
Ｄ≦ｘ＜＋∞
（注意１）
リーマン積分では、点Ａ’から点Ｄまで、関数ｆ（ｘ）の値が無限に大きくなる点Ｂを範囲内に持つ区間で関数ｆ（ｘ）を積分することができません。
その理由は：
無限に関数値が大きくなる点Ｂを積分の範囲内に持つと、その点Ｂを中に持つｘの小区間で、
細分の幅Δｘがどれだけ小さな値であっても、
（１／Δｘ）≪ｆ（ξ）
となる関数値ｆ（ξ）を選ぶことができるからです。
そういう関数値ｆ（ξ）を選んでしまうと、関数値の総和が定まらなくなってしまうからです。
（注意２）広義積分
しかし、上図の関数ｆ（ｘ）は、Ｂ点の左側の区間で、Ｘ＝Ａ’からｘ＝Ｃまでの積分の値の、Ｃを無限にＢに近付けた極限の有限の値を持つものとします。
また、Ｂ点の右側の区間で、Ｘ＝ＤからＸ＝＋∞までの積分の値の、Ｄを無限にＢに近付けた極限の有限の値を持つものとします。
「そのように左側の区間のＣ点及び右側の区間のＤ点をＢ点に近付けた極限での積分の値が存在するならば、
Ｂ点の左側の区間の積分値と、Ｂ点の右側の区間の積分値の和を、点Ｂを範囲内に持つｘの区間での積分とする（広義積分）」
と言うように、関数ｆ（ｘ）の「積分可能性」の定義を拡大することができます。
また、グラフが積分可能な範囲は、変数を置き換える置換積分によって、変数を変え、被積分関数の形を変えると、
積分可能な範囲が変わることがあります。
例えば、
関数ｆ（ｘ）≡１／
は、ｘが－１から０未満の数までの範囲で積分可能ですが、
ｘが－１から０までの範囲では、ｘ＝０に近づくと被積分関数の値が無限に大きくなるので積分可能ではありません。
しかし、
新たな変数ｔ≡－
を使って、変数ｔで積分する式に変換する（置換積分）と、
以下の図の様に、被積分関数が定数２に変換されます。
そのため、その場合は、 ｘがー１から０までの範囲に対応する、
ｔが－１から０までの範囲で、「積分可能」に変わります。
そのように、積分可能な変数の範囲は、変数を変換すると変わることがあります。
また、この関数ｆ（ｘ）に対して以下の図のグラフの不定積分F(x)を考えてみます。
（不定積分の求め方）
この不定積分の求め方は、上図の関数の部分毎に原始関数＝不定積分F(x)を求め、それらの不定積分を、連続になるようにつなげば、以下のグラフのように、総体の不定積分が出来上がります。
定義域ｘ＜０の関数ｆ（ｘ）の原始関数の－２ と、
定義域ｘ＞０の関数ｆ（ｘ）の原始関数２ と
を独立にＹ方向に平行移動させて、ｘ＝０で連続につないで不定積分を求めます。
この不定積分F(x)は、不定積分が、被積分関数F(x)の定義域のｘ＜０だけで定義されることになるのが気持ち悪かったので、被積分関数ｆ（ｘ）のｘ＞０の範囲を勝手に定義して、その全体の不定積分を作りました。関数ｆ（ｘ）の部分毎に作った原始関数を、連続につないで総体の不定積分を作りました。
このグラフの不定積分F(x)を微分してみます。
この不定積分F（ｘ）は、１つながりの連続関数であって、
また、ｘ＝０以外の点で微分するとｆ（ｘ）になります。
この不定積分F(x)が１つながりに連続な変数ｘの範囲では、関数ｆ（ｘ）が積分可能です。
（その理由は、以下で、藤原松三郎の「微分積分学 第１巻」を解説して説明します）
そして、関数ｆ（ｘ）の定積分は、
不定積分F(x)が１つながりに連続な範囲の：
ａ≦ｘ≦ｂ
の区間では定積分でき、その定積分の値は：
Ｆ（ｂ）－Ｆ（ａ）
で計算しても良いです。
関数ｆ（ｘ）が積分可能な条件は、ｆ（ｘ）の不定積分Ｆ（ｘ）が、ｆ（ｘ）の積分区間において１つながりに連続である事です。
このように、積分可能の条件が広くされました。
----（補足）------
また、－１≦ｘ＜０で定義された
関数ｆ（ｘ）≡１／
の定積分を計算する場合に、上図の不定積分Ｆ（ｘ）の他に以下の図の様に不定積分Ｆ（ｘ）と、それを微分した関数ｆ（ｘ）を考えて、それらの定義域を、元の関数ｆ（ｘ）の定義域にまで縮小して考えても同じことになります。
つまり、被積分関数ｆ（ｘ）のｘ＞０の範囲に接続する勝手な関数を別の関数に変えて、その全体の不定積分を作りました。関数ｆ（ｘ）の全体の定義域の部分の定義域毎の原始関数を、連続になるようにつないで総体の不定積分を作りました。
この関数Ｆ（ｘ）は、ｘ＝０で連続な１つながりな連続関数です。
この関数Ｆ（ｘ）を微分すると以下の関数ｆ（ｘ）になる。
そのため、F(x)は、そのｆ（ｘ）の不定積分です。
この不定積分Ｆ（ｘ）の定義域を、
ｘ≦０
にすれば良い。
ここで、ｘ＜０で定義される被積分関数ｆ（ｘ）に、ｘ＞０で定義される勝手な被積分関数ｆ（ｘ）を加えて、被積分関数ｆ（ｘ）を、その定義域を広げた異なる関数に変えて、その全体の不定積分F（ｘ）を作りました。そして、最終的に、その不定積分の定義域は削除するので、X>0の定義域の不定積分は、気休めに加えたものにすぎません。
ただし、いずれの作り方で作るにしても、不定積分F(x)の定義域はｘ≦０にでき、被積分関数ｆ（ｘ）の定義域はｘ＜０ですので、不定積分F(x)の定義域の方が被積分関数ｆ（ｘ）の定義域よりも広く作れました。
----補足おわり--------
これらの事については、数学者の藤原松三郎の「微分積分学 第１巻」が、
連結区間ａ≦ｘ≦ｂ内で定義される関数ｆ（ｘ）が、その連結区間内に有限個の連続で無い点を持つ関数ｆ（ｘ）である場合に、
その区間ａ≦ｘ≦ｂでのｆ（ｘ）の積分を広義積分と呼び、
関数ｆ（ｘ）の不定積分F(x)が求められて、
関数ｆ（ｘ）の積分範囲
ａ≦ｘ≦ｂ
内で不定積分F(x)が（端点では片側連続である）１つながりに連続な関数ならば、
（その積分範囲内にF(x)が微分不可能な点、それは被積分関数ｆ（ｘ）が連続で無い点、があっても良い）、
（１）それは、不連続関数ｆ（ｘ）が積分可能である証拠であり、
（２）以下の計算で定積分を計算して良い事が書いてあります。
Ｆ（ｂ）－Ｆ（ａ）
よって、
不連続な関数ｆ（ｘ）に対して、
その定義域を、関数ｆ（ｘ）の連続で無い点を除外した連結区間に分割し、
それら各連結区間毎に原始関数を計算し、
得られた各原始関数を連続につないで不定積分を構成します。
その１つながりに連続な不定積分を使って上の式で定積分を計算して良いのです。
また、小寺平治・著「はじめての微分積分15講」（2,200円）の１０３ページにも、このことが書いてあります。
小平邦彦「[軽装版]解析入門Ⅰ」の１８２ページにも、このことが書いてあります。
（複合区間を定義域にする誤った原始関数の差で計算するから間違えるのであって、不定積分（必ず一つながりな連続関数になる）の差で定積分を計算するならば、間違いは起きません。不定積分（いつも一つながりな連続関数）の差で定積分を求めたと書く答案が一番正しい答案だと思います。）
《（外部リンク）置換積分等の積分の計算に潜んでいる広義積分》
《（外部リンク）変な積分》
微分積分学は、微分可能な関数と積分可能な関数（その関数の変数ｘの範囲の定義域）を定義して、その種の関数の間で微分したり積分をします。「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。
しかし、この一番大切な概念を高校２年には教えない。高校３年に至っても「積分可能」の概念を教えていないようです。
しかも、１９９７年からは、日本の高校の数学IIで面積が無定義に用いられという、数学センスを否定する蛮行が行なわれた。そして、関数ｆ（ｘ）のグラフとｘ軸で囲まれる領域の面積を，ｘ方向で微分するともとの関数ｆ（ｘ）になり、面積の微分がｆ（ｘ）となるという本末転倒なことを教えるようになった。
現在の高等学校の教科書は，積分の概念の説明を回避している。
数学者の吉田洋ーが以下のようになげいています。
“論証"・論証"とやかましくいっておきながら，微積のところへ来ると，とたんにいいかげんな議論でごまかしている。一ーまた高校ではごまかさざるを得ないだろう。高校数学の目的は生徒のあたまを混乱させることにあるのだろうか。
このようなデタラメな教育では、高校生に微分積分が分からないのも無理無いと考えます。
《下図に各種の関数の集合の包含関係をまとめた》
リンク：
高校数学の目次
新型コロナウイルス感染対策
（ページ内リンク）
▽はじめに
▽連続関数について
▽積分とは何か（リーマン積分）
▽《区間という用語の意味》
▽一様連続性
▽不正確な情報から真実を見抜くコツ
▽（外部リンク）原始関数とは何か
▽（外部リンク）不定積分とは何か
▽微分積分学の基本定理
▽積分可能な例
▽必ずある間違い
▽広義積分
▽（外部リンク）置換積分等の積分の計算に潜んでいる広義積分
▽（外部リンク）変な積分
（はじめに）
高校数学では、「原始関数を求める」のが積分だと言われています。
しかし、大学で教わる微分積分も調べて、積分とは何かを
熟慮した結果、
積分とは「不定積分を求めること」（不定積分とは何かをハッキリさせなければなりませんが）である事である事が分かりました。
高校生は、ハッキリ教えられないでも、動物的な本能で、
「積分で求めるべき”原始関数”は１つながりに連続でなければならない」
という経験を積んで来たと思います。それは、実は原始関数の定義に初めから明示しなければならない条件だったというあいまいさが原始関数の定義にはありました。
また、求める目標の原始関数の目標を明確化すると、それは、原始関数に近い関係にある不定積分でした。
積分で正しい答えを求めるために探していたのは、不定積分だったのです。
（１）不定積分F(x)は、それを微分すると、有限個の微分不可能な点を除く大部分の点で、被積分関数ｆ（ｘ）が得られる関数の事です。
（２）不定積分は、（複合区間を定義域にする誤った原始関数とは違い）明確に１つながりに連続な関数である関数です。それは、複合区間を定義域にする原始関数の変数ｘの定義域を、F(x)が１つながりに連続になる範囲に限定する事で実現します。
（３）不定積分は、原始関数と違って、微分したとき、被積分関数ｆ（ｘ）の数点の関数値と一致しないでも良い関数です。大部分のｘでｆ（ｘ）と一致するだけで良いのです。
そういう不定積分を”原始関数”のつもりで求めるだけで良いのが積分の計算です。
以下では、その不定積分F(x)と、原始関数と、被積分関数ｆ（ｘ）との関係を見ていきましょう。
（連続関数について）
数学者の小平邦彦「[軽装版]解析入門Ⅰ」では、微分積分を使いものになる道具にするため、数学の定理で連続関数を使うときに必ず使う形に整合させて連続関数を定義しています。すなわち、連続関数という言葉を、連結区間で１つながりに連続する関数と定義しています。
このページで使う「連続関数」という言葉は、高校数学で教わる誤った定義の連続関数では無く、大学で学ぶ正しい定義の連続関数（１つながりに連続な関数）をあらわします。
また、小平邦彦「[軽装版]解析入門Ⅰ」では、使いものにならなくなっている「不連続点」と言われている言葉を使わず、微分積分の概念の理解のために役立つ言葉で、連続点以外の点をあらわす「連続で無い点」という言葉を使っています。そのため、当ブログでも、小平邦彦「[軽装版]解析入門Ⅰ」に従って、「不連続点」という言葉は使わず、「連続で無い点」という言葉を使います。
（不連続点の当初の定義も、連続で無い点の定義と同じでした。藤原松三郎の「微分積分学 第１巻」によると、「ｆ（ｘ）がｘ＝ξで連続でない場合に、ｘ＝ξをｆ（ｘ）の不連続点という。」と定義されていました。）
連続関数の定義は、1817年にBolzanoが中間値の定理を証明する前提条件に定義した連続関数の定義により、歴史上初めて連続関数が正しく定義された（その定義は関数の連続性を区間で定義するものである）。 その歴史的経緯から、中間値の定理を成り立たせない関数を連続関数と呼ぶ日本の高校数学の連続関数の定義（世界の高校数学の連続関数の定義とは異なると思う）は偽物である。
なお、高校２年の微分積分の勉強のためには、「やさしく学べる微分積分」（石村園子）を読むと良いと思います。高校３年になって本格的に微分積分を学びたくなった学生は、学生が微分積分を無駄なく学べるよう工夫がこらされている本：小平邦彦「[軽装版]解析入門Ⅰ」を読むと、微分積分が無駄なく勉強できて良いと思います。
【積分とは何か】
注意 5.3 1969年の日本書院の高校の教科書の数学IIIで， 定積分は次のように定義されている．
関数 y = f(x) は閉区間 [a, b] で連続とする．
（関数が不連続な場合への積分の定義の拡大を排除していないので、定義にごまかしが無い）
ｘ１, ｘ２, … , ｘｎ－１
で n 個の小区間
[a,ｘ１], [ｘ１,ｘ２], … , [ｘｎ－１, b]
に分ける．それら小区間内にそれぞれ任意の点
ｔ１, ｔ２, … , ｔｎ …①
をとって，和
すべての小区間の長さが，いずれも 0 に近づくように n を限りなく大きくするとき， ①の点の位置のとり方にかかわらず， 和Ｓｎは一定の極限値に近づくことが知られている． この極限値を，関数 f(x) の区間 [a, b] における定積分といい
この定義は高校生のための定積分の定義として優れている． リーマン積分の理論と断絶していない。
大学において、そこに開かれている． 「収束」の意味，区間和の上限，下限などを学習し，
連続関数なら、Ｓｎが収束することと、積分可能であること、
をつかんだら、
その段階で，高校での定義を再認識することができる．
高校教科書はこのようでなければならない．
以下では、先ず、積分とは何かを、積分可能のハッキリした定義を知ることで頭を整理しましょう。
積分については，ここをクリックした先のｐｄｆファイルにある原教授の以下のコメントが大切です。
---（原教授のコメント開始）---------
積分については高校でも習ってはいるが，その基礎を突き詰めていくといろいろと困ったことがでてくる．
特に 「積分は微分の逆演算」として定義すると，「ある関数 f の積分を求めよ」という問題や「この関数の積分は定義できるか？」という問題でハタと困ってしまう．
（微分して f になるような関数がわからない場合，高校までの知識ではお手上げだ．）
この節では高校までの知識はいったん忘れて，「積分とは何か」「積分をどのように定義すべきか」か ら話を始める．
4.1 積分（定積分）の定義
ということで，まずやるべきは「与えられた関数f(x) に対して，その積分を定義すること」である．
これから見ていくように，かなり広いクラスの関数に対してその積分（定積分）を定義することができる．
定積分を通して不定積分も定義できるので，高校までの知識とのつながりがつくことになる．
・・・
積分の最も素朴な定義はこれから紹介する「リーマン和」に基づくもので、、、
---（原教授のコメントおわり）------
（積分の計算の基本）
定義6.1（Riemann積分） 同志社大学 押目教授
閉区間[a, b]上において有界（有限な最大値と有限な最小値を持つ）な関数f(x)に対して、
以下のｎ＋１個の有限個の小区間への分割の仕方、および、その小区間内の点ξi(i = 1, 2, . . . , n) の位置のとり方に関係なく、各点の関数値の和Ｓが一通りに定まる時，
f(x)は閉区間[a, b]において(Riemann)積分可能という．
（注意）無限大の数の小区間へ分割するのでは無いことに注意 。
以下のグラフのように、面積を分割して、分割した要素の総計を求めてグラフの面積を計算する手法が「積分」です。
《区間という用語の意味》
また、 「区間」という数学用語は、変数ｘの数直線上にある、実数がすき間なくつめられた１かたまりの実数の集合として定義されている事に注意が必要です。
ａ≦ｘ≦ｂを満足するｘの区間という表現は、ａ≦ｘ≦ｂの範囲内の全ての実数ｘという意味です。
－∞＜ｘ＜∞という区間もあります。
区間はｘの値の範囲を限定するためのａ≦ｘ≦ｂという式とは意味が異なることに注意する必要があります。
区間ａ≦ｘ≦ｂが命題の中に記載されている場合は、その範囲内の全ての実数ｘについて命題を検討する必要があります。被積分関数ｆ(x)が定義されていない変数ｘの点があっても、その点も、その命題が検討されるべき点の１つです。
「区間」という用語は、特に重要な関数である連続関数の連続性を定義するために必要な、連続関数f(x)の変数xの集合体がいつも持っていなければならない連続性という重要な性質が「区間」という概念を用いてあらわされています。
すなわち、変数ｘの「区間」の性質で大切なのは、
「区間」のなかに変数ｘの値が隙間なく存在すること。
つまり所定範囲内での隙間が無い全ての実数の集合という概念が「区間」という用語で定義されています。
例えば：
f(x)=1/xの定義域を(0,∞) (={x|xは0より大きい実数})
とすれば、f(x)は区間で定義された関数です。
g(x)=1/xの定義域を(-∞,0)∪(0,∞)(={x|xは0でない実数})
とすれば、g(x)は区間で定義された関数ではありません。
（f(x)とg(x)は定義域が異なっているため、f(x)とg(x)は同じ関数ではありません）
（「リーマン積分可能」の定義）
「微分積分学入門」（横田 壽）の１２４ページから１２５ページ近くに「リーマン積分可能」の定義が書いてあります：（注：横田教授が芝浦工業大学を退官したため、この教科書を無料で掲載するWebページが無くなりました。この本は書店で購入できます。）
その他に、高校２年生が勉強するのに適切な、書店で購入できる微分積分の参考書の、「やさしく学べる微分積分」（石村園子）の１０４ページに「積分可能」の定義が書いてあります。
ここではドイツの数学者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) とよばれる次の和を考えます．
この定義に従い、関数の積分可能性を以下の様にして調べることができます。
先ず小さな閉区間[a, b] を定めて、
その閉区間の小区間への分割の仕方および小区間内の点ξi(i = 1, 2, . . . , n) の位置のとり方に関係なく、各点の関数値の和が一通りに定まる（積分可能）か否かを調べることができます。
（注意）
ここで、点ξiの位置のとり方に関係なく関数値の和が定まるためには、
少なくともその区間の全ての実数値に対して有限の値の関数値が存在しなければなりません。
それが、積分可能性の大前提です。
（リーマン積分の例１）
下図の左上、右上、左、の３つの各グラフを、ｘ軸の０から値ｘまでリーマン積分してグラフの面積を計算すると、ｘの値毎の面積が、３つの場合で共通して右下のグラフになります。
以下の図の関数ｆ（ｘ）のグラフを考えます。
－１≦ｘ≦３
の閉区間を小区間に細分した各小区間での関数の値の和が一通りに定まるので、リーマン積分可能です。
この関数ｆ（ｘ）を積分して、以下の図の不定積分の関数Ｆ（ｘ)を求めることができます。
この関数Ｆ（ｘ）は、ｘ＝０とｘ＝２で微分不可能です。一方、原始関数は、定義域の連結区間内の全ての点で微分可能な関数です。そのため、その微分不可能な点ｘ＝０とｘ＝２を定義域の連結区間内に含む関数は原始関数ではありません。この様な簡単なグラフの面積を求める問題であっても、変数ｘのあらゆる実数を定義域とする原始関数を使おうとすると、問題を解く事ができません。
しかし、不定積分の部分として、定義域を連結区間０＜ｘ＜２に狭くした原始関数を不定積分の定義域の一部に組み込んで使う事ができます。
上の関数の例では、全実数の定義域の一部の０＜ｘ＜２の範囲を定義域とするｆ（ｘ）に対して原始関数Ｆ（ｘ）が存在します。それを不定積分に組み込みます。また、定義域が２＜ｘの範囲の原始関数Ｆ（ｘ）が存在します。また、定義域がｘ＜０の範囲の原始関数Ｆ（ｘ）が存在します。その３つの原始関数を連続につないで不定積分を作れば良いのです。
【一様連続性】どの様な関数がリーマン積分可能であるか一様連続性
以上で説明したリーマン積分が、閉区間で連続な関数を例にして説明されるのは、その関数がリーマン積分可能だからです。
リーマン積分可能のキーワードは、一様連続性です。閉区間で連続な関数は一様連続です。すなわち、積分区間を均等に分割して分割数を多くすると、すべての分割部分の中での関数値のばらつきを一斉に小さくできる（これを一様連続と言う）。そのため閉区間で連続な関数は、分割数を多くして、一斉に、分割部分内の関数値のバラツキを小さくできるので、積分の値のバラツキを小さくでき、リーマン積分可能です。
（極限では無限大に発散する点に向けて連続している（開区間で）連続な関数は、その無限大に発散する点とは接続してはいませんが、その開区間の領域をいくら細かく分割しても、発散点の近くでは、未だ分割部分内の関数のバラツキが大きいです。そういうふうに、分割した区間内での関数の値のバラツキを一斉に小さくできない（一様連続で無い）関数は、積分可能にはなりません。）
（関数の値のバラツキが一斉に小さくなる説明）
ｆ(x)が連結な閉区間ａ≦ｘ≦ｂで１つながりに連続な関数であれば、閉区間で連続な関数の最大値・最小値の定理によって、ｆ(x)の値はある最大値と最小値の間の値に限られている。
そのように、ある最大値と最小値の間の値に限られている、閉区間で連続な関数ｆ（ｘ）の領域を以下の図の様に２等分する。
そして、分割された領域毎に、関数の最大値と最小値の差Δを考え、全分割領域での、差Δの最大値Δ２を抽出する。
関数ｆ（ｘ）が連続関数の場合は、その差の最大値Δ２は、分割前の領域での関数の最大値と最小値の差Δ１よりも小さくなる。
更に、各領域を２等分する。
そして、分割された領域毎に、関数の最大値と最小値の差Δを考え、全分割領域での、差Δの最大値Δ３を抽出する。
関数ｆ（ｘ）が連続関数の場合は、その差の最大値Δ３は、分割前の領域での差の最大値Δ２よりも小さくなる。
更に、各領域を２等分する操作を繰り返し、
差の最大値Δ４、Δ５、Δ６・・・
を求めて行く。
すると、関数ｆ（ｘ）が連続関数の場合は、領域を分割する毎に、全分割領域での差の最大値Δｎは無限に小さくなって行く。（これは、以下のようにして証明できる）
（仮説）
もし関数の最大値と最小値の差Δｎが無限に小さくならないで、ある値β＞０に留まるとする。
（仮説の検証）
その場合は、どんなに区間を分割しても、関数値のばらつきがβである微小区間が残り続ける。
ばらつきがβ未満の微小区間を分割してもばらつきがβである微小区間が生まれる事はないので、関数値のばらつきがβである微小区間は、関数値のばらつきがβである微小区間の分割によって生まれる。
すなわち、関数値のばらつきがβである微小区間が、それを無限に分割しても、関数値のばらつきがβであり続ける。その微小区間は点に収束し、その点の近くで関数値のばらつきが０に収束する事はない。
その場合は、その点で関数f(x)の連続の条件を満足しない。
これは、f(x)が連続である条件に反する。
ゆえに、この仮説が成り立たず、
関数の最大値と最小値の差Δｎは無限に小さくなっていく。
（一様連続性）
以上の様に、ある関数f(x)の各分割領域を更に２分の１に分割する操作をｎ回繰り返していき、各分割領域の関数f(x)の最大値と最小値の差（関数の値のばらつき）Δを求める。
（１）そのとき、全ての分割領域での関数の値のばらつきΔの最大値Δｎが有限の値で存在すること。
（２）この操作を繰り返して分割領域を無限に小さくすると、
全ての分割領域での関数の値のばらつきの最大値Δnが、無限に小さくなって行く。
（すなわち、全ての分割領域での関数の値のばらつきがΔnより小さく、そのΔnが無限に小さくなっていく）
これが成り立つ関数f(x)の性質を「一様連続」であると言います。
この説明は、以下の様に定義されている一様連続の言い換えです。
「どんなに小さな正の値εについても、全ての分割領域での関数の値のばらつきがε以下にできる、分割領域の小さな幅δ＝(b-a)/(２^n)が存在するとき、その関数は一様連続である。」
（一様連続の説明おわり）
無限に小さい差Δｎによる、関数ｆ（ｘ）の値の総和（リーマン積分）への影響は無限に小さい。そのため、この関数ｆ（ｘ）はリーマン積分可能である。
（バラツキが一斉に小さくなる説明おわり）
【不正確な情報から真実を見抜くコツ】
以下で説明するように、高校で教わる原始関数の定義は（大学での定義とは異なり）不正確なあいまいな定義です。
そのように、不正確な情報から真実を拾い出すコツがあります。それは、扱う関数を均質な基本的な要素に分割して、その分割された関数に不正確かもしれない情報を適用します。
具体的には、関数を、全て、１つながりに連続する関数に分割して考えます。その、１つながりに連続する関数を扱うのであれば、不正確な情報の公式を適用したとしても誤りに陥る事を防ぐことができます。
そのように、先ずは、１つながりに連続する関数毎に積分を調べれば良いのです。
例えば、下図の関数ｆ(x)を考える場合：
－１＜ｘ＜１での１つながりに連続する関数と、
１＜ｘ での１つながりに連続する関数を、
別々の３つの関数と考えれば良いのです。
そのように、関数全体を、均質な基本的な要素の関数に分割して、その基本要素だけに公式を適用すれば、不正確な壊れた道具の定理（例えば正しい原始関数の定義を使って証明した定理を作ってから、原始関数の定義を変えてしまって、その定理を適用するという使い方の定理）を使いこなすことができるようになります。
不正確な情報が与えられても正しい答えを出せるようになる事は、数学の極意を習得するという事でもあり、大事な数学的分析態度だと考えます。
【原始関数とは何か】（ここをクリック）
-----【原始関数の正しい定義】---------------
（原始関数の正しい定義は、１つながりに連続で、かつ、微分可能な関数Ｆ(x)をｆ（ｘ）の原始関数と定義します）
すなわち、関数F(x)が、連結区間ａ＜ｘ＜ｂのどの点でも連続、かつ、微分可能な関数であれば、F(x)を微分して導関数ｆ（ｘ）が求められる。この場合に、F(x)を関数ｆ（ｘ）の原始関数と言う。
（藤原松三郎の「微分積分学 第１巻」）
すなわち、原始関数は連結区間における連続関数であり１つながりのグラフであると定義されています。
-------原始関数の定義おわり-----------------
【不定積分とは何か】（ここをクリック）
（１）不定積分F(x)は、それを微分すると、有限個の微分不可能な点を除く大部分の点で、１つながりに連続した単位の被積分関数ｆ（ｘ）が得られる関数の事です。
（２）不定積分は、明確に１つながりに連続な関数です。
（３）不定積分は、原始関数と違って、微分したとき、被積分関数ｆ（ｘ）の数点の関数値と一致しないでも良い関数です。大部分のｘでｆ（ｘ）と一致するだけで良いのです。
【微分積分学の基本定理】
関数ｙ＝ｆ（ｘ）が、 連結区間ａ≦ｘ≦ｂ の全ての点で連続とする。 その条件が成り立つならば、必ず、
そして、次のことが成り立つ。
（１）Ｓ（ｘ）は、連結区間ａ＜ｘ＜ｂで、
S'（ｘ）＝ｆ（ｘ）
になり、（正しい定義の）原始関数の１つである。
このS(x)の式はf(x)の不定積分の定義になっています。
上の式で積分して計算される不定積分S(x)は、定義域が、積分可能な範囲に限定されている結果、定義域が連結区間に限定されています。
そして、S(x)は、必ず、その定義域で１つながりに連続した関数になります。
（注意１）
以下の関数ｆ（ｘ）は関数の定義域内の全ての点で連続ですが、１つながりに連続な関数では無いので連続関数ではありません。
この切れ切れのノコギリ状の関数ｆ（ｘ）を不定積分した関数Ｆ（ｘ）を求めてみます。
この関数Ｆ（ｘ）を微分すると、ｘ＝0.5, 1.5, 2.5等では、Ｆ（ｘ）の微分係数が計算できません。
この関数Ｆ（ｘ）は原始関数ではありません。
そうなる原因は、被積分関数ｆ（ｘ）が１つながりに連続では無いので連続関数では無かったから、（微分積分学の基本定理）の前提条件である、関数ｙ＝ｆ（ｘ）が、連結区間ａ≦ｘ≦ｂの全ての点で連続である条件が成り立っていなかったからです。
（注意２）
また、連続点は数学の重要な概念であり、数学的に厳密に定義されています。不連続点という言葉は、その重要な連続点の定義に従属して、その反対の性質を持つ点として定義する必要があります。
しかし、「不連続点」の定義では、そうせず、たいした根拠も無く、上の例のように関数値が存在しない点は「不連続点」とは呼ばず、連続点の概念とは無関係な言葉として定義されています。
そのように定義した「不連続点」という概念によっては、ｘのある値ｘ0でｆ（ｘ0）が存在しないことで関数がｘ＝ｘ0で連続で無いという関数の不連続性が把握できなくなっています。
数学センスがある学生は、関数の連続点の否定を表すのではない「不連続点」という言葉は数学的に無意味で数学研究に役立たないと見抜き、「不連続点」という言葉は使わず別の言葉「連続で無い点」を自分で独自に定義して自分の研究に役立てると思います。
（注意３）
高校生は教科書から、誤った連続関数の定義：
「関数 f(x) が、定義域のすべての x の値で連続であるとき、 f(x) は連続関数である。」
を教わることで、
正しい定理：「連続関数を積分した式は、その式のグラフの全ての点で微分可能である（微分積分学の基本定理）」が、
その誤った連続関数の定義から導かれるこの反例によって否定されてしまうという問題に直面します。
高校生は、この反例により、「（連続関数に限定すれば）微分と積分が逆演算になる」という微分積分学の基本定理も否定され、積分が微分の逆演算になる根拠も分からなくなるという深刻な問題に直面します。
こういう問題に直面する高校生に心から同情します。
（注意１～３おわり）
微分積分学の基本定理によって、関数ｆ（ｘ）が連結区間のａ≦ｘ≦ｂ上で１つながりに連続であるならば、
不定積分関数S(x)やF(x)が、ｆ（ｘ）のその範囲内の積分で計算する事で求められる事が保証されています。
そうして計算して得た不定積分Ｆ（ｘ）を使って、
被積分関数ｆ（ｘ）が連続である範囲のａ≦ｘ≦ｂでの定積分を、
Ｆ（ｂ）－Ｆ（ａ）で計算できる事が保証されています。
微分積分学の基本定理の登場により我々に注意が喚起されたメッセージは、
『関数ｆ（ｘ）の積分を計算しようとする場合には、その積分区間における関数の性質（連続である等）を調べなければならない』
というメッセージです。
不定積分を用いて定積分を計算する演算の際に、その定積分の積分区間における関数の性質を調べる事を欠かしてはならない、というメッセージです。
この大切なメッセージについては、日本の高校の積分の授業では、「積分する区間内の全ての変数値に対して関数値が定義されていなければならない」と教えられているようです。先ず、関数値が定義されている事は必要です。しかし、厳密に言うと、それだけでは積分可能の条件としては不十分です。
（積分可能な例１）
関数を積分する区間は、
ａ≦ｘ≦ｂ
というように、その積分の区間の両端が存在する区間で積分します。
すなわち、
ａ＜ｘ＜ｂ
というような、両端が存在しない区間では積分しません。
例えば、以下の図の、ｘ＝０で連続で無い関数ｆ（ｘ）は、その連続で無い点以外の変数ｘの連結区間内で１つながりに連続です。その連結区間内で、この関数ｆ（ｘ）が連続関数であると定義されます。
上図の関数では、
ｘ＝０の近くの、０＜ｘ≦ｂの範囲内のｘ＝δの点から積分し、例えば、
δ≦ｘ≦ｂ
の範囲で積分します。
（注意）連続関数とは、ある関数ｆ（ｘ）の変数ｘの所定の範囲内で関数ｆ（ｘ）が連続である、という関数ｆ（ｘ）の範囲のことです。
（積分できない例）
上図の関数の事例では、ｘ＝０の点では関数ｆ（ｘ）の値が－∞になり、関数が定義されていないで、関数が不連続です。そして、この関数では、ｘ＝０を含んだ範囲で積分することはできません。
そのため、上図の関数を、例えば－１から１までの区間で積分する事も不可能です。
これを無視して、関数ｆ（ｘ）の連続で無い点を定積分の範囲内に入れてしまうと以下の間違いをおかします。
Ｆ（ｘ）＝１／ｘをｘで微分したら
関数
関数ｆ（ｘ）の定積分を、複合区間を定義域とする誤った原始関数F(x)を使って、 Ｆ（１）－Ｆ（－１）＝１－（－１）＝２
という 計算で求めると、明らかに間違えます。
しかし、複合区間を定義域とする誤った原始関数Ｆ（ｘ）を使った上の計算結果はそれと全く違い、面積が正の値の２になり、
全く間違った答えになりました。
高校で習う、
「原始関数Ｆ（ｘ）を使って、以下の計算で定積分する。」
（高校で教えられていない必須作業の、関数ｆ（ｘ）が定積分の区間で連続か否かのチェックをしないで）
複合区間を定義域にする誤った原始関数Ｆ（ｘ）の差を計算すると、上の計算の例の様に、
元の関数のグラフの面積が計算できず、
間違った答えになります。
上図の高校数学の微分積分学の基本定理の後半の式も、この反例によって否定されてしまう。高校数学の誤った定義が固着した連続関数という言葉を使わずに、（大学数学が実行しているように）本来の連続関数をあらわす「区間で連続な関数」という言葉を使うと良い。
なお、微分積分学の基本定理に記載されている、
実際、被積分関数
ａ＞０の場合には、ｘ＞０の範囲の定義域だけの関数
Ｓ（ｘ）＝１／ｘ， （ｘ＞０）
だけが得られます。この定義域で１／ｘは１つながりの連続関数（区間で連続な関数）です。
ａ≦ｂ＜０の場合には、ｘ＜０の範囲の定義域だけの関数
Ｓ（ｘ）＝１／ｘ， （ｘ＜０）
だけが得られます。この定義域で１／ｘは１つながりの連続関数（区間で連続な関数）です。
ａ＝０の場合には、Ｓ（ｘ）が計算できません。
この積分の式で定義される（定義可能な）不定積分：
そのため、この不定積分S(x)は、ｘ≠０における高校数学による誤った原始関数の定義：
Ｆ（ｘ）＝１／ｘ， （ｘ≠０）
（これは、定義域がｘ≠０で、ｘ＜０の部分とｘ＞０の部分の複合区間を定義域にする、不連続な、誤った原始関数F(x) ）
とは異なります。
（積分可能条件の注意）
高校生が覚えておくべき積分可能条件は、
関数ｆ（ｘ）が１つながりに連続であるｘの範囲内で積分するならば積分可能性が完全に保証され、
そうでないときは間違った答えが得られる事がある事
を覚えておいてください。
なお、微分積分学の基本定理が積分可能性を完全に保証する条件であるｆ（ｘ）が積分区間で連続でなければならないという条件は、緩める事ができ、ｆ（ｘ）の不定積分Ｆ（ｘ）が１つながりに連続であるだけで良いということが分かっています。（これについては後で詳しく説明します）
（１つながりに連続した関数（区間で連続な関数）を単位として定積分を計算するならば、間違いは起きません。）
いずれにしろ、原始関数を用いて定積分を計算する演算の際に、その定積分の積分区間における関数の性質（原始関数F(x)の連続性、又は、被積分関数ｆ（ｘ）の連続性）を調べる事を欠かしてはなりません。原始関数F(x)の連続性を調べるという事は、その関数F(x)が不定積分であるか否かを調べているのです。
（必ずある間違い）
以下の関数の不定積分があります。
ｘ＞０ か、
ｘ＜０ か
の２つの範囲です。
単に（１／ｘ）と表した被積分関数は２つの連続関数（区間で連続な関数）をいっしょくたにしてしまっています。
各連続関数（区間で連続な関数）毎に、別々に不定積分して関数の解を得なければなりません。
不定積分の解は、それぞれの連続関数（区間で連続な関数）に応じて２つあり、上記の式のように２つの式で表さなければなりません。
しかし、高校数学では、その２つの不定積分を以下の式で１つの式で表して教えています。
不定積分は１つながりに連続でなければなりません。
明らかな間違いですが、これが「不定積分を求めよ」という問題の解として教えられているので要注意です。
（大学生の正しい解答）
表現の煩雑さを避けて、
この式の右辺は不定積分では無いので、その式をF(x)と表して、それを定積分に適用して、
－１から１までの定積分として、
F(1)－F(－1)
を計算するのは間違いです。
（高校生は、上記の間違った不定積分を教わり、それを、上記の、不定積分と定積分の関係式に代入して間違った答えを得ます。高校生は（先生にも）、どこが間違っているか分からず、微分積分が分からなくなる高校生が多いのではないかと思います。）
積分結果が１つながりに連続しているのが正しい不定積分のグラフです。そしてそのグラフが連続するｘの範囲（区間）が、定積分が可能な範囲です。
（関数が１つながりに連続な範囲で積分可能な例）
以下の図の、１つながりに連続な関数ｆ（ｘ）を考えます。
ｘ＞０での関数ｆ（ｘ）の原始関数を求め、
ｘ＜０での原始関数を求め、
２つの原始関数を、独立にY方向に移動させて連続するようにつなぐ事で
総体の、上の図の不定積分Ｆ(x)が求められます。
この不定積分Ｆ（ｘ）をｘで微分すれば、ｘがどの値であってもｆ（ｘ）になるので、この関数Ｆ（ｘ）は関数ｆ（ｘ）の原始関数でもあります。この関数ｆ（ｘ）が１つながりに連続な範囲のｘ＝ａからｂまでの定積分は、
不定積分Ｆ（ｘ）を使って、
Ｆ（ｂ）－Ｆ（ａ）
で計算できます。
（研究課題）
ここで、
関数ｆ（ｘ）が、
その変数ｘの
ｘ＝−∞の点とｘ＝∞の点が１点であって、
その点で変数ｘの区間が連結しているものと定義する。
そして、ｘ→０の点は、変数ｘの連結区間の端点とした、
変数ｘの連結区間を定義する。
そして、関数f(x)は、
ｘ→ ±∞の点で値f(x)=0であるので、その点でも連続していると定義し、
ｘ→ ±∞の点を含む連結区間で１つながりに連続した関数であると定義できます。
（その様に、２つの関数をｘ→ ±∞の点で連結して１つの関数にすることは、置換積分法などで関数の変数を変換する場合に、自然に起こり得る事です。）
この関数f(x)の、
ａ＜０と、
ｂ＞０との
２点の間の定積分を、
不定積分Ｆ（ｘ）を使って、
Ｆ（ｂ）－Ｆ（ａ）
という値であらわすと、
その定積分は以下の様に定義できます。
先ず、
ｘ＝ａの点から、ｘ＝−∞まで
f(x)を定積分して、
続けて、
ｘ＝−∞の点から、ｘ＝ｂの点まで、
f(x)を定積分する。
すなわち、そのように、変数ｘのｘ＝ａからｘ＝ｂまで連結した区間の経路で関数& f(x)が積分でき、
その経路の積分範囲で定積分した値が、
Ｆ（ｂ）－Ｆ（ａ）
であると定義できます。
すなわち、
ｘ＝０をまたいで積分したりせずに、
ｘ→ ±∞の点を経由した
迂回した経路で積分した積分結果が、
Ｆ（ｂ）－Ｆ（ａ）
であると解釈します。
そう解釈するならば、
Ｆ（ｂ）－Ｆ（ａ）は、
定積分の値を正しくあらわしています。
このように、関数f(x)の定積分を、連結区間内からはみ出す部分がない経路で積分した値であると認識すれば、
Ｆ（ｂ）－Ｆ（ａ）は、
その定積分の値を正しくあらわす式であると解釈できます。
定積分を計算する演算の際に、その定積分が可能な積分区間が、被積分関数f(x)の値が有限値であるｘの点を連結した区間に限られると認識するのが良いと分かりました。
（なお、その連結区間で、不定積分F(x)は１つながりに連続な関数になっています。）
（研究課題おわり）
（積分が完全に保証される積分可能条件の外で行う例）
微分積分学の基本定理における積分可能条件（関数ｆ（ｘ）が積分範囲内で１つながりに連続な関数でなければならない）にあえて違反して行う以下の積分では、被積分関数ｆ（ｘ）がある点で連続な連続関数である場合と、その関数の１点の関数値が存在しない（あるいは０等の値になる、その点では不連続な関数である）場合とが区別されずに、その範囲を積分した不定積分が同じ１つながりに連続な関数になる。
（積分可能な例２）
以下の図の関数ｆ（ｘ）のグラフを考えます。
ｘ＝０の点とｘ＝２の点で関数は不連続であり、また、極限も存在しませんが、
－１≦ｘ≦３
の閉区間をリーマン積分により小区間に細分した各小区間での関数の値の和が一通りに定まるので、その連続で無い点を範囲内に持つ区間で（１つながりに連続な連続関数ならば必ず積分できるという積分保証範囲の外で無理やりに）あえて積分すると積分可能です。
この関数ｆ（ｘ）を積分して、以下の図の不定積分の関数Ｆ（ｘ)を求めることができます。
（原始関数を利用した不定積分の求め方）
この不定積分F(x)の求め方は、上図の関数ｆ（ｘ）の：
－１＜ｘ＜０の区間のｆ（ｘ）に対する原始関数 F(x)＝０と、
０＜ｘ＜２の区間のｆ（ｘ）に対する原始関数 F(x)＝ｘと、
２＜ｘ＜３の区間のｆ（ｘ）に対する原始関数 F(x)＝Ｃ２とを求め、
それらの原始関数をＹ方向に平行移動して連続につなげば、以下の１つながりのグラフの不定積分Ｆ(x)が出来上がります。
ｘ＝０とｘ＝２の点ではグラフが折れ曲がっているので微分できません。
原始関数の定義の発想の順番は、Ｆ（ｘ）を先に考え、次にｆ（ｘ）を考えるのです。
（先ず、連結区間を定め、その連結区間内で１つながりに連続した原始関数F(x)を考え、次に、それを微分して関数ｆ（ｘ）が得られ、結果として得られたｆ（ｘ）の原始関数がF(x)であると呼ぶのです。）
この発想の順を逆にしてｆ（ｘ）に不定積分の関数F(x)を対応付ける写像変換を定義する事はできます。
上の図で得た導関数（ｄＦ（ｘ）／ｄｘ）は、ｘ≠０とｘ≠２の範囲でのみ定義されている関数です。そのグラフはｆ（ｘ）とは、変数ｘ＝０とｘ＝２の点だけが異なります。
この導関数（ｄＦ（ｘ）／ｄｘ）のグラフを再度積分したらどうなるでしょうか。
その積分結果は、再び同じ不定積分Ｆ（ｘ）が得られます。
（ただし、関数値ｆ（ｘ）が定義されていないｘ＝０と２の点では、そのｘの値の近傍までｆ（ｘ）を積分して、その積分の極限値をｘ＝0の点等での積分値に拡張する積分をしました。）
変数ｘ＝０での点とＸ＝２での点の有無で異なる２つのグラフ、すなわちｆ（ｘ）と、導関数（ｄＦ（ｘ）／ｄｘ）を積分したら、同じ不定積分Ｆ（ｘ）が得られました。
そのため、被積分関数ｆ（ｘ）に積分結果の不定積分Ｆ（ｘ）を対応させる写像変換は、
２個以上の関数の、ｆ（ｘ）と（ｄＦ（ｘ）／ｄｘ）とに１つの不定積分Ｆ（ｘ）を対応させる、
複数対１の写像であると考えられます。
（注意）
ちなみに、微分不可能な点がある関数F(x)は真の原始関数ではありません。（真の原始関数は必ず１つながりに連続で、すべての点で微分可能な関数です。また、所定の定義域の関数ｆ（ｘ）では原始関数が無くても、定義域を狭くした範囲では原始関数がある事も忘れないよう注意してください。）
上の例の不定積分F(x)、
すなわち、ｘ=0の点とｘ＝２の点で折れ曲がって微分不可能な点を持つ関数F(x)は、
関数ｆ（ｘ）からｘ＝０の点とｘ＝２の点を除外した関数が微分の結果で得られる不定積分です。
この不定積分では原始関数より広い範囲の関数が扱え、上図のようなグラフの面積を求めることもでき実用的です。
（厳密に考える１）
ここで、厳密に考えると、
不定積分F(x)を微分すると、ｘ≠０とｘ≠２の範囲でのみ関数値がある導関数（ｄF(x)／ｄｘ）が得られました。そのため、関数F(x)は、ｘ≠０とｘ≠２の範囲でのみ定義されている導関数（ｄF(x)／ｄｘ）の不定積分でもあります。
一方、ｘ＝０で、ｆ（０）＝１であり、ｘ＝２で、ｆ（２）＝１である最初の関数ｆ（ｘ）は、不定積分F（ｘ）の微分によっては、ｘ＝０での点とｘ＝２での関数値が得られません。
しかし、ｆ（ｘ）を定積分するために利用する関数としては、この不定積分F（ｘ）で十分です。
小平邦彦「[軽装版]解析入門Ⅰ」の182ページにも、不連続な関数ｆ（ｘ）の広義積分＝不定積分F(x)が１つながりの連続関数で得られることが書いてあります。
また、 F(x)を微分して不連続な関数ｆ（ｘ）が得られる原始関数Ｆ(x)もあり得るが、それは、原始関数F(x)が微小に振動している場合という限られた場合だけです。
小平邦彦「[軽装版]解析入門Ⅰ」の126ページには、
上図の様に、普通の連続で無い点を持つ関数ｆ（ｘ）の不定積分F(x)につては、その連続で無い点のｘ＝０やｘ＝２の点では、そのｘの値で微分できないと書いてあります。
すなわち、上図におけるｘ＝０やｘ＝２の点のように有限の値の高さに段差を持つ連続で無い点を持つ関数ｆ（ｘ）には、その連続で無い点で微分できる原始関数Ｆ(x)は存在しないと書いてあります。
その様に原始関数が無くても不定積分が存在することが、小平邦彦「[軽装版]解析入門Ⅰ」の182ページに書いてあります。
不定積分F(x)においては、その不定積分F(x)を微分した関数が、被積分関数のｆ（ｘ）からｘ＝０やｘ＝２という有限個の点を除いた大部分の点で関数ｆ（ｘ）と一致するだけで良い事が書いてあります。
そのように、原始関数の場合は細かい注意が必要でしたが、広義積分を含めた不定積分の場合は、堂々と、不連続な関数ｆ（ｘ）の多くが積分可能であり不定積分Ｆ(x)を持つので、細かい注意に神経を使う必要も無くなり、積分がやり易くなりました。
（厳密な考察２から４）
下図の３つの被積分関数ｆ（ｘ）の不定積分F(x)は同じ関数になります。これを以下で考察します。
０≦ｘ≦２の定義域でのみ定義され、その定義域内で常にｆ（ｘ）＝１となる関数ｆ（ｘ）を考えてみます。
この関数ｆ（ｘ）は閉区間で１つながりに連続な関数です。
この関数ｆ（ｘ）を積分して得た不定積分F(x)は、
０≦ｘ≦２の閉区間の定義域で定義される、F(x)＝ｘ
という関数になります。
１つながりの連続関数であるF(x)は、その端点ｘ＝０とｘ＝２では、片側微分係数で微分係数が定義され、ｘ＝０とｘ＝２との点ではF'(x)の値があります。例えば以下の式の様に：
ｘ＝０でもｘ＝２でも、ｆ（ｘ）＝１である関数ｆ（ｘ）は、不定積分の関数F（ｘ）の片側微分によって得られます。
そのため、この不定積分F(x)は、ｆ（ｘ）の全ての関数値をF’（ｘ）の結果として与える原始関数です。
（厳密に考える３）上図の右上の場合
０≦ｘ≦２の定義域でのみ定義され、その定義域内で、
ｘ＝０で ｆ（ｘ）＝０
０＜ｘ＜２で ｆ（ｘ）＝１
ｘ＝２で ｆ（ｘ）＝０
となる関数ｆ（ｘ）を考えてみます。
その関数ｆ（ｘ）を積分して得た不定積分F(x)は、
０≦ｘ≦２の定義域で定義される、F(x)＝ｘ
という関数になります。
この不定積分で得た関数F(x)は、
ｆ（０）＝１となる関数ｆ（ｘ）の不定積分で得た関数と同じ関数になるので、ｆ（０）＝０という情報が失われた関数である事が明らかです。
このF(x)からは、ｆ（０）の値＝０が再現不可能である事が明らかです。
F(x)は、定義域の閉区間の端点で片側微分可能で、端点ｘ＝０とｘ＝２での微分係数＝１が計算できますが、その値は、ｆ（０）及びｆ（２）とは異なります。
このように、不定積分F（ｘ）の微分によっては、ｘ＝０での点とｘ＝２でのｆ（ｘ）の値は得られません。この不定積分F(x)は、不連続な関数ｆ（ｘ）の全ての関数値をF’（ｘ）の結果として与える原始関数ではありません。
このF(x)をこの例の不連続な関数ｆ（ｘ）の原始関数と呼ぶのは不正確ですが、このF(x)はｆ（ｘ）の不定積分である事には間違いありません。
（厳密に考える４）上図の左の場合
０≦ｘ≦２の定義域でのみ定義され、その定義域内で、
ｘ＝０で ｆ（ｘ）＝２
０＜ｘ＜２で ｆ（ｘ）＝１
ｘ＝２で ｆ（ｘ）＝２
となる関数ｆ（ｘ）を考えてみます。
その結果は、（厳密に考える３）と同じ結果になります。
（積分可能性が保証される条件とは）
上図の場合では、関数ｆ（ｘ）が不連続な点があっても積分できました。これは、以下の条件を満足したからです。
関数ｆ（ｘ）が積分可能な条件は、
関数ｆ（ｘ）の積分区間で、ｆ（ｘ）の不定積分Ｆ（ｘ）が連続であることです。
関数ｆ（ｘ）を積分する区間は、不定積分Ｆ（ｘ）が１つながりに連続な範囲の、例えば、
ａ≦ｘ≦ｂ
という区間で積分が可能です。
（この様に不連続関数ｆ（ｘ）にも積分可能性が保証される条件については後で説明します。）
（不連続関数ｆ（ｘ）の無理やり積分と、その微分の例）
関数ｆ（ｘ）を：
変数ｘが整数の点では関数値が存在せず、
変数ｘが整数以外の点では値が１、
である不連続関数とします。
この不連続関数 ｆ（ｘ）のグラフを積分したら、
１つながりに連続な不定積分 Ｆ（ｘ）＝ｘが得られます。
この不定積分Ｆ（ｘ）＝ｘを微分したら、
連続関数であるｆ２（ｘ）＝１が得られます。
この不定積分Ｆ（ｘ）＝ｘは、それを微分して得られた関数ｆ２（ｘ）＝１の原始関数です。
上図のｆ（ｘ）及びｆ２（ｘ）を積分した結果の不定積分F（ｘ）では、被積分関数が連続関数ｆ２（ｘ）である場合と、その連続関数のｘが整数の点の関数値が存在しない（あるいは０等の値になる）不連続関数ｆ（ｘ）である場合と、が区別できません。
この様に、積分すると、被積分関数の連続で無い点の情報を失った不定積分F(x)が得られます。
（積分可能な例３）
（注意）
原始関数のF(x)が連続で微分可能でF'(x)＝ｆ(x)であっても、ｆ(x)が連続関数になるとは限らないことに注意が必要です。F(x)が連続で微分可能であっても微小に振動している場合があるからです。
以下で定義する原始関数Ｆ（ｘ）を微分して得た関数ｆ（ｘ）は、
Ｆ（ｘ）の微分で作られたので、積分可能です。
（Ｆ（ｘ）の定義）
ｘ≠０の場合：
（導関数ｆ（ｘ））
この原始関数Ｆ（ｘ）はｘ≠０の場合も、ｘ＝０の場合も、微分可能で、
その導関数ｆ（ｘ）は、以下の式であらわせます。
ｘ≠０の場合の微分：
この導関数が含むｃｏｓ（１／ｘ）の関数が以下のグラフであらわす形の関数になるからです。
このように、ｘ＝０の場合の導関数ｆ（ｘ）は、ｘ＝０で不連続ではありますが、ｆ（０）＝０という値を持ちます。
この導関数ｆ（ｘ）は、ｘ＝０で不連続ですが、ｘ＝０で関数値を持ち、積分すると原始関数Ｆ（ｘ）になる、積分可能な関数です。
しかも、その積分結果の原始関数Ｆ（ｘ）を微分すると、元の、ｘ＝０で不連続な関数ｆ（ｘ）が得られます。
（積分可能な例４）
上の図の関数ｆ（ｘ）がリーマン積分可能なのは、変数ｘの全区間の部分区間毎です。
第１の部分区間：
－∞＜ｘ＜Ａ
第２の部分区間：
Ａ’＜ｘ≦Ｃ
（点Ａで関数は不連続であり、また、極限も存在しませんが、
－∞＜ｘ≦Ｃ
まで合わせた区間でも、関数の区間を細分した各小区間での関数の値の和が一通りに定まるので、その連続で無い点Ａを範囲内に持つ区間でも積分可能です。）
（点Ｂでは、関数が無限大になるので積分ができません）
第３の部分：
Ｄ≦ｘ＜＋∞
（注意１）
リーマン積分では、点Ａ’から点Ｄまで、関数ｆ（ｘ）の値が無限に大きくなる点Ｂを範囲内に持つ区間で関数ｆ（ｘ）を積分することができません。
その理由は：
無限に関数値が大きくなる点Ｂを積分の範囲内に持つと、その点Ｂを中に持つｘの小区間で、
細分の幅Δｘがどれだけ小さな値であっても、
（１／Δｘ）≪ｆ（ξ）
となる関数値ｆ（ξ）を選ぶことができるからです。
（注意２）広義積分
しかし、上図の関数ｆ（ｘ）は、Ｂ点の左側の区間で、Ｘ＝Ａ’からｘ＝Ｃまでの積分の値の、Ｃを無限にＢに近付けた極限の有限の値を持つものとします。
また、Ｂ点の右側の区間で、Ｘ＝ＤからＸ＝＋∞までの積分の値の、Ｄを無限にＢに近付けた極限の有限の値を持つものとします。
「そのように左側の区間のＣ点及び右側の区間のＤ点をＢ点に近付けた極限での積分の値が存在するならば、
Ｂ点の左側の区間の積分値と、Ｂ点の右側の区間の積分値の和を、点Ｂを範囲内に持つｘの区間での積分とする（広義積分）」
と言うように、関数ｆ（ｘ）の「積分可能性」の定義を拡大することができます。
また、グラフが積分可能な範囲は、変数を置き換える置換積分によって、変数を変え、被積分関数の形を変えると、
積分可能な範囲が変わることがあります。
例えば、
関数ｆ（ｘ）≡１／
は、ｘが－１から０未満の数までの範囲で積分可能ですが、
ｘが－１から０までの範囲では、ｘ＝０に近づくと被積分関数の値が無限に大きくなるので積分可能ではありません。
しかし、
新たな変数ｔ≡－
を使って、変数ｔで積分する式に変換する（置換積分）と、
以下の図の様に、被積分関数が定数２に変換されます。
ｔが－１から０までの範囲で、「積分可能」に変わります。
そのように、積分可能な変数の範囲は、変数を変換すると変わることがあります。
また、この関数ｆ（ｘ）に対して以下の図のグラフの不定積分F(x)を考えてみます。
（不定積分の求め方）
この不定積分の求め方は、上図の関数の部分毎に原始関数＝不定積分F(x)を求め、それらの不定積分を、連続になるようにつなげば、以下のグラフのように、総体の不定積分が出来上がります。
定義域ｘ＜０の関数ｆ（ｘ）の原始関数の－２ と、
定義域ｘ＞０の関数ｆ（ｘ）の原始関数２ と
を独立にＹ方向に平行移動させて、ｘ＝０で連続につないで不定積分を求めます。
この不定積分F(x)は、不定積分が、被積分関数F(x)の定義域のｘ＜０だけで定義されることになるのが気持ち悪かったので、被積分関数ｆ（ｘ）のｘ＞０の範囲を勝手に定義して、その全体の不定積分を作りました。関数ｆ（ｘ）の部分毎に作った原始関数を、連続につないで総体の不定積分を作りました。
また、ｘ＝０以外の点で微分するとｆ（ｘ）になります。
この不定積分F(x)が１つながりに連続な変数ｘの範囲では、関数ｆ（ｘ）が積分可能です。
（その理由は、以下で、藤原松三郎の「微分積分学 第１巻」を解説して説明します）
そして、関数ｆ（ｘ）の定積分は、
不定積分F(x)が１つながりに連続な範囲の：
ａ≦ｘ≦ｂ
の区間では定積分でき、その定積分の値は：
Ｆ（ｂ）－Ｆ（ａ）
で計算しても良いです。
関数ｆ（ｘ）が積分可能な条件は、ｆ（ｘ）の不定積分Ｆ（ｘ）が、ｆ（ｘ）の積分区間において１つながりに連続である事です。
このように、積分可能の条件が広くされました。
----（補足）------
また、－１≦ｘ＜０で定義された
関数ｆ（ｘ）≡１／
の定積分を計算する場合に、上図の不定積分Ｆ（ｘ）の他に以下の図の様に不定積分Ｆ（ｘ）と、それを微分した関数ｆ（ｘ）を考えて、それらの定義域を、元の関数ｆ（ｘ）の定義域にまで縮小して考えても同じことになります。
つまり、被積分関数ｆ（ｘ）のｘ＞０の範囲に接続する勝手な関数を別の関数に変えて、その全体の不定積分を作りました。関数ｆ（ｘ）の全体の定義域の部分の定義域毎の原始関数を、連続になるようにつないで総体の不定積分を作りました。
この関数Ｆ（ｘ）を微分すると以下の関数ｆ（ｘ）になる。
この不定積分Ｆ（ｘ）の定義域を、
ｘ≦０
にすれば良い。
ここで、ｘ＜０で定義される被積分関数ｆ（ｘ）に、ｘ＞０で定義される勝手な被積分関数ｆ（ｘ）を加えて、被積分関数ｆ（ｘ）を、その定義域を広げた異なる関数に変えて、その全体の不定積分F（ｘ）を作りました。そして、最終的に、その不定積分の定義域は削除するので、X>0の定義域の不定積分は、気休めに加えたものにすぎません。
ただし、いずれの作り方で作るにしても、不定積分F(x)の定義域はｘ≦０にでき、被積分関数ｆ（ｘ）の定義域はｘ＜０ですので、不定積分F(x)の定義域の方が被積分関数ｆ（ｘ）の定義域よりも広く作れました。
----補足おわり--------
これらの事については、数学者の藤原松三郎の「微分積分学 第１巻」が、
連結区間ａ≦ｘ≦ｂ内で定義される関数ｆ（ｘ）が、その連結区間内に有限個の連続で無い点を持つ関数ｆ（ｘ）である場合に、
その区間ａ≦ｘ≦ｂでのｆ（ｘ）の積分を広義積分と呼び、
関数ｆ（ｘ）の不定積分F(x)が求められて、
関数ｆ（ｘ）の積分範囲
ａ≦ｘ≦ｂ
内で不定積分F(x)が（端点では片側連続である）１つながりに連続な関数ならば、
（その積分範囲内にF(x)が微分不可能な点、それは被積分関数ｆ（ｘ）が連続で無い点、があっても良い）、
（１）それは、不連続関数ｆ（ｘ）が積分可能である証拠であり、
（２）以下の計算で定積分を計算して良い事が書いてあります。
Ｆ（ｂ）－Ｆ（ａ）
よって、
不連続な関数ｆ（ｘ）に対して、
その定義域を、関数ｆ（ｘ）の連続で無い点を除外した連結区間に分割し、
それら各連結区間毎に原始関数を計算し、
得られた各原始関数を連続につないで不定積分を構成します。
その１つながりに連続な不定積分を使って上の式で定積分を計算して良いのです。
また、小寺平治・著「はじめての微分積分15講」（2,200円）の１０３ページにも、このことが書いてあります。
小平邦彦「[軽装版]解析入門Ⅰ」の１８２ページにも、このことが書いてあります。
（複合区間を定義域にする誤った原始関数の差で計算するから間違えるのであって、不定積分（必ず一つながりな連続関数になる）の差で定積分を計算するならば、間違いは起きません。不定積分（いつも一つながりな連続関数）の差で定積分を求めたと書く答案が一番正しい答案だと思います。）
《（外部リンク）置換積分等の積分の計算に潜んでいる広義積分》
《（外部リンク）変な積分》
微分積分学は、微分可能な関数と積分可能な関数（その関数の変数ｘの範囲の定義域）を定義して、その種の関数の間で微分したり積分をします。「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。
しかし、この一番大切な概念を高校２年には教えない。高校３年に至っても「積分可能」の概念を教えていないようです。
しかも、１９９７年からは、日本の高校の数学IIで面積が無定義に用いられという、数学センスを否定する蛮行が行なわれた。そして、関数ｆ（ｘ）のグラフとｘ軸で囲まれる領域の面積を，ｘ方向で微分するともとの関数ｆ（ｘ）になり、面積の微分がｆ（ｘ）となるという本末転倒なことを教えるようになった。
現在の高等学校の教科書は，積分の概念の説明を回避している。
数学者の吉田洋ーが以下のようになげいています。
“論証"・論証"とやかましくいっておきながら，微積のところへ来ると，とたんにいいかげんな議論でごまかしている。一ーまた高校ではごまかさざるを得ないだろう。高校数学の目的は生徒のあたまを混乱させることにあるのだろうか。
このようなデタラメな教育では、高校生に微分積分が分からないのも無理無いと考えます。
《下図に各種の関数の集合の包含関係をまとめた》
リンク：
高校数学の目次
新型コロナウイルス感染対策
0 件のコメント:
コメントを投稿