物理/解析入門（１）実数の性質、連続関数、導関数と微分
提供: Internet Web School
目次 |
8.2 解析入門（１）実数の性質、連続関数、微分と導関数
序
一変数関数の解析学を紹介する。
解析学は実数の連続性と極限の概念を用いる無限算法（微分、積分）を扱う
数学の基幹分野の一つである。
高校でならう解析学の概略だけを知りたい方は、以下の教科書で学習してください。
（１）関数や方程式の知識
UNIQ4ff13b09454923db-MathJax-352-QINU物理学では、指数関数をはじめ色々な関数をよく使う。
UNIQ4ff13b09454923db-MathJax-353-QINUこれについては下記の本に要約が説明されている。
指数関数や対数関数の上記の本の解説は不十分なので、
興味ある方は、本テキストの
をご覧ください。
（２）ネイピア数 e の理解に必要な数学
微分や積分で重要な役割を演じる実数にネイピア数eがある。
本テキストでも頻繁に登場する。
この数は、UNIQ4ff13b09454923db-MathJax-354-QINU で定義される。
この極限が存在し、２と３の間の数になることを証明するには、２項定理が必要になる。
これについては
問題１
UNIQ4ff13b09454923db-MathJax-355-QINU は、いくつか？
（３）微分・積分
物理の学習には微分と積分が必須である。
関数の微分は、極限を利用して定義される。
極限がよくわからない場合には、高等学校数学III/極限（ウィキブックス）を概略理解してから、
高等学校数学II 微分・積分の考え（ウィキブックス）に進むと良いだろう。
問題２
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
（３）大学教養課程程度の解析学の基礎
この節は、解析学の基礎（実数の連続性とリーマン積分）について、さらに知りたい方のために書かれている。
厳密さをかなり重視し、程度は大学専門課程の入り口に相当する。
多変数関数の解析学については次章の「9章 物理数学２」で紹介する。
実数の連続性と極限
実数の連続性は、様々な極限の存在に根拠を与えるもので、
実数の持つ最も重要な性質といってもよい。
上界、下界と有界集合
UNIQ4ff13b09454923db-MathJax-356-QINUを、全ての実数を要素とする集合とし、
UNIQ4ff13b09454923db-MathJax-357-QINUをその部分集合(A \subset R)とする。
実数UNIQ4ff13b09454923db-MathJax-358-QINUがUNIQ4ff13b09454923db-MathJax-359-QINUの上界(upper bound)とは、
任意のUNIQ4ff13b09454923db-MathJax-360-QINUに対して、UNIQ4ff13b09454923db-MathJax-361-QINUがなりたつことUNIQ4ff13b09454923db-MathJax-362-QINU。
実数UNIQ4ff13b09454923db-MathJax-363-QINUがUNIQ4ff13b09454923db-MathJax-364-QINUの下界(lower bound)とは、
任意のUNIQ4ff13b09454923db-MathJax-365-QINUに対して、UNIQ4ff13b09454923db-MathJax-366-QINUがなりたつこと。
UNIQ4ff13b09454923db-MathJax-367-QINUをUNIQ4ff13b09454923db-MathJax-368-QINUの上界をすべて集めた集合UNIQ4ff13b09454923db-MathJax-369-QINU、
UNIQ4ff13b09454923db-MathJax-370-QINUをUNIQ4ff13b09454923db-MathJax-371-QINUの下界をすべて集めた集合とする。
UNIQ4ff13b09454923db-MathJax-372-QINUが空集合UNIQ4ff13b09454923db-MathJax-373-QINUでない（すなわち、UNIQ4ff13b09454923db-MathJax-374-QINUの上界が少なくとも一つ存在する）とき、
UNIQ4ff13b09454923db-MathJax-375-QINUは上に有界であるといい、
UNIQ4ff13b09454923db-MathJax-376-QINUの時、UNIQ4ff13b09454923db-MathJax-377-QINUは下に有界であるという。
上に有界で、下にも有界な集合(UNIQ4ff13b09454923db-MathJax-378-QINUは、有界という。
実数の連続の公理と上限、下限
UNIQ4ff13b09454923db-MathJax-379-QINUとする。
実数の連続性の公理
もし、UNIQ4ff13b09454923db-MathJax-380-QINUならば、UNIQ4ff13b09454923db-MathJax-381-QINUは、最小元を持つ。
もし、UNIQ4ff13b09454923db-MathJax-382-QINUならば、UNIQ4ff13b09454923db-MathJax-383-QINUは、最大元を持つ。
上限と下限の定義
UNIQ4ff13b09454923db-MathJax-384-QINUの最小元をUNIQ4ff13b09454923db-MathJax-385-QINUの上限(supremum)あるいは最小上界(least upper bound)という。
また、UNIQ4ff13b09454923db-MathJax-386-QINUの最大元をUNIQ4ff13b09454923db-MathJax-387-QINUの下限(infimum)あるいは最大下界(greatest lower bound)という。
命題１
UNIQ4ff13b09454923db-MathJax-388-QINUがUNIQ4ff13b09454923db-MathJax-389-QINU の上限となるための必要十分条件は、
ⅰ）UNIQ4ff13b09454923db-MathJax-390-QINUはUNIQ4ff13b09454923db-MathJax-391-QINUの上界。すなわち任意のUNIQ4ff13b09454923db-MathJax-392-QINUにたいしてUNIQ4ff13b09454923db-MathJax-393-QINU
ⅱ）UNIQ4ff13b09454923db-MathJax-394-QINUである任意のUNIQ4ff13b09454923db-MathJax-395-QINUはUNIQ4ff13b09454923db-MathJax-396-QINUの上界ではない。すなわち、UNIQ4ff13b09454923db-MathJax-397-QINUとなるUNIQ4ff13b09454923db-MathJax-398-QINUが存在
である。
同様に、UNIQ4ff13b09454923db-MathJax-399-QINUがUNIQ4ff13b09454923db-MathJax-400-QINU の下限となるための必要十分条件は、
ⅰ）UNIQ4ff13b09454923db-MathJax-401-QINUはUNIQ4ff13b09454923db-MathJax-402-QINUの下界。すなわち任意のUNIQ4ff13b09454923db-MathJax-403-QINUにたいしてUNIQ4ff13b09454923db-MathJax-404-QINU
ⅱ）UNIQ4ff13b09454923db-MathJax-405-QINUである任意のUNIQ4ff13b09454923db-MathJax-406-QINUはUNIQ4ff13b09454923db-MathJax-407-QINUの下界ではない。すなわち、UNIQ4ff13b09454923db-MathJax-408-QINUとなるUNIQ4ff13b09454923db-MathJax-409-QINUが存在
である。
UNIQ4ff13b09454923db-MathJax-410-QINU の上限をUNIQ4ff13b09454923db-MathJax-411-QINU、下限をUNIQ4ff13b09454923db-MathJax-412-QINUと書く。
さらに、
UNIQ4ff13b09454923db-MathJax-413-QINUが最大値を持つ場合には、Ａの上限はＡの最大値と一致し、
UNIQ4ff13b09454923db-MathJax-414-QINUが最小値を持つ場合には、Ａの下限はＡの最小値と一致する。
証明は、上限、下限の定義から、明らかなので省略する。
例；UNIQ4ff13b09454923db-MathJax-415-QINUのとき、UNIQ4ff13b09454923db-MathJax-416-QINU,UNIQ4ff13b09454923db-MathJax-417-QINU。
これらは、ともにUNIQ4ff13b09454923db-MathJax-418-QINUの要素でないので、
上限１はUNIQ4ff13b09454923db-MathJax-419-QINUの最大元(最大値)ではなく、下限０はUNIQ4ff13b09454923db-MathJax-420-QINUの最小元(最小値)ではない。
UNIQ4ff13b09454923db-MathJax-421-QINUのとき、UNIQ4ff13b09454923db-MathJax-422-QINU,UNIQ4ff13b09454923db-MathJax-423-QINU。
これらは、ともにUNIQ4ff13b09454923db-MathJax-424-QINUの要素なので、
上限は最大限であり、下限は最小限となる。
命題２
UNIQ4ff13b09454923db-MathJax-425-QINUで、UNIQ4ff13b09454923db-MathJax-426-QINUは有界集合とする。
このとき、UNIQ4ff13b09454923db-MathJax-427-QINU
証明は容易である。
実数列の極限
実数列UNIQ4ff13b09454923db-MathJax-428-QINUとは、
ｘが、自然数全体のなす集合Ｎから実数全体の作る集合Ｒへの写像であることと定義する。
論理記号で書けば、UNIQ4ff13b09454923db-MathJax-429-QINU
定理1；
１） 単調増加で上に有界な数列UNIQ4ff13b09454923db-MathJax-430-QINU(注参照）は収束する（極限値を持つ）。
２）単調減少で下に有界な数列は収束する。
（注）数理論理学における論理の数学的モデルの一つであり、命題論理を拡張した一階述語論理で表現すると、
UNIQ4ff13b09454923db-MathJax-431-QINU
証明
１）だけ示す。
UNIQ4ff13b09454923db-MathJax-432-QINUとおくと、仮定からＡは上に有界な集合なので、
実数の連続性から上限（最小上界）UNIQ4ff13b09454923db-MathJax-433-QINU を持つ。
この UNIQ4ff13b09454923db-MathJax-434-QINU が数列ｘの極限であることを示そう。
任意の小さい正数 UNIQ4ff13b09454923db-MathJax-435-QINU をとると、UNIQ4ff13b09454923db-MathJax-436-QINU は集合Ａの上界ではなくなるので
UNIQ4ff13b09454923db-MathJax-437-QINU
数列は単調増加なので、UNIQ4ff13b09454923db-MathJax-438-QINU
他方、UNIQ4ff13b09454923db-MathJax-439-QINU は数列ｘの上界なので、
UNIQ4ff13b09454923db-MathJax-440-QINU
式（１）と（２）から、
どんなに小さな正数 UNIQ4ff13b09454923db-MathJax-441-QINU をとってもある自然数ｍが定まり、
それより大きな自然数ｎ に対して、UNIQ4ff13b09454923db-MathJax-442-QINU が示せた。
収束の定義から、数列ｘがUNIQ4ff13b09454923db-MathJax-443-QINUに収束することが示せた。
２）の証明も同様である。
数列UNIQ4ff13b09454923db-MathJax-444-QINU の項の中から番号の小さい順に次々と無限個を取り出すことにより、
新しい数列が得られる。
このようにして作られる新しい数列を、元の数列の部分列という。
定義１ 部分列
自然数の集合ＮからＮの中への狭義の単調増加関数 UNIQ4ff13b09454923db-MathJax-445-QINU を用いて(注参照）
数列 UNIQ4ff13b09454923db-MathJax-446-QINU からつくる数列 UNIQ4ff13b09454923db-MathJax-447-QINU を、数列 UNIQ4ff13b09454923db-MathJax-448-QINU の部分列という。
（注）UNIQ4ff13b09454923db-MathJax-449-QINU が狭義単調増加とは、任意の自然数kと、それより大きい全ての自然数lに対してUNIQ4ff13b09454923db-MathJax-450-QINU
定理２
有界な数列 UNIQ4ff13b09454923db-MathJax-451-QINU は、収束する部分列をもつ。
証明
数列が有界なので、２つの実数l,uが存在して、全ての自然数ｎに対し、
UNIQ4ff13b09454923db-MathJax-452-QINU
閉区間UNIQ4ff13b09454923db-MathJax-453-QINU の中に、数列の無限個の項が含まれているので、
この区間を２等分した区間のいずれかには、数列の無限個の項が含まれる。
その区間を UNIQ4ff13b09454923db-MathJax-454-QINU と書く。(注参照）
すると この区間は UNIQ4ff13b09454923db-MathJax-455-QINU,長さは UNIQ4ff13b09454923db-MathJax-456-QINU
この区間 UNIQ4ff13b09454923db-MathJax-457-QINU を２等分しても、いずれかの部分区間は、数列の無限の項を含む。
そこでその部分区間を UNIQ4ff13b09454923db-MathJax-458-QINU とする。 UNIQ4ff13b09454923db-MathJax-459-QINU、UNIQ4ff13b09454923db-MathJax-460-QINU
これを続けると閉区間の縮小列 UNIQ4ff13b09454923db-MathJax-461-QINU を得る（n=1,2,3,4,,,,)。
すると、
数列 UNIQ4ff13b09454923db-MathJax-462-QINU は単調増加で有界な数列、
数列 UNIQ4ff13b09454923db-MathJax-463-QINU は単調減少で有界な数列、
定理１から、どちらの数列も収束する。
しかも、UNIQ4ff13b09454923db-MathJax-464-QINU なので
それぞれの極限を UNIQ4ff13b09454923db-MathJax-465-QINU ,UNIQ4ff13b09454923db-MathJax-466-QINU とかくと、UNIQ4ff13b09454923db-MathJax-467-QINU
この点を UNIQ4ff13b09454923db-MathJax-468-QINU とかく。
・最後に、UNIQ4ff13b09454923db-MathJax-469-QINU に収束する、UNIQ4ff13b09454923db-MathJax-470-QINU の部分列を選び出そう。
部分区間UNIQ4ff13b09454923db-MathJax-471-QINU の中には数列UNIQ4ff13b09454923db-MathJax-472-QINUの無限の項があるので、その中で最小の項順UNIQ4ff13b09454923db-MathJax-473-QINUを選び、部分列の初項UNIQ4ff13b09454923db-MathJax-474-QINU に選ぶ。
UNIQ4ff13b09454923db-MathJax-475-QINU にはUNIQ4ff13b09454923db-MathJax-476-QINUのなかの数列UNIQ4ff13b09454923db-MathJax-477-QINUの項が無限に含まれるので、
その中で、項順ｍが UNIQ4ff13b09454923db-MathJax-478-QINU を満たすものも無限にある。
その中で最小の項順のものを選び、第２項 UNIQ4ff13b09454923db-MathJax-479-QINU とする。
すると、UNIQ4ff13b09454923db-MathJax-480-QINU
これを繰り返すと任意の自然数iに対して
UNIQ4ff13b09454923db-MathJax-481-QINU であって、UNIQ4ff13b09454923db-MathJax-482-QINU である,
数列UNIQ4ff13b09454923db-MathJax-483-QINUを得る。
この数列が元の数列の部分列であり、UNIQ4ff13b09454923db-MathJax-484-QINU
であることは明らかである。
（注）２つの部分区間のどちらも無限個の項を含むときは、どちらの部分区間を採用してもよい。
数列が収束するための条件を求めるためには、コーシー列という概念が必要になる。
定義
実数列UNIQ4ff13b09454923db-MathJax-485-QINUがコーシー列(または基本列)とは
任意のUNIQ4ff13b09454923db-MathJax-486-QINU に対して、UNIQ4ff13b09454923db-MathJax-487-QINU が存在して、
UNIQ4ff13b09454923db-MathJax-488-QINU ならば UNIQ4ff13b09454923db-MathJax-489-QINU となること。
定理3
（１）実数列 UNIQ4ff13b09454923db-MathJax-490-QINU がコーシー列ならば、収束する。
（２）逆に、UNIQ4ff13b09454923db-MathJax-491-QINU が収束するならば、コーシー列である。
証明
（１）を証明する。
ⅰ）UNIQ4ff13b09454923db-MathJax-492-QINU がコーシー列ならば、有界である。
∵ コーシー列なので、UNIQ4ff13b09454923db-MathJax-493-QINU のとき、UNIQ4ff13b09454923db-MathJax-494-QINU が存在して、
UNIQ4ff13b09454923db-MathJax-495-QINU ならば UNIQ4ff13b09454923db-MathJax-496-QINU
故に、この数列の全ての項は、
UNIQ4ff13b09454923db-MathJax-497-QINUとUNIQ4ff13b09454923db-MathJax-498-QINU の間にある。
ⅱ）UNIQ4ff13b09454923db-MathJax-499-QINU がコーシー列ならば、収束する。
∵
数列がコーシー列なので,
任意の正数 UNIQ4ff13b09454923db-MathJax-500-QINU に対して、ある自然数 UNIQ4ff13b09454923db-MathJax-501-QINU が存在して、
UNIQ4ff13b09454923db-MathJax-502-QINU ならば、UNIQ4ff13b09454923db-MathJax-503-QINU
また、コーシー列は有界なので、定理２から、収束する部分列 UNIQ4ff13b09454923db-MathJax-504-QINU を持つ。
この極限値を UNIQ4ff13b09454923db-MathJax-505-QINU とおくと、
UNIQ4ff13b09454923db-MathJax-506-QINU を満たす或る番号 UNIQ4ff13b09454923db-MathJax-507-QINU が定まって、UNIQ4ff13b09454923db-MathJax-508-QINU なる任意のｋに対して
UNIQ4ff13b09454923db-MathJax-509-QINU
すると任意の UNIQ4ff13b09454923db-MathJax-510-QINU に対して、
UNIQ4ff13b09454923db-MathJax-511-QINU
故に、元の数列は UNIQ4ff13b09454923db-MathJax-512-QINU に収束する。
（２）の証明は簡単なので、略す。
証明終わり。
収束に関連するさらなる情報は下記を参照のこと。
定理の応用；ネイピア数 e
次の命題は、高等学校数学III/微分法（ウィキブックス）では証明せず利用しているものである。
命題
数列 UNIQ4ff13b09454923db-MathJax-513-QINU は、
2より大きく3より小さい実数 e に収束する。
UNIQ4ff13b09454923db-MathJax-514-QINU
この e をネイピア数と呼ぶ。
練習問題
上の命題を証明してください。
ヒント；
UNIQ4ff13b09454923db-MathJax-515-QINU を2項展開して、ｎとともに単調に増大すること、
常に2と3の間の実数であることを示せばよい。
解答は、8.3 8章の付録の 問の解答
関数とその連続性
関数の定義
ある範囲内の任意の数値をとりえる文字を変数という。
２つの変数ｘ、ｙがあって、ｘの値を定めれば、ある規則により、ｙの値が決まるようになっているとき、
ｙはｘの関数といい、
ｘにより決まるｙの値を、 関数記号 f,g などを用いて、y=f(x) ,y=g(x) などと書く。
変数ｘは独立変数、ｙは従属変数という。
実は、或るものに何かを対応させるという操作は社会に満ち溢れてる。
人々に名前を付ける、あるスーパーで売っている各食品に１００ｇ当たりの価格やカロリー量を対応させて表示する等。
そこで広くこうした場合にも対応できるように、上記の関数の概念を拡張する。
定義
２つの非空の集合A、Bを考える。
集合Aの非空の部分集合 UNIQ4ff13b09454923db-MathJax-516-QINU の各要素に対して、
集合 B の一つの要素を定める規則を関数という。
この規則により UNIQ4ff13b09454923db-MathJax-517-QINU の任意の要素 a に対応するBの要素bを、
この規則を表す関数記号(例えば）ｆを用いて、b=f(a) と表す（注１参照のこと）。
UNIQ4ff13b09454923db-MathJax-518-QINU を関数ｆの定義域、Bを関数ｆの値域（注２参照）という。
スーパーの例では、そのスーパーで扱っている商品の種類の集合をAとし、
食品という商品の部分集合を UNIQ4ff13b09454923db-MathJax-519-QINU
各食品に１００ｇ当たりのエネルギーを対応させる規則を、
100ｇあたりのカロリー関数ｆ、
値域Bは自然数の集合（円）とすればよい。
（注１）この定義は若干不明瞭である。厳密には、
関数fは、直積集合 UNIQ4ff13b09454923db-MathJax-520-QINU の部分集合 ｆ であって、
任意の UNIQ4ff13b09454923db-MathJax-521-QINU に対して、唯一のB の要素 ｂ が存在して、UNIQ4ff13b09454923db-MathJax-522-QINU を満たすものと定義する。
この唯一のｂのことを、f(a) と書く。
（注２）本によっては 値域をBの部分集合 UNIQ4ff13b09454923db-MathJax-523-QINU で定義することもあるので注意が必要である。
開集合と閉集合
関数の連続性
(1) 定義域が全空間に等しい関数の連続性
定義域が、ｎ次元実空間 UNIQ4ff13b09454923db-MathJax-524-QINU に一致する関数を考える。
実数値関数 UNIQ4ff13b09454923db-MathJax-525-QINU がある点 UNIQ4ff13b09454923db-MathJax-526-QINUで連続であるとは、
UNIQ4ff13b09454923db-MathJax-527-QINUがUNIQ4ff13b09454923db-MathJax-528-QINU に限りなく近づくならば、UNIQ4ff13b09454923db-MathJax-529-QINU が UNIQ4ff13b09454923db-MathJax-530-QINU に限りなく近づく
ことを言う。
UNIQ4ff13b09454923db-MathJax-531-QINUと記す。
これはイプシロン-デルタ論法(ε-δ論法)を用いれば次のように定式化できる。
任意の（小さな）正の数 ε 与えられたとき、
（小さな）正の数 δ をうまくとってやれば、
UNIQ4ff13b09454923db-MathJax-532-QINU と δ 以内の距離にあるどんな UNIQ4ff13b09454923db-MathJax-533-QINU に対しても、
UNIQ4ff13b09454923db-MathJax-534-QINU と UNIQ4ff13b09454923db-MathJax-535-QINU の差が ε より小さくなる。
(２) 定義域Ｄが全空間UNIQ4ff13b09454923db-MathJax-536-QINU の真の部分集合である関数の連続性
定義
D を ｎ次元空間UNIQ4ff13b09454923db-MathJax-537-QINU の部分集合、
関数ｆを、定義域Ｄの実数値関数とする。
関数ｆが、点 UNIQ4ff13b09454923db-MathJax-538-QINU で連続とは
Ｄの中の点UNIQ4ff13b09454923db-MathJax-539-QINUがUNIQ4ff13b09454923db-MathJax-540-QINU に限りなく近づくならば、UNIQ4ff13b09454923db-MathJax-541-QINU が UNIQ4ff13b09454923db-MathJax-542-QINU に限りなく近づく
ことを言う（注参照）。
UNIQ4ff13b09454923db-MathJax-543-QINU と記す。
関数 UNIQ4ff13b09454923db-MathJax-544-QINU が連続であるとは、
UNIQ4ff13b09454923db-MathJax-545-QINU のすべての点で連続であることを言う。
（注）ε-δ論法を用いれば次のように述べることができる。
任意の正数εに対して、ある正数δが存在して、
UNIQ4ff13b09454923db-MathJax-546-QINU と δ 以内の距離にあるどんなＤの中の点UNIQ4ff13b09454923db-MathJax-547-QINU に対しても、
UNIQ4ff13b09454923db-MathJax-548-QINU と UNIQ4ff13b09454923db-MathJax-549-QINU の差が ε より小さくなる。
連続関数は多くの重要な性質を持つ。
その一つを紹介する。
命題
有界閉区間 UNIQ4ff13b09454923db-MathJax-550-QINU 上で連続な関数ｆは、この上で最大値と最小値をとる。
一変数の実数値関数とベクトル値関数の微分
このテキストを理解するための必要最小限のことを記述する。
以下の文献も必要に応じて参考にしてください。
一冊では不十分なので色々あげておく。
実数値関数の微分
実数の開区間UNIQ4ff13b09454923db-MathJax-551-QINU上で定義された実数値関数UNIQ4ff13b09454923db-MathJax-552-QINUを考える。
定義;微分可能性
関数UNIQ4ff13b09454923db-MathJax-553-QINUがUNIQ4ff13b09454923db-MathJax-554-QINUで微分可能であるとは、極限
UNIQ4ff13b09454923db-MathJax-555-QINU
が存在することである。
この時UNIQ4ff13b09454923db-MathJax-556-QINUをUNIQ4ff13b09454923db-MathJax-557-QINUのUNIQ4ff13b09454923db-MathJax-558-QINUにおける微分係数あるいは導値といい、
UNIQ4ff13b09454923db-MathJax-559-QINU
などと書く。
UNIQ4ff13b09454923db-MathJax-560-QINUの各点でUNIQ4ff13b09454923db-MathJax-561-QINUが微分可能であるとき、UNIQ4ff13b09454923db-MathJax-562-QINUは微分可能関数(あるいは
微分可能）という。
この時、任意のUNIQ4ff13b09454923db-MathJax-563-QINUに対して、UNIQ4ff13b09454923db-MathJax-564-QINUが定まるので、
関数UNIQ4ff13b09454923db-MathJax-565-QINUが定まる。これをUNIQ4ff13b09454923db-MathJax-566-QINUのUNIQ4ff13b09454923db-MathJax-567-QINU(derivative)という。
命題
関数 UNIQ4ff13b09454923db-MathJax-568-QINU が微分可能ならば、連続である。
微分係数の意味
(1)UNIQ4ff13b09454923db-MathJax-569-QINUは、区間UNIQ4ff13b09454923db-MathJax-570-QINUにおける関数値の平均変化率である。
その極限である微分係数UNIQ4ff13b09454923db-MathJax-571-QINUは、関数値のUNIQ4ff13b09454923db-MathJax-572-QINUにおける瞬間的な変化率と考えられる。
(2)2次元空間(平面のこと)に直交座標座標系UNIQ4ff13b09454923db-MathJax-573-QINUをいれ、
関数UNIQ4ff13b09454923db-MathJax-574-QINUのグラフUNIQ4ff13b09454923db-MathJax-575-QINUを書く。
すると、
UNIQ4ff13b09454923db-MathJax-576-QINUが存在することは、UNIQ4ff13b09454923db-MathJax-577-QINUにおいてグラフUNIQ4ff13b09454923db-MathJax-578-QINUが接線をもつことと同等であり、
接線の方程式は
UNIQ4ff13b09454923db-MathJax-579-QINUである。
これは、接線の定義からただちに分かる。
(3）UNIQ4ff13b09454923db-MathJax-580-QINUを零に近づけていったときの極限の意味をさらに深めるため
微分可能の定義を、それと同等の別の表現に変換しよう。
(1)式の右辺の定数を左辺に移行すると
UNIQ4ff13b09454923db-MathJax-581-QINU
次に、
UNIQ4ff13b09454923db-MathJax-582-QINU
という、変数ｈの関数を定義する。
すると関数UNIQ4ff13b09454923db-MathJax-583-QINUがUNIQ4ff13b09454923db-MathJax-584-QINUで微分可能で、微分係数がUNIQ4ff13b09454923db-MathJax-585-QINUである必要十分条件は
UNIQ4ff13b09454923db-MathJax-586-QINU
である。
(2)式を変形すると
UNIQ4ff13b09454923db-MathJax-587-QINU
ゆえに次の命題が証明できた。
命題；
次の4つの条件は同等である。
１）関数UNIQ4ff13b09454923db-MathJax-588-QINUはUNIQ4ff13b09454923db-MathJax-589-QINUで微分可能で、微分係数はUNIQ4ff13b09454923db-MathJax-590-QINUである
２）関数UNIQ4ff13b09454923db-MathJax-591-QINUは、
UNIQ4ff13b09454923db-MathJax-592-QINU
と表現できる。
ここで、UNIQ4ff13b09454923db-MathJax-593-QINUは
UNIQ4ff13b09454923db-MathJax-594-QINU
を満たす関数
３）関数UNIQ4ff13b09454923db-MathJax-595-QINUは、
UNIQ4ff13b09454923db-MathJax-596-QINU
と表現できる。
ここで、UNIQ4ff13b09454923db-MathJax-597-QINUは
UNIQ4ff13b09454923db-MathJax-598-QINU
を満たす関数。ランダウの記号では、UNIQ4ff13b09454923db-MathJax-599-QINU
３'） 関数UNIQ4ff13b09454923db-MathJax-600-QINUは、
UNIQ4ff13b09454923db-MathJax-601-QINUの近傍の点UNIQ4ff13b09454923db-MathJax-602-QINUで
UNIQ4ff13b09454923db-MathJax-603-QINU
ここで、UNIQ4ff13b09454923db-MathJax-604-QINUは
UNIQ4ff13b09454923db-MathJax-605-QINU
を満たす関数
証明
条件１）から条件２）はすでに説明した。
条件２）から条件３）は、UNIQ4ff13b09454923db-MathJax-606-QINU と置けば良い。
条件３）から条件１）は容易に導ける。
この定理の3）あるいは4)により、
「関数がUNIQ4ff13b09454923db-MathJax-607-QINUで微分可能であり、微分係数がｃであること」は、
「この関数がUNIQ4ff13b09454923db-MathJax-608-QINUの近傍の点UNIQ4ff13b09454923db-MathJax-609-QINUで直線UNIQ4ff13b09454923db-MathJax-610-QINUで近似でき、
誤差UNIQ4ff13b09454923db-MathJax-611-QINUが,
UNIQ4ff13b09454923db-MathJax-612-QINUをUNIQ4ff13b09454923db-MathJax-613-QINUに近づけていくとき、UNIQ4ff13b09454923db-MathJax-614-QINUより高次で０に収束する(注参照)
ことと同等であることが分かる。
(注)UNIQ4ff13b09454923db-MathJax-615-QINU
命題の系；関数がUNIQ4ff13b09454923db-MathJax-616-QINUで微分可能であれば、UNIQ4ff13b09454923db-MathJax-617-QINUで連続である。
証明；命題の２）を用いると、
UNIQ4ff13b09454923db-MathJax-618-QINU
この式から、UNIQ4ff13b09454923db-MathJax-619-QINU
UNIQ4ff13b09454923db-MathJax-620-QINUなのでUNIQ4ff13b09454923db-MathJax-621-QINU。
ゆえに、UNIQ4ff13b09454923db-MathJax-622-QINU
これは、関数がUNIQ4ff13b09454923db-MathJax-623-QINUで連続であることの定義そのものである。
導関数の性質
UNIQ4ff13b09454923db-MathJax-624-QINUを開区間とする。
定理１（線形性）
ｆ、ｇをＩ上で定義された微分可能な実数値関数で、UNIQ4ff13b09454923db-MathJax-625-QINUは任意の実数とする。
それらの線形結合関数UNIQ4ff13b09454923db-MathJax-626-QINUは微分可能で
UNIQ4ff13b09454923db-MathJax-627-QINU
定理２ （積の導関数）
2つの関数UNIQ4ff13b09454923db-MathJax-628-QINUがＩ上で微分可能ならば、それらの積 UNIQ4ff13b09454923db-MathJax-629-QINU もＩ上で微分可能で
UNIQ4ff13b09454923db-MathJax-630-QINU
定理３（商の導関数）
2つの関数UNIQ4ff13b09454923db-MathJax-631-QINUがＩ上で微分可能とする。すると、
（１）UNIQ4ff13b09454923db-MathJax-632-QINU はＩに含まれる開集合となる。
（２）Ｊ上で定義されるそれらの商 UNIQ4ff13b09454923db-MathJax-633-QINU は微分可能であり、
UNIQ4ff13b09454923db-MathJax-634-QINU
定理４ （合成関数の導関数）
これらの証明は、微分の定義式と極限の性質から容易に導ける。
を参照のこと。
三角関数の導関数
- UNIQ4ff13b09454923db-MathJax-691-QINU
- UNIQ4ff13b09454923db-MathJax-692-QINU
- UNIQ4ff13b09454923db-MathJax-693-QINU
となる。
を参照のこと。
対数関数の導関数
UNIQ4ff13b09454923db-MathJax-694-QINU
特にUNIQ4ff13b09454923db-MathJax-695-QINUのとき、
UNIQ4ff13b09454923db-MathJax-696-QINU
eを底とする対数を自然対数という。
数学では、UNIQ4ff13b09454923db-MathJax-697-QINUのeを省略してlog xと書く。
数学以外の分野では、常用対数と区別するために、ln xが用いられることもある。
逆三角関数の導関数
- UNIQ4ff13b09454923db-MathJax-698-QINU
- UNIQ4ff13b09454923db-MathJax-699-QINU
- UNIQ4ff13b09454923db-MathJax-700-QINU
となる。
導出
平均値の定理
平均値の定理（へいきんちのていり、英: mean-value theorem）または有限増分の定理とは、
実函数に対して有界な領域上の積分に関わる大域的な値を、微分によって定まる局所的な値として実現する点が領域内に存在することを主張する。
平均値の定理にはいくつかバリエーションがあるが、単に 「平均値の定理」 と言った場合は、ラグランジュの平均値の定理と呼ばれる微分に関する平均値の定理のことを指す場合が多い。
平均値の定理は微積分学の他の定理の証明（例えば、テイラーの定理、微分積分学の基本定理）にしばしば利用される、大変有用なものである（ウィキペディア；平均値の定理 より）。
ロルの定理
平均値の定理の準備として、ロルの定理を用いる。
この定理自体も有用である。
平均値の定理
テイラー展開とテイラーの定理
微分可能な関数 UNIQ4ff13b09454923db-MathJax-635-QINU の導関数 UNIQ4ff13b09454923db-MathJax-636-QINU が微分可能ならば、
その導関数 UNIQ4ff13b09454923db-MathJax-637-QINU が考えられる。
これをｆの2階の導関数という。
例えば、変数ｔの関数 UNIQ4ff13b09454923db-MathJax-638-QINU が時刻ｔの質点の位置とすると、
その導関数は速度、2階導関数は加速度を表すことを第2章の力学で学んだ。
さらに高階の微分が可能な関数を考え、その性質を考察しよう。
テイラー展開とテイラーの定理
微分可能な関数 UNIQ4ff13b09454923db-MathJax-639-QINU の導関数 UNIQ4ff13b09454923db-MathJax-640-QINU が微分可能ならば、
その導関数 UNIQ4ff13b09454923db-MathJax-641-QINU が考えられる。
これをｆの2階の導関数という。
例えば、変数ｔの関数 UNIQ4ff13b09454923db-MathJax-642-QINU が時刻ｔの質点の位置とすると、
その導関数は速度、2階導関数は加速度を表すことを第2章の力学で学んだ。
さらに高階の微分が可能な関数を考え、その性質を考察しよう。
テイラー展開とテイラーの定理
テイラー展開、テイラー級数についての入門書は
より高度なテイラーの定理などは以下の記事を。但し証明はない。
UNIQ4ff13b09454923db-MathJax-643-QINU級の関数
UNIQ4ff13b09454923db-MathJax-644-QINU上の関数 UNIQ4ff13b09454923db-MathJax-645-QINU が連続的微分可能（continuously differentiable）であるとは,
UNIQ4ff13b09454923db-MathJax-646-QINU上で導関数 UNIQ4ff13b09454923db-MathJax-647-QINU が存在して、しかもUNIQ4ff13b09454923db-MathJax-648-QINU がUNIQ4ff13b09454923db-MathJax-649-QINU上で連続であることをいう。
UNIQ4ff13b09454923db-MathJax-650-QINU上で連続的微分可能である関数をUNIQ4ff13b09454923db-MathJax-651-QINU級関数という。
ベクトル値関数の微分
実数の開区間UNIQ4ff13b09454923db-MathJax-652-QINU上で定義され,ｎ次元の実ベクトル(UNIQ4ff13b09454923db-MathJax-653-QINU)に
値をとる関数UNIQ4ff13b09454923db-MathJax-654-QINUを考える。
この関数の微分可能性は、実数値関数の微分と同じように定義される。
定義;ベクトル値関数の微分可能性
ベクトル値関数 UNIQ4ff13b09454923db-MathJax-655-QINU が、UNIQ4ff13b09454923db-MathJax-656-QINU で微分可能とは、
あるｎ次元ベクトル UNIQ4ff13b09454923db-MathJax-657-QINU が存在して
ユークリッド・ノルムのもとで
UNIQ4ff13b09454923db-MathJax-658-QINU
となること。
言い換えると
UNIQ4ff13b09454923db-MathJax-659-QINU
(注）ベクトル UNIQ4ff13b09454923db-MathJax-660-QINU のユークリッドノルムとは、
UNIQ4ff13b09454923db-MathJax-661-QINU
のことで、２ーノルムとも呼ばれる。
任意のｐ－ノルム UNIQ4ff13b09454923db-MathJax-662-QINU の等価性から
極限は、どのｐ－ノルムでとっても、等価である。
本テキストの「8.1 平面と空間のベクトル」の
「1.4.3 一般のノルムの定義とノルムの同等性」 を参照のこと。
導関数の線形性の性質も成り立つ。
ベクトル値関数の微分とその成分関数の微分の関係
関数値UNIQ4ff13b09454923db-MathJax-663-QINUはUNIQ4ff13b09454923db-MathJax-664-QINUの要素なので
UNIQ4ff13b09454923db-MathJax-665-QINU
と表示できる。
するとUNIQ4ff13b09454923db-MathJax-666-QINUのｎ個の成分関数
UNIQ4ff13b09454923db-MathJax-667-QINU
が得られる。
命題；
UNIQ4ff13b09454923db-MathJax-668-QINUがUNIQ4ff13b09454923db-MathJax-669-QINUで微分可能UNIQ4ff13b09454923db-MathJax-670-QINUUNIQ4ff13b09454923db-MathJax-671-QINUがUNIQ4ff13b09454923db-MathJax-672-QINUで微分可能。
この時、UNIQ4ff13b09454923db-MathJax-673-QINU
ベクトル積の微分
命題
UNIQ4ff13b09454923db-MathJax-674-QINU と UNIQ4ff13b09454923db-MathJax-675-QINUは、開区間Ｉ上で定義され、
微分可能なベクトル値関数とする。すると、
UNIQ4ff13b09454923db-MathJax-676-QINU は微分可能で、
UNIQ4ff13b09454923db-MathJax-677-QINU
証明
すでにこのテキストで紹介した、ベクトル値関数の微分の定義
UNIQ4ff13b09454923db-MathJax-678-QINU UNIQ4ff13b09454923db-MathJax-679-QINU (1)
を用いて証明する。
この極限が存在し、
UNIQ4ff13b09454923db-MathJax-680-QINU
になることを示せば命題は証明できたことになる。
極限の計算が進むよう、右辺の式の分母は変形しよう。
関数の積の微分公式の証明と同じ技巧を用いる。
UNIQ4ff13b09454923db-MathJax-681-QINU
UNIQ4ff13b09454923db-MathJax-682-QINU
ベクトル積の命題３を利用すると、
UNIQ4ff13b09454923db-MathJax-683-QINU
この式を式(１)の右辺の分子の項に代入し整頓すると
UNIQ4ff13b09454923db-MathJax-684-QINU
UNIQ4ff13b09454923db-MathJax-685-QINU
ベクトル積の命題４を使い、
UNIQ4ff13b09454923db-MathJax-686-QINU
極限の命題を使って、
UNIQ4ff13b09454923db-MathJax-687-QINU
式中の極限は、UNIQ4ff13b09454923db-MathJax-688-QINUが、微分可能なので存在し、
UNIQ4ff13b09454923db-MathJax-689-QINU
UNIQ4ff13b09454923db-MathJax-690-QINU
