Usando apenas os axiomas mais básicos sobre probabilidades e números reais, pode-se provar uma afirmação muito mais forte:
A diferença de quaisquer dois valores aleatórios não constantes independentes e distribuídos de forma idêntica X−Y nunca possui uma distribuição uniforme e discreta.
(Uma declaração análoga para variáveis contínuas é comprovada no PDF uniforme da diferença de dois rv .)
A idéia é que a chance de X−Y ser um valor extremo deve ser menor do que a chance de X−Y ser zero, porque há apenas uma maneira de (por exemplo) maximizar X−Y enquanto existem muitas maneiras de fazer a diferença zero. , porque X e Y têm a mesma distribuição e, portanto, podem ser iguais. Aqui estão os detalhes.
Primeiro, observe que as duas variáveis hipotéticas X e Y em questão podem atingir apenas um número finito n de valores com probabilidade positiva, porque haverá pelo menos n diferenças distintas e uma distribuição uniforme atribui todas as mesmas probabilidades. Se n é infinito, então seria o número de possíveis diferenças com probabilidade igual e positiva, de onde a soma de suas chances seria infinita, o que é impossível.
Ymq=Pr(Y=m)XMp=Pr(X=M).XY
Pr(X−Y=M−m)=Pr(X=M)Pr(Y=m)=pq>0.(*)
Por último , porque e têm a mesma distribuição, há muitas maneiras as suas diferenças podem produzir o valor Entre estas formas são os casos em que e Como essa distribuição é inconstante, difere de Isso mostra que esses dois casos são eventos disjuntos e, portanto, devem contribuir com pelo menos uma quantidade para a chance de ser zero; isso é,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 os quadrados dos números não são negativos, onde deduzimos 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 a distribuição de não é uniforme, QED.X−Y
Editar em resposta a um comentário
Uma análise semelhante das diferenças absolutasobserva que, porque e têm a mesma distribuição,Isso exige que estudemosA mesma técnica algébrica produz quase o mesmo resultado, mas existe a possibilidade de eEsse sistema de equações tem a solução única|X−Y|XYm=−M.Pr(X−Y=|M−m|)=2pq.2pq=2pq+(p−q)22pq+p2+q2=1.p=q=1/2correspondente a uma moeda justa (um "dado de duas faces"). Para além desta exceção, o resultado para as diferenças absolutas é o mesmo que para as diferenças e pelas mesmas razões subjacentes já indicadas: a saber, as diferenças absolutas de duas variáveis aleatórias iid não podem ser distribuídas uniformemente sempre que houver mais de duas diferenças distintas com probabilidade positiva.
(fim da edição)
Vamos aplicar esse resultado à pergunta, que pergunta sobre algo um pouco mais complexo.
Modele cada rolagem independente do dado (que pode ser um dado injusto ) com uma variável aleatória As diferenças observadas nesses rolos são os números Podemos nos perguntar como esses números são distribuídos uniformemente . Essa é realmente uma pergunta sobre as expectativas estatísticas: qual é o número esperado de iguais a zero, por exemplo? Qual é o número esperado de igual a ? Etc etc.Xi, i=1,2,…,n.nΔXi=Xi+1−Xi.n−1ΔXiΔXi−1
O aspecto problemático dessa pergunta é que o não é independente: por exemplo, e envolvem o mesmo roloΔXiΔX1=X2−X1ΔX2=X3−X2X2.
No entanto, isso não é realmente uma dificuldade. Como a expectativa estatística é aditiva e todas as diferenças têm a mesma distribuição, se escolhermos qualquer valor possível das diferenças, o número esperado de vezes que a diferença é igual a em toda a sequência de rolos é vezes o número esperado de vezes a diferença é igual a em uma única etapa do processo. Essa expectativa de etapa única é (para qualquer ). Essas expectativas serão as mesmas para todos os (ou seja, uniformes ) se e somente se forem iguais para um únicokknn−1kPr(ΔXi=k)ikΔXi. Mas vimos que nenhum tem uma distribuição uniforme, mesmo quando o dado pode ser tendencioso. Assim, mesmo nesse sentido mais fraco de frequências esperadas, as diferenças dos testes não são uniformes.ΔXi