確率と実数に関する最も基本的な公理のみを使用して、はるかに強力なステートメントを証明できます。
任意の2つの独立した、同じように分布する非定数のランダム値の差は、離散的な均一分布にはなりません。バツ− Y
(連続変数の類似のステートメントは、Uniform PDFで2つのrvの差について証明されています。)
アイデアは偶然のことである極端な値が可能性よりも小さくなければならないですする唯一の方法があるので、ゼロである(例えば)最大限違いをゼロにするための多くの方法があるのに対しので、と持っています同じ分布であり、したがって互いに等しくすることができます。詳細は次のとおりです。バツ− Yバツ− Yバツ− YバツY
最初の仮定の二つの変数ことを観察及び当該各のみ有限数達成することができる少なくともそこになるので、正の確率で値を明確な違いとそれらのすべて等しい確率均一な分布割り当てます。場合無限大であり、そのようにチャンスの合計が不可能である無限大であろうそこ正、等しい確率を有する可能相違の数であろう。バツYnnn
次に、差異の数は有限であるため、それらの中で最大のものがあります。最大の差は、の最小値を減算する場合にのみ達成できます-mを呼び出し、の最大値から確率がと仮定します-その呼び出しますとは独立して いるため、この違いの可能性はこれらの可能性の積であり、Ymq=Pr(Y=m)XMp=Pr(X=M).XY
Pr(X−Y=M−m)=Pr(X=M)Pr(Y=m)=pq>0.(*)
最後に、とは同じ分布を持っているため、それらの違いが値生成する多くの方法があります。 これらの方法の中には、および この分布は非定数でため、はとは異なります。これらの2つのケースは互いに素なイベントであり、したがって、がゼロになる可能性に少なくとも量が寄与しなければなりません。あれは、XY0.X=Y=mX=Y=M.mM.p 2 + q 2 X − Yp2+q2X−Y
Pr(X−Y=0)≥Pr(X=Y=m)+Pr(X=Y=M)=p2+q2.
数字の正方形は否定されないので、我々はから推測そこからその0≤(p−q)2,(∗)
Pr(X−Y=M−m)=pq≤pq+(p−q)2=p2+q2−pq<p2+q2≤Pr(X−Y=0),
の分布が均一ではないことを示すQED。X−Y
コメントに応じて編集する
絶対差の同様の分析と分布が同じであるため、これには、同じ代数的手法でもほぼ同じ結果が得られますが、およびある可能性がありその方程式系には一意の解|X−Y|XYm=−M.Pr(X−Y=|M−m|)=2pq.2pq=2pq+(p−q)22pq+p2+q2=1.p=q=1/2公正なコイン(「両面ダイス」)に対応します。この例外を除いて、絶対差の結果は差の結果と同じであり、すでに説明した同じ理由によります:すなわち、2つのiidランダム変数の絶対差は、3つ以上の異なる差がある場合は常に均一に分布できません正の確率で。
(編集の終わり)
この結果を質問に適用して、もう少し複雑な質問をします。
ランダム変数を使用して、ダイ(不公平なダイである可能性があります)の各独立したロールを これらのロールで観察される違いは、数値 これらの個の数字がどのように均一に分布しているか疑問に思うかもしれません。それは本当に統計的な期待についての質問です。たとえば、ゼロに等しい期待数は何ですか?等しい予想数はいくらですか? 等Xi, i=1,2,…,n.nΔXi=Xi+1−Xi.n−1ΔXiΔXi−1
この質問の問題のある側面は、が独立していないことです。たとえば、とは同じロール伴いΔXi Δ X 1 = X 2 - X 1 Δ X 2 = X 3 - X 2 X 2。ΔX1=X2−X1ΔX2=X3−X2X2.
ただし、これは実際には困難ではありません。統計的期待値は、添加剤であり、すべての違いが同じ分布を有しているので、我々はすべての可能な値を選ぶ場合、差のを、時間の期待数差に等しい全体のシーケンスにおけるロールはわずかであるの回数期待数プロセスの単一ステップで、差がに等しくなります。その単一ステップの期待値は、(すべての)。これらの期待値は、単一の同じである場合にのみ、すべての(つまり、均一)で同じですkknn−1kPr(ΔXi=k)ikΔ X のI。Δ X IΔXi. しかし、ダイにバイアスがていても、均一な分布を持つはないことがわかりました。したがって、予想される周波数のこのより弱い意味でも、ロールの差は均一ではありません。ΔXi