2
$\begingroup$

For fun, I'm working through the exercises in Durrett's "Probability: Theory and Examples", and I'm stuck on the following:

Exercise 3.2.21

Let $X_1,X_2,\ldots$ be independent. If $S_n = X_1 + \ldots + X_n$ converges in distribution then it converges in probability (and hence a.s. by Exercise 2.5.10). Hint: The last exercise implies that if $m, n \to \infty$ then $S_m - S_n \to 0$ in probability. Now use Exercise 2.5.11.

Here's what I have:

There is some random variable $S_\infty$ such that $S_n \Rightarrow S_\infty$. We now want to show $P(|S_n - S_\infty| > \epsilon) \to 0$ for arbitrary $\epsilon > 0$.

Exercise 3.2.20 (the "previous exercise") states that a sequence of r.v.'s $Y_n \Rightarrow 0$ if and only if their characteristic functions $\varphi_n(t) \to 1$ as $n \to \infty$, whenever $|t| \le \delta$ for some $\delta > 0$.

I can see how $S_n - S_m \to 0$ in probability as a result of this. The next part of the hint is completely mystifying. Exercise 2.5.11 states that whenever $S_n / n \to 0$ in probability, we have $(\max_{1 \le m \le n} S_m) / n \to 0$ in probability, where $S_n$ is the sum of an i.i.d. sequence of r.v.'s.

I don't think the $X_i$ being identically distributed is actually needed in the solution of Exercise 2.5.11 (Ottaviani's inequality doesn't require it), but even so, I have no idea what Durrett is getting at.

$\endgroup$

1 Answer 1

0
$\begingroup$

In the edition I have at my disposal (the second one), he refers (up to a typo) to the following exercise (6.5 page 49):

Show that random variables are a complete space under the metric defined in the previous exercise (that is $d(X,Y)=\mathbb E\left(\left|X-Y\right| /\left(1+\left|X-Y\right|\right)\right)$), i.e. if for any positive $\varepsilon$, there exists $N$ such that for $m,n\geqslant N$, $d\left(X_m,X_n\right)\lt\varepsilon$, then there exists a random variable $X_\infty$ such that $X_n\to X_\infty$ in probability.

The existence of $S_\infty$ is not trivial in general, as discussed here and there.

$\endgroup$
2
  • $\begingroup$ That would make a great deal more sense! This is from the 4th edition of the book, though, and it's very strange that a typo would not only persist but significantly worsen over editions. Regardless, I'll follow your advice. Thanks very much. $\endgroup$
    – Mark
    Dec 13, 2016 at 21:53
  • $\begingroup$ Maybe an hypothesis is that there is just a typo in the cross references. By the way, welcome to Math Stack Exchange! $\endgroup$ Dec 13, 2016 at 22:09

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .