Proof with regards to cumulative distribution function

[Eidos]

Hey guys

I'd like a steer in the right direction with this problem.
I would like to show that
P\{x_1\leq X \leq x_2\}=F_{X}(x_2)-F_{X}(x_1^{-})\quad(1)

Where:
X is a random variable.
F_{X}(x) \equiv P\{X \leq x \} is its cumulative distribution function.

My notes only give an example (using dice) to show that this is true.

Generally
P\{x_1 < X \leq x_2\}=F_{X}(x_2)-F_{X}(x_1)\quad(2)

and

P\{X = x_2\}=F_{X}(x_2)-F_{X}(x_2^{-})\quad (3)
the latter of which is easy to prove.
I've been trying to rewrite (1) in terms of (2) & (3) but have had no success so far.
Any ideas would be most welcomed

 

[HallsofIvy]

What definition of "cumulative distribution function" do you have?

 

[Eidos]

F_{X}(x) = \int_{-\infty}^{x}f_{X}(\mu) d\mu

That limit from the left in (1) is so that the same is true whether we have a pdf or a pmf. With the pmf we would have a sum, not an integral. It matters in the discrete case whether we have 'less than equals to' or just 'less than' for the lower bound in our probability, but in the continuous case (assuming of course that our cdf is differentiable everywhere) it doesn't matter since x_0^{-}=x_0.

 

[HallsofIvy]

Okay, so from that definition,
P(x_1< X\le x_2)= \int_{x_1}^{x_2}f_X(\mu)d\mu
= \int_{-\infty}^{x_2}f_X(\mu)d\mu- \int_{-\infty}^{x_1} f_X(\mu)d\mu
= F(x_2)- F(x_1)

 

[Eidos]

The only thing is though that we have not included the lower boundry x1 in our probability, but we have in the integral. How does that work, especially in the discrete case?

I know that the cdf is right continuous, and when we include the lower bound we take the next lowest discrete point than x1 which is x0.

That is P\{x_1 \leq X \leq x_2\}=F_{X}(x_2)-F_{X}(x_0)

where: x_0=\lim_{x\rightarrow x_{1}^{-}}x

 

[HallsofIvy]

In the continuous case, it doesn't matter: the probability of a single data point is always 0:
P(x_1&lt; X\le x_2)= P(x1\le X\le x_2)[/itex]<br /> <br /> In the discrete case, there are two different probabilities:<br /> P(x_1&amp;lt; X\le x_2)= P(x1\le X\le x_2)- P(x_1)[/itex]

 

[Eidos]

Cool thanks!

That last bit is exactly what I need.