Finding E(X) from distribution function

AI Thread Summary
The discussion centers on the theorem stating that the expected value E(X) can be derived from the distribution function F(x) using a specific integral formula. Participants debate whether this formula holds true for any real number a, including negative values, with consensus leaning towards its validity for all a. The utility of the formula is highlighted, particularly in cases where density functions are complex or non-existent, making it more efficient than traditional integration methods. The general formula for E(X) is confirmed to apply broadly, even to singular distributions. The conversation concludes with a suggestion to manipulate the general formula to further validate the theorem's applicability for negative a.
kingwinner
Messages
1,266
Reaction score
0
Theorem: Let F(x) be the distribution function of X.
If X is any r.v. (discrete, continuous, or mixed) defined on the interval [a,∞) (or some subset of it), then
E(X)=

∫ [1 - F(x)]dx + a
a

1) Is this formula true for any real number a? In particular, is it true for a<0?

2) When is this formula ever useful (computationally)? Why don't just get the density function then integrate to find E(X)?

Thanks for clarifying!
 
Physics news on Phys.org
1) If there was a restriction on a, the statement of the theorem should have said something. If the statement is right for positive a, then it's surely right for negative a as well.

2) Why would you go through all the trouble of looking for the density distribution*, multiplying by x, and integrating that when you could just use that formula? :confused:


*: The hypotheses cover the situation where the density cannot be written as a function[/size]
 
The formula for general RV X is EX = -\int_{-\infty}^{0} F(x) dx + \int_{0}^{\infty} (1 - F(x)) dx. This formula works in a much more general setting than you might expect. Some distributions don't have densities (singular distributions), for example http://en.wikipedia.org/wiki/Cantor_distribution but the formula still applies.
 
Mandark said:
The formula for general RV X is EX = -\int_{-\infty}^{0} F(x) dx + \int_{0}^{\infty} (1 - F(x)) dx. This formula works in a much more general setting than you might expect. Some distributions don't have densities (singular distributions), for example http://en.wikipedia.org/wiki/Cantor_distribution but the formula still applies.

I've seen this general formula. But does it imply that the "theorem" above is true for a<0 (e.g. a=-2, or a=-2.4) as well? I've done some manipulations and I think the theorem above is true for ANY a, but I would like someone to confirm this.

Thanks!
 
Try to prove it by manipulating the general formula I posted, it's not hard.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top