Teoria da Probabilidade (curso de doutorado)

Transcrição

1 Teoria da Probabilidade (curso de doutorado) Glauco Valle Contents 1 Introdução 2 2 Teoria da Medida Teoria dos conjuntos e medidas Funções mensuráveis Integração Medidas e integração em espaços produto O Teorema de Radon-Nikodym e aplicações Distribuições Absolutamente contínuas em R d Aplicação: Esperança Condicional Tipos de Convergência 20 5 Convergência Fraca de Medidas Convergência em distribuição O Teorema de Prohorov Convergência fraca em C[0,1] Funções mensuráveis A medida de Wiener e o Movimento Browniano Teorema Central do Limite - Caso geral 34 1

2 Curso de Probabilidade Avançada - Prof. Glauco Valle 2 1 Introdução É remarcável que uma ciência que começou com considerações sobre jogos de azar deva ter se tornado o mais importante objeto do conhecimento humano. Laplace, Pierre Simon: Théorie Analytique des probabilités Teoria da Medida 2.1 Teoria dos conjuntos e medidas Ω conjunto arbitrário (espaço amostral) P(Ω) := {A subconjunto de Ω} conjunto das partes de Ω (classe de eventos) Definição: A P(Ω) não vazio é uma algebra de subconjuntos de Ω se A,B A A c, A B A. M P(Ω) não vazio é uma classe monótona de subconjuntos de Ω se E i E i+1, J i J i+1 + i=1 E i, + i=1 J i M O P(Ω) não vazio é uma σ-algebra de subconjuntos de Ω se A O, A i O, i N A c, + i=1 A i O. Dizemos que (Ω, O) é um espaço mensurável e que os elementos de O são os conjuntos (ou eventos) mensuráveis. Obs: A,B A A B, A B A. Toda σ-algebra é uma classe monótona. Uma algebra é uma σ-algebra se e somente se for uma classe monótona. P(Ω) é sempre uma σ-algebra. Para um conjunto arbitrário de indices I e (O i ) i I σ-algebras (classes monótonas) temos que i I O i é também uma σ-algebra (classe monótona). Dessa forma, para uma classe de conjuntos arbitrários C P(Ω) denotamos por σ(c) a menor σ-algebra contendo C definida como a interseção entre todas as σ-algebras contendo C, também chamada de σ-algebra gerada por C. No caso de um espaço topológico M a σ-algebra gerada pelos abertos é chamada de σ-algebra dos borelianos e é denotada B(M). Proposição Seja A uma algebra. Então a σ-algebra gerada por A, σ(a), coincide com a menor classe monótona contendo A. Exemplos 2.1 : Exemplos de algebras: (i) Ω = R, A = { k i=1 (a i,b i ] : k N, a i < b i + }. (ii) Ω = R d, A = { d i=1 R i : R i = (a i,1,b i,1 ]... (a i,d,b i,d ], a i,j < b i,j + }. (iii) Ω N, C uma algebra de subconjuntos de Ω, A = { k i=1 R i : R i = i=1 C i,l, C i,l C e C i,l = Ω exceto para um número finito de l s}. 1 Teorema em [3]

3 Curso de Probabilidade Avançada - Prof. Glauco Valle 3 (iv) Sejam (Ω, O), (Λ, G) espaços mensuráveis. A classe de conjuntos formada por uniões finitas do produto cartesiano de conjuntos mensuráveis, isto é, A = { d i=1 R i : R i = A i B i, A i O, B i G}, é uma algebra em Ω Λ. A σ-algebra gerada por A é chamada de σ-algebra produto e será denotada por O G. Exercício 2.1 Seja A a algebra definida no exemplo 2.1-(ii). Mostre que B(R d ) = σ(a). Exercício 2.2 Seja A a algebra definida no exemplo 2.1-(iv). Para todo E O G, ω Ω e λ Λ definimos a ω-seção e a λ-seção de E respectivamente por E ω = {z : (ω,z) E} e E λ = {z : (z,λ) E}. Mostre que E ω G e E λ O. Apesar da ausência de eventos, Algebras são mais naturais na definição de medidas e importantes por resultados de aproximação. Exercício 2.3 Fazer os exercícios 8 e 9 da seção 2.1 em [3]. Definição 2.2 Seja O P(Ω) uma σ-algebra (algebra). µ : O [0,+ ] é uma medida sobre O se (i) µ(a) µ( ) = 0, A O. (ii) A i O, i N, tal que A i A j =, i,j (e + i=1 A i O, se O for uma algebra) então µ ( + i=1 A ) + i = µ(a i ). Dizemos que (Ω, O,µ) é um espaço de medida, se µ(ω) < dizemos que (Ω, O,µ) é um espaço de medida finito e se µ(ω) = 1 dizemos que µ é uma probabilidade sobre Ω e que (Ω, O,µ) é um espaço de probabilidade. Propriedades de medidas: Seja (Ω, O,µ) um espaço de medida (i) A B µ(a) µ(b), para todos A,B O. (ii) Para todo A O tal que µ(a) < temos µ(a B) = µ(a) µ(a B) para todo B O. Em particular, se (Ω, O,µ) for finito então µ(a c ) = µ(ω) µ(a) para todo A O. (iii) Para toda sequência crescente (A n ) n 1 em O temos que i=1 lim µ(a n) = µ(a), onde A = + n i=n A n. (iv) Para toda sequência decrescente (A n ) n 1 em O com µ(a 1 ) < + temos que lim µ(a n) = µ(a), onde A = + n n=1 A n. Exemplos 2.2 : (i) Seja Ω um conjunto arbitrário. Denotamos por #A o número de elementos de A Ω, então # é uma medida sobre (Ω, P(Ω)) que chamamos de medida de contagem. (ii) Seja (Ω, O) um espaço mensurável. Para x Ω definimos δ x como δ x = { 1, x A 0,c.c., para todo A O. Dizemos que δ x é a medida de Dirac concentrada em x.

4 Curso de Probabilidade Avançada - Prof. Glauco Valle 4 Obs: A medida de contagem fornece um exemplo de que a condição µ(a 1 ) < + em (iv) acima não pode ser dispensada. Proposição 2.3 (Lema de Borel-Cantelli) Seja (E k ) k 1 uma sequência de conjuntos mensuráveis em um espaço de probabilidade (Ω, O,P), tais que Então µ(e k ) <, k=1 P(E n i.v.) = P( n 1 m n E m ) = 0, onde i.v. le-se infinitas vezes (do inglês i.o. que abrevia infinitely often ) e o resultado significa que quase todo ω Ω pertence a no máximo um número finito dos E k s. Definição Dizemos que uma medida µ sobre uma algebra A e σ-finita se existem (A n ) n 1 em A tal que Ω = n 1 A n e µ(a n ) < para todo n 1. Exemplo: A medida de contagem em um espaço não-enumerável não é σ-finita. Definição Dizemos que x é um átomo de um espaço de medida (Ω, O,µ), se {x} O e µ({x}) > 0. Se existe E O tal que µ(a) = µ(a E) para todo A O dizemos que µ é concentrada em E. Dizemos que uma medida µ é discreta se existe uma coleção de átomos (x i ) i I tal que µ é concentrada em (x i ) i I. Dizemos que uma medida é contínua se não possui átomos. Exercício 2.4 Mostre que o número de átomos de um espaço de medida σ-finito é enumerável. Exercício 2.5 Mostre que a soma de duas medidas é uma medida e que a multiplicação de uma medida por um escalar positivo também é uma medida. Mostre que toda medida pode ser escrita como a soma de uma medida discreta e de uma contínua. Exercício 2.6 Fazer os exercícios 1 e 4 da seção 2.2. em [3]. Teorema 2.4 (Teorema de extensão de Carathéodory) 2 Seja µ uma medida σ-finita sobre uma algebra A então existe uma única extensão de µ a σ(a). Exercício 2.7 Mostre que o Teorema de extensão de Carathéodory não se aplica mesmo se as medidas µ e ν forem σ-finitas sobre σ(a). Dica: Seja Ω = N { } e A a algebra de subconjuntos finitos de Ω não contendo e seus complementares, então defina µ(e) = ν(e) = #E se E { } e µ( ) ν( ). Exemplo 2.3 (Medida de Lebesgue) Definimos inicialmente uma função de conjuntos µ sobre os retângulos de R d por 2 Demonstração no apêndice A.2 em [4] µ(r) = Π d i=1(b i a i ), para todo R = d i=1(a i,b i ].

