0
大学数学基礎解説

導関数の連続拡張の存在によるC-1級関数の定義と、C-1級関数の区間端点での連続性の再考

微分積分,位相空間論,距離空間
1043
1

はじめに

本稿は，位相空間論の基礎知識を前提として，数直線の閉区間上のC-1級関数の連続性，特に区間端点の連続性について再考するものです．
ポイントは，区間端点の微分可能性および導関数について，片側微分（右微分・左微分）を導入しない流儀でC-1級関数を定義することです．代わりに，「区間内点の導関数が区間端点へ連続拡張可能であること」を，C-1級関数の定義に採用します．この定義では，もとのC-1級関数の区間端点での連続性は自明とは言えません．そこで，位相空間論の知識を引用して，区間端点での連続性を証明します．最後に，片側微分によるC−1級関数の定義と，導関数の連続拡張の存在によるC-1級関数の定義が同値であることを確認します．
前提とする位相空間論の知識は，完備距離空間，稠密性，写像の一様連続性とし，これらの定義は割愛します．
本稿は「位相空間論の知識を，微積分の問題へ適用すること」を趣旨としています．このため，位相空間論の知識を既知とする一方，微積分については細かい議論を展開するという，ややいびつな印象を与える記事となっていることをご了承ください．

閉区間上のC-1級関数の二つの定義（片側微分による定義・導関数の連続拡張の存在による定義）

まずは基本事項の確認として、区間上の実数値関数の微分可能性および導関数の定義を記します。

微分可能性、微分係数、導関数

I:=(c,d) ⊂Rを開区間とし，I― :=[c,d] を，Iに端点を付け加えた閉区間とする.
f をI―からRへの関数とする.
a∈I （開区間）に対し、極限limh→0f(a+h)−f(a)hが存在するとき，fはaで微分可能であるという．
fのaにおける微分係数を，f′(a):= limh→0f(a+h)−f(a)hと定義する.
fが開区間Iの任意の点で微分可能であるとき、fはIで微分可能であるという．
開区間Iの点xに対し，微分係数f′(x)を与える関数をfの導関数という．

以下の命題は既知とし，証明は省略します．

微分可能ならば連続であること

開区間IからRへの関数fがa∈Iで微分可能ならば，fはaで連続である．

さて、本稿の目的は閉区間上のC-1級関数について考察することです．C-1級関数とは平易に言うと「微分可能かつ導関数が連続である関数」です．閉区間上のC-1級関数を論じるには、導関数の定義域が閉区間を含んでいる必要があります．ところが、定義−1では、微分可能性および導関数は開区間上、つまり区間の内点でしか定義されていません．言い換えると、導関数の定義域に区間端点が含まれていません．
このような場合，通常は片側微分（右微分・左微分）を導入して、微分可能性および導関数の定義を区間端点へ拡張します．具体的には、次のように定義します．

区間端点の微分可能性、導関数、C-1級関数（片側微分による定義）

I―:=[c,d]⊂Rを閉区間とする．
fをI―からRへの関数とする．
a∈Iに対し，右微分係数f+′(a)および左微分係数f−′(a)を以下の通り定義する；
f+′(a):=limh↓0f(a+h)−f(a)h,f−′(a):=limh↑0f(a+h)−f(a)h．
f+′(a)が存在するとき、fはaで右微分可能という．f−′(a)が存在するとき，fはaで左微分可能という．
fが開区間I:=(c,d)で微分可能かつ，cで右微分可能かつdで左微分可能であるとき，fはI―で微分可能であるという．
fのIでの導関数をf′とする．
fのI―での導関数f′~を以下のように定義する；
f′~(x):={ f′(x)(x∈I=(c,d)) f+′(c)(x=c) f−′(d)(x=d)
fがI―で微分可能かつf′~がI―で連続であるとき，fはI―でC-1級であるという．

本稿では，この定義-2のC-1級関数の定義と同値な定義を，片側微分を導入しない方法で、以下のように与えます．定義-2と定義-3が同値であることは，本稿の後半で証明します．

C-1級関数（導関数の連続拡張の存在による定義）

I:=(c,d)⊂Rを開区間とし，I―:=[c,d]をIに端点を付け加えた閉区間とする．
I―からRへの関数fが次の(i)，(ii)の性質をみたすとき，fをI―上のC-1級関数という．

  1. fは開区間Iで微分可能である．
  2. 閉区間I―から Rへの連続関数f′~が一意に存在して，f′~|I=f′をみたす．
    （f′~をf′の連続拡張という)

ここで，次の命題を考えます．

C-1関数（導関数の連続拡張の存在による定義）は閉区間上で連続である

閉区間I―からRへの関数fが「定義-3」の意味でI―上でC-1級ならば，fはI―上連続である．

区間の内点での連続性は，「微分可能ならば連続である（命題-1）」という命題から問題なく成り立ちます.ここで示すべきことは，区間端点での連続性です。定義-3のC-1級関数の定義からは、関数fの区間端点の連続性は自明とは言えません．

区間端点でのC-1級関数の連続性の証明〜位相空間論からの引用〜

ここで位相空間論から，以下の定理を引用します．（証明は，位相空間論の成書を参照ください）

完備距離空間の稠密な部分空間上の一様連続関数の連続拡張の存在

