Ponto técnico sobre convergência com expectativa condicional

8

Eu tenho uma sequência de variáveis não negativas , como: E ( X n | C n ) = C nXn

E(Xn|Cn)=Cnn2

onde é uma sequência de variáveis ​​aleatórias convergindo quase certamente para . 1Cn1

Posso concluir que tende a 0 quase certamente?Xn

Nota: você pode substituir por qualquer sequência com soma finita. A questão permanece essencialmente a mesma e a resposta fornecida por Jason funciona da mesma forma (veja o argumento de Borel-Cantelli).1n2

Benoit Sanchez
fonte

Respostas:

9

Sim, quase com certeza. Xn0O argumento que tenho é um pouco complicado, então tenha paciência comigo.

Primeiro, considere os eventos . Pela convergência quase certa de , segue-se que , e desde , temos . Portanto, basta mostrar que como dentro de , para qualquer .Fk=nk{Cn>2}CnP(kFk)=0F1F2P(Fk)0Xn0Fkck

Agora corrija um um . Usando a notação para representar , temos para Esse é o tipo da parte principal. (Observe também que usamos a não-negatividade de na primeira etapa, para passar de para o evento maior ) A partir daqui, precisamos apenas de alguns argumentos teóricos de medidas razoavelmente comuns.kε>0E[X;A]E[X1A]nk

E[Xn;Fkc]E[Xn;Cn2]=E[E(Xn|Cn);Cn2]=E[Cn/n2;Cn2]2/n2.
XnFkcCn2

O limite acima, juntamente com a não-negatividade de , implica que (para ), para que XnP(Fkc{Xn>ε})2n2εnk

nkP(Fkc{Xn>ε})<.

Pelo lema de Borel-Cantelli, agora podemos dizer que o evento tem probabilidade zero. Como era arbitrário, isso leva como em .

Fkc{Xn>εfor infinitely many n}
εXn0Fkc
Jason
fonte
Isso pode ser ligeiramente alterado para mostrar que, para qualquer expoente em como , , me parece. αnα>1Xn0 a.s.
jbowman
Muito obrigado. Por você quer dizer ou ? E(X;A)E(X|A)E(X1A)
Benoit Sanchez
Você quer dizer :-) Talvez você deva mencionar. Tudo parece correto para mim, ótimo! Honestamente, não acho que exista uma prova mais simples. E(X1A)
Benoit Sanchez
Certo, Benoit, eu quis dizer . Vou fazer uma edição para esclarecer isso. E(X1A)
Jason
0

Defina . Então e . Pela desigualdade de Markov, que possui soma finita, então por Borel Cantelli, e quase certamente.Zn=Xn/CnE[Zn]=1/n2Zn0P(Zn>ϵ)E[Zn]/ϵ=1/(n2ϵ)P(Zn>ϵ infinitely often)=0Zn0

Se quase certamente e quase certamente, quase certamente.Zn0Cn1Xn=ZnCn0

jlewk
fonte