確率分布関数はnon-decreasing(非低減)という性質を証明するということなのでしょうね。自明のようですが。
まず、言葉で説明してみます。
つまり、
F(X)=(積分記号)f(X)dx ですよね?
(確率分布関数が連続変数の範囲で定義される場合。)分離変数の場合は和ですよね。F(x)=(和の記号)f(x) (1)
つまり 関数が定義されている範囲の事象がおきる確率を合計するということですよね。
具体的な例でいうと、
たとえば、さいころを振って、1が出る確率は6分の1としましょう。
2~6が出る確率もそれぞれ6分の1です。
この場合の分布関数は、
F(1)=f(1)=1/6
F(2)=f(1)+f(2) = 1/6 +1/6 = 2/6 =1/3
F(3)= f(1)+f(2)+f(3) = 1/2
F(4)= f(1)+f(2)+f(3)+f(4) = 2/3
F(5) =f(1)+f(2)+f(3)+f(4)+f(5)=5/6
F(6) =f(1)+f(2)+f(3)+f(4)+f(5)= 1 ですよね。
この場合分離変数の話をしているわけですが。
確率はマイナスにはならないので、非負ですよね。
つまり、先ほどの例で言えば、
f(1)=f(2) = f(3)=f(4)=f(5)=f(6)>= 0 (ゼロと等しい、もしくはゼロよりも大きい。)
さて、ここで、問題に戻ってみましょう。
F(X1)は0から、(定義されている範囲がわかりませんがとりあえず、0としましょう)X1 まで、Xというイベントが起こる確率を合計したものです。
つまり、X2はX1より大きいということは
起こりうる事象の数が、0からX1よりも、0からX2のほうが、x2-x1の分だけ多くなると考えられます。
たとえ、x1からx2までに存在する事象が起こる確率が、どれも0だとしても、
0より小さい確率をことはない(先ほど述べた確率の非負という性質を用いて)
ですよね。
ですから、
0からx2までの事象が起こる確率を合計したとき、
0からx1までの事象が起こる確率を合計したときより小さくなることはないですよね。
というのが証明の筋だと思います。
つまり、
F(x)= F(X)=(積分記号)f(X)dx もしくは(F(x)=(和の記号)f(x)
である。
f(x) >= 0 for any x that belongs to X (関数が定義されている範囲)
x1 < x2 より、
F(x2)>= F(x1)
こんなのではだめでしょうか。
補足
ごめんなさい。打ち間違いでした。 確率分布関数F(x)=P(X≦x)は、x1<x2⇒F(x1)≦F(x2)となることを示せと いう問題です。宜しくお願いいたします。