- 13 名前：7 [03/11/11 20:56]
- といったものの・・・．
なんだかこんがらがってきた．
sup｛x∈R:F(x)≦a｝って存在するの？
｛x∈R:F(x)≦a｝は上に有界じゃないし．(F(∞)=0より）
下には，有界だと思うけど．
ちなみに下に有界の証明は，
c ∈｛x∈R:F(x)>a｝をひとつ固定する．
b ∈｛x∈R:F(x)≦a｝を任意にとるとき，
F(c)>a≧F(b) より，c ≦b
だから下に有界．
やっぱりinfで証明すると思うんですけど．
F(x)は分布関数ではないんですよね．
単調非増加関数なので．
