Inequality Truth: X1 < X2 & X > 0

  • Thread starter Thread starter EngWiPy
  • Start date Start date
  • Tags Tags
    Inequality
AI Thread Summary
The discussion centers on the inequality Pr[X1<x] < Pr[X2<x] for X1 < X2 when x > 0, with participants noting that equality can occur for certain distributions. It is established that for n independent and identically distributed random variables, the sum of the largest L numbers is greater than or equal to the arithmetic mean multiplied by L. The thread further explores the relationship between the probabilities of the sum of the largest L variables and the mean, concluding that Pr[sum of L largest < x] is less than or equal to Pr[L/n * mean < x]. An example is provided where a constant random variable demonstrates that the probabilities can be equal, depending on the value of x. The conversation highlights the nuances of probability in relation to order statistics and distributions.
EngWiPy
Messages
1,361
Reaction score
61
Hi,

Is the following inequality true for x>0:

Pr[X1<x]<Pr[X2<x] for X1<X2?
 
Physics news on Phys.org
No, they can be equal for some distributions.
 
disregardthat said:
No, they can be equal for some distributions.

Ok, suppose we have n independent and identically distributed random variables x1,x2,...,xn. There is a fact that for positive numbers, the sum of the largest L<n numbers is greater than or equal the arithmetic mean multiplied by L, i.e.:

\sum_{i=1}^Lx_{(i)}\geq\frac{L}{n}\sum_{i=1}^nx_i

where x^{(i)} are the order statistics in descending order. Then is it true to say that:
\text{Pr}\left[\sum_{i=1}^Lx_{(i)}&lt;x\right]\leq\text{Pr}\left[\frac{L}{n}\sum_{i=1}^nx_i&lt;x\right]
 
Yes, that's always true. What disregardthat was pointing out is simply that the probabilities might be equal, which you have in this post but didn't have in your OP. For example consider the stupid random variable which always takes the value of 1. Then the sum of the L largest is L, and L/n*mean is L as well. so your probabilities are either both 0 or both 1 depending on what the value of x is
 
Office_Shredder said:
Yes, that's always true. What disregardthat was pointing out is simply that the probabilities might be equal, which you have in this post but didn't have in your OP. For example consider the stupid random variable which always takes the value of 1. Then the sum of the L largest is L, and L/n*mean is L as well. so your probabilities are either both 0 or both 1 depending on what the value of x is

I forgot to include it. Thanks
 
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