5 Curso de Probabilidade Avançada - Prof. Glauco Valle 5 Consideremos a algebra A do exemplo 2.1-(ii). Observe que todo conjunto em A pode ser escrito como a união disjunta de retângulos em R d. Assim, escrevendo A A como A = k j=1 R j com R i R j =, para todo i,j, extendemos µ a A por µ(a) = k µ(r j ). j=1 Pode-se mostrar que µ é uma medida σ-aditiva em A, logo pelo Teorema de Carathéodory existe uma única extensão a (R d, B(R d )). Essa medida chamamos medida de Lebesgue e denotamos por m d, ou simplesmente m no caso d = 1. Propriedades da medida de Lebesgue: (i) Se E B(R d ) for enumerável então m d (E) = 0. (ii) m d é invariante por transformações rígidas. (iii) Se E B(R d ) então m d (ρe) = ρ d m d (E) para todo ρ > 0. Exercício 2.8 O Conjunto de Cantor é definido indutivamente começando pela remoção do intervalo (1/3, 2/3) de [0, 1] e continuando por remover os intervalos intermediários de cada intervalo restante. Mostre que o conjunto de Cantor é o conjunto de pontos x [0,1] para o quais a sua expansão na base 3 contém apenas os dígitos 0 e 2, ou seja, existe uma sequência (a j ) + j=1 em {0,2} tal que x = j=1 a j3 j. Mostre que o conjunto de Cantor é um exemplo de conjunto de medida de Lebesgue nula que não é enumerável. Exercício 2.9 Mostre que é possível construir um conjunto de medida finita qualquer que contenha todos os racionais da reta. Exemplo 2.4 (Medida de Lebesgue-Stieltjes em R) Seja F : R R uma função não decrescente e contínua à direita. Definimos uma função de conjuntos µ sobre a algebra de intervalos semi-abertos de R definida em (2.1) por µ ( k i=1 (a i,b i ] ) := k (F(b i ) F(a i )) se os intervalos (a i,b i ] são dois a dois disjuntos. Essa medida é σ-aditiva sobre esta algebra, logo pelo Teorema de Carathéodory existe uma única extensão a (R, B(R)). Essa medida é chamada medida de Lebesgue-Stieltjes e denotamos por df. Note que df é σ-finita, além disso df é finita se e somente se F( ) = lim x F(x) > e F(+ ) = lim x + F(x) <. Neste caso, µ(r) = F(+ ) F( ), em particular a medida de Lebesgue-Stieltjes é uma probabilidade se e somente se F(+ ) F( ) = 1. Note que, a soma de uma constante a F não altera a medida resultante, para que a identificação entre funções e medidas seja biunívuca no caso de medidas finitas nos impomos a condição de que F( ) = 0. Se além de F( ) = 0 temos F(+ ) = 1, dizemos que F é uma função de distribuição em R. Exercício 2.10 Prove os seguintes fatos: (i) Prove a identificação entre medidas finitas e funções crescente se anulando em mencionada em (2.5). (ii) Mostre que a R é um átomo de uma medida de Lebesgue-Stieltjes se e somente se a função crescente associada é discontínua em a. (iii) Mostre que toda função de distribuição pode ser decomposta na soma de uma função de distribuição discreta (puro salto) e uma função de distribuição contínua. Isto equivale a decomposição para medidas. i=1

6 Curso de Probabilidade Avançada - Prof. Glauco Valle 6 Exercício 2.11 (Suporte de uma função de distribuição e de uma medida de Lebesgue-Stieltjes) Fazer exercícios 6 e 7 da seção 1.2 e o exercício 24 da seção 2.2 em [3]. O que representa o suporte de uma função de distribuição em termos da medida associada? Exemplo 2.5 (Medida de Lebesgue-Stieltjes em R d ) Seja µ uma medida finita em (R d, B(R d )) e defina a função real F(x) = µ( d i=1(,x i ]), x R d. A função F acima definida satisfaz as seguintes propriedades (i) é crescente em todas as coordenadas; (ii) é contínua a direita; (iii) lim x F(x) = µ(r d ) < e lim xi F(x) = 0 para todo 1 i d; (iv) Para toda coleção de intervalos I 1 = (a 1,b 1 ],..., I d = (a d,b d ], R F = 1,I1... d,id F 0, onde R = Π d i=1 (a i,b i ] e para um intervalo I = (a,b] temos que k,i F(x 1,...,x d ) = F(x 1,...,x k 1,b,x k+1,...,x d ) F(x 1,...,x k 1,a,x k+1,...,x d ). Por outro lado, se F for uma função que satisfaça (i)-(iv) podemos definir µ(r) = R F para todo retângulo R em R d. Extendemos µ por aditividade a uma medida sobre a algebra gerada pelos retângulos. Nesta algebra a medida é σ-aditiva e pelo Teorema de Carathéodory existe uma única extensão a (R d, B(R d )). Essa medida é chamada medida de Lebesgue-Stieltjes e denotada por df. Se em particular consideramos lim n F(x) = 1 em (iii) dizemos que a função F : R d R que satisfaça as propriedades (i)-(iv) acima é chamada de função de distribuição multidimensional. Observe que a condição (iv) na definição de função de distribuição multidimensional é necessária. Como exemplo consideremos a função F(x 1,x 2 ) = 1 E (x 1,x 2 ), onde E = {(x 1,x 2 ) : x 1 + x 2 1}, então F satisfaz (i)-(iii) porém (0,1] 2F = F(1,1) F(1,0) F(0,1) + F(0,0) = 1. Definição: Seja (Ω, O,µ) um espaço de medida. A classe de conjuntos de medida µ zero é N = {A P(Ω) : A B O, µ(b) = 0}. Dizemos que (Ω, O,µ) é completo se N O. Definimos o completamento de (Ω, O,µ) como o espaço de medida (Ω, Õ, µ) (ver exercicio abaixo) onde Õ = {A B : A O, B N } e µ é a extensão natural de µ a Õ, isto é, para todo C Õ temos µ(c) = µ(a) para uma escolha de A O tal que C = A B para algum B N. Exercício 2.12 Mostre que (Ω, Õ, µ) está bem definido como espaço de medida. Faça o exercício 20 da seção 2.2 em [3]. Obs: Existem conjuntos não mensuráveis em R d, ou seja, conjuntos que não pertencem a B(R d ).

