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