7.5 Exercícios

§7.1

1.

Seja (An)n(A_{n})_{n} uma sequência de eventos e (𝟙An)n(\mathds{1}_{A_{n}})_{n} a sequência de variáveis aleatórias indicadoras das ocorrências dos eventos correspondentes. Encontre uma condição sobre as probabilidades ℙ⁢(An)\mathbb{P}(A_{n}) para que 𝟙An⁢→ℙ⁢0\mathds{1}_{A_{n}}\overset{\mathbb{P}}{\rightarrow}0.

2.

Suponha que 𝔼⁢Xn→0\mathbb{E}X_{n}\to 0 e 𝕍⁢Xn→0\mathbb{V}X_{n}\to 0. Prove que Xn⁢→ℙ⁢0X_{n}\overset{\mathbb{P}}{\rightarrow}0.

3.

Prove a unicidade quase certa do limite quase certo. Isto é, se Xn⁢→q.c.⁢YX_{n}\overset{\mathrm{q.c.}}{\rightarrow}Y e Xn⁢→q.c.⁢ZX_{n}\overset{\mathrm{q.c.}}{\rightarrow}Z, então Y=ZY=Z q.c.

4.

Prove a unicidade quase certa do limite em probabilidade. Isto é, se Xn⁢→ℙ⁢YX_{n}\overset{\mathbb{P}}{\rightarrow}Y e Xn⁢→ℙ⁢ZX_{n}\overset{\mathbb{P}}{\rightarrow}Z, então Y=ZY=Z q.c.

5.

Seja U∼𝒰⁢[0,1]U\sim\mathcal{U}[0,1] e defina Xn=n⁢𝟙{U<1n}X_{n}=n\mathds{1}_{\{U<\frac{1}{n}\}}. Verifique respectivamente se existe uma variável aleatória XX tal que Xn→XX_{n}\to X

  1. (a)
    ​

    em distribuição.

  2. (b)
    ​

    em probabilidade.

  3. (c)
    ​

    quase certamente.

  4. (d)
    ​

    em ℒ1\mathcal{L}^{1}.

  5. (e)
    ​

    em ℒ2\mathcal{L}^{2}.

6.

