Usando solo los axiomas más básicos sobre probabilidades y números reales, se puede demostrar una afirmación mucho más fuerte:
La diferencia de cualquiera de los dos valores aleatorios independientes no distribuidos idénticamente X−Y nunca tiene una distribución uniforme discreta.
(Una declaración análoga para variables continuas se prueba en PDF uniforme de la diferencia de dos rv .)
La idea es que la posibilidad de que X−Y sea un valor extremo debe ser menor que la posibilidad de que X−Y sea cero, porque solo hay una forma de (por ejemplo) maximizar X−Y mientras que hay muchas maneras de hacer que la diferencia sea cero , porque X e Y tienen la misma distribución y, por lo tanto, pueden ser iguales entre sí. Aquí están los detalles.
Primero, observe que las dos variables hipotéticas X e Y en cuestión solo pueden alcanzar un número finito n de valores con probabilidad positiva, porque habrá al menos n diferencias distintas y una distribución uniforme les asigna a todos la misma probabilidad. Si n es infinito, entonces también lo sería el número de posibles diferencias con probabilidad positiva igual, de donde la suma de sus posibilidades sería infinita, lo cual es imposible.
Ymq=Pr(Y=m)XMp=Pr(X=M).XY
Pr(X−Y=M−m)=Pr(X=M)Pr(Y=m)=pq>0.(*)
Finalmente , debido a y tienen la misma distribución, hay muchas maneras de sus diferencias pueden producir el valor Entre estas formas son los casos en los que y Debido a que esta distribución no es constante, difiere de Eso muestra que esos dos casos son eventos disjuntos y, por lo tanto, deben contribuir al menos una cantidad a la posibilidad de que sea cero; es decir,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.
Como los cuadrados de los números no son negativos, donde deducimos de que0≤(p−q)2,(∗)
Pr(X−Y=M−m)=pq≤pq+(p−q)2=p2+q2−pq<p2+q2≤Pr(X−Y=0),
mostrando la distribución de no es uniforme, QED.X−Y
Editar en respuesta a un comentario
Un análisis similar de las diferencias absolutasobserva que debido a que e tienen la misma distribución,Esto requiere que estudiemosLa misma técnica algebraica produce casi el mismo resultado, pero existe la posibilidad de que yEse sistema de ecuaciones tiene la solución única|X−Y|XYm=−M.Pr(X−Y=|M−m|)=2pq.2pq=2pq+(p−q)22pq+p2+q2=1.p=q=1/2correspondiente a una moneda justa (un "dado de dos caras"). Además de esta excepción, el resultado para las diferencias absolutas es el mismo que para las diferencias, y por las mismas razones subyacentes ya dadas: a saber, las diferencias absolutas de dos variables aleatorias iid no pueden distribuirse uniformemente cuando hay más de dos diferencias distintas con probabilidad positiva
(fin de la edición)
Apliquemos este resultado a la pregunta, que pregunta sobre algo un poco más complejo.
Modele cada tirada independiente del dado (que podría ser un dado injusto ) con una variable aleatoria Las diferencias observadas en estos rollos son los números Podríamos preguntarnos qué tan uniformemente distribuidos están estos números . Esa es realmente una pregunta sobre las expectativas estadísticas: ¿cuál es el número esperado de que es igual a cero, por ejemplo? ¿Cuál es el número esperado de igual a ? Etcétera etcétera.Xi, i=1,2,…,n.nΔXi=Xi+1−Xi.n−1ΔXiΔXi−1
El aspecto problemático de esta pregunta es que no son independientes: por ejemplo, y involucran el mismo rolloΔXi Δ X 1 = X 2 - X 1 Δ X 2 = X 3 - X 2 X 2 .ΔX1=X2−X1ΔX2=X3−X2X2.
Sin embargo, esto no es realmente una dificultad. Como la expectativa estadística es aditiva y todas las diferencias tienen la misma distribución, si seleccionamos cualquier valor posible de las diferencias, el número esperado de veces que la diferencia es igual a en toda la secuencia de rollos es solo veces el número esperado de veces la diferencia es igual a en un solo paso del proceso. Esa expectativa de un solo paso es (para cualquier ). Estas expectativas serán las mismas para todas las (es decir, uniformes ) si y solo si son las mismas para un solokknn−1kPr(ΔXi=k)ikΔ X i . Δ X iΔXi. Pero hemos visto que no tiene una distribución uniforme, incluso cuando el dado puede estar sesgado. Por lo tanto, incluso en este sentido más débil de las frecuencias esperadas, las diferencias de los rodillos no son uniformes.ΔXi