![]()
![]()
![]()
![]()
Next: 14 接線の方程式 Up: 3 微分法 Previous: 12 高階導関数   Contents
13
級の関数
定理 3.39 (微分可能性と連続性)が
で微分可能なとき,
は
で連続である.
(証明) 点
で微分が可能なので
(490)
が成り立つ.これより
(491)
となる.ここで
とおく.このとき
(493)
である.()式を変形すると
(494)
となる.右辺をの極限をとる. すると
(495)
である.よって左辺も 0 となるので
(496)
を得る.よっては
で連続である.
定義 3.40 (級関数)
が連続関数のとき
を
級の関数という. 関数
が
回微分可能であり,
が連続関数であるとき,
を
回連続微分可能な関数といい,
級の関数という. また何回でも微分が可能な関数を 無限回微分可能な関数といい,
級の関数という.
例 3.41 (級関数の具体例) 多項式関数,
,
は
級の関数である.
は
級の関数である.
注意 3.42 (級関数の集合)
級の関数全体の集合を
と書くとする. このとき
(497)
が成り立つ.
![]()
![]()
![]()
![]()
Next: 14 接線の方程式 Up: 3 微分法 Previous: 12 高階導関数   ContentsKondo Koichi
![]()
Created at 2003/08/29