Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Say I have two random variables $X$ and $Y$ defined on a probability space ($\Omega,\mathbb{F},\mathbb{P}$).

To prove $X+Y$ is also a random variable, I need $\{\omega:(X+Y)(\omega)\le x\}\in \mathbb{F},\ \forall x\in \mathbb{R}.$

For positive random variables, I can simply write this set as an intersection of two sets, $\{\omega:X(\omega)\le x\}$ and $\{\omega:Y(\omega)\le x\}$, and invoke the property of the sigma algebra.

Now, how do I extend this to arbitrary-valued random variables? Or is there an intersection that is irrespective of the value of the RVs?

share|cite|improve this question
up vote 2 down vote accepted

For all $x \in \mathbb{R}$ you have $$ \{\omega \in \Omega \::\: (X+Y)(\omega) < x \} = \bigcup_{q \in \mathbb{Q}} \{\omega \in \Omega \::\: X(\omega) < x-q, Y(\omega) < q \} $$ a countable union of sets of the form $$\{\omega \in \Omega \::\: X(\omega) < x-q\} \cap \{\omega \in \Omega \::\: Y(\omega) < q\} \in \mathbb{F}$$ and we conclude $\{\omega \in \Omega \::\: (X+Y)(\omega) < x \} \in \mathbb{F}$ for all $x \in \mathbb{R}$, which proves $X+Y$ to be a random variable.

Please note, that in general $$ \{\omega \in \Omega \::\: (X+Y)(\omega) \leq x \} \neq \{\omega \in \Omega \::\: X(\omega) \leq x\} \cap \{\omega \in \Omega \::\: Y(\omega) \leq x\}, $$ even if $X$ and $Y$ are assumed positive as there could be an $\omega \in \Omega$ with $X(\omega) = Y(\omega) = x >0$ and then $\omega$ would only be contained in the second one of these sets.

EDIT (suggested by Didier Piau):

Using the result above you also have $$\{\omega \in \Omega \::\: (X+Y)(\omega) \leq x \} = \bigcap_{n \in \mathbb{N}} \{\omega \in \Omega \::\: (X+Y)(\omega) < x +\frac{1}{n} \} \in \mathbb{F}.$$

share|cite|improve this answer
The OP seems to prefer $\{X+Y\leqslant x\}$ to $\{X+Y\lt x\}$. You might want to adapt your (excellent) solution to this setting. – Did Feb 17 '12 at 11:23
I think it's clear that the RHS is contained in the LHS. For the other inclusion let $\omega \in \Omega$ with $(X+Y)(\omega) < x$, then you have $\varepsilon > 0$ with $(X+Y)(\omega) \leq x - \varepsilon$. Now you find a $q \in \mathbb{Q}$ with $q-\frac{\varepsilon}{2} \leq Y(\omega) \leq q$ (because $\mathbb{Q}$ is dense, as you suspected) and this shows $X(\omega) + q \leq (X+Y)(\omega) + \frac{\varepsilon}{2} < x $ which shows that $\omega$ is contained in the RHS. – Matthias Klupsch Feb 17 '12 at 14:01

What about using the fact that for any non negative random variable X, there is a sequence of simple random variables that increase and converge to X, coupled with the fact that X=X+ + X-, and the fact that the sum of two simple random variables is a simple random

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.