悩ましいこと

 UはR^nの開凸集合、g:U\to R^nは非ゼロなベクトル場でリプシッツとする。次の条件

g(x)・v=0⇒liminf_{t→0}(1/t)v・[g(x+tv)-g(x)]≦0

を考えたとき、上の条件が「ほとんどすべての点」で成り立つならば、「すべての点」で成り立つだろうか?

 ぶっちゃけこれが解けなくともあまり問題はないんだけれど、すげー気持ち悪いので誰か教えて欲しい。
 gがC^1なら簡単だと思うんだけど……うーむむむ……

 というわけです。以上。

この記事が気に入ったらサポートをしてみませんか?