7 Curso de Probabilidade Avançada - Prof. Glauco Valle Funções mensuráveis Definição: Seja (Ω, O) um espaço mensurável e M um espaço topológico. Uma função X : Ω M é dita uma função mensurável (f.m.) se X 1 (A) O para todo aberto A de M. Se M = [,+ ] então X é chamada de função mensurável real estendida (f.m.r.e) ou simplesmente f.m.r. se X não toma valores ±. No caso de estarmos considerando um espaço de probabilidade (Ω, O,P) é convencionalmente usado o termo elemento aleatório de M no lugar de f.m., variável aleatória extendida (v.a.e.) no lugar de f.m.r.e., variável aleatória no lugar de f.m.r. e se M = R d, d > 1, de chamarmos o elemento aleatório de vetor aleatório. Se f : (R d, B(R d )) (R, B(R)) for uma f.m. dizemos que f é uma função boreliana de d variáveis ou simplesmente uma função boreliana se d = 1. Exercício 2.13 Mostre que se X for mensurável então {X 1 (A) : A B(M)} é uma sub σ- algebra de O, esta σ-algebra será denotada por σ(x). Em particular X é mensurável se e somente se X 1 (A) O para todo A B(M). Mostre ainda que se X é uma f.m.r. se e somente se X 1 ([a,b)) O, para todo a, b R, e que toda função contínua f : R d R é boreliana. Proposição 2.5 Sejam M, M espaços topológicos e (Ω, O) um espaço mensurável. (i) Seja g : M M contínua e X : Ω M mensurável, então g X : Ω M é mensurável. (ii) Se X e Y são f.m.r. e Φ : R 2 M for contínua então Φ(X,Y ) é mensurável. Proposição 2.6 Sejam X e Y f.m.r.e. então X + Y, X 2, XY, 1/X, max(x,y ), min(x,y ), X +, X, X são f.m.r.e. s. Além disso, para uma sequência de f.m.r.e. (X n ) temos que supx n, n inf n X n, limsup X n, n liminf n X n são também f.m.r.e. s e em particular se (X n ) converge então lim n X n é f.m.r.e. Obs: Por convenção a vale para a (0, ] e vale 0 se a = 0. Seja (Ω, O) um espaço mensurável. Uma f.m.r. S sobre Ω é chamada uma f.m.r. simples se for da forma n S = c i 1 Ei i=1 para c 1,...,c n R distintos e E 1,...,E n O disjuntos. Proposição 2.7 Seja X uma f.m.r.e. positiva então existem f.m.r. s simples 0 S 1 S 2... X tal que S n (ω) X(ω) para todo ω Ω. Exercício 2.14 Seja X uma função O G-mensurável em Ω Λ. Para cada ω Ω definimos as projeções X ω = X(ω,λ) em Λ e X λ = X(ω,λ) em Ω. Mostre que para cada ω Ω a projeção X ω é G-mensurável e para cada λ Λ a projeção X λ é O-mensurável. Definição: Seja X uma v.a. sobre um espaço de probabilidade (Ω, O,P). A função de distribuição de X é a função F X (x) = P(X x) e a distribuição de X é a medida de probabilidade df X em (R, B(R)).

8 Curso de Probabilidade Avançada - Prof. Glauco Valle 8 Exercício 2.15 Fazer os exercícios 3, 4, 5, 7 e 10 da seção 3.1 em [3]. Definição: Seja (Ω, O,P) um espaço de probabilidade. Dois eventos A e B são independentes se P(A B) = P(A)P(B). As v.a. s X 1,...,X n são independentes se P(X 1 A 1,...,X n A n ) = Π n i=1 P(X i A i ) para todo A 1,...,A n B(R). Duas σ-algebras O e G são independentes se todo par de conjuntos A O e B G são independentes. É simples verificar que duas v.a s X e Y são independentes então σ(x) e σ(y ) são independentes. Reciprocamente se O e G são independentes e X é O-mensurável e Y é G-mensurável, então X e Y são independentes. É importante notar que se X, Y e Z são v.a. s tais que os pares (X,Y ), (X,Z) e (Y,Z) são independentes não implica que X, Y e Z são independentes. Dizemos que uma coleção de v.a. s (X i ) i I é dois a dois independente se todo par (X i,x j ) for independente e em geral que (X i ) i I é n a n independente se toda n-upla (X i1,...,x in ) for independente. Exercício 2.16 Faça os exercícios 1, 2, 3 e 8 da seção 3.3 de [3] Proposição 2.8 Sejam X j vetores aleatórios em n j variáveis para 1 j k que são independentes. Se f j são funções borelianas em n j variáveis para 1 j n, então f 1 (X 1 ),...,f k (X k ) também são independentes. Proposição 2.9 (Segundo lema de Borel-Cantelli) Seja (E k ) k 1 uma sequência de conjuntos independentes em um espaço de probabilidade (Ω, O,P), tais que P(E k ) =, k=1 Então P(E n i.v.) = 1. Seja (X n ) n=1 uma sequência de v.a. s independentes. Os Lemmas de Borel-Cantelli servem para especificar a probabilidade de eventos do tipo {X n A n i.v.}, esses eventos são subconjuntos na σ-algebra da cauda da sequência X n que é a σ-algebra k σ(x k,x k+1,...). Para os eventos nessa σ-algebra nos temos um resultado geral: Teorema 2.10 (Lei 0-1 de Kolmogorov) Seja (X n ) n=1 uma sequência de v.a. s independentes em um espaço de probabilidade (Ω, O,P). Se E k σ(x k,x k+1,...) então P(E) {0,1}. 2.3 Integração Durante esta seção trabalharemos em um espaço de medida (Ω, O,µ) fixado. Definição: Definimos a integral de Lebesgue de uma f.m.r. simples S = n i=1 c i1 Ei com respeito a µ sobre A O por n Sdµ := c i µ(e i A). A i=1 Se X for uma f.m.r.e. positiva (com valores em [0, ]) definimos a integral de Lebesgue de X com respeito a µ sobre A O por Xdµ := sup Sdµ [0, ] S A A

9 Curso de Probabilidade Avançada - Prof. Glauco Valle 9 onde o supremum é tomado sobre todas as f.m.r. simples tais que 0 S X. Se A = Ω omitiremos a indicação do conjunto na integral, a menos que não esteja claro qual é o espaço amostral. Dizemos que uma f.m.r. X é µ-integrável se X dµ <. neste caso X + dµ e X dµ são finitas e definimos a integral de Lebesgue de X com respeito a µ como Xdµ := X + dµ X dµ. Obs: Se (Ω, O,µ) for um espaço de probabilidade costumamos usar a notação E µ [X] no lugar de Xdµ e chamar essa integral de esperança de X com respeito a µ, quando estiver claro em que espaço de probabilidade estamos trabalhando usamos simplesmente E[X]. Propriedades da integral: (i) X Y µ-integráveis ou positivas E Xdµ E Y dµ. (ii) A B, X positiva A Xdµ B Xdµ. (iii) Sejam X, Y µ-integráveis e c R uma constante, então (cx + Y )dµ = c Xdµ + Y dµ. (iv) X 0 Xdµ = 0 (mesmo se µ(e) = ). E (v) µ(e) = 0, X µ-integrável Xdµ = 0. Em particular, se X e Y são µ-integráveis e E µ(x Y ) = 0 então Xdµ = Y dµ. (vi) X for µ-integrável ou positiva e E O E Xdµ = X1 E dµ. (vii) X µ-integrável Xdµ X dµ. Definimos uma relação de equivalência no espaço de f.m.r. s: X é equivalente a Y se e somente se µ(x Y ) = 0, neste caso dizemos que X e Y coincidem µ quase certamente ou abreviadamente µ-q.c.. Por (v) temos que a o valor das integrais sobre conjuntos mensuráveis de v.a s dentro de uma mesma classe de equivalência é constante, logo do ponto de vista de integração duas f.m.r. s µ- integráveis que são identicas µ-q.c. podem ser consideradas iguais se desprezamos seus valores nesse conjunto de medida nula onde elas se diferem. Entretanto, no que diz respeito a mensurabilidade, observe que se modificarmos os valores de uma f.m.r. em um conjunto de medida nula não podemos garantir mensurabilidade da função obtida a menos que o espaço de medida seja completo. Assim, como ao descartar uma coleção enumerável de conjuntos de medida nula estamos ainda descartando um conjunto de medida nula, também podemos estender todos os resultados dessa seção que envolvem um processo limite de funções mensuráveis a occorrência quase certa do mesmo processo limite, isto é, ocorrendo a menos de um conjunto de medida nula (ver a seção 4). Teorema 2.11 (Teorema de convergência monótona de Lebesgue) Seja (X n ) n 1 uma sequência de f.m.r.e. positivas que seja monótona crescente e seja X o seu limite, então X é também uma f.m.r.e. e Xdµ = lim X n dµ. n