X,Yを完備距離空間とする．
XoをXの稠密な部分集合とする．
XoからYへの一様連続関数fに対し，XからYへの一様連続関数f~が一意に存在し，f~|Xo=fをみたす．

また，以下に示すRの距離空間としての性質は既知とします．

Rの距離空間としての基本的性質

I:=(c,d)⊂Rを開区間とし，I―:=[c,d]をIに端点を付け加えた閉区間とする．
RにはEuclid距離を入れる．IおよびI―はRの部分距離空間と見る．この時，以下が成立する．
(R1) Rは完備距離空間．
(R2) I―は完備距離空間．
(R3) IはI―の稠密な部分集合．

これらの位相空間論の知識を引用し、命題-2の証明を行います．
証明の方針は次の通りです．

  1. C-1級関数fが，閉区間I―の内点全体（開区間）Iで一様連続であることを証明する．
  2. I上での一様連続関数fに対し、定理-3より，定義域をI―へ拡張した一様連続関数が一意に存在する．この一様連続関数は、元の関数fと一致する．よって，fはI―で一様連続である．
命題-2の証明

fはI―でC-1級であるから，I―上の連続関数f′~が一意に存在して，f′~|I=f′．
I―は閉区間で，f′~はI―上連続だから，最大・最小定理より，f′~のI―上の最大値maxx∈I―{f′~(x)} が存在する．
‖f′~‖I―:=maxx∈I―{f′~(x)}とする．

任意のε＞0に対し，δ:=ε‖f′~‖I―とおく．
|x1−x2|<δをみたす任意のx1,x2∈I をとる．
fはI―上C-1級であるから，開区間I上で微分可能である．
よって，[x1,x2]⊂Iに対し，平均値の定理を用いると，
η∈Iが存在して，

|f(x2)−f(x1)|=f′(η)|x2−x1|
=f′~(η)|x2−x1|
≦‖f′~‖I―|x2−x1|
<‖f′~‖I―δ
=‖f′~‖I―ε‖f′~‖I―
=ε
以上より，fは開区間Iで一様連続．
定理-3を用いると，IからRへの一様連続関数f|Iに対し，I―からRへの一様連続関数f~が一意に存在して，f~|I=f|I．
f~の存在の一意性より，I―上でf~=f．
以上より，fはI―上一様連続．（よって連続）

C-1級関数の二つの定義が同値であること

最後に，以下を証明する．

定義-2と定義−3のC-1級関数は同値であること

閉区間I―:=[c,d]からRへの関数fが、定義-2の意味でC-1級関数であることの必要十分条件は，定義-3の意味でC-1級関数であることである．

命題-5の証明

定義-2の意味でC-1級関数ならば，すでに閉区間I―上で連続な導関数が存在しているから，定義-3の意味でC-1級関数であることは自明である．
逆に，定義-3の意味でC-1関数ならば定義-2の意味でC-1級関数であることを示す．
関数fが定義-3の意味でI―上C-1級関数であるとする．
まず，fが端点cで右微分可能であることを示す．
関数fは定義-3の意味でI―上C-1級であるから，I―から Rへの連続関数f′~が存在して，f′~|I=f′．
f′~はc∈I―で連続だから，
limh↓0f′~(c+h)=f′~(c)⋯(1)
(0<h<d−c2とする)
c+h∈Iから、微分係数の定義より、
f′~(c+h)=f′(c+h)=liml↓0f(c+h+l)−f(c+h)l⋯(2)
(0<l<d−c2とする)
(2)を(1)へ代入すると，
limh↓0liml↓0f(c+h+l)−f(c+h)l=f′~(c)⋯(3)
命題-2より，fはI―上連続だから，
c+l∈I―に対し，limh↓0f(c+h+l)=f(c+l)
c∈I―に対し，limh↓0f(c+h)=f(c)
これらを(3)へ代入すると，
limh↓0liml↓0f(c+h+l)−f(c+h)l=liml↓0f(c+l)−f(c)l=f′~(c)
以上より，fはcで右微分可能で，f+′(c)=f′~(c)
同様の方法で，fが端点dで左微分可能で，f−′(d)=f′~(d)
以上より，fは定義-2の意味でI―上C-1級関数である．

おわりに

閉区間上の導関数の定義については、多くの微積分の教科書では片側微分が導入されています．しかし、この考え方に従って閉区間上のC-1級関数を正確に定義しようとすると、本稿の定義-2のように、意外と煩雑な定義になります．それと比べると、本稿の定義-3は、かなりスッキリとした定義になっているのではないでしょうか．
また、本稿の内容はC-k級関数、つまり高階導関数にもそのまま当てはめることができます．

投稿日：2023年2月13日
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

ほとんど至るところで理解不能
ほとんど至るところで理解不能
0
1043
地味にやっていく所存です．

コメント

他の人のコメント

コメントはありません。
読み込み中
ほとんど至るところで理解不能
ほとんど至るところで理解不能
導関数の連続拡張の存在によるC-1級関数の定義と、C-1級関数の区間端点での連続性の再考
  1. はじめに
  2. 閉区間上のC-1級関数の二つの定義（片側微分による定義・導関数の連続拡張の存在による定義）
  3. 区間端点でのC-1級関数の連続性の証明〜位相空間論からの引用〜
  4. C-1級関数の二つの定義が同値であること
  5. おわりに