WIIS

ディニ微分

単調関数の片側ディニ微分(右上微分・左上微分・右下微分・左下微分)

目次

関連知識

Mailで保存
Xで共有

単調増加関数の右上ディニ微分がとり得る値の範囲

実数空間\(\mathbb{R} \)とルベーグ可測集合族\(\mathfrak{M}_{\mu }\)およびルベーグ測度\(\mu \)からなるルベーグ測度空間\(\left( \mathbb{R} ,\mathfrak{M}_{\mu },\mu \right) \)が与えられているものとします。

\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \end{equation*}が与えられているものとします。加えて、\(f\)は単調増加関数であるものとします。つまり、\begin{equation*}\forall x,x^{\prime }\in \left[ a,b\right] :\left[ x<x^{\prime }\Rightarrow
f\left( x\right) \leq f\left( x^{\prime }\right) \right] \end{equation*}が成り立つということです。

正の実数\(c>0\)を任意に選びます。関数\(f\)の定義域の内部に属する点\(x\in \left( a,b\right) \)を任意に選びます。\(f\)は点\(x\)の周辺において定義されているため、\(f\)が点\(x\)において右上微分可能であるか検討できます。そこで、右上微分係数\(D^{+}f\left( x\right) \)の値が\(c\)以上の有限な実数であるか、もしくは正の無限大になるような点\(x\)を集めれば以下の集合\begin{equation*}\left\{ x\in \left( a,b\right) \ |\ c\leq D^{+}f\left( x\right) \leq +\infty
\right\}
\end{equation*}が得られますが、この集合の外測度がとり得る値の範囲は、\begin{equation*}
\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ c\leq D^{+}f\left(
x\right) \leq +\infty \right\} \right) \leq \frac{1}{c}\left[ f\left(
b\right) -f\left( a\right) \right] \end{equation*}に収まることが保証されます。先の集合がルベーグ可測であることを保証できないため、ここではルベーグ測度\(\mu \)ではなく外測度\(\mu ^{\ast }\)を採用しています。証明ではヴィタリの被覆定理を利用します。

命題(単調増加関数の右上ディニ微分がとり得る値の範囲)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調増加関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)と正の実数\(c>0\)が与えられたとき、\begin{equation*}\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ c\leq D^{+}f\left(
x\right) \leq +\infty \right\} \right) \leq \frac{1}{c}\left[ f\left(
b\right) -f\left( a\right) \right] \end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

上の命題を踏まえると、\begin{equation*}
\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ D^{+}f\left( x\right)
=+\infty \right\} \right) =0
\end{equation*}が導かれます。つまり、有界閉区間\(\left[ a,b\right] \)上に定義された単調増加関数\(f\)の右上極限が正の無限大になるような\(\left( a,b\right) \)上の点からなる集合の外測度はゼロになります。

命題(単調増加関数の右上ディニ微分が正の無限大になる場合)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調増加関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が与えられたとき、\begin{equation*}\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ D^{+}f\left( x\right)
=+\infty \right\} \right) =0
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

以上の命題を以下のように表現することもできます。

命題(単調増加関数の右上ディニ微分が正の無限大にならない場合)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調増加関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が与えられたとき、\(\left( a,b\right) \)上のほとんどいたるところにおいて、\begin{equation*}D^{+}f<+\infty
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

単調増加関数の左上ディニ微分がとり得る値の範囲

実数空間\(\mathbb{R} \)とルベーグ可測集合族\(\mathfrak{M}_{\mu }\)およびルベーグ測度\(\mu \)からなるルベーグ測度空間\(\left( \mathbb{R} ,\mathfrak{M}_{\mu },\mu \right) \)が与えられているものとします。

\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \end{equation*}が与えられているものとします。加えて、\(f\)は単調増加関数であるものとします。つまり、\begin{equation*}\forall x,x^{\prime }\in \left[ a,b\right] :\left[ x<x^{\prime }\Rightarrow
f\left( x\right) \leq f\left( x^{\prime }\right) \right] \end{equation*}が成り立つということです。

