1

I'm trying to show the following statement.

If $X$ is a random variable, then $\lim_{k \to \infty} P (|X| > k) = 0$

What I tried:

the above statement is equivalent to the following.

$$ X \text{ : R.V. } \Rightarrow \forall \epsilon>0, \exists k>0 : \Big( P(|X| > k) < \epsilon \Big) $$

I defined a sequence of events $a_n = \{|X| > n \}$ which is decreasing.

Since $\lim_{n \to \infty} a_n = \emptyset $, by the continuity of probability, $\lim P(a_n) = 0$

However, I now realize that $k>0$ is a real number, so this approach might not be valid.

Is there anyone to help me?

Moreblue
  • 2,004
  • Just as a warning to some readers: It's not that uncommon for random variables to take values in the extended real line i.e. to be able to take $\pm \infty$, in which case this isn't true of course. – SBK Jul 23 '18 at 02:56
  • @T_M Here I take the common definition of 'random variable' as a real valued function : $\Omega \to \mathbb{R}$ – Moreblue Jul 23 '18 at 03:35

4 Answers4

2

Setting $B_n:=\{n-1\leq|X|<n\}$ for $n=1,2,\dots$ we have: $$\bigcup_{n=1}^{\infty}B_n=\Omega$$and because the sets $B_n$ are disjoint we conclude:$$\sum_{n=1}^{\infty}P(B_n)=P(\Omega)=1$$ or equivalently $$\lim_{n\to\infty}\sum_{k=0}^nP(B_k)=1$$

so that $$\lim_{n\to\infty}\sum_{k=n+1}^{\infty}P(B_k)=\lim_{n\to\infty}1-\sum_{k=0}^nP(B_k)=1-1=0$$

Now observe that: $$\sum_{k=n+1}^{\infty}P(B_k)=P(|X|\geq n)$$

because $$\bigcup_{k=n+1}^{\infty}B_k=\{|X|\geq n\}$$ and again the sets $B_k$ are disjoint.

drhab
  • 151,093
1

We have $$ P(|X|>k) = 1-P(|X|\leq k) = 1- P(-k\leq X\leq k) = 1-P(X\leq k)-P(X<-k) $$ Let $F(x)$ be the distribution function of $X$. Using elemental properties of this function $$ \lim_{k\to \infty}P(X\leq k) = \lim_{k\to\infty} F(k) = 1 $$ $$ \lim_{k\to \infty}P(X<-k) \leq \lim_{k\to \infty}P(X\leq -k) = \lim_{k\to \infty} F(-k)= 0 $$ Hence we have the result.

1

If $X$ has a density function $f$, we can use that $$ P(|X| > k) = \int_{\Bbb R\setminus[-k,k]}f = \int_{\Bbb R}f\chi_{\Bbb R\setminus[-k,k]} $$ ($\chi =$ characteristic function) and apply the Dominated Convergence Theorem.

  • 1
    Two objections: 1) A density might not exist. 2) Advanced means like DCT should not be used to prove elementary questions like this. It might lead easily to circular reasoning. – drhab Jul 22 '18 at 16:38
  • @drhab, (1) True, edited. (2) Also true. But can be worse :-). See https://math.stackexchange.com/questions/1273862/prove-that-the-square-root-of-any-irrational-number-is-irrational/2857479#2857479. No circularity in this case: the DCT is a general result. – Martín-Blas Pérez Pinilla Jul 22 '18 at 19:44
0

If not, then there exists an $\varepsilon > 0$ for which $P(|X|>k) > \varepsilon$ infinitely often, meaning $P(|X| \leq k) < 1-\varepsilon$ infinitely often, contradicting the fact that $P(|X| \leq k) = F_{|X|}(k) \to 1$ as $k \to \infty$.

Daniel Xiang
  • 2,816