10 Curso de Probabilidade Avançada - Prof. Glauco Valle 10 Teorema 2.12 Seja (X n ) n 1 uma sequência de f.m.r.e positivas e X = i=1 X n, então Xdµ = X n dµ. n=1 Teorema 2.13 (Lema de Fatou) Seja (X n ) n 1 uma sequência de f.m.r.e positivas, então lim inf X ndµ liminf X n dµ. n n Proposição 2.14 Seja X uma f.m.r. µ-integrável e ν(e) = Xdµ, E O. Então ν é uma medida com sinal sobre (Ω, O). E Obs: Costumamos usar a seguinte notação dν = Xdµ para indicar que a medida ν é da forma que aparece na proposição acima. A recíproca dessa proposição é o Teorema de Radon-Nikodym que será visto na Seção 3. Proposição 2.15 Seja X uma f.m.r. µ-integrável então para todo ǫ > 0 existe δ > 0 tal que X dµ < ǫ para todo E O satisfazendo µ(e) < δ. E Em particular, se lim n µ(e n ) = 0 então lim n E n Xdµ = 0. Exercício 2.17 Mostre que (i) Se X for uma f.m.r. positiva e Xdµ = 0 então X = 0 µ-q.c. em Ω. (ii) Se X for uma f.m.r. e Xdµ = 0 para todo E O então X = 0 µ-q.c. em Ω. E Definição: Para 1 < p < + e X uma f.m.r. Dizemos que X tem momento de ordem p finito se X p dµ <. Denotamos o espaço de f.m.r. s com momentos de ordem p finitos por L p (µ). Proposição 2.16 (Desigualdade de Hölder e Minkowski) Sejam p 1, q 1 inteiros tais que p 1 + q 1 = 1. Se X, X L p (µ) e Y L q (µ) então ( XY dµ ) 1 ( ) 1 X p p dµ Y q q dµ e ( ) 1 ( X + X p p dµ ) 1 ( X p p dµ + ) 1 X p p dµ.

11 Curso de Probabilidade Avançada - Prof. Glauco Valle 11 Obs: L p (µ) é um espaço vetorial. Se para X L p (µ) denotamos ( ) 1 X p = X p p dµ então p é uma norma completa sobre L p (µ). Obs: Como consequência da desigualdade de Hölder, se (Ω, O,µ) for um espaço de medida finito, então os espaços L p (µ) são decrescentes, isto é, L p (µ) L q (µ) com 1 p q <. Proposição 2.17 (Desigualdade de Jensen) Se µ for uma probabilidade, então para toda v.a. X L 1 (µ) tal que a < X < b + e ϕ : (a,b) R convexa ( ) ϕ Xdµ ϕ(x)dµ. Proposição 2.18 (Desigualdade de Chebyshev) Suponha que µ seja uma probabilidade. Seja X L 1 (µ) e ϕ : R R uma função positiva e crescente em (0, ) tal que ϕ(u) = ϕ( u), então para todo u > 0, µ( X u) 1 ϕ(x)dµ. ϕ(u) Teorema 2.19 (Teorema de Convergência Dominada) Seja (X n ) uma sequência de f.m.r s que converge µ-q.c. Se existe Y L 1 (µ) positiva tal que X n Y para todo n então lim X ndµ = lim X n dµ. n n Exemplo 2.6 Observe que a condição de dominação é de fato necessária para garantir o intercâmbio entre o limite e a integral como no TCD. Um contra-exemplo usual é o seguinte: Considere o espaço de probabilidade ([0,1], B([0,1]),m) e as v.a s X n = 2 n 1 [0,2 n ], então lim n X n = 0 q.c, mas para todo n temos E[X n ] = 1 logo lim n E[X n ] = 1 0 = E[lim n X n ]. Proposição 2.20 Seja X uma f.m.r. sobre um espaço de medida finito (Ω, O,µ) que induz o espaço de medida finito (R, B(R),dF X ) e seja ϕ uma função boreliana. Então vale a igualdade ϕ(x(ω))µ(dω) = ϕ(x)df X (x) Ω R Teorema 2.21 (Teorema de mudança de variáveis) Suponha que (i) E A R d onde V é aberto e T : V R d é contínuo; (ii) E é Lebesgue mensurável, T é 1:1 em E e T e diferenciável em cada ponto de E. (iii) m d (T(V E)) = 0 Então, colocando F = T(E), f dm d = F E (f T) J T dm d para toda função boreliana f : R d [0, ], onde J T = J T (x) é a matriz jacobiana no ponto x. Exercício 2.18 Fazer os exercicios 4, 5, 6, 14, 16, 17, 18 e 19 da seção 3.2 em [3].

12 Curso de Probabilidade Avançada - Prof. Glauco Valle Medidas e integração em espaços produto Começamos por um resultado necessário na definição de medida produto. Teorema 2.22 Sejam (Ω, O,µ), (Λ, G,ν) dois espaços de medida σ-finitos. Suponha Q O G, então a função ν(q ω ) é O-mensurável, µ(q λ ) é G-mensurável e ν(q ω )dµ = µ(q λ )dν. Ω Definição: (Medida produto) Sejam (Ω, O,µ), (Λ, G,ν) dois espaços de medida σ-finitos. Para Q O G definimos (µ ν)(q) = ν(q ω )dµ = µ(q λ )dν. Ω Pelo Teorema 2.12, temos que µ ν é uma medida em (Ω Λ, O G) que chamamos de medida produto de µ e ν. Note que a medida produto de um retângulo A B, A O e B G, é dada por (µ ν)(a B) = µ(a) ν(b). Assim pelo Teorema de Carathéodory a medida produto é caracterizada como a única medida cujo valor nos retângulos é o produto das medidas das projeções. Λ Λ Teorema 2.23 (Teorema de Fubini) Sejam (Ω, O, µ), (Λ, G, ν) dois espaços de medida σ-finitos. Seja X uma f.m.r. em (Ω Λ, O G) (i) Se X for positiva então Ω X λ dµ, and Λ X ω dν são respectivamente G-mensurável e O-mensurável e { } X λ dµ dν = Xd(µ ν) = (ii) Se então X L 1 (µ ν). Λ Ω Ω { Ω Λ Λ } X ω dν dµ < (iii) Se X L 1 (µ ν), então X ω L 1 (ν) µ-q.c., X λ L 1 (µ) ν-q.c., além disso X λ dµ, and X ω dν estão respectivamente em L 1 (ν) e L 1 (µ) e (2.1) vale. Ω Λ Ω { Λ } X ω dν dλ (2.1) Exercício 2.19 Generalize a definição de medida produto e o Teorema de Fubini para o produto de n espaços mensuráveis. Sejam (Ω i, O i,µ i ), 1 i n, espaços produtos, definimos indutivamente com base na definição acima a medida produto n i=1 µ i sobre n i=1 O i, que pelo Teorema de carathéodory é a única medida sobre a σ-algebra produto cuja medida dos retângulos A 1... A n fatora-se como o produto µ 1 (A 1 )...µ n (A n ). Em particular, m d = d i=1 m. Obs: Se (Ω, O,µ), (Λ, G,ν) são dois espaços de medida completos, o espaço (Ω Λ, O G,µ ν) não é necessariamente completo.

