Uma maneira de pensar na representação condicional é como uma projeção no -algebra .GσG
( do Wikimedia commons )
Isso é realmente rigoroso quando se fala em variáveis aleatórias integráveis em quadrados; neste caso, é na verdade a projeção ortogonal da variável aleatória no subespaço de consiste em variáveis aleatórias mensuráveis em relação a . E, de fato, isso acaba sendo verdade, em certo sentido, para variáveis aleatórias via aproximação por variáveis aleatórias .ξ L 2 ( Ω ) G L 1 L 2E [ξ| G]ξeu2( Ω )Geu1eu2
(Veja os comentários para referências.)
Se considerarmos álgebras como representando quanta informação temos disponível (uma interpretação que é rigorosa na teoria dos processos estocásticos), álgebras maiores significam mais eventos possíveis e, portanto, mais informações sobre possíveis resultados, enquanto menores álgebras significam menos eventos possíveis e, portanto, menos informações sobre possíveis resultados.σ - σ -σ-σ-σ-
Portanto, projetando a -mensurável variável aleatória para os menores álgebra significa tomar o nosso melhor palpite para o valor de dada a informação mais limitada disponível a partir de . ξ σ - G ξ GFξσ-GξG
Em outras palavras, dadas apenas as informações de , e não todas as informações de , em sentido rigoroso, nosso melhor possível suposição sobre qual é a variável aleatória .F E [ ξ | G ] ξGFE [ξ| G]ξ
Com relação ao seu exemplo, acho que você pode estar confundindo variáveis aleatórias e seus valores. Uma variável aleatória é uma função cujo domínio é o espaço de eventos; não é um número. Em outras palavras, , enquanto que para um , .X : Ω → R X ∈ { f | f : ohms → R } ω ∈ ohms X ( ω ) ∈ RXX:Ω→RX∈{f | f:Ω→R}ω∈ΩX(ω)∈R
A notação para expectativa condicional, na minha opinião, é muito ruim, porque é uma variável aleatória em si, ou seja, também uma função . Por outro lado, a expectativa (regular) de uma variável aleatória é um número . A expectativa condicional de uma variável aleatória é uma quantidade totalmente diferente da expectativa da mesma variável aleatória, ou seja, nem sequer "verifica o tipo" com .E [ ξ ]E[ξ|G]E[ξ]
Em outras palavras, usar o símbolo para denotar expectativas normais e condicionais é um abuso muito grande de notação, o que leva a muita confusão desnecessária.E
Tudo isso dito, observe que é um número (o valor da variável aleatória avaliada no valor ), mas é uma variável aleatória, mas acaba sendo uma variável aleatória constante (ou seja, degenerada trivial), porque a -algebra gerado por , é trivial / degenerado e, tecnicamente, o valor constante dessa variável aleatória constante é , onde aquiE [E[ξ|G](ω)ω E [ ξ | Ω ] σ Ω { ∅ , Ω } E [ ξ ] EE[ξ|G]ωE[ξ|Ω]σΩ{∅,Ω}E[ξ]E denota expectativa regular e, portanto, um número, não expectativa condicional e, portanto, não é uma variável aleatória.
Além disso, você parece estar confuso sobre o que significa a notação ; tecnicamente falando, só é possível condicionar em álgebras , não em eventos individuais, uma vez que medidas de probabilidade são definidas apenas em álgebras completos , e não em eventos individuais. Assim, é apenas uma abreviação (preguiçosa) para , onde representa a álgebra pelo evento , que é . Observe que ; em outras palavras, ,σ - σ - E [ ξ | A ] E [ ξ | σ ( A ) ] σ ( A ) σE[ξ|A]σ−σ−E[ξ|A]E[ξ|σ(A)]σ(A)A { ∅ , A , A c , Ω } σ ( A ) = G = σ ( A c ) E [ ξ | A ] Eσ−A{∅,A,Ac,Ω}σ(A)=G=σ(Ac)E[ξ|A]E [ ξ | A c ]E[ξ|G] e são maneiras diferentes de indicar exatamente o mesmo objeto .E[ξ|Ac]
Finalmente, só quero acrescentar que a explicação intuitiva que dei acima explica por que o valor constante da variável aleatória é apenas o número - a álgebra representa a menor quantidade possível de informações que poderíamos ter, de fato, essencialmente, nenhuma informação; portanto, sob essa circunstância extrema, o melhor palpite possível sobre qual variável aleatória é a variável aleatória constante cujo valor constante é .E [ ξ ] σ - { ∅ , Ω } ξ E [ ξ ]E[ξ|Ω]=E[ξ|σ(Ω)]=E[ξ|{∅,Ω}]E[ξ]σ−{∅,Ω}ξE[ξ]
Observe que todas as variáveis aleatórias constantes são variáveis aleatórias e são todas mensuráveis em relação ao trivial -algebra ; portanto, de fato, temos essa constante aleatória é a projeção ortogonal de no subespaço de consiste em variáveis aleatórias mensuráveis em relação a , como foi reivindicado. σ { ∅ , Ω } E [ ξ ] ξ G 2 ( Ω ) { ∅ , Ω }L2σ{∅,Ω}E[ξ]ξL2(Ω){∅,Ω}
Vou tentar elaborar o que William sugeriu.
Seja o espaço de amostra para jogar uma moeda duas vezes. Defina a execução. var. para ser o num. de cabeças que ocorrem no experimento. Claramente, . Uma maneira de pensar o que , como uma expectativa. value, representa é a melhor estimativa possível para . Se tivéssemos que adivinhar qual seria o valor , adivinharíamos . Isso ocorre porque para qualquer número real .ξ E [ ξ ] = 1Ω ξ E[ξ]=1 ξ ξ 1 E [ ( ξ - 1 ) 2 ] ≤ E [ ( ξ - um ) 2 ] um1 ξ ξ 1 E[(ξ−1)2]≤E[(ξ−a)2] a
Indique por como o evento em que o primeiro resultado é um cabeçalho. Seja seja o -alg. gen. por . Pensamos em como representando o que sabemos após o primeiro lançamento. Após o primeiro lançamento, as cabeças ocorreram ou as cabeças não ocorreram. Portanto, estamos no evento ou após o primeiro lançamento.G = { ∅ , A , A c , Ω } σ A G A A cA={HT,HH} G={∅,A,Ac,Ω} σ A G A Ac
Se estamos no evento , a melhor estimativa possível para seria , e se estivermos no evento , a melhor estimativa possível para seria .ξ E [ ξ | A ] = 1,5 A c ξ E [ ξ | A c ] = 0,5A ξ E[ξ|A]=1.5 Ac ξ E[ξ|Ac]=0.5
Agora defina a execução. var. para ser ou , dependendo ou não . Isso correu. var. , é uma aproximação melhor que desde .1,5 0,5η(ω) 1.5 0.5 η 1 = E [ ξ ] E [ ( ξ - η ) 2 ] ≤ E [ ( ξ - 1 ) 2 ]ω∈A η 1=E[ξ] E[(ξ−η)2]≤E[(ξ−1)2]
O que está fazendo é fornecer a resposta para a pergunta: qual é a melhor estimativa do após o primeiro lance? Desde que não sabemos a informação após o primeiro lance, dependerá . Depois que o evento é revelado, após o primeiro lançamento, o valor de é determinado e fornece a melhor estimativa possível para . ξ η A G η ξη ξ η A G η ξ
O problema de usar como sua própria estimativa, ou seja, é o seguinte. não está bem definido após o primeiro lançamento. Digamos que o resultado do experimento seja com o primeiro resultado sendo o principal, estamos no evento , mas o que éNão sabemos desde o primeiro lance que esse valor é ambíguo para nós e, portanto, não está bem definido. Mais formalmente, dizemos que não é ou seja, seu valor não está bem definido após o primeiro lançamento. Portanto, é a melhor estimativa possível de0 = E [ ( ξ - ξ ) 2 ] ≤ E [ ( ξ - η ) 2ξ ξ ω A ξ ( ω ) = ? ξ ξ G η ξ0=E[(ξ−ξ)2]≤E[(ξ−η)2] ξ ω A ξ(ω)=? ξ ξ G η ξ após o primeiro lançamento.
Talvez alguém aqui possa criar um exemplo mais sofisticado usando o espaço de amostra , com e algum trivial não-trivial .ξ ( ω ) = ω G σ[0,1] ξ(ω)=ω G σ
fonte
Embora você solicite não usar a definição formal, acho que a definição formal é provavelmente a melhor maneira de explicá-la.
Wikipedia - expectativa condicional :
Primeiramente, é uma função mensurável . Em segundo lugar, ele deve corresponder à expectativa de todos os (sub) conjuntos mensuráveis em . Portanto, para um evento, A, a álgebra sigma é ; portanto, é claramente definida como você especificou na sua pergunta para . Da mesma forma, para qualquer variável aleatória discreta (e combinações delas), listamos todos os eventos primitivos e atribuímos a expectativa, dado esse evento primitivo.H {A,AC,∅,Ω}ω∈A/AcH H {A,AC,∅,Ω} ω∈A/Ac
Agora considere jogar uma moeda um número infinito de vezes, onde a cada sorteio você recebe , se sua moeda é coroa, então o seu total de ganhos é onde = 1 para caudas e 0 para cabeças. Então X é uma variável aleatória real em . Após n arremessos de moedas, você sabe o valor de X com precisão ; por exemplo, após 2 arremessos de moedas, ele fica em [0,1 / 4], [1 / 4,1 / 2], [1/2, 3/4] ou [3 / 4,1] - após cada sorteio, a álgebra sigma associada está ficando cada vez mais fina e, da mesma forma, a expectativa condicional de X está ficando cada vez mais precisa. X = Σ ∞ i = 1 11/2i ci[0,1]1/2nX=∑∞i=112ici ci [0,1] 1/2n
Esperamos que este exemplo de uma variável aleatória com valor real com uma sequência de álgebras sigma cada vez mais refinadas (Filtração) afaste você da intuição puramente baseada em eventos a que está acostumado e esclareça seu objetivo.
fonte