Variável aleatória uniforme e discreta (?), Levando todos os valores racionais em um intervalo fechado

13

Eu só tive um ataque de pânico (intelectual).

  • Uma variável aleatória contínua que segue um uniforme em um intervalo fechado : um conceito estatístico confortavelmente familiar. U(a,b)
  • Um uniforme contínuo rv com suporte sobre os reais estendidos (metade ou todo): não um rv adequado, mas um conceito bayesiano básico para um anterior inadequado, útil e aplicável.
  • Um uniforme discreto com um número finito de valores: vamos lançar um domo geodésico, não é grande coisa.

Mas e quanto a uma função que tem como domínio todos os racionais incluídos em um intervalo fechado com limites de número inteiro (comece com [0,1] se desejar)? E queremos usá-lo em uma estrutura probabilística, exigindo que cada valor possível tenha igual probabilidade com todos os outros?

O número de valores possíveis é infinitamente contável (o que caracteriza muitas distribuições discretas), mas como expressar a probabilidade de um único valor, uma vez que queremos probabilidades iguais?

Podemos dizer-mostrar-provar que tal entidade é (não é) uma variável aleatória?

Se não, isso é outra encarnação (talvez já bem conhecida) de um "anterior impróprio"?

É possível que essa entidade seja, em algum sentido bem definido, ainda que especial, "equivalente" a um rv uniforme contínuo? Ou acabei de cometer um pecado cardinal?

Parece que o fato de o domínio ser um intervalo fechado não me deixa ir. As coisas limitadas são geralmente administráveis.

As perguntas são muitas, a fim de serem indicativas do turbilhão interno - não estou pedindo respostas para cada uma delas.

A qualquer momento que eu tiver alguma ideia, atualizarei.

ATUALIZAÇÃO: a presente questão acaba de adquirir uma sequência construtivista aqui.

Alecos Papadopoulos
fonte
2
+1 Uma ótima pergunta para ter aqui. Você não pode definir uma distribuição uniforme sobre os racionais, nem mesmo restrita a [0,1], nem para qualquer outro conjunto contável infinito. Eu escrevi uma pequena discussão sobre isso uma vez, vou ver se consigo desenterrá-lo e analisá-lo, mas provavelmente não adiciona nada útil à resposta que você tem.
Glen_b -Reinstala Monica
@Glen_b Obrigado Glen. Espero que você publique esta pequena discussão que você mencionou.
Alecos Papadopoulos
Refletindo, não acho que tenha dito algo que ainda não esteja coberto aqui
Glen_b -Reinstate Monica

Respostas:

11

Essa "variável aleatória" é semelhante à idéia de ter um plano anterior em toda a linha real (seu segundo exemplo).

Para mostrar que não pode haver uma variável aleatória de modo a que P ( X = Q ) = c para todos q Q[ 0 , 1 ] e constante c , usamos o σ propriedade -additive de variáveis aleatórias: a união de contáveis eventos disjuntos têm probabilidade igual à (possivelmente infinita) soma das probabilidades dos eventos. Então, se c = 0XP(X=q)=cqQ[0,1]cσc=0 , a probabilidade , pois é a soma de muitos zeros. Se c > 0 , então P ( X Q[ 0 , 1 ] ) = . No entanto, uma variável aleatória apropriada que recebe valores em Q[ 0 , 1 ] deve ser tal que P ( X Q[ 0 , 1 ] ) = 1 , portanto, não existe tal variável aleatória.P(XQ[0,1])=0c>0P(XQ[0,1])=Q[0,1]P(XQ[0,1])=1

A chave aqui, como você já deve saber, é que, se o espaço for composto por muitos pontos finitos, podemos usar e não teremos nenhum problema com a soma. Se o espaço tiver incontáveis ​​pontos, você poderá ter c = 0 e a aditivo σ não é violada ao integrar no espaço, porque é uma declaração sobre coisas contáveis . No entanto, você está enfrentando problemas quando deseja uma distribuição uniforme em um conjunto infinitamente contável.c>0c=0σ

No contexto de um Bayesian antes, porém, você pode, naturalmente, apenas dizer que para todos q Q[ 0 , 1 ] , se você estiver disposto a usar o anterior imprópria.P(X=q)1qQ[0,1]

P Schnell
fonte
Obrigado, parece que o banho frio é apropriado para a ocasião.
Alecos Papadopoulos
9

Um fato mais positivo é o seguinte.
Se você abandonar o requisito de que a medida de probabilidade seja contável aditiva, e apenas exigir, em vez disso, que ela seja finitamente aditiva (apenas para o bem desta pergunta), para os números racionais a resposta será "sim".
Os números racionais são um grupo aditivo uma vez que pode-se adicionar dois números racionais, há um elemento neutro, zero, e qualquer tem um aditivo inversa - z Q . Agora, pode-se equipar os números racionais com a topologia discreta para que eles sejam um grupo discreto . (Isso é importante porque em outros contextos é mais conveniente não fazer isso e colocar outra topologia neles.)zQzQ

vistos como um grupo discreto; eles são até um grupo discreto contável, porque existem apenas muitos números racionais.
z+y=y+z

μμ(z+A)=μ(A)AQzQ

μμ({z})=0 for all zQ.
If you seek a random variable instead of a probability measure, then just consider the identity function on the probability space (Q,μ). This gives such a required random variable.
Therefore, if you relax your definition of probability measure a bit, you end up with a positive answer for the rational numbers.
Perhaps, the existence of μ seems a bit counter-intuitive. One can get a better idea of μ by taking into account that a direct consequence of the translation-invariance is that the measure of all rational numbers whose floor is even, is one half; also, the measure of those with odd floor is one half, and so on.
That measure μ that we just showed to exist, also necessarily vanishes on all bounded subsets (as one can show with a similar argument), in particular on the unit interval.
Therefore, μ does not immediately give an answer for the rational numbers in the unit interval. One would have thought that the answer is easier to give for the rational numbers in the unit interval instead of all rational numbers, but it seems to be the other way around.
(However, it also seems that one can cook up a probability measure on the rational numbers in the unit interval with similar properties, but the answer would then require a more precise definition of "uniformity" - maybe something along the lines of "translation-invariant whenever translation does not lead outside the unit interval".)
UPDATE: You immediately obtain a measure on the unit interval rationals that is uniform in that sense, by considering the push-forward measure of the one on the rationals, that we constructed, along the map from the rationals to the unit interval rationals that maps each rational to its fractional part.
Therefore, after relaxing the requirement to finite additivity, you obtain such measures in both cases you mentioned.

Mathias Fuchs
fonte
2
(+1) Thanks Matthias, and welcome to CV. It will take me some time to fully digest your answer, but it is a very interesting approach.
Alecos Papadopoulos