Sejam (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias com Xn∼𝒰⁢[0,1+1n]X_{n}\sim\mathcal{U}[0,1+\frac{1}{n}] e X∼𝒰⁢[0,1]X\sim\mathcal{U}[0,1].

  1. (a)
    ​

    Mostre que Xn⁢→d⁢XX_{n}\overset{\smash{\mathrm{d}}}{\rightarrow}X.

  2. (b)
    ​

    Se (Xn)n(X_{n})_{n} forem independentes, mostre que XnX_{n} não converge em probabilidade para XX.

  3. (c)
    ​

    Dê um exemplo mostrando que, se a hipótese de independência for retirada, é possível que Xn⁢→q.c.⁢XX_{n}\overset{\mathrm{q.c.}}{\rightarrow}X.

7.

Suponha que XnX_{n} tem distribuição uniforme no conjunto {1n,2n,…,n−1n⁢,1}\{\frac{1}{n},\frac{2}{n},\dots,\frac{n-1}{n},1\} para todo n∈ℕn\in\mathbb{N}. Mostre que (Xn)n(X_{n})_{n} converge em distribuição para uma variável com distribuição uniforme em [0,1].[0,1].

8.

Sejam (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias i.i.d. com distribuição Exp(1)\mathop{\mathrm{Exp}}\nolimits(1) e Zn=max⁡{X1,…⁢Xn}−log⁡nZ_{n}=\max\{X_{1},\dots X_{n}\}-\log n. Mostre que ZnZ_{n} converge em distribuição para a distribuição de Gumbel.

9.

Sejam (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias independentes com distribuição uniforme em [0,1][0,1], e Yn=max⁡{X1,…,Xn}Y_{n}=\max\{X_{1},\dots,X_{n}\}. Encontre a função de distribuição de YnY_{n} e o limite em distribuição desta sequência.

10.

Suponha que Xn⁢→ℒ1⁢XX_{n}\overset{\mathcal{L}^{1}}{\rightarrow}X e |Z|⩽1|Z|\leqslant 1 q.c. Mostre que Xn⁢Z⁢→ℒ1⁢X⁢ZX_{n}Z\overset{\mathcal{L}^{1}}{\rightarrow}XZ.

§7.2

11.

Seja (Xn)n∈ℕ(X_{n})_{n\in\mathbb{N}} uma sequência de variáveis aleatórias independentes tais que Xn∼Exp(λn)X_{n}\sim\mathop{\mathrm{Exp}}\nolimits(\lambda_{n}), onde λn=n3\lambda_{n}=n^{3}. Prove que ℙ⁢(⁢∑n=1∞Xn<∞)=1\mathbb{P}\left(\mathclap{\phantom{\big{|}}}\sum_{n=1}^{\infty}X_{n}<\infty% \right)=1.

12.

Sejam (an)n(a_{n})_{n} uma sequência de números reais e (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias com distribuição dada por ℙ⁢(Xn=an)=pn=1−ℙ⁢(Xn=0)\mathbb{P}(X_{n}=a_{n})=p_{n}=1-\mathbb{P}(X_{n}=0) para todo n∈ℕn\in\mathbb{N}. Mostre que, se ∑n=1∞pn<∞\sum_{n=1}^{\infty}p_{n}<\infty, então Xn⁢→q.c.⁢0X_{n}\overset{\mathrm{q.c.}}{\rightarrow}0.

13.

Sejam Xn,n∈ℕX_{n},\ n\in\mathbb{N}, variáveis aleatórias independentes tais que Xn∼Bernoulli(pn)X_{n}\sim\mathop{\mathrm{Bernoulli}}\nolimits(p_{n}). Estude as condições sobre (pn)(p_{n}), para que:

  1. (a)
    ​

    Xn⁢→ℙ⁢0X_{n}\overset{\mathbb{P}}{\rightarrow}0.

  2. (b)
    ​

    Xn⁢→q.c.⁢0X_{n}\overset{\mathrm{q.c.}}{\rightarrow}0.

14.

Definimos o limite inferior da sequência de conjuntos (An)n(A_{n})_{n} como o conjunto lim infn→∞An=⋃n=1∞⋂k=n∞Ak\liminf_{n\to\infty}A_{n}=\bigcup_{n=1}^{\infty}\bigcap_{k=n}^{\infty}A_{k}. Mostre que:

  1. (a)
    ​

    lim infn→∞An⊆lim supn→∞An\liminf_{n\to\infty}A_{n}\subseteq\limsup_{n\to\infty}A_{n}.

  2. (b)
    ​

    Dê um exemplo onde vale a inclusão estrita no item anterior.

15.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias independentes com Xn∼𝒰⁢[−n,n]X_{n}\sim\mathcal{U}[-n,n]. Calcule ℙ⁢(|Xn|→+∞)\mathbb{P}(|X_{n}|\to+\infty) e ℙ⁢(|Xn2|→+∞)\mathbb{P}(|X_{n^{2}}|\to+\infty).

16.

Seja (Xn)n(X_{n})_{n} uma sequência i.i.d. Mostre que

Xnn⁢→q.c.⁢0\frac{X_{n}}{n}\overset{\mathrm{q.c.}}{\rightarrow}0

se, e somente se, X1X_{1} for integrável.

17.

Seja (Xn)n(X_{n})_{n} uma sequência i.i.d. Mostre que

Xnn⁢→q.c.⁢0\frac{X_{n}}{\sqrt{n}}\overset{\mathrm{q.c.}}{\rightarrow}0

se, e somente se, 𝔼⁢X12<∞\mathbb{E}X_{1}^{2}<\infty.

18.

Seja (Xn)n(X_{n})_{n} uma sequência i.i.d. com distribuição Exp(1)\mathop{\mathrm{Exp}}\nolimits(1). Mostre que ℙ⁢(Xn⩾1⁢log⁡n⁢ i.v.)=1\mathbb{P}\left(X_{n}\geqslant 1\log n\text{ i.v.}\right)=1 e ℙ⁢(Xn⩾2⁢log⁡n⁢ i.v.)=0\mathbb{P}\left(X_{n}\geqslant 2\log n\text{ i.v.}\right)=0.

19.

Seja (Xn)n(X_{n})_{n} uma sequência i.i.d. com distribuição Poisson(λ)\mathop{\mathrm{Poisson}}\nolimits(\lambda). Mostre que

Xnlog⁡n⁢→q.c.⁢0.\frac{X_{n}}{\log n}\overset{\mathrm{q.c.}}{\rightarrow}0.

Sugestão: Mostre antes que 𝔼⁢[eX1/ε]<∞\mathbb{E}[e^{X_{1}/\varepsilon}]<\infty.

20.

Seja (Xn)n(X_{n})_{n} uma sequência i.i.d. de variáveis aleatórias não-negativas com 𝔼⁢X12<∞\mathbb{E}X_{1}^{2}<\infty. Mostre que

ℙ⁢(∑n=1∞Xnn2<∞)=1.\mathbb{P}\left(\sum_{n=1}^{\infty}\frac{X_{n}}{n^{2}}<\infty\right)=1.
21.
  1. (a)
    ​

    Seja XX uma variável aleatória com distribuição normal padrão. Mostre que

    ℙ⁢(X>x)1x⁢2⁢πe−x2/2→1⁢ quando ⁢x→+∞.\frac{\mathbb{P}(X>x)}{\quad\tfrac{1}{x\sqrt{2\pi}}e^{-x^{2}/2}\quad}\to 1\ % \text{ \ quando \ }x\to+\infty.
  2. (b)
    ​

    Seja (Xn)n(X_{n})_{n} uma sequência de variáveis i.i.d. com distribuição normal padrão. Encontre uma sequência de números reais (an)(a_{n}) tais que

    ℙ⁢(Xn⩾(1−ε)⁢an⁢ i.v.)=1⁢ e ⁢ℙ⁢(Xn⩾(1+ε)⁢an⁢ i.v.)=0\mathbb{P}(X_{n}\geqslant(1-\varepsilon)a_{n}\text{ i.v.})=1\text{ e }\mathbb{% P}(X_{n}\geqslant(1+\varepsilon)a_{n}\text{ i.v.})=0

    para todo ε>0\varepsilon>0.

22.

Seja (Xn)n(X_{n})_{n} uma sequência qualquer de variáveis aleatórias. Mostre que sempre existe uma sequência de números reais (an)n(a_{n})_{n} tal que Xnan⁢→q.c.⁢0\frac{X_{n}}{a_{n}}\overset{\mathrm{q.c.}}{\rightarrow}0.

§7.3

23.

Dê uma solução alternativa ao Exercício 4, usando a Proposição 7.32.

24.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias tais que 𝔼⁢Xn→c\mathbb{E}X_{n}\to c quando n→∞n\to\infty, onde c∈ℝc\in\mathbb{R}.

  1. (a)
    ​

    Mostre que, se ∑n=1∞𝕍⁢Xn\sum_{n=1}^{\infty}\mathbb{V}X_{n} converge, então Xn⁢→q.c.⁢cX_{n}\overset{\mathrm{q.c.}}{\rightarrow}c.

  2. (b)
    ​

    Mostre que, se 𝕍⁢Xn→0\mathbb{V}X_{n}\to 0, então Xn⁢→ℙ⁢cX_{n}\overset{\mathbb{P}}{\rightarrow}c.

  3. (c)
    ​

    Se 𝕍⁢Xn→0\mathbb{V}X_{n}\to 0, então necessariamente Xn⁢→q.c.⁢cX_{n}\overset{\mathrm{q.c.}}{\rightarrow}c?

25.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias i.i.d. com distribuição 𝒰⁢[0,1]\mathcal{U}[0,1] e Yn=n−XnY_{n}=n^{-X_{n}} para todo n∈ℕn\in\mathbb{N}. Mostre que Yn→0Y_{n}\to 0 em probabilidade mas não quase certamente.

26.

Seja XX uma variável aleatória integrável, e seja (An)n(A_{n})_{n} uma sequência de eventos tais que ℙ⁢(An)→0\mathbb{P}(A_{n})\to 0. Prove que 𝔼⁢[X⁢𝟙An]→0\mathbb{E}[X\mathds{1}_{A_{n}}]\to 0.

§7.4

27.

Sejam XX e (Xn)n(X_{n})_{n} variáveis aleatórias tais que Xn⁢→d⁢XX_{n}\overset{\smash{\mathrm{d}}}{\rightarrow}X, e seja g:ℝ→ℝg:\mathbb{R}\to\mathbb{R} uma função contínua. Mostre que g⁢(Xn)⁢→d⁢g⁢(X)g(X_{n})\overset{\smash{\mathrm{d}}}{\rightarrow}g(X).

28.

Dê uma prova alternativa da Proposição 7.34 usando o Teorema de Helly-Bray.       Sugestão: Primeiro, prove supondo convergência quase certa, e depois use um argumento semelhante ao da prova do Teorema 7.33.