- 5 名前：１３２人目の素数さん [03/11/11 18:59]
- F(x) は次の条件を満たすとする．
１．単調非増加関数．
２．右連続．
３．F(-∞)=1，F(∞)=0
このとき，任意のa∈(0,1)に対して，F(c)≦a≦F(c-0)となる実数cが存在する．
という命題を証明しようと思ってます．
c=inf｛x:F(x)≦a｝
とおけば証明できると思い，F(c)≦aまで示すことができました．
しかし，a≦F(c-0)の証明がうまくいきません．
正しいということはイメージで沸くのですが・・・．
どなたか解決して頂けると助かります．
ちなみにこの命題はネイマン＝ピアソンの基本補題の証明中に使っています．