正の実数\(c>0\)を任意に選びます。関数\(f\)の定義域の内部に属する点\(x\in \left( a,b\right) \)を任意に選びます。\(f\)は点\(x\)の周辺において定義されているため、\(f\)が点\(x\)において右上微分可能であるか検討できます。そこで、左上微分係数\(D^{-}f\left( x\right) \)の値が\(c\)以上の有限な実数であるか、もしくは正の無限大になるような点\(x\)を集めれば以下の集合\begin{equation*}\left\{ x\in \left( a,b\right) \ |\ c\leq D^{-}f\left( x\right) \leq +\infty
\right\}
\end{equation*}が得られますが、この集合の外測度がとり得る値の範囲は、\begin{equation*}
\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ c\leq D^{-}f\left(
x\right) \leq +\infty \right\} \right) \leq \frac{1}{c}\left[ f\left(
b\right) -f\left( a\right) \right] \end{equation*}に収まることが保証されます。先の集合がルベーグ可測であることを保証できないため、ここではルベーグ測度\(\mu \)ではなく外測度\(\mu ^{\ast }\)を採用しています。証明ではヴィタリの被覆定理を利用します。

命題(単調増加関数の左上ディニ微分がとり得る値の範囲)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調増加関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)と正の実数\(c>0\)が与えられたとき、\begin{equation*}\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ c\leq D^{-}f\left(
x\right) \leq +\infty \right\} \right) \leq \frac{1}{c}\left[ f\left(
b\right) -f\left( a\right) \right] \end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

上の命題を踏まえると、\begin{equation*}
\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ D^{-}f\left( x\right)
=+\infty \right\} \right) =0
\end{equation*}が導かれます。つまり、有界閉区間\(\left[ a,b\right] \)上に定義された単調増加関数\(f\)の左上極限が正の無限大になるような\(\left( a,b\right) \)上の点からなる集合の外測度はゼロになります。

命題(単調増加関数の左上ディニ微分が正の無限大になる場合)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調増加関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が与えられたとき、\begin{equation*}\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ D^{-}f\left( x\right)
=+\infty \right\} \right) =0
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

以上の命題を以下のように表現することもできます。

命題(単調増加関数の左上ディニ微分が正の無限大にならない場合)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調増加関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が与えられたとき、\(\left( a,b\right) \)上のほとんどいたるところにおいて、\begin{equation*}D^{+}f<+\infty
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

単調減少関数の右下ディニ微分がとり得る値の範囲

\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \end{equation*}が与えられているものとします。加えて、\(f\)は単調減少関数であるものとします。つまり、\begin{equation*}\forall x,x^{\prime }\in \left[ a,b\right] :\left[ x<x^{\prime }\Rightarrow
f\left( x\right) \geq f\left( x^{\prime }\right) \right] \end{equation*}が成り立つということです。

負の実数\(c<0\)を任意に選びます。関数\(f\)の定義域の内部に属する点\(x\in \left( a,b\right) \)を任意に選びます。\(f\)は点\(x\)の周辺において定義されているため、\(f\)が点\(x\)において右下微分可能であるか検討できます。そこで、右下微分係数\(D_{+}f\left( x\right) \)の値が\(c\)以下の有限な実数であるか、もしくは負の無限大になるような点\(x\)を集めれば以下の集合\begin{equation*}\left\{ x\in \left( a,b\right) \ |\ -\infty \leq D_{+}f\left( x\right) \leq
c\right\}
\end{equation*}が得られますが、この集合の外測度がとり得る値の範囲は、\begin{equation*}
\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ -\infty \leq
D_{+}f\left( x\right) \leq c\right\} \right) \leq \frac{1}{c}\left[ f\left(
b\right) -f\left( a\right) \right] \end{equation*}に収まることが保証されます。

