18/02/15 11:07:20.49 RGRVREaW.net
補足
なにが、自明（トリビア）かは、人によると思うが
”ディニ微分を間に入れて
定理1.7の条件；lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞
↓↑
ディニ微分
↓↑
定理1.7の結論；リプシッツ連続 （”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より）
という関係を見”ると（>>204）
定理1.7の構造がよく見えるだろうと
以上
18/02/15 11:07:20.49 RGRVREaW.net
補足
なにが、自明（トリビア）かは、人によると思うが
”ディニ微分を間に入れて
定理1.7の条件；lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞
↓↑
ディニ微分
↓↑
定理1.7の結論；リプシッツ連続 （”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より）
という関係を見”ると（>>204）
定理1.7の構造がよく見えるだろうと
以上