物理/解析学入門（１）実数の性質、連続関数、導関数と微分
提供: Internet Web School
目次 |
8.2 解析学入門 （１）
序
一変数関数の解析学を紹介する。
解析学は実数の連続性と極限の概念を用いる無限算法（微分、積分）を扱う
数学の基幹分野の一つである。
高校でならう解析学の概略だけを知りたい方は、以下の教科書で学習してください。
（１）関数や方程式の知識
UNIQ679c1f931a2a71d2-MathJax-585-QINU物理学では、指数関数をはじめ色々な関数をよく使う。
UNIQ679c1f931a2a71d2-MathJax-586-QINUこれについては下記の本に要約が説明されている。
指数関数や対数関数の上記の本の解説は不十分なので、
興味ある方は、本テキストの
をご覧ください。
（２）ネイピア数 e の理解に必要な数学
微分や積分で重要な役割を演じる実数にネイピア数eがある。
本テキストでも頻繁に登場する。
この数は、UNIQ679c1f931a2a71d2-MathJax-587-QINU で定義される。
この極限が存在し、２と３の間の数になることを証明するには、２項定理が必要になる。
これについては
問題１
UNIQ679c1f931a2a71d2-MathJax-588-QINU は、いくつか？
（３）微分・積分
物理の学習には微分と積分が必須である。
関数の微分は、極限を利用して定義される。
極限がよくわからない場合には、高等学校数学III/極限（ウィキブックス）を概略理解してから、
高等学校数学II 微分・積分の考え（ウィキブックス）に進むと良いだろう。
問題２
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
（３）大学教養課程程度の解析学の基礎
この節は、解析学の基礎（実数の連続性とリーマン積分）について、さらに知りたい方のために書かれている。
厳密さをかなり重視し、程度は大学専門課程の入り口に相当する。
多変数関数の解析学については次章の「9章 物理数学２」で紹介する。
実数の連続性と極限
実数の連続性は、様々な極限の存在に根拠を与えるもので、
実数の持つ最も重要な性質といってもよい。
上界、下界と有界集合
UNIQ679c1f931a2a71d2-MathJax-589-QINUを、全ての実数を要素とする集合とし、
UNIQ679c1f931a2a71d2-MathJax-590-QINUをその部分集合(A \subset R)とする。
実数UNIQ679c1f931a2a71d2-MathJax-591-QINUがUNIQ679c1f931a2a71d2-MathJax-592-QINUの上界(upper bound)とは、
任意のUNIQ679c1f931a2a71d2-MathJax-593-QINUに対して、UNIQ679c1f931a2a71d2-MathJax-594-QINUがなりたつことUNIQ679c1f931a2a71d2-MathJax-595-QINU。
実数UNIQ679c1f931a2a71d2-MathJax-596-QINUがUNIQ679c1f931a2a71d2-MathJax-597-QINUの下界(lower bound)とは、
任意のUNIQ679c1f931a2a71d2-MathJax-598-QINUに対して、UNIQ679c1f931a2a71d2-MathJax-599-QINUがなりたつこと。
UNIQ679c1f931a2a71d2-MathJax-600-QINUをUNIQ679c1f931a2a71d2-MathJax-601-QINUの上界をすべて集めた集合UNIQ679c1f931a2a71d2-MathJax-602-QINU、
UNIQ679c1f931a2a71d2-MathJax-603-QINUをUNIQ679c1f931a2a71d2-MathJax-604-QINUの下界をすべて集めた集合とする。
UNIQ679c1f931a2a71d2-MathJax-605-QINUが空集合UNIQ679c1f931a2a71d2-MathJax-606-QINUでない（すなわち、UNIQ679c1f931a2a71d2-MathJax-607-QINUの上界が少なくとも一つ存在する）とき、
UNIQ679c1f931a2a71d2-MathJax-608-QINUは上に有界であるといい、
UNIQ679c1f931a2a71d2-MathJax-609-QINUの時、UNIQ679c1f931a2a71d2-MathJax-610-QINUは下に有界であるという。
上に有界で、下にも有界な集合(UNIQ679c1f931a2a71d2-MathJax-611-QINUは、有界という。
実数の連続の公理と上限、下限
UNIQ679c1f931a2a71d2-MathJax-612-QINUとする。
実数の連続性の公理
もし、UNIQ679c1f931a2a71d2-MathJax-613-QINUならば、UNIQ679c1f931a2a71d2-MathJax-614-QINUは、最小元を持つ。
もし、UNIQ679c1f931a2a71d2-MathJax-615-QINUならば、UNIQ679c1f931a2a71d2-MathJax-616-QINUは、最大元を持つ。
上限と下限の定義
UNIQ679c1f931a2a71d2-MathJax-617-QINUの最小元をUNIQ679c1f931a2a71d2-MathJax-618-QINUの上限(supremum)あるいは最小上界(least upper bound)という。
また、UNIQ679c1f931a2a71d2-MathJax-619-QINUの最大元をUNIQ679c1f931a2a71d2-MathJax-620-QINUの下限(infimum)あるいは最大下界(greatest lower bound)という。
命題１
UNIQ679c1f931a2a71d2-MathJax-621-QINUがUNIQ679c1f931a2a71d2-MathJax-622-QINU の上限となるための必要十分条件は、
ⅰ）UNIQ679c1f931a2a71d2-MathJax-623-QINUはUNIQ679c1f931a2a71d2-MathJax-624-QINUの上界。すなわち任意のUNIQ679c1f931a2a71d2-MathJax-625-QINUにたいしてUNIQ679c1f931a2a71d2-MathJax-626-QINU
ⅱ）UNIQ679c1f931a2a71d2-MathJax-627-QINUである任意のUNIQ679c1f931a2a71d2-MathJax-628-QINUはUNIQ679c1f931a2a71d2-MathJax-629-QINUの上界ではない。すなわち、UNIQ679c1f931a2a71d2-MathJax-630-QINUとなるUNIQ679c1f931a2a71d2-MathJax-631-QINUが存在
である。
同様に、UNIQ679c1f931a2a71d2-MathJax-632-QINUがUNIQ679c1f931a2a71d2-MathJax-633-QINU の下限となるための必要十分条件は、
ⅰ）UNIQ679c1f931a2a71d2-MathJax-634-QINUはUNIQ679c1f931a2a71d2-MathJax-635-QINUの下界。すなわち任意のUNIQ679c1f931a2a71d2-MathJax-636-QINUにたいしてUNIQ679c1f931a2a71d2-MathJax-637-QINU
ⅱ）UNIQ679c1f931a2a71d2-MathJax-638-QINUである任意のUNIQ679c1f931a2a71d2-MathJax-639-QINUはUNIQ679c1f931a2a71d2-MathJax-640-QINUの下界ではない。すなわち、UNIQ679c1f931a2a71d2-MathJax-641-QINUとなるUNIQ679c1f931a2a71d2-MathJax-642-QINUが存在
である。
UNIQ679c1f931a2a71d2-MathJax-643-QINU の上限をUNIQ679c1f931a2a71d2-MathJax-644-QINU、下限をUNIQ679c1f931a2a71d2-MathJax-645-QINUと書く。
さらに、
UNIQ679c1f931a2a71d2-MathJax-646-QINUが最大値を持つ場合には、Ａの上限はＡの最大値と一致し、
UNIQ679c1f931a2a71d2-MathJax-647-QINUが最小値を持つ場合には、Ａの下限はＡの最小値と一致する。
証明は、上限、下限の定義から、明らかなので省略する。
例；UNIQ679c1f931a2a71d2-MathJax-648-QINUのとき、UNIQ679c1f931a2a71d2-MathJax-649-QINU,UNIQ679c1f931a2a71d2-MathJax-650-QINU。
これらは、ともにUNIQ679c1f931a2a71d2-MathJax-651-QINUの要素でないので、
上限１はUNIQ679c1f931a2a71d2-MathJax-652-QINUの最大元(最大値)ではなく、下限０はUNIQ679c1f931a2a71d2-MathJax-653-QINUの最小元(最小値)ではない。
UNIQ679c1f931a2a71d2-MathJax-654-QINUのとき、UNIQ679c1f931a2a71d2-MathJax-655-QINU,UNIQ679c1f931a2a71d2-MathJax-656-QINU。
これらは、ともにUNIQ679c1f931a2a71d2-MathJax-657-QINUの要素なので、
上限は最大限であり、下限は最小限となる。
命題２
UNIQ679c1f931a2a71d2-MathJax-658-QINUで、UNIQ679c1f931a2a71d2-MathJax-659-QINUは有界集合とする。
このとき、UNIQ679c1f931a2a71d2-MathJax-660-QINU
証明は容易である。
実数列の極限
実数列UNIQ679c1f931a2a71d2-MathJax-661-QINUとは、
ｘが、自然数全体のなす集合Ｎから実数全体の作る集合Ｒへの写像であることと定義する。
論理記号で書けば、UNIQ679c1f931a2a71d2-MathJax-662-QINU
定理1；
１） 単調増加で上に有界な数列UNIQ679c1f931a2a71d2-MathJax-663-QINU(注参照）は収束する（極限値を持つ）。
２）単調減少で下に有界な数列は収束する。
（注）数理論理学における論理の数学的モデルの一つであり、命題論理を拡張した一階述語論理で表現すると、
UNIQ679c1f931a2a71d2-MathJax-664-QINU
証明
１）だけ示す。
UNIQ679c1f931a2a71d2-MathJax-665-QINUとおくと、仮定からＡは上に有界な集合なので、
実数の連続性から上限（最小上界）UNIQ679c1f931a2a71d2-MathJax-666-QINU を持つ。
この UNIQ679c1f931a2a71d2-MathJax-667-QINU が数列ｘの極限であることを示そう。
任意の小さい正数 UNIQ679c1f931a2a71d2-MathJax-668-QINU をとると、UNIQ679c1f931a2a71d2-MathJax-669-QINU は集合Ａの上界ではなくなるので
UNIQ679c1f931a2a71d2-MathJax-670-QINU
数列は単調増加なので、UNIQ679c1f931a2a71d2-MathJax-671-QINU
他方、UNIQ679c1f931a2a71d2-MathJax-672-QINU は数列ｘの上界なので、
UNIQ679c1f931a2a71d2-MathJax-673-QINU
式（１）と（２）から、
どんなに小さな正数 UNIQ679c1f931a2a71d2-MathJax-674-QINU をとってもある自然数ｍが定まり、
それより大きな自然数ｎ に対して、UNIQ679c1f931a2a71d2-MathJax-675-QINU が示せた。
収束の定義から、数列ｘがUNIQ679c1f931a2a71d2-MathJax-676-QINUに収束することが示せた。
２）の証明も同様である。
数列UNIQ679c1f931a2a71d2-MathJax-677-QINU の項の中から番号の小さい順に次々と無限個を取り出すことにより、
新しい数列が得られる。
このようにして作られる新しい数列を、元の数列の部分列という。
定義１ 部分列
自然数の集合ＮからＮの中への狭義の単調増加関数 UNIQ679c1f931a2a71d2-MathJax-678-QINU を用いて(注参照）
数列 UNIQ679c1f931a2a71d2-MathJax-679-QINU からつくる数列 UNIQ679c1f931a2a71d2-MathJax-680-QINU を、数列 UNIQ679c1f931a2a71d2-MathJax-681-QINU の部分列という。
（注）UNIQ679c1f931a2a71d2-MathJax-682-QINU が狭義単調増加とは、任意の自然数kと、それより大きい全ての自然数lに対してUNIQ679c1f931a2a71d2-MathJax-683-QINU
定理２
有界な数列 UNIQ679c1f931a2a71d2-MathJax-684-QINU は、収束する部分列をもつ。
証明
数列が有界なので、２つの実数l,uが存在して、全ての自然数ｎに対し、
UNIQ679c1f931a2a71d2-MathJax-685-QINU
閉区間UNIQ679c1f931a2a71d2-MathJax-686-QINU の中に、数列の無限個の項が含まれているので、
この区間を２等分した区間のいずれかには、数列の無限個の項が含まれる。
その区間を UNIQ679c1f931a2a71d2-MathJax-687-QINU と書く。(注参照）
すると この区間は UNIQ679c1f931a2a71d2-MathJax-688-QINU,長さは UNIQ679c1f931a2a71d2-MathJax-689-QINU
この区間 UNIQ679c1f931a2a71d2-MathJax-690-QINU を２等分しても、いずれかの部分区間は、数列の無限の項を含む。
そこでその部分区間を UNIQ679c1f931a2a71d2-MathJax-691-QINU とする。 UNIQ679c1f931a2a71d2-MathJax-692-QINU、UNIQ679c1f931a2a71d2-MathJax-693-QINU
これを続けると閉区間の縮小列 UNIQ679c1f931a2a71d2-MathJax-694-QINU を得る（n=1,2,3,4,,,,)。
すると、
数列 UNIQ679c1f931a2a71d2-MathJax-695-QINU は単調増加で有界な数列、
数列 UNIQ679c1f931a2a71d2-MathJax-696-QINU は単調減少で有界な数列、
定理１から、どちらの数列も収束する。
しかも、UNIQ679c1f931a2a71d2-MathJax-697-QINU なので
それぞれの極限を UNIQ679c1f931a2a71d2-MathJax-698-QINU ,UNIQ679c1f931a2a71d2-MathJax-699-QINU とかくと、UNIQ679c1f931a2a71d2-MathJax-700-QINU
この点を UNIQ679c1f931a2a71d2-MathJax-701-QINU とかく。
・最後に、UNIQ679c1f931a2a71d2-MathJax-702-QINU に収束する、UNIQ679c1f931a2a71d2-MathJax-703-QINU の部分列を選び出そう。
部分区間UNIQ679c1f931a2a71d2-MathJax-704-QINU の中には数列UNIQ679c1f931a2a71d2-MathJax-705-QINUの無限の項があるので、その中で最小の項順UNIQ679c1f931a2a71d2-MathJax-706-QINUを選び、部分列の初項UNIQ679c1f931a2a71d2-MathJax-707-QINU に選ぶ。
UNIQ679c1f931a2a71d2-MathJax-708-QINU にはUNIQ679c1f931a2a71d2-MathJax-709-QINUのなかの数列UNIQ679c1f931a2a71d2-MathJax-710-QINUの項が無限に含まれるので、
その中で、項順ｍが UNIQ679c1f931a2a71d2-MathJax-711-QINU を満たすものも無限にある。
その中で最小の項順のものを選び、第２項 UNIQ679c1f931a2a71d2-MathJax-712-QINU とする。
すると、UNIQ679c1f931a2a71d2-MathJax-713-QINU
これを繰り返すと任意の自然数iに対して
UNIQ679c1f931a2a71d2-MathJax-714-QINU であって、UNIQ679c1f931a2a71d2-MathJax-715-QINU である,
数列UNIQ679c1f931a2a71d2-MathJax-716-QINUを得る。
この数列が元の数列の部分列であり、UNIQ679c1f931a2a71d2-MathJax-717-QINU
であることは明らかである。
（注）２つの部分区間のどちらも無限個の項を含むときは、どちらの部分区間を採用してもよい。
数列が収束するための条件を求めるためには、コーシー列という概念が必要になる。
定義
実数列UNIQ679c1f931a2a71d2-MathJax-718-QINUがコーシー列(または基本列)とは
任意のUNIQ679c1f931a2a71d2-MathJax-719-QINU に対して、UNIQ679c1f931a2a71d2-MathJax-720-QINU が存在して、
UNIQ679c1f931a2a71d2-MathJax-721-QINU ならば UNIQ679c1f931a2a71d2-MathJax-722-QINU となること。
定理3
（１）実数列 UNIQ679c1f931a2a71d2-MathJax-723-QINU がコーシー列ならば、収束する。
（２）逆に、UNIQ679c1f931a2a71d2-MathJax-724-QINU が収束するならば、コーシー列である。
証明
（１）を証明する。
ⅰ）UNIQ679c1f931a2a71d2-MathJax-725-QINU がコーシー列ならば、有界である。
∵ コーシー列なので、UNIQ679c1f931a2a71d2-MathJax-726-QINU のとき、UNIQ679c1f931a2a71d2-MathJax-727-QINU が存在して、
UNIQ679c1f931a2a71d2-MathJax-728-QINU ならば UNIQ679c1f931a2a71d2-MathJax-729-QINU
故に、この数列の全ての項は、
UNIQ679c1f931a2a71d2-MathJax-730-QINUとUNIQ679c1f931a2a71d2-MathJax-731-QINU の間にある。
ⅱ）UNIQ679c1f931a2a71d2-MathJax-732-QINU がコーシー列ならば、収束する。
∵
数列がコーシー列なので,
任意の正数 UNIQ679c1f931a2a71d2-MathJax-733-QINU に対して、ある自然数 UNIQ679c1f931a2a71d2-MathJax-734-QINU が存在して、
UNIQ679c1f931a2a71d2-MathJax-735-QINU ならば、UNIQ679c1f931a2a71d2-MathJax-736-QINU
また、コーシー列は有界なので、定理２から、収束する部分列 UNIQ679c1f931a2a71d2-MathJax-737-QINU を持つ。
この極限値を UNIQ679c1f931a2a71d2-MathJax-738-QINU とおくと、
UNIQ679c1f931a2a71d2-MathJax-739-QINU を満たす或る番号 UNIQ679c1f931a2a71d2-MathJax-740-QINU が定まって、UNIQ679c1f931a2a71d2-MathJax-741-QINU なる任意のｋに対して
UNIQ679c1f931a2a71d2-MathJax-742-QINU
すると任意の UNIQ679c1f931a2a71d2-MathJax-743-QINU に対して、
UNIQ679c1f931a2a71d2-MathJax-744-QINU
故に、元の数列は UNIQ679c1f931a2a71d2-MathJax-745-QINU に収束する。
（２）の証明は簡単なので、略す。
証明終わり。
収束に関連するさらなる情報は下記を参照のこと。
定理の応用；ネイピア数 e
次の命題は、高等学校数学III/微分法（ウィキブックス）では証明せず利用しているものである。
命題
数列 UNIQ679c1f931a2a71d2-MathJax-746-QINU は、
2より大きく3より小さい実数 e に収束する。
UNIQ679c1f931a2a71d2-MathJax-747-QINU
この e をネイピア数と呼ぶ。
練習問題
上の命題を証明してください。
ヒント；
UNIQ679c1f931a2a71d2-MathJax-748-QINU を2項展開して、ｎとともに単調に増大すること、
常に2と3の間の実数であることを示せばよい。
解答は、8.3 8章の付録の 問の解答
関数とその連続性
関数の定義
ある範囲内の任意の数値をとりえる文字を変数という。
２つの変数ｘ、ｙがあって、ｘの値を定めれば、ある規則により、ｙの値が決まるようになっているとき、
ｙはｘの関数といい、
ｘにより決まるｙの値を、 関数記号 f,g などを用いて、y=f(x) ,y=g(x) などと書く。
変数ｘは独立変数、ｙは従属変数という。
実は、或るものに何かを対応させるという操作は社会に満ち溢れてる。
人々に名前を付ける、あるスーパーで売っている各食品に１００ｇ当たりの価格やカロリー量を対応させて表示する等。
そこで広くこうした場合にも対応できるように、上記の関数の概念を拡張する。
定義
２つの非空の集合A、Bを考える。
集合Aの非空の部分集合 UNIQ679c1f931a2a71d2-MathJax-749-QINU の各要素に対して、
集合 B の一つの要素を定める規則を関数という。
この規則により UNIQ679c1f931a2a71d2-MathJax-750-QINU の任意の要素 a に対応するBの要素bを、
この規則を表す関数記号(例えば）ｆを用いて、b=f(a) と表す（注１参照のこと）。
UNIQ679c1f931a2a71d2-MathJax-751-QINU を関数ｆの定義域、Bを関数ｆの値域（注２参照）という。
スーパーの例では、そのスーパーで扱っている商品の種類の集合をAとし、
食品という商品の部分集合を UNIQ679c1f931a2a71d2-MathJax-752-QINU
各食品に１００ｇ当たりのエネルギーを対応させる規則を、
100ｇあたりのカロリー関数ｆ、
値域Bは自然数の集合（円）とすればよい。
（注１）この定義は若干不明瞭である。厳密には、
関数fは、直積集合 UNIQ679c1f931a2a71d2-MathJax-753-QINU の部分集合 ｆ であって、
任意の UNIQ679c1f931a2a71d2-MathJax-754-QINU に対して、唯一のB の要素 ｂ が存在して、UNIQ679c1f931a2a71d2-MathJax-755-QINU を満たすものと定義する。
この唯一のｂのことを、f(a) と書く。
（注２）本によっては 値域をBの部分集合 UNIQ679c1f931a2a71d2-MathJax-756-QINU で定義することもあるので注意が必要である。
開集合と閉集合
関数の連続性
(1) 定義域が全空間に等しい関数の連続性
定義域が、ｎ次元実空間 UNIQ679c1f931a2a71d2-MathJax-757-QINU に一致する関数を考える。
実数値関数 UNIQ679c1f931a2a71d2-MathJax-758-QINU がある点 UNIQ679c1f931a2a71d2-MathJax-759-QINUで連続であるとは、
UNIQ679c1f931a2a71d2-MathJax-760-QINUがUNIQ679c1f931a2a71d2-MathJax-761-QINU に限りなく近づくならば、UNIQ679c1f931a2a71d2-MathJax-762-QINU が UNIQ679c1f931a2a71d2-MathJax-763-QINU に限りなく近づく
ことを言う。
UNIQ679c1f931a2a71d2-MathJax-764-QINUと記す。
これはイプシロン-デルタ論法(ε-δ論法)を用いれば次のように定式化できる。
任意の（小さな）正の数 ε 与えられたとき、
（小さな）正の数 δ をうまくとってやれば、
UNIQ679c1f931a2a71d2-MathJax-765-QINU と δ 以内の距離にあるどんな UNIQ679c1f931a2a71d2-MathJax-766-QINU に対しても、
UNIQ679c1f931a2a71d2-MathJax-767-QINU と UNIQ679c1f931a2a71d2-MathJax-768-QINU の差が ε より小さくなる。
(２) 定義域Ｄが全空間UNIQ679c1f931a2a71d2-MathJax-769-QINU の真の部分集合である関数の連続性
定義
D を ｎ次元空間UNIQ679c1f931a2a71d2-MathJax-770-QINU の部分集合、
関数ｆを、定義域Ｄの実数値関数とする。
関数ｆが、点 UNIQ679c1f931a2a71d2-MathJax-771-QINU で連続とは
Ｄの中の点UNIQ679c1f931a2a71d2-MathJax-772-QINUがUNIQ679c1f931a2a71d2-MathJax-773-QINU に限りなく近づくならば、UNIQ679c1f931a2a71d2-MathJax-774-QINU が UNIQ679c1f931a2a71d2-MathJax-775-QINU に限りなく近づく
ことを言う（注参照）。
UNIQ679c1f931a2a71d2-MathJax-776-QINU と記す。
関数 UNIQ679c1f931a2a71d2-MathJax-777-QINU が連続であるとは、
UNIQ679c1f931a2a71d2-MathJax-778-QINU のすべての点で連続であることを言う。
（注）ε-δ論法を用いれば次のように述べることができる。
任意の正数εに対して、ある正数δが存在して、
UNIQ679c1f931a2a71d2-MathJax-779-QINU と δ 以内の距離にあるどんなＤの中の点UNIQ679c1f931a2a71d2-MathJax-780-QINU に対しても、
UNIQ679c1f931a2a71d2-MathJax-781-QINU と UNIQ679c1f931a2a71d2-MathJax-782-QINU の差が ε より小さくなる。
連続関数は多くの重要な性質を持つ。
その一つを紹介する。
命題
有界閉区間 UNIQ679c1f931a2a71d2-MathJax-783-QINU 上で連続な関数ｆは、この上で最大値と最小値をとる。
一変数の実数値関数とベクトル値関数の微分
このテキストを理解するための必要最小限のことを記述する。
以下の文献も必要に応じて参考にしてください。
一冊では不十分なので色々あげておく。
実数値関数の微分
実数の開区間UNIQ679c1f931a2a71d2-MathJax-784-QINU上で定義された実数値関数UNIQ679c1f931a2a71d2-MathJax-785-QINUを考える。
定義;微分可能性
関数UNIQ679c1f931a2a71d2-MathJax-786-QINUがUNIQ679c1f931a2a71d2-MathJax-787-QINUで微分可能であるとは、極限
UNIQ679c1f931a2a71d2-MathJax-788-QINU
が存在することである。
この時UNIQ679c1f931a2a71d2-MathJax-789-QINUをUNIQ679c1f931a2a71d2-MathJax-790-QINUのUNIQ679c1f931a2a71d2-MathJax-791-QINUにおける微分係数あるいは導値といい、
UNIQ679c1f931a2a71d2-MathJax-792-QINU
などと書く。
UNIQ679c1f931a2a71d2-MathJax-793-QINUの各点でUNIQ679c1f931a2a71d2-MathJax-794-QINUが微分可能であるとき、UNIQ679c1f931a2a71d2-MathJax-795-QINUは微分可能関数(あるいは
微分可能）という。
この時、任意のUNIQ679c1f931a2a71d2-MathJax-796-QINUに対して、UNIQ679c1f931a2a71d2-MathJax-797-QINUが定まるので、
関数UNIQ679c1f931a2a71d2-MathJax-798-QINUが定まる。これをUNIQ679c1f931a2a71d2-MathJax-799-QINUのUNIQ679c1f931a2a71d2-MathJax-800-QINU(derivative)という。
命題
関数 UNIQ679c1f931a2a71d2-MathJax-801-QINU が微分可能ならば、連続である。
微分係数の意味
(1)UNIQ679c1f931a2a71d2-MathJax-802-QINUは、区間UNIQ679c1f931a2a71d2-MathJax-803-QINUにおける関数値の平均変化率である。
その極限である微分係数UNIQ679c1f931a2a71d2-MathJax-804-QINUは、関数値のUNIQ679c1f931a2a71d2-MathJax-805-QINUにおける瞬間的な変化率と考えられる。
(2)2次元空間(平面のこと)に直交座標座標系UNIQ679c1f931a2a71d2-MathJax-806-QINUをいれ、
関数UNIQ679c1f931a2a71d2-MathJax-807-QINUのグラフUNIQ679c1f931a2a71d2-MathJax-808-QINUを書く。
すると、
UNIQ679c1f931a2a71d2-MathJax-809-QINUが存在することは、UNIQ679c1f931a2a71d2-MathJax-810-QINUにおいてグラフUNIQ679c1f931a2a71d2-MathJax-811-QINUが接線をもつことと同等であり、
接線の方程式は
UNIQ679c1f931a2a71d2-MathJax-812-QINUである。
これは、接線の定義からただちに分かる。
(3）UNIQ679c1f931a2a71d2-MathJax-813-QINUを零に近づけていったときの極限の意味をさらに深めるため
微分可能の定義を、それと同等の別の表現に変換しよう。
(1)式の右辺の定数を左辺に移行すると
UNIQ679c1f931a2a71d2-MathJax-814-QINU
次に、
UNIQ679c1f931a2a71d2-MathJax-815-QINU
という、変数ｈの関数を定義する。
すると関数UNIQ679c1f931a2a71d2-MathJax-816-QINUがUNIQ679c1f931a2a71d2-MathJax-817-QINUで微分可能で、微分係数がUNIQ679c1f931a2a71d2-MathJax-818-QINUである必要十分条件は
UNIQ679c1f931a2a71d2-MathJax-819-QINU
である。
(2)式を変形すると
UNIQ679c1f931a2a71d2-MathJax-820-QINU
ゆえに次の命題が証明できた。
命題；
次の３つの条件は同等である。
１）関数UNIQ679c1f931a2a71d2-MathJax-821-QINUはUNIQ679c1f931a2a71d2-MathJax-822-QINUで微分可能で、微分係数はUNIQ679c1f931a2a71d2-MathJax-823-QINUである
２）関数UNIQ679c1f931a2a71d2-MathJax-824-QINUは、
UNIQ679c1f931a2a71d2-MathJax-825-QINU
と表現できる。
ここで、UNIQ679c1f931a2a71d2-MathJax-826-QINUは
UNIQ679c1f931a2a71d2-MathJax-827-QINU
を満たす関数
3) 関数UNIQ679c1f931a2a71d2-MathJax-828-QINUは、
UNIQ679c1f931a2a71d2-MathJax-829-QINUの近傍の点UNIQ679c1f931a2a71d2-MathJax-830-QINUで
UNIQ679c1f931a2a71d2-MathJax-831-QINU
ここで、UNIQ679c1f931a2a71d2-MathJax-832-QINUは
UNIQ679c1f931a2a71d2-MathJax-833-QINU
を満たす関数
この定理の3）により、
「関数がUNIQ679c1f931a2a71d2-MathJax-834-QINUで微分可能であり、微分係数がｃであること」は、
「この関数がUNIQ679c1f931a2a71d2-MathJax-835-QINUの近傍の点UNIQ679c1f931a2a71d2-MathJax-836-QINUで直線UNIQ679c1f931a2a71d2-MathJax-837-QINUで近似でき、
誤差UNIQ679c1f931a2a71d2-MathJax-838-QINUが,
UNIQ679c1f931a2a71d2-MathJax-839-QINUをUNIQ679c1f931a2a71d2-MathJax-840-QINUに近づけていくとき、UNIQ679c1f931a2a71d2-MathJax-841-QINUより高次で０に収束する(注参照)
ことと同等であることが分かる。
(注)UNIQ679c1f931a2a71d2-MathJax-842-QINU
命題の系；関数がUNIQ679c1f931a2a71d2-MathJax-843-QINUで微分可能であれば、UNIQ679c1f931a2a71d2-MathJax-844-QINUで連続である。
証明；命題の２）を用いると、
UNIQ679c1f931a2a71d2-MathJax-845-QINU
この式から、UNIQ679c1f931a2a71d2-MathJax-846-QINU
UNIQ679c1f931a2a71d2-MathJax-847-QINUなのでUNIQ679c1f931a2a71d2-MathJax-848-QINU。
ゆえに、UNIQ679c1f931a2a71d2-MathJax-849-QINU
これは、関数がUNIQ679c1f931a2a71d2-MathJax-850-QINUで連続であることの定義そのものである。
導関数の性質
定理１（線形性）
UNIQ679c1f931a2a71d2-MathJax-851-QINUがUNIQ679c1f931a2a71d2-MathJax-852-QINU上で定義された、微分可能な実数値関数で、
UNIQ679c1f931a2a71d2-MathJax-853-QINUが任意の実数ならば
UNIQ679c1f931a2a71d2-MathJax-854-QINU、UNIQ679c1f931a2a71d2-MathJax-855-QINUは微分可能で
UNIQ679c1f931a2a71d2-MathJax-856-QINU
証明は、微分の定義式と極限の性質から容易に導ける。
定理２ （積の導関数）
2つの関数UNIQ679c1f931a2a71d2-MathJax-857-QINUが微分可能ならば、それらの積 UNIQ679c1f931a2a71d2-MathJax-858-QINU も微分可能で
UNIQ679c1f931a2a71d2-MathJax-859-QINU
定理３（商の導関数）
定理４ （合成関数の導関数）
三角関数、指数関数の微分
対数関数、逆三角関数の微分
平均値の定理
平均値の定理（へいきんちのていり、英: mean-value theorem）または有限増分の定理とは、
実函数に対して有界な領域上の積分に関わる大域的な値を、微分によって定まる局所的な値として実現する点が領域内に存在することを主張する。
平均値の定理にはいくつかバリエーションがあるが、単に 「平均値の定理」 と言った場合は、ラグランジュの平均値の定理と呼ばれる微分に関する平均値の定理のことを指す場合が多い。
平均値の定理は微積分学の他の定理の証明（例えば、テイラーの定理、微分積分学の基本定理）にしばしば利用される、大変有用なものである（ウィキペディア；平均値の定理 より）。
ロルの定理
平均値の定理の準備として、ロルの定理を用いる。
この定理自体も有用である。
平均値の定理
テイラー展開とテイラーの定理
微分可能な関数 UNIQ679c1f931a2a71d2-MathJax-860-QINU の導関数 UNIQ679c1f931a2a71d2-MathJax-861-QINU が微分可能ならば、
その導関数 UNIQ679c1f931a2a71d2-MathJax-862-QINU が考えられる。
これをｆの2階の導関数という。
例えば、変数ｔの関数 UNIQ679c1f931a2a71d2-MathJax-863-QINU が時刻ｔの質点の位置とすると、
その導関数は速度、2階導関数は加速度を表すことを第2章の力学で学んだ。
さらに高階の微分が可能な関数を考え、その性質を考察しよう。
テイラー展開とテイラーの定理
微分可能な関数 UNIQ679c1f931a2a71d2-MathJax-864-QINU の導関数 UNIQ679c1f931a2a71d2-MathJax-865-QINU が微分可能ならば、
その導関数 UNIQ679c1f931a2a71d2-MathJax-866-QINU が考えられる。
これをｆの2階の導関数という。
例えば、変数ｔの関数 UNIQ679c1f931a2a71d2-MathJax-867-QINU が時刻ｔの質点の位置とすると、
その導関数は速度、2階導関数は加速度を表すことを第2章の力学で学んだ。
さらに高階の微分が可能な関数を考え、その性質を考察しよう。
テイラー展開とテイラーの定理
テイラー展開、テイラー級数についての入門書は
より高度なテイラーの定理などは以下の記事を。但し証明はない。
UNIQ679c1f931a2a71d2-MathJax-868-QINU級の関数
UNIQ679c1f931a2a71d2-MathJax-869-QINU上の関数 UNIQ679c1f931a2a71d2-MathJax-870-QINU が連続的微分可能（continuously differentiable）であるとは,
UNIQ679c1f931a2a71d2-MathJax-871-QINU上で導関数 UNIQ679c1f931a2a71d2-MathJax-872-QINU が存在して、しかもUNIQ679c1f931a2a71d2-MathJax-873-QINU がUNIQ679c1f931a2a71d2-MathJax-874-QINU上で連続であることをいう。
UNIQ679c1f931a2a71d2-MathJax-875-QINU上で連続的微分可能である関数をUNIQ679c1f931a2a71d2-MathJax-876-QINU級関数という。
ベクトル値関数の微分
実数の開区間UNIQ679c1f931a2a71d2-MathJax-877-QINU上で定義され,ｎ次元の実ベクトル(UNIQ679c1f931a2a71d2-MathJax-878-QINU)に
値をとる関数UNIQ679c1f931a2a71d2-MathJax-879-QINUを考える。
定義;微分可能性
実数値関数の場合と同じである。
導関数の線形性の性質も成り立つ。
ベクトル値関数の微分とその成分関数の微分の関係
関数値UNIQ679c1f931a2a71d2-MathJax-880-QINUはUNIQ679c1f931a2a71d2-MathJax-881-QINUの要素なので
UNIQ679c1f931a2a71d2-MathJax-882-QINU
と表示できる。
するとUNIQ679c1f931a2a71d2-MathJax-883-QINUのｎ個の成分関数
UNIQ679c1f931a2a71d2-MathJax-884-QINU
が得られる。
命題；
UNIQ679c1f931a2a71d2-MathJax-885-QINUがUNIQ679c1f931a2a71d2-MathJax-886-QINUで微分可能UNIQ679c1f931a2a71d2-MathJax-887-QINUUNIQ679c1f931a2a71d2-MathJax-888-QINUがUNIQ679c1f931a2a71d2-MathJax-889-QINUで微分可能。
この時、UNIQ679c1f931a2a71d2-MathJax-890-QINU
ベクトル積の微分
命題
UNIQ679c1f931a2a71d2-MathJax-891-QINU と UNIQ679c1f931a2a71d2-MathJax-892-QINUは、開区間Ｉ上で定義され、
微分可能なベクトル値関数とする。すると、
UNIQ679c1f931a2a71d2-MathJax-893-QINU は微分可能で、
UNIQ679c1f931a2a71d2-MathJax-894-QINU
証明
すでにこのテキストで紹介した、ベクトル値関数の微分の定義
UNIQ679c1f931a2a71d2-MathJax-895-QINU UNIQ679c1f931a2a71d2-MathJax-896-QINU (1)
を用いて証明する。
この極限が存在し、
UNIQ679c1f931a2a71d2-MathJax-897-QINU
になることを示せば命題は証明できたことになる。
極限の計算が進むよう、右辺の式の分母は変形しよう。
関数の積の微分公式の証明と同じ技巧を用いる。
UNIQ679c1f931a2a71d2-MathJax-898-QINU
UNIQ679c1f931a2a71d2-MathJax-899-QINU
ベクトル積の命題３を利用すると、
UNIQ679c1f931a2a71d2-MathJax-900-QINU
この式を式(１)の右辺の分子の項に代入し整頓すると
UNIQ679c1f931a2a71d2-MathJax-901-QINU
UNIQ679c1f931a2a71d2-MathJax-902-QINU
ベクトル積の命題４を使い、
UNIQ679c1f931a2a71d2-MathJax-903-QINU
極限の命題を使って、
UNIQ679c1f931a2a71d2-MathJax-904-QINU
式中の極限は、UNIQ679c1f931a2a71d2-MathJax-905-QINUが、微分可能なので存在し、
UNIQ679c1f931a2a71d2-MathJax-906-QINU
UNIQ679c1f931a2a71d2-MathJax-907-QINU
リーマン積分
この節は、区間上で定義された関数のリーマン積分の初歩を述べる。
具体的には、リーマン積分の定義とリーマン積分が存在する（可積分）条件
について、数学的厳密性を保つように記述する。
参考記事
区間上の関数のリーマン和
区間UNIQ679c1f931a2a71d2-MathJax-908-QINUで定義され、実数に値をとる関数UNIQ679c1f931a2a71d2-MathJax-909-QINUを考える。
この区間の分割
UNIQ679c1f931a2a71d2-MathJax-910-QINU
と、その代表点UNIQ679c1f931a2a71d2-MathJax-911-QINUに関する、UNIQ679c1f931a2a71d2-MathJax-912-QINUのリーマン和とは、
UNIQ679c1f931a2a71d2-MathJax-913-QINU
UNIQ679c1f931a2a71d2-MathJax-914-QINU
で定義する。
リーマン和の意味
リーマン和は、
UNIQ679c1f931a2a71d2-MathJax-915-QINUのグラフを、棒グラフで近似したときの
棒グラフの作る面積(各角柱の面積和)であることが分かる。図参照。
UNIQ679c1f931a2a71d2-MathJax-916-QINUのグラフとｘ軸、および２直線UNIQ679c1f931a2a71d2-MathJax-917-QINU、UNIQ679c1f931a2a71d2-MathJax-918-QINUで囲まれる部分の面積を近似している。
リーマン可積分とリーマン積分の定義
分割を細かくしていくとき、
分割の仕方や代表点の選び方に関係なく
リーマン和がある一定値に収束するとする。
すると、この値は
UNIQ679c1f931a2a71d2-MathJax-919-QINUのグラフとｘ軸、および２直線UNIQ679c1f931a2a71d2-MathJax-920-QINU、UNIQ679c1f931a2a71d2-MathJax-921-QINUで囲まれる部分の面積
と考えられる。
定義；
UNIQ679c1f931a2a71d2-MathJax-922-QINUの大きさUNIQ679c1f931a2a71d2-MathJax-923-QINUとは、
この分割で得られた小区間の長さの、最大値で定義する。
記号で書くと
UNIQ679c1f931a2a71d2-MathJax-924-QINU
定義；リーマン可積分
UNIQ679c1f931a2a71d2-MathJax-925-QINUを、有界閉区間UNIQ679c1f931a2a71d2-MathJax-926-QINU上で定義され、実数の値をとる関数とする。
もし、ある実数UNIQ679c1f931a2a71d2-MathJax-927-QINUが存在して、
どんな分割UNIQ679c1f931a2a71d2-MathJax-928-QINUと
代表点UNIQ679c1f931a2a71d2-MathJax-929-QINUであっても、
UNIQ679c1f931a2a71d2-MathJax-930-QINU
が成り立つ時、
UNIQ679c1f931a2a71d2-MathJax-931-QINUはUNIQ679c1f931a2a71d2-MathJax-932-QINU上で(リーマン)可積分であるという。
このとき、UNIQ679c1f931a2a71d2-MathJax-933-QINU をUNIQ679c1f931a2a71d2-MathJax-934-QINUのUNIQ679c1f931a2a71d2-MathJax-935-QINU上でのリーマン積分といい、
UNIQ679c1f931a2a71d2-MathJax-936-QINU
などと書く。
リーマン積分の命題
命題１ 線形性
命題２ 積分の単調性
命題３ 平均値定理
命題４ 三角不等式
命題５ 積分区間に関する加法性
可積分条件（RT;短縮化)
どのような関数は、積分できるだろうか。
積分出来ない関数はあるのか。
これらについて考察しよう。
不足リーマン和と過剰リーマン和によるリーマン和の評価
リーマン和を、代表点の選び方を変えて求めるとその値は変化する。
そこで、その最小値と最大値を求め、差を計算する。
もしこの差が分割を細かくしていくと零に収束するならば、可積分となろう。
以下、この方針で議論を進める。
UNIQ679c1f931a2a71d2-MathJax-937-QINUを分割して得られた小区間UNIQ679c1f931a2a71d2-MathJax-938-QINUを考える。
関数UNIQ679c1f931a2a71d2-MathJax-939-QINUをこの小区間上に限定した時、
関数は、この区間上の点で最大値と最小値をとると仮定する(注参照)。
関数の最大値UNIQ679c1f931a2a71d2-MathJax-940-QINUと最小値UNIQ679c1f931a2a71d2-MathJax-941-QINUを、
それぞれ、UNIQ679c1f931a2a71d2-MathJax-942-QINUと書く。
(注) 区間上で最大値、最小値を取らない関数では、
有界な関数でありさえすれば、最大値、最小値と殆ど同じ性質をもつ
上限、下限に置き換えれば以後の、議論は成り立つ。
すると、UNIQ679c1f931a2a71d2-MathJax-943-QINUの任意の点UNIQ679c1f931a2a71d2-MathJax-944-QINU に対して、
UNIQ679c1f931a2a71d2-MathJax-945-QINU
故に、
補題１
ⅰ）どのような代表点UNIQ679c1f931a2a71d2-MathJax-946-QINUに対しても
UNIQ679c1f931a2a71d2-MathJax-947-QINU
UNIQ679c1f931a2a71d2-MathJax-948-QINU
UNIQ679c1f931a2a71d2-MathJax-949-QINU
そこで、UNIQ679c1f931a2a71d2-MathJax-950-QINUをUNIQ679c1f931a2a71d2-MathJax-951-QINUに関するUNIQ679c1f931a2a71d2-MathJax-952-QINUの不足リーマン和、UNIQ679c1f931a2a71d2-MathJax-953-QINUを過剰リーマン和と呼ぶ。
ⅱ）UNIQ679c1f931a2a71d2-MathJax-954-QINU
UNIQ679c1f931a2a71d2-MathJax-955-QINU
証明は明らかなので省略。
分割の細分とリーマン和の評価式
定義；分割の細分
UNIQ679c1f931a2a71d2-MathJax-956-QINUの分割UNIQ679c1f931a2a71d2-MathJax-957-QINUが分割UNIQ679c1f931a2a71d2-MathJax-958-QINUの細分というのは、
UNIQ679c1f931a2a71d2-MathJax-959-QINUの分点の集合UNIQ679c1f931a2a71d2-MathJax-960-QINUが、
UNIQ679c1f931a2a71d2-MathJax-961-QINUの分点の集合UNIQ679c1f931a2a71d2-MathJax-962-QINUに真に含まれることと定義する。
記号でかけば、UNIQ679c1f931a2a71d2-MathJax-963-QINU。
記号では、UNIQ679c1f931a2a71d2-MathJax-964-QINUと記す。
補題２
UNIQ679c1f931a2a71d2-MathJax-965-QINUという分割に対し、
UNIQ679c1f931a2a71d2-MathJax-966-QINU
が成り立つ。
（証明）
UNIQ679c1f931a2a71d2-MathJax-967-QINUの小区間UNIQ679c1f931a2a71d2-MathJax-968-QINUが分割UNIQ679c1f931a2a71d2-MathJax-969-QINUでは、
UNIQ679c1f931a2a71d2-MathJax-970-QINUの２つに分割されたとする。
すると、区間上の関数の最大値と最小値の定義から、
UNIQ679c1f931a2a71d2-MathJax-971-QINU UNIQ679c1f931a2a71d2-MathJax-972-QINU
UNIQ679c1f931a2a71d2-MathJax-973-QINU UNIQ679c1f931a2a71d2-MathJax-974-QINU
これらから、命題は成立することが分かる。
不足リーマン和の上限と過剰リーマン和の下限
補題２から、分割の細分を繰り返していくと、その分割に対応する、
不足リーマン和は、広義増加(増加するか、同じ値にとどまる）し、
過剰リーマン和は、広義減少する。
分割を細かくしていったとき、これらの極限が一致すれば、補題１から、
リーマン和の極限値は、代表点に無関係に、定まることになる。
そこで色々な分割に対応する不足リーマン和のなかの最大値と
過剰リーマン和の最小値を求めることが、重要になる。
しかし一般にはこれらは存在しないことが示せる。
そこで最大値に近い命題を持つ上限と最小値に近い下限という概念を利用する。
２つの分割の共通の細分
分割UNIQ679c1f931a2a71d2-MathJax-975-QINUの分点の集合UNIQ679c1f931a2a71d2-MathJax-976-QINUと、
分割UNIQ679c1f931a2a71d2-MathJax-977-QINU の分点の集合UNIQ679c1f931a2a71d2-MathJax-978-QINUの
和集合UNIQ679c1f931a2a71d2-MathJax-979-QINUを分点とする分割をUNIQ679c1f931a2a71d2-MathJax-980-QINUと書く。
すると新しい分割は
UNIQ679c1f931a2a71d2-MathJax-981-QINU と
UNIQ679c1f931a2a71d2-MathJax-982-QINU
を満たす。
これを用いると、
不足リーマン和の上限UNIQ679c1f931a2a71d2-MathJax-983-QINUと
過剰リーマン和の下限UNIQ679c1f931a2a71d2-MathJax-984-QINUが存在することが証明できる。
補題５
UNIQ679c1f931a2a71d2-MathJax-985-QINUを区間UNIQ679c1f931a2a71d2-MathJax-986-QINUで定義され実数値をとる有界関数
すなわち、UNIQ679c1f931a2a71d2-MathJax-987-QINUがUNIQ679c1f931a2a71d2-MathJax-988-QINUの有界部分集合となる関数とする。
UNIQ679c1f931a2a71d2-MathJax-989-QINUの分割を全て集めて作った集合をUNIQ679c1f931a2a71d2-MathJax-990-QINUと書く。
すると、
ⅰ）任意のUNIQ679c1f931a2a71d2-MathJax-991-QINUに対して、
UNIQ679c1f931a2a71d2-MathJax-992-QINU
ⅱ）集合UNIQ679c1f931a2a71d2-MathJax-993-QINUは上に有界、
集合UNIQ679c1f931a2a71d2-MathJax-994-QINUは下に有界
ⅲ）UNIQ679c1f931a2a71d2-MathJax-995-QINUと
UNIQ679c1f931a2a71d2-MathJax-996-QINUは存在し、
UNIQ679c1f931a2a71d2-MathJax-997-QINU
証明；
ⅰ）UNIQ679c1f931a2a71d2-MathJax-998-QINU なので、補題２から、
UNIQ679c1f931a2a71d2-MathJax-999-QINU
ⅱ）１）で証明した不等式で、分割UNIQ679c1f931a2a71d2-MathJax-1000-QINU は固定する。
すると全ての分割 UNIQ679c1f931a2a71d2-MathJax-1001-QINUに対して、UNIQ679c1f931a2a71d2-MathJax-1002-QINUなので
集合UNIQ679c1f931a2a71d2-MathJax-1003-QINUは、上界UNIQ679c1f931a2a71d2-MathJax-1004-QINUを持ち、上に有界である。
後者も同様にして下に有界であることが示せる。
ⅲ）従って、実数の連続性の公理から、
集合UNIQ679c1f931a2a71d2-MathJax-1005-QINUは上限UNIQ679c1f931a2a71d2-MathJax-1006-QINUをもち、
集合UNIQ679c1f931a2a71d2-MathJax-1007-QINUは下限UNIQ679c1f931a2a71d2-MathJax-1008-QINUをもつ。
上限は、上界の中の最小値なので、
UNIQ679c1f931a2a71d2-MathJax-1009-QINU
この式は任意のUNIQ679c1f931a2a71d2-MathJax-1010-QINUについて成立するので、
UNIQ679c1f931a2a71d2-MathJax-1011-QINUは、集合UNIQ679c1f931a2a71d2-MathJax-1012-QINUの下界である。
下限UNIQ679c1f931a2a71d2-MathJax-1013-QINUは、下界のなかの最大値なのでUNIQ679c1f931a2a71d2-MathJax-1014-QINUを得る。
分割を細かくしていくときの不足リーマン和と、過剰リーマン和の極限
定理（ダルブー；Darboux）
UNIQ679c1f931a2a71d2-MathJax-1015-QINU
UNIQ679c1f931a2a71d2-MathJax-1016-QINUを、UNIQ679c1f931a2a71d2-MathJax-1017-QINUで定義され、実数に値を取る有界関数とする。
このとき、
ⅰ）UNIQ679c1f931a2a71d2-MathJax-1018-QINU
ⅱ）UNIQ679c1f931a2a71d2-MathJax-1019-QINU
証明；
ⅰ）を示す。（ ⅱ）は同じようにして証明できるので略す）
これを示すには、
どんなに小さい正の実数UNIQ679c1f931a2a71d2-MathJax-1020-QINUに対しても、それに応じた小さい正の実数UNIQ679c1f931a2a71d2-MathJax-1021-QINUを適切に選べば、
分割の大きさがUNIQ679c1f931a2a71d2-MathJax-1022-QINUより小さい、どんな分割UNIQ679c1f931a2a71d2-MathJax-1023-QINUも、
UNIQ679c1f931a2a71d2-MathJax-1024-QINU
であることを示せばよい。
以下に、数段階に分けて、これを証明する。
UNIQ679c1f931a2a71d2-MathJax-1025-QINU上限の命題(補題３)から、
ある分割
UNIQ679c1f931a2a71d2-MathJax-1026-QINU
が存在して、
UNIQ679c1f931a2a71d2-MathJax-1027-QINU
今後このUNIQ679c1f931a2a71d2-MathJax-1028-QINUを使って、証明を進める。
UNIQ679c1f931a2a71d2-MathJax-1029-QINU
分割UNIQ679c1f931a2a71d2-MathJax-1030-QINUの小区間UNIQ679c1f931a2a71d2-MathJax-1031-QINUの長さUNIQ679c1f931a2a71d2-MathJax-1032-QINUの
最小値をUNIQ679c1f931a2a71d2-MathJax-1033-QINUとおくと
UNIQ679c1f931a2a71d2-MathJax-1034-QINU
UNIQ679c1f931a2a71d2-MathJax-1035-QINUに比べて非常に小さい大きさを持つ分割、
UNIQ679c1f931a2a71d2-MathJax-1036-QINU、
UNIQ679c1f931a2a71d2-MathJax-1037-QINU
を考える。
もし、UNIQ679c1f931a2a71d2-MathJax-1038-QINUならば補題２より、
UNIQ679c1f931a2a71d2-MathJax-1039-QINU、
するとUNIQ679c1f931a2a71d2-MathJax-1040-QINU
通常、分割UNIQ679c1f931a2a71d2-MathJax-1041-QINUは、UNIQ679c1f931a2a71d2-MathJax-1042-QINUの細分になっていない。
この場合は、高々(n-1)個のUNIQ679c1f931a2a71d2-MathJax-1043-QINUの小区間が、UNIQ679c1f931a2a71d2-MathJax-1044-QINUの小区間には含まれず、
UNIQ679c1f931a2a71d2-MathJax-1045-QINUの分点UNIQ679c1f931a2a71d2-MathJax-1046-QINUをまたぐことになる。図参照のこと。
議論を簡単にするため、
UNIQ679c1f931a2a71d2-MathJax-1047-QINUの分点UNIQ679c1f931a2a71d2-MathJax-1048-QINUが全て、UNIQ679c1f931a2a71d2-MathJax-1049-QINUの小区間によって跨がれている
と仮定し、議論を進める。
他のケースでも、証明はおなじようにできるので、
このように仮定しても何の問題も起こらない。
UNIQ679c1f931a2a71d2-MathJax-1050-QINUの分点UNIQ679c1f931a2a71d2-MathJax-1051-QINUを跨ぐUNIQ679c1f931a2a71d2-MathJax-1052-QINUの小区間をUNIQ679c1f931a2a71d2-MathJax-1053-QINUとする(i=1,2,,,n-1)。
UNIQ679c1f931a2a71d2-MathJax-1054-QINU
２つの分割UNIQ679c1f931a2a71d2-MathJax-1055-QINUからUNIQ679c1f931a2a71d2-MathJax-1056-QINUを作る。
すると
UNIQ679c1f931a2a71d2-MathJax-1057-QINU
UNIQ679c1f931a2a71d2-MathJax-1058-QINU
UNIQ679c1f931a2a71d2-MathJax-1059-QINU
UNIQ679c1f931a2a71d2-MathJax-1060-QINU
UNIQ679c1f931a2a71d2-MathJax-1061-QINU
UNIQ679c1f931a2a71d2-MathJax-1062-QINU
UNIQ679c1f931a2a71d2-MathJax-1063-QINU
と書ける。
UNIQ679c1f931a2a71d2-MathJax-1064-QINUで、 UNIQ679c1f931a2a71d2-MathJax-1065-QINU なので、
UNIQ679c1f931a2a71d2-MathJax-1066-QINU, UNIQ679c1f931a2a71d2-MathJax-1067-QINU
後者の式から、
UNIQ679c1f931a2a71d2-MathJax-1068-QINU
この式と(1)式から、
UNIQ679c1f931a2a71d2-MathJax-1069-QINU
そこで、
「UNIQ679c1f931a2a71d2-MathJax-1070-QINUならば、UNIQ679c1f931a2a71d2-MathJax-1071-QINU
が示せれば、
UNIQ679c1f931a2a71d2-MathJax-1072-QINU
UNIQ679c1f931a2a71d2-MathJax-1073-QINU
が示され、証明が終わる。
UNIQ679c1f931a2a71d2-MathJax-1074-QINU
UNIQ679c1f931a2a71d2-MathJax-1075-QINU
であり、
（２）式から、
UNIQ679c1f931a2a71d2-MathJax-1076-QINU
UNIQ679c1f931a2a71d2-MathJax-1077-QINU
UNIQ679c1f931a2a71d2-MathJax-1078-QINU
UNIQ679c1f931a2a71d2-MathJax-1079-QINU
なので、
UNIQ679c1f931a2a71d2-MathJax-1080-QINU
UNIQ679c1f931a2a71d2-MathJax-1081-QINU
UNIQ679c1f931a2a71d2-MathJax-1082-QINU
UNIQ679c1f931a2a71d2-MathJax-1083-QINU
関数はUNIQ679c1f931a2a71d2-MathJax-1084-QINU上で有界なので、適切に正の実数UNIQ679c1f931a2a71d2-MathJax-1085-QINUを選ぶと、UNIQ679c1f931a2a71d2-MathJax-1086-QINUがUNIQ679c1f931a2a71d2-MathJax-1087-QINUの要素ならば
UNIQ679c1f931a2a71d2-MathJax-1088-QINUが成立する。
するとUNIQ679c1f931a2a71d2-MathJax-1089-QINU
が成り立つ。また
UNIQ679c1f931a2a71d2-MathJax-1090-QINUで、
UNIQ679c1f931a2a71d2-MathJax-1091-QINU
なので
UNIQ679c1f931a2a71d2-MathJax-1092-QINU
そこで、
UNIQ679c1f931a2a71d2-MathJax-1093-QINU
と選べば、
UNIQ679c1f931a2a71d2-MathJax-1094-QINUをみたすどのような分割UNIQ679c1f931a2a71d2-MathJax-1095-QINUも、
UNIQ679c1f931a2a71d2-MathJax-1096-QINU
を満たすことが証明できた。証明終わり。
可積分条件
定理；可積分条件
UNIQ679c1f931a2a71d2-MathJax-1097-QINU
UNIQ679c1f931a2a71d2-MathJax-1098-QINUを、UNIQ679c1f931a2a71d2-MathJax-1099-QINUで定義され、実数に値を取る有界関数とする。
次の条件のうち1つが成立すれば、残り2つは成立する(互いに同値という）。
ⅰ）UNIQ679c1f931a2a71d2-MathJax-1100-QINUはUNIQ679c1f931a2a71d2-MathJax-1101-QINU上で（リーマン）可積分
ⅱ）UNIQ679c1f931a2a71d2-MathJax-1102-QINU
ⅲ）UNIQ679c1f931a2a71d2-MathJax-1103-QINU
証明
ⅰ）を仮定する。ⅱ）が成立することを示そう。
UNIQ679c1f931a2a71d2-MathJax-1104-QINUの積分値をUNIQ679c1f931a2a71d2-MathJax-1105-QINUとおくと、可積分の定義から、
任意のUNIQ679c1f931a2a71d2-MathJax-1106-QINUに対して、UNIQ679c1f931a2a71d2-MathJax-1107-QINUが存在して、
UNIQ679c1f931a2a71d2-MathJax-1108-QINUである任意の分割と、その分割の任意の代表点UNIQ679c1f931a2a71d2-MathJax-1109-QINUに対し,
UNIQ679c1f931a2a71d2-MathJax-1110-QINU
が成立する。
変形すると
UNIQ679c1f931a2a71d2-MathJax-1111-QINU
ここで、補題１のⅱ）から、
UNIQ679c1f931a2a71d2-MathJax-1112-QINU
UNIQ679c1f931a2a71d2-MathJax-1113-QINU
なので、
(1)式から、
UNIQ679c1f931a2a71d2-MathJax-1114-QINU
これより、任意のUNIQ679c1f931a2a71d2-MathJax-1115-QINUに対して、UNIQ679c1f931a2a71d2-MathJax-1116-QINUが存在して、
UNIQ679c1f931a2a71d2-MathJax-1117-QINU
ⅱ）が示せた。
ⅱ）を仮定する。 ⅲ）が成り立つことを示す。
UNIQ679c1f931a2a71d2-MathJax-1118-QINU
なので、
UNIQ679c1f931a2a71d2-MathJax-1119-QINU
故に、分割を細かくしていき、極限をとると、
UNIQ679c1f931a2a71d2-MathJax-1120-QINU
ⅱ）が成立するので、
UNIQ679c1f931a2a71d2-MathJax-1121-QINU
ⅲ)が示せた。
ⅲ）を仮定する。 UNIQ679c1f931a2a71d2-MathJax-1122-QINUとおく。
ⅰ）が成り立つことを示そう。
補題１のⅰ)から、どのような分割UNIQ679c1f931a2a71d2-MathJax-1123-QINUと、その代表点UNIQ679c1f931a2a71d2-MathJax-1124-QINUに対しても
UNIQ679c1f931a2a71d2-MathJax-1125-QINU
ここで、ダルブーの定理から、
UNIQ679c1f931a2a71d2-MathJax-1126-QINU,
UNIQ679c1f931a2a71d2-MathJax-1127-QINU
が成り立つので、
UNIQ679c1f931a2a71d2-MathJax-1128-QINU
が成り立つ。
ⅰ）が示せた。
区分的に連続(有限個の点を除いて連続)な閉区間上の関数は積分可能
色々な関数のグラフを書くとつながっているところを、跳んでいるところが出来る。
UNIQ679c1f931a2a71d2-MathJax-1129-QINUのグラフはずっとつながっている。
関数UNIQ679c1f931a2a71d2-MathJax-1130-QINUを、
UNIQ679c1f931a2a71d2-MathJax-1131-QINUのとき UNIQ679c1f931a2a71d2-MathJax-1132-QINU, UNIQ679c1f931a2a71d2-MathJax-1133-QINUのとき UNIQ679c1f931a2a71d2-MathJax-1134-QINU
で定義すると、
UNIQ679c1f931a2a71d2-MathJax-1135-QINUのところでそのグラフは跳んでいる。
連続や不連続は関数の非常に重要な性質であり、
それを調べることはとても豊かな知識をもたらす。
定理
有界閉区間上UNIQ679c1f931a2a71d2-MathJax-1136-QINUで定義され、実数に値を取る連続関数UNIQ679c1f931a2a71d2-MathJax-1137-QINUは、V上で可積分である。
略証；
有界閉区間上の連続関数は一様連続なので、
任意のUNIQ679c1f931a2a71d2-MathJax-1138-QINUに対して、UNIQ679c1f931a2a71d2-MathJax-1139-QINUが存在して、
UNIQ679c1f931a2a71d2-MathJax-1140-QINUを満たすUNIQ679c1f931a2a71d2-MathJax-1141-QINUの任意の２点に対して、
UNIQ679c1f931a2a71d2-MathJax-1142-QINU
が成立する。
UNIQ679c1f931a2a71d2-MathJax-1143-QINUの分割UNIQ679c1f931a2a71d2-MathJax-1144-QINUを細かくして、
UNIQ679c1f931a2a71d2-MathJax-1145-QINU
を満たすようにする。
すると、その分割によって得られた小区間UNIQ679c1f931a2a71d2-MathJax-1146-QINUの長さは、
全てUNIQ679c1f931a2a71d2-MathJax-1147-QINUより小さくなるので、
UNIQ679c1f931a2a71d2-MathJax-1148-QINU
UNIQ679c1f931a2a71d2-MathJax-1149-QINUの定義から
UNIQ679c1f931a2a71d2-MathJax-1150-QINU
これを用いると、
UNIQ679c1f931a2a71d2-MathJax-1151-QINU
UNIQ679c1f931a2a71d2-MathJax-1152-QINU
故に、
任意のUNIQ679c1f931a2a71d2-MathJax-1153-QINUに対して、UNIQ679c1f931a2a71d2-MathJax-1154-QINUが存在して、
UNIQ679c1f931a2a71d2-MathJax-1155-QINUを満たす任意の分割UNIQ679c1f931a2a71d2-MathJax-1156-QINUにたいして、
UNIQ679c1f931a2a71d2-MathJax-1157-QINUが示せた。
UNIQ679c1f931a2a71d2-MathJax-1158-QINU
なので
UNIQ679c1f931a2a71d2-MathJax-1159-QINU
が任意のUNIQ679c1f931a2a71d2-MathJax-1160-QINUにたいして成立する。故に
UNIQ679c1f931a2a71d2-MathJax-1161-QINU
可積分条件のⅲ)が示せた。証明終わり。
定理の系；有界閉区間上で定義され、区分的に連続な(有限個の不連続点をもつ)実数値関数UNIQ679c1f931a2a71d2-MathJax-1162-QINUは積分可能である。
証明は容易なので略す。
ベクトル値関数の場合
ベクトル値関数UNIQ679c1f931a2a71d2-MathJax-1163-QINUの場合も、リーマン和とリーマン可積分の定義は実数値関数の場合と変わらない。
可積分条件については、
座標系をいれ、関数の各座標成分UNIQ679c1f931a2a71d2-MathJax-1164-QINUを考える。ここで、UNIQ679c1f931a2a71d2-MathJax-1165-QINUである。他も同様。
すると区分的連続なベクトル値関数の各成分は区分的連続なので積分可能となり、
UNIQ679c1f931a2a71d2-MathJax-1166-QINUの積分可能性が示せる。
リーマン積分の性質
命題１ 線形性
命題２ 積分の単調性
命題３ 平均値定理
命題４ 三角不等式
命題５ 積分区間に関する加法性
リーマン積分の計算法
原始関数を用いるリーマン積分の計算
一変数関数の変数変換
積分計算を便利にする記号法
部分積分法
未完
不定積分の計算法
未完