命題(単調減少関数の右下ディニ微分がとり得る値の範囲)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調減少関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)と負の実数\(c<0\)が与えられたとき、\begin{equation*}\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ -\infty \leq
D_{+}f\left( x\right) \leq c\right\} \right) \leq \frac{1}{c}\left[ f\left(
b\right) -f\left( a\right) \right] \end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

上の命題を踏まえると、\begin{equation*}
\left\{ x\in \left( a,b\right) \ |\ D_{+}f\left( x\right) =-\infty \right\}
=0
\end{equation*}が導かれます。つまり、有界閉区間\(\left[ a,b\right] \)上に定義された単調減少関数\(f\)の右下極限が負の無限大になるような\(\left( a,b\right) \)上の点からなる集合の外測度はゼロになります。

命題(単調減少関数の右下ディニ微分が負の無限大になる場合)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調減少関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が与えられたとき、\begin{equation*}\left\{ x\in \left( a,b\right) \ |\ D_{+}f\left( x\right) =-\infty \right\}
=0
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

以上の命題を以下のように表現することもできます。

命題(単調減少関数の右下ディニ微分が負の無限大にならない場合)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調減少関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が与えられたとき、\(\left( a,b\right) \)上のほとんどいたるところにおいて、\begin{equation*}D_{+}f>-\infty
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

単調減少関数の左下ディニ微分がとり得る値の範囲

\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \end{equation*}が与えられているものとします。加えて、\(f\)は単調減少関数であるものとします。つまり、\begin{equation*}\forall x,x^{\prime }\in \left[ a,b\right] :\left[ x<x^{\prime }\Rightarrow
f\left( x\right) \geq f\left( x^{\prime }\right) \right] \end{equation*}が成り立つということです。

負の実数\(c<0\)を任意に選びます。関数\(f\)の定義域の内部に属する点\(x\in \left( a,b\right) \)を任意に選びます。\(f\)は点\(x\)の周辺において定義されているため、\(f\)が点\(x\)において左下微分可能であるか検討できます。そこで、左下微分係数\(D_{-}f\left( x\right) \)の値が\(c\)以下の有限な実数であるか、もしくは負の無限大になるような点\(x\)を集めれば以下の集合\begin{equation*}\left\{ x\in \left( a,b\right) \ |\ -\infty \leq D_{-}f\left( x\right) \leq
c\right\}
\end{equation*}が得られますが、この集合の外測度がとり得る値の範囲は、\begin{equation*}
\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ -\infty \leq
D_{-}f\left( x\right) \leq c\right\} \right) \leq \frac{1}{c}\left[ f\left(
b\right) -f\left( a\right) \right] \end{equation*}に収まることが保証されます。

命題(単調減少関数の左下ディニ微分がとり得る値の範囲)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調減少関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)と負の実数\(c<0\)が与えられたとき、\begin{equation*}\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ -\infty \leq
D_{-}f\left( x\right) \leq c\right\} \right) \leq \frac{1}{c}\left[ f\left(
b\right) -f\left( a\right) \right] \end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

上の命題を踏まえると、\begin{equation*}
\left\{ x\in \left( a,b\right) \ |\ D_{-}f\left( x\right) =-\infty \right\}
=0
\end{equation*}が導かれます。つまり、有界閉区間\(\left[ a,b\right] \)上に定義された単調減少関数\(f\)の左下極限が負の無限大になるような\(\left( a,b\right) \)上の点からなる集合の外測度はゼロになります。

命題(単調減少関数の左下ディニ微分が負の無限大になる場合)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調減少関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が与えられたとき、\begin{equation*}\left\{ x\in \left( a,b\right) \ |\ D_{-}f\left( x\right) =-\infty \right\}
=0
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

以上の命題を以下のように表現することもできます。

命題(単調減少関数の左下ディニ微分が負の無限大にならない場合)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された単調減少関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が与えられたとき、\(\left( a,b\right) \)上のほとんどいたるところにおいて、\begin{equation*}D_{-}f>-\infty
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録