13 Curso de Probabilidade Avançada - Prof. Glauco Valle 13 Exercício 2.20 Contra-exemplos para o Teorema de Fubini: (i)construa um exemplo de uma função boreliana f em [0,1] [0,1] que satisfaça: 1 1 f(x,y)dydx = 1 0 = f(x,y)dxdy, entretanto f(x,y) dydx = +. (ii) Considere os espaços de medida ([0,1], B([0,1]),m) e ([0,1], P([0,1]),#), encontre um exemplo de uma f : [0,1] [0,1] R + limitada que seja B([0,1]) P([0,1]) mesurável tal que f(x,y)d#(y)dm(x) = 1 0 = f(x,y)dm(x)d#(y). Exercício 2.21 Fazer o exercício 20 da seção 3.3 em [3]. O próximo resultado generaliza a proposição 2.20 para distribuições multidimensionais. Proposição 2.24 Seja (X 1,...,X n ) funções mensuráveis sobre um espaço de medida finito (Ω, O,µ) que induz o espaço de medida finito (R n, B(R n ),df X1,...,X n ) e seja ϕ uma função boreliana n- dimensional. Então vale a igualdade ϕ(x 1 (ω),...,x n (ω))µ(dω) = ϕ(x)df X1,...,X n (x) Ω R n Uma forma de caracterizar independência de v.a. s é através de sua distribuição conjunta. Se X 1,...,X n são v.a. s independentes, então a distribuição conjunta de (X 1,...,X n ) fatora-se como o produto das distribuições de X 1,...,X n, isto é, df X1,...,X n = df X1... df Xn, em particular a função de distribuição conjunta fatora no produto das funções de distribuição marginais. De forma mais geral, sejam X 1,...,X n elementos aleatórios independentes sobre um espaço M separável e µ j suas distribuições, isto é, µ i (A) = P(X i A) para todo A B(M), então a distribuição µ do vetor (X 1,...,X n ) fatora-se como µ = n i=1 µ i. Proposição 2.25 Sejam X e Y v.a. s independentes, então E[XY ] = E[X]E[Y ]. Exercício 2.22 Mostre que existem v.a. s X e Y em um espaço de probabilidade (Ω, O,P) tais que X Bin(n,p), Y Bin(n,q), com p < q, e P(X Y ) = 1. Faça o mesmo para X Poisson(λ 1 ), Y Poisson(λ 2 ), com λ 1 < λ 2 (A distribuição conjunta é chamada de medida de acoplamento nestes casos em que uma relação específica de dependência é caracterizada). O próximo resultado diz respeito a existência de medidas em espaços de produto infinito. O resultado apresentado aqui é para o espaço de sequências reais, mas pode ser generalizado para espaços de trajetórias reais que sejam indexadas por conjuntos não enumeráveis (Isto será visto posteriormente como pré-requisito no estudo de processos estocásticos a tempo contínuo). Para o espaço de sequências utilizamos a seguinte notação R N = {(x i ) i=1 : x i R}, e por B N a σ-algebra produto de R N definida em (iii) do exemplo (2.1). Denotamos por π k,k+1 : R k+1 R k e π k : R N R k as projeções canônicas nas k primeiras variáveis.

14 Curso de Probabilidade Avançada - Prof. Glauco Valle 14 Teorema 2.26 (Teorema de extensão de Kolmogorov) Seja (µ k ) k 1 uma família de medidas de probabilidade respectivamente sobre (R k, B(R k )), satisfazendo µ k = µ k+1 π 1 k,k+1, k 1, então existe uma única medida de probabilidade µ sobre (R N, B N ) tal que µ k = µπ 1 k. Pelo Teorema de Kolmogorov podemos falar na distribuição de uma sequência de v.a s (X i ) i=1 sobre (R N, B N ) que é i=1 ν i, onde ν i é a distribuição de X i. Verifica-se isto fazendo µ k = k i=1 ν i no Teorema 2.26 e definindo i=1 ν i := µ com µ como no enunciado. Exercício 2.23 Discuta com exemplos a relação entre medidas produto e independência. 3 O Teorema de Radon-Nikodym e aplicações Nesta seção nós começamos por generalizar o nosso conceito de medida. Uma medida com sinal é toda função de conjuntos de uma σ-algebra em R que é σ-aditiva e se anula em. As medidas como as definidas na Definição 2.2 serão chamadas de medidas positivas. Com o termo medida será usado em ambos os casos. Definição: Seja (Ω, O) um espaço mensurável. Se µ for uma medida positiva e ν uma medida com sinal sobre (Ω, O) dizemos que ν é absolutamente contínua com respeito a µ (notação: ν << µ) se ν(a) = 0 para todo A O tal que µ(a) = 0. Se ν 1 e ν 2 são medidas sobre (Ω, O) e existir um conjunto E O tal que ν 1 é concentrada em E e ν 2 em E c, dizemos que ν 1 e ν 2 são mutuamente singulares (notação: ν 1 ν 2 ). Proposição 3.1 Sejam µ, ν, ν 1 e ν 2 medidas sobre um espaço mensurável (Ω, O) tal que µ é uma medida positiva. (i) ν 1 µ e ν 2 µ ν 1 + ν 2 µ, (ii) ν 1 << µ e ν 2 << µ ν 1 + ν 2 << µ, (iii) ν 1 << µ e ν 2 µ ν 1 ν 2, (iv) ν << µ e ν µ ν = 0. Teorema 3.2 (Teorema de Radon-Nikodym) Seja µ uma medida positiva σ-finita sobre um espaço mensurável (Ω, O) e ν uma medida com sinal sobre o mesmo espaço. Temos que (i) Existe um único par de medidas ν a e ν s tais que ν = ν a + ν s, com ν a << µ e ν s µ. Se ν for positiva e finita, então também o são ν a e ν b. (ii) Existe uma única H L 1 (µ) tal que ν a (E) = além disso H é positiva se ν for positiva. E Hdµ, E O,

15 Curso de Probabilidade Avançada - Prof. Glauco Valle 15 Em particular, se ν << µ temos que ν = ν a, neste caso a função H em (ii) no Teorema de Radon- Nikodym é denominada de derivada de Radon-Nikodym ou densidade de ν com respeito a µ e será denotada por dν dµ. Pela proposição 2.15 temos que ν << µ se e somente se para todo ǫ > 0 existe δ > 0 tal que µ(e) < δ implica ν(e) < ǫ. Proposição 3.3 Sejam µ e ν duas medidas positivas tal que ν << µ, então se X L 1 (ν) temos que X dν dµ L1 (µ) e X dν = X dν dµ dµ. Exercício 3.1 Sejam ν e µ duas medidas positivas tais que ν << µ. Se dν dµ > 0 q.c. então µ << ν ( 1, e dµ dν = dν dµ) neste caso dizemos que ν e µ são equivalentes. 3.1 Distribuições Absolutamente contínuas em R d Vamos considerar agora uma aplicação, mas antes consideremos o seguinte resultado: Proposição 3.4 Toda função real monótona é q.c. diferenciável com respeito a medida de Lebesgue. Consideremos uma medida finita ν em (R d, B(R d )). Pelo Teorema de Radon-Nikodym existem medidas ν a e ν s em (R d, B(R d )) tais que ν a << m d e ν s m d. Sejam F, F a e F s respectivamente as funções de distribuição de ν, ν a, ν s. Note que F(x) = ν( d i=1(,x i ]) = ν a ( d i=1(,x i ]) + ν s ( d i=1(,x i ]) = F a (x) + F s (x), x R d, ou seja F = F a + F s. Temos que F a é chamada de a parte absolutamente contínua de F e F s de a parte singular de F. Como uma medida discreta não pode ser absolutamente contínua com respeito a Lebesgue, temos que F a é contínua. Por outro lado, F s pode ser decomposta em sua parte contínua, que denotamos F sc, e sua parte discreta F d, isto é, F s = F sc + F d. Suponhamos d = 1, ora ambas F a e F sc são contínuas e estamos interessados na propriedade que difere uma da outra. Pelo item (ii) no Teorema de Radon-Nikodym existe h L 1 (m) tal que F a (x ) F a (x) = ν((x,x ]) = x x h(y)dy, x,x [,+ ] : x < x, Pela proposição 3.4 F a é difereniável q.c. e F a = h q.c.. Uma função que satisfaça x G(x ) G(x) = ν((x,x ]) = g(y)dy, x x,x [,+ ] : x < x, para algum g L 1 (m) é dita absolutamente contínua. Note que x F(x ) F(x) h(x)dx = F a (x ) F a (x) = (F(x ) F(x)) (F s (x ) F s (x)), x por outro lado se existir g L 1 (m) positiva tal que x F s (x ) F s (x) g(x)dx, x x,x [,+ ] : x < x,

16 Curso de Probabilidade Avançada - Prof. Glauco Valle 16 teríamos também que ν s (E) E g(x)dx, E B(R), o que seria uma contradição ao fato de ν s m a menos que g = 0 m-q.c.. Definição: Dizemos que uma função de distribuição é absolutamente contínua se F = F a e que ela é singular se F = F s. Em particular toda função de distribuição é a combinação convexa de uma função de distribuição absolutamente contínua e uma singular. Obs: Pela Proposição 3.4, no caso de uma função de distribuição F teremos F = F a q.c. e F s = 0 q.c. (Tente mostrar isto usando o Lema de Fatou). No caso de F sc foge a intuição o fato de termos funções contínuas que são diferenciáveis q.c. com derivada nula, mas que não são constantes. Um exemplo de função de distribuição contínua singular é a função de Cantor definida por 1, se x 1, k F(x) = 2, se x J n n,k, 0, se x 0, lim y K, y x F(y), x K, onde K denota o conjunto de Cantor e J n,k denota o k-ésimo intervalo removido de [0,1] na n-ésima etapa do processo que define o conjunto de Cantor. Note ainda que como consequência do Teorema 3.3, temos que para uma função de distribuição absolutamente contínua F, se X L 1 (df) então XF L 1 (m) e XdF = XF dm R R São exemplos conhecidos dos cursos de probabilidade básica as famílias de distribuições absolutamente contínuas: normal, exponencial, t-student, gamma, beta. E as famílias de distribuições discretas: binomial, geométrica, Poisson. Embora as distribuições contínuas singulares não apareçam diretamente em cursos preliminares de probabilidade e estatística, elas não são apenas importantes do ponto de vista teórico, podemos citar exemplos de aplicações como ao cálculo estocástico cujas ramificações servem a estabelecer modelos probabilísticos relevantes em física e finanças. Exercício 3.2 (Generalização do Teorema Fundamental do Cálculo) Mostre que se g for uma função continuamente diferenciável com suporte compacto então + g(x)df(x) = + g (x)f(x)dx. Obs: Esse resultado permite pensar em df como a derivada de F e é em certos contextos chamada de derivada distribucional de F. Exercício 3.3 Mostre que a função de Cantor é uma função de distribuição contínua singular, cujo suporte é o conjunto de Cantor. Exercício 3.4 Fazer exercícios 3 e 4 da seção 1.3 em [3].

17 Curso de Probabilidade Avançada - Prof. Glauco Valle Aplicação: Esperança Condicional Uma das primeiras aplicações do Teorema de Radon-Nikodym na Teoria das probabilidades é a existência de probabilidades e esperanças condicionais. Consideremos um espaço de probabilidade (Ω, O,P). Seja A O e Y uma v.a., definimos µ A (C) := P(A {Y C}) P(Y C) =: df Y (C), C B(R). Temos que µ A e df Y são medidas positivas, além disso a inequação acima implica que µ A << df Y. Pelo Teorema de Radon-Nikodym existe φ : R R boreliana e integrável com respeito a df Y tal que P(A {Y C}) = φ(y)df Y (y). (3.1) Definimos P(A Y = y) := φ(y), q.c. com respeito a m, e dizemos que P(A Y = ) é uma versão da probabilidade condicional de A dado Y. Definimos a v.a P(A Y ) por P(A Y )(ω) := P(A Y (ω)) = φ(y (ω)). Então por (3.1) P(A {Y C}) = {Y C} C P(A Y )P(dy) = E [ P(A Y )1 {Y C} ], C B(R). (3.2) A vantagem do uso da derivada de Radon-Nikodym é que ela permite uma definição coerente da probabilidade condicional que se aplica mesmo quando P(Y = y) = 0. Definição: Chamamos de probabilidade condicional de A dado Y a única v.a. 3, denotada P(A Y ), que é σ(y )-mensurável satisfazendo (3.2). Lema 3.5 Existe uma versão regular da probabilidade condicional, isto é, temos P(A Y )(ω) como uma função de (A,ω) O Ω tal que (i) Para todo A O, P(A Y )(ω) é O-mensurável na variável ω, (ii) Para todo ω Ω, P( Y )(ω) é uma probabilidade. Analogamente obtemos um resultado de existência da esperança condicional. Seja X tal que X L 1. Definimos µ X (C) := XdP E[ X ], C B(R). {Y C} Temos que µ X é uma medida finita sobre B(R), além disso por propriedade da integral temos que µ X << df Y. Pelo Teorema de Radon-Nikodym existe φ : R R boreliana e integrável com respeito a df Y tal que XdP = φ(y)df Y (y). (3.3) {Y C} Como antes, definimos E(X Y = y) := φ(y), q.c. com respeito a m, e dizemos que E(X Y = ) é uma versão da esperança condicional de X dado Y. Definimos a v.a E(X Y ) por E(X Y )(ω) := E(X Y (ω)) = φ(y (ω)). 3única a menos de uma versão diferindo em um conjunto de probabilidade 0 C

18 Curso de Probabilidade Avançada - Prof. Glauco Valle 18 Então por (3.3) {Y C} XdP = o que é também equivalente a XdP = A {Y C} A E(X Y )P(dy) = E [ E(X Y )1 {Y C} ], C B(R). (3.4) E(X Y )P(dy) = E [ E(X Y )1 A ], A σ(y ). (3.5) Definição: Chamamos de esperança condicional de X dado Y a única v.a. 4, denotada por E[X Y ], que é σ(y )-mensurável satisfazendo (3.4) ou (3.5). Observe que a definição de probabilidade condicional dado uma v.a. é uma caso particular da esperança conditional. Outra observação importante é a de que a esperança condicional E[X Y ] só depende da varíavel aleatória Y através da σ-algebra σ(y ), funcionando como um filtro que reinterpreta a v.a. X em termos da informação proveniente de σ(y ). Baseado nisto, seria útil poder fazer o mesmo para toda σ-algebra G O. Isto se daria por outra aplicação análoga do Teorema de Radon-Nikodym generalizando as anteriores. De fato, se X L 1 temos que a medida Q X (A) := XdP E[ X ], A G A é absolutamente contínua com respeito a P e a derivada de Radon-Nikodym correspondente, denotada por E[X G], é a única função em L 1 que satisfaz XdP = E[X G]P(dy) = E [ ] E[X G]1 A, A G. (3.6) A A Definição: Chamamos a v.a. E[X G] da esperança condicional de X dado G. A esperança condicional é importante ferramenta em Teoria da Probabilidade. Formalizando a noção de condicionamento, ela serve de base na definição de certos processos estocásticos que motivaram o desenvolvimento da Probabilidade moderna e aparecem em inumeras aplicações. Como mencionado antes devemos sempre guardar a idéia de que a esperança condicional de X dado G funciona como um filtro que reinterpreta a v.a X em termos da informação proveniente do conhecimento de G. Lema 3.6 Existe uma versão regular da probabilidade condicional, isto é, temos P(A G) como uma função de (A,ω) O Ω tal que (i) Para todo A O, P(A G)(ω) é G-mensurável na variável ω, (ii) Para todo ω Ω, P( G)(ω) é uma probabilidade. Pelo Lema acima podemos pensar na probabilidade condicional como uma medida de probabilidade aleatória e na esperança condicional como a esperança com respeito a essa medida de probabilidade aleatória. Propriedades da esperança condicional: Seja X, Y e (X n ) n 1 v.a. s sobre um espaço de probabilidade (Ω, O, P) e G O uma σ-algebra: (i) E[E[X G]] = E[X] ; (ii) X c E[X G] = c q.c.; 4única a menos de uma versão diferindo em um conjunto de probabilidade 0

19 Curso de Probabilidade Avançada - Prof. Glauco Valle 19 (iii) (monotonicidade) X Y E[X G] E[Y G] q.c.; (iv) (linearidade) Para todo a, b R temos que E[aX + by G] = ae[x G] + be[y G] ; (v) (Desigualdade de Jensen) Seja φ : R R convexa, então φ(e[x G]) E[φ(X) G]; (vi) (Convergência monótona) Se X n 0 e X n X, então E[X n G] E[X G] ; (vii) (Convergência dominada) Se X n X, E[ Y ] < e X n Y para todo n, então E[X n G] E[X G]; (viii) Se X for G-mensurável então E[XY G] = XE[Y G] q.c., em particular X = E[X G] q.c.; (ix) Se X e G são independentes então E[X G] = E[X] q.c. Proposição 3.7 Seja X uma v.a. e G uma σ-algebra, então E[X G] é entre as v.a. s G-mensuráveis aquela que minimiza o erro quadrático médio, isto é, E[(X E[X G]) 2 ] E[(X Y ) 2 ] para toda v.a. Y G-mensurável. Exercício 3.5 Prove a Proposição 3.7. Seja X uma v.a. e G uma σ-algebra, mostre que O que concluimos se E[X 2 ] = E[E[X G] 2 ]. E[(X E[X G]) 2 ] = E[X 2 ] E[E[X G] 2 ]. Definição: função de distribuição condicional de X dado Y Sejam X e Y v.a. s, e seja G : R Ω R uma funão B(R) O-mensurável tal que (i) G(x,ω) = P(X x Y = ω) (a menos de um conjunto de probabilidade nula). (ii) Para todo ω, G(,ω) é uma função de distribuição. Denotamos tal função por F X (x,y ) que será chamada de função de distribuição condicional de X dado Y. Assim, por (3.1) com C = R e com C = (,y) temos que F X (x) = + F X,Y (x,y) = P(X x,y y) = F X (x Y = y)df Y (y). y F X (x Y = v)df Y (v). Proposição 3.8 (Princípio da substituição) Sejam X e Y v.a. s e ϕ : R 2 R uma função boreliana, então se ϕ(x,y ) for integrável temos que E[ϕ(X,Y ) Y = y] = E[ϕ(X,y) Y = y] = ϕ(x,y)df X (x Y = y). Suponha que X, Y possuam densidade conjunta f(x,y), então y F X (x Y = v)f Y (dv) = F X,Y (x,y) = = = y y y x { x { x f(u,v)dudv f(u,v) f Y (v) du } f Y (v)dv f(u,v) f Y (v) du } df Y (v),

20 Curso de Probabilidade Avançada - Prof. Glauco Valle 20 de onde obtemos que F X (x Y = y) = x f(u,y) f Y (y) du de forma que o integrando f(x,y)/f Y (y) é uma densidade para a função de distribuição F X ( Y = y) e coerentemente o denotamos por f(x y) que será chamada de densidade condicional de X dado Y. Exercício 3.6 Seja µ 1 e µ 2 duas medidas de probabilidade em (R, B(R)) e sejam F 1 e F 2 suas respectivas funções de distribuição, e se estas medidas são absolutamente contínuas sejam p 1 e p 2 suas densidades. Defina a convolução das medidas µ 1 e µ 2 por (µ 1 µ 2 )(B) = µ 1 (B y)µ 2 (dy), B B(R) R onde B y = {x y : x B}, a convolução das funções de distribuição F 1 e F 2 por (F 1 F 2 )(x) = F 1 (x y)df 2 (y) e a convolução das densidades p 1 e p 2 por (p 1 p 2 )(x) = R R p 1 (x y)p 2 (y)dy. Mostre que µ 1 µ 2 é uma medida em (R, B(R)) cuja função de distribuição é F 1 F 2 e que se ambas µ 1 e µ 2 são absolutamente contínuas então µ 1 µ 2 é absolutamente contínua com densidade p 1 p 2. Mostre ainda que se X e Y são v.a. s independentes com distribuição µ 1 e µ 2 então µ 1 µ 2 é a distribuição de X + Y. Se as v.a. s X e Y não são necessáriamente independentes qual é a função de distribuição de X + Y. 4 Tipos de Convergência Nesta seção estaremos trabalhando em um espaço de probabilidade (Ω, O,P) fixo. Definição: Sejam X e (X n ) n 1 v.a. s. (i) Dizemos que X n converge a X em probabilidade (notação: X n P X) se para todo ǫ > 0 P( X n X > ǫ) 0, quando n +. (ii) Dizemos qu X n converge a X quase-certamente (q.c.) se ( ) P ω : lim X n(ω) = X(ω) = 1. n (iii) Suponha que X e (X n ) n 1 estão em L p. Dizemos que X n converge a X em L p se ( ) 1 X n X = X n X p p dp 0, quando n. Exercício 4.1 Mostre que nos três casos acima, a menos de um conjunto de medida nula, o limite é unicamente determinado.

21 Curso de Probabilidade Avançada - Prof. Glauco Valle 21 Proposição 4.1 Uma sequência de v.a. s (X n ) converge a X q.c. se e somente se P( X n X > ǫ i.v.) = 0, para todo ǫ > 0. Proposição 4.2 Toda sequência de v.a. s que converge q.c. também converge em probabilidade ao mesmo limite. Exemplo 4.1 Considere o espaço de probabilidade ([0, 1], B([0, 1]), m) e a seguinte sequência de v.a. s aleatórias X n = 1 [(k 1)2 l,k2 l ), se n = 2 l + k, l 0 e k = 1,...,2 l. Então X n P 0 já que para todo ǫ > 0 temos P( X n > ǫ) < 2 l se n > 2 l. Entretanto X n não converge quase-certamente já que com probabilidade 1 a sequência X n alterna entre os valores 0 e 1 uma infinidade de vezes. Proposição 4.3 Se uma sequência (X n ) converge a X em probabilidade então existe uma subsequência (X nk ) que converge q.c. a X. Proposição 4.4 Toda sequência de v.a. s que é L p convergente também converge em probabilidade. Por outro lado, uma sequência de v.a. s (X n ) que converge em probabilidade também converge em L p se X n é dominada por alguma v.a. Y L p. O exemplo (2.6) também serve como exemplo de uma sequência de v.a s que converge quasecertamente mais não converge em L 1. Definição: Uma família de v.a s (X t ) t I, onde I é um conjunto de índices arbitrário, é uniformemente integrável se lim sup X t dp = 0. A t I { X t >A} Exercício 4.2 Mostre que uma família de v.a s (X t ) t I é uniformemente integrável se e somente se lim sup X t dp = 0. P(E) 0 t I E Proposição 4.5 Seja p [1, ), X n L p tal que X n P X. Então as seguintes três afirmativas são equivalentes: (i) ( X n p ) é uniformemente integrável; (ii) X n X em L p ; (iii) E[ X n p ] E[ X p ] <. Exercício 4.3 Fazer os exercícios 1, 3, 4, 5, 8, 10, 13, 18, 20 da seção 4.1 em [3].

22 Curso de Probabilidade Avançada - Prof. Glauco Valle 22 5 Convergência Fraca de Medidas Nesta seção estaremos interessados em espaços mensuráveis de um tipo particular. Estes espaços serão dotados de uma função particular no produto cartesiano do espaço por ele mesmo que nos permite medir o quanto afastado se encontra um ponto do outro, ou seja, a distância entre dois pontos. Essa função é chamada uma métrica e o espaço de um espaço métrico. Assim as noções de métrica e medida de probabilidade se combinam permitindo estudar a probabilidade de uma ocorrência aleatória de pontos pertencendo a uma vizinhança de outro ponto ou conjunto. Fica claro no sentido da métrica que as relações de convergência no espaço métrico se transferem para o espaço de probabilidades sobre ele através de uma definição coerente de convergência de medidas de probabilidade, que chamaremos de convergência fraca. Apesar da generalização abstrata no começo desta seção é inegável a importância desta teoria na probabilidade e estatística modernas. Resultados de convergência fraca cujos limites são distribuições significativas são conhecidos na literatura como Teorema Central do Limite (TCL). Como aplicação nós estudaremos convergência fraca de probabilidades sobre o espaço de funções reais contínuas em [0, 1] e obteremos um TCL funcional caracterizando convergência de uma classe de funções aleatórias para a medida de Wiener, cujas trajetórias são realizações do Movimento Browniano, que é o processo estocástico servindo de base do cálculo estocástico, que serve de relevante ferramenta de modelagem probabilística em ciências como Física e Biologia e é a base da teoria moderna de finanças. Definição: Seja M um espaço arbitrário e d : M M R + uma função tal que (i) d(x,y) = 0 x = y; (ii) d(x,y) > 0 x,y M; (iii) d(x,y) = d(y,x) x,y M; (iv) d(x,y) d(x,z) + d(z,y) x,y,z M. Dizemos que d é uma métrica sobre M e que (M,d) é um espaço métrico. Definição Seja (M,d) um espaço métrico. A bola aberta de raio r > 0 centrada em x M é o conjunto B M (r,x) = {y M : d(x,y) < r} Um conjunto A M é dito um aberto de M se para todo ponto de x A existe r > 0 tal que B M (r,x) A. Um conjunto F M é dito um fechado de fechado de M se o seu complementar for um conjunto aberto. A fronteira de um conjunto A M, denotada por A, é o conjunto dos pontos x A tais que para todo r > 0 temos B M (r,x) A e B M (r,x) A c. O espaço métrico M é dito separável se existe um conjunto enumerável E M que é denso em M, isto é, tal que todo aberto de M contém pelo menos um ponto de E. Dizemos que uma sequência (x n ) + n=1 de pontos do espaço métrico (M,d) converge a x M se d(x,x n ) 0 quando n +. Exemplos 5.1 Exemplos de espaços métricos: (i) O R d dotado da distância euclidiana x y = d (x y) 2. é um espaço métrico separável. Uma escolha para um conjunto denso enumerável é o conjunto dos racionais. (ii) Um norma sobre um espaço vetorial real V é uma função : V R + tal que (i) x 0, x V (iii) cx = c x, c R e x V (ii) x = 0 x = 0 (iv) x 1 + x 2 x 1 + x 2, x 1, x 2 V. i=1

23 Curso de Probabilidade Avançada - Prof. Glauco Valle 23 O espaço (V, ) é chamado um espaço vetorial normado. Se definirmos d(x,y) = x y, para todo par x, y V então d é uma métrica. Assim todo espaço vetorial normado é um espaço métrico com a métrica induzida pela norma. (iii) O R N dotado da métrica d(x,y) = i=1 ( ) 1 xn y n 2 n, x = (x i ) 1 + x n y n i=1, y = (y i ) i=1, é um espaço métrico separável. Uma escolha para o conjunto denso enumerável é o conjunto {x R N : N tal que x i Q i = 1,...,N e x i = 0 i N}. (iv) Denotamos por C([0, 1]) o espaço das funções contínuas reais com domínio [0, 1]. O espaço C([0,1]) é um espaço vetorial real. Para cada função x x(t) C[0,1] definimos x = sup x(s). s [0,1] Verificamos facilmente que é uma norma sobre C[0,1], chamada de norma do supremo. Portanto x y, x, y C[0,1], é uma métrica. Com esta métrica temos que C[0,1] é um espaço métrico separável. Duas escolhas importantes para o conjunto enumerável denso são: 1. O espaço dos polinômios com coeficientes racionais, isto é para algum n N e a 0, a 1,..., a n Q. x(t) = a 0 + a 1 t + a 2 t a n t n, t [0,1], 2. O espaço das funções lineares por parte do tipo x : [0,1] R com ( ) (i) x j n Q, j = 1,..., n, ( ) (ii) x linear em j 1 n, j n, j = 1,..., n. para algum n N. Exercício 5.1 Represente graficamente as bolas abertas de C[0,1]. Neste texto estaremos sempre considerando um espaço métrico M como um espaço mensurável dotado da σ-algebra dos Borelianos B(M). Assim quando dito medida ou probabilidade sobre M a σ-algebra é sempre B(M) exceto seja mencionada outra σ-algebra. Definição: Sejam P, P n, n 1, probabilidades sobre um espaço métrico M. Dizemos que P n convege fracamente para P, e denotamos P n P, se para toda função contínua f : M R limitada temos que fdp = lim fdp n n Teorema 5.1 (Teorema de Portmanteau): Sejam P n e P probabilidades sobre M. Então são equivalentes (i) P n P; (ii) limsup n P n (F) P(F) para todo fechado F M; (iii) P(A) liminf n P n (A) para todo aberto A M; (iv) P(E) = lim n P n (E) para todo E M tal que P( E) = 0.

24 Curso de Probabilidade Avançada - Prof. Glauco Valle 24 Proposição 5.2 Suponha que T é uma classe de subconjuntos de B(M) tal que (i) T é fechado pela formação de interseções finitas e (ii) cada aberto de M é a união finita ou enumerável de subconjuntos de T. Se P n (E) P(E) para todo E em T então P n P. Definição: Uma classe de subconjuntos A B(M) é dita uma classe que determina probabilidade se o fato de duas medidas P e Q coincidirem em A implica que P = Q. Uma classe de subconjuntos A B(M) é dita uma classe que determina convergência se o fato de P n (E) P(E) para todo E A tal que P( E) = 0 implica que P n P. É imediato que toda classe que determina convergência é uma classe que determina medida. Seguem abaixo alguns exemplos: Exercício 5.2 Mostre que a classe dos retângulos fechados a direita e abertos a esquerda em R d é uma classe de conjuntos que determina convergência. Exemplo 5.2 Exemplos de classes que determinam medida e convergência: (i) Para todos 0 i 1 <... < i k 1 em N definimos a projeção canônica π i1,...,i k : R N R k que para cada sequência x R N associa o vetor (x i1,...,x ik ). A classe dos conjuntos finito-dimensionais é a classe de conjuntos do tipo π 1 i 1,...,i k (E) para algum E B(R k ). Os conjuntos finito-dimensionais formam uma classe que determina convergência em R N. (ii) Para todos 0 t 1 <... < t k 1 em [0,1] definimos a projeção canônica π t1,...,t k : C[0,1] R k que para cada função x C([0,1]) associa o vetor (x t1,...,x tk ). A classe dos conjuntos finitodimensionais é a classe de conjuntos do tipo πt 1 1,...,t k (E) para algum E B(R k ). Os conjuntos finito-dimensionais formam uma classe que determina probabilidade em C[0, 1], entretanto não determina convergência. De fato, toda bola fechada em C([0,1]) é a interseção em n N de conjuntos finito dimensionais do tipo {x C[0,1] : max i=0,...,n x(i/n) yi n ǫ} para yn R n, e como C([0,1]) é separável e nós temos que todo aberto é a união enumerável de bolas fechadas, obtemos que A é uma classe que determina medida, pois os abertos claramente também determinam medida. Entretanto, se consideramos a sequência de probabilidades pontuais (medidas de Dirac) P n sobre C([0,1]) concentradas em funções (x n ) n=1 em C([0,1]) definidas conforme a figura abaixo 1 0 1/n x n obtemos uma sequência de probabilidades para a qual as probabilidades de todo conjunto finito dimensional converge para sua probabilidade com respeito a medida de Dirac P concentrada na função identicamente nula, mas P n não converge em distribuição a P, já que o máximo de uma função em C([0,1]) é uma função contínua com respeito a norma do supremo cujas esperanças com respeito a P n não convergem a esperança com respeito a P. 1