2022年2月13日日曜日

26: ユークリディアンノルム付き空間間マップのための微積分の基本定理

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

C1、ユークリディアンノルム付き空間間マップのための微積分の基本定理の記述と証明

話題


About: ノルム付き空間
About: マップ
About: デリバティブ(微分係数)
About: インテグラル(積分)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、C1、ユークリディアンノルム付き空間間マップのための微積分の基本定理の記述と証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


任意のユークリディアンノルム付き空間Rd1およびRd2、および任意のC1マップf:Rd1Rd2に対して、そのマップのデリバティブ(微分係数)Dfは積分と次のように関係している、つまり、f(v11+tv12)=f(v11)+0tDf(v11+sv12)v12dsここで、v11およびv12Rd1上の任意のベクトルでtおよびsは任意の実数である。


2: 証明


fi(v11+tv12)RからRへのtに関する1引数1値ファンクションと見なせるので、1引数1値ファンクションに対する微積分の基本定理により、fi(v11+tv12)=fi(v11)+0tfiv1j(v11+sv12)v12jdsそれは、f(v11+tv12)=f(v11)+0tDf(v11+sv12)v12dsなぜなら、そのマップのデリバティブ(微分係数)はヤコビアンであるから。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>