What's the Distribution of the Maximum of IID Variables When m is Large?

AI Thread Summary
The discussion centers on the distribution of the maximum of m independent and identically distributed (IID) random variables, Y1, Y2, ... Ym, as m becomes large. It is established that the cumulative distribution function (CDF) of the maximum, Y, can converge to 0 if the individual distributions allow for it, specifically when P(Yk < y) < 1. However, if the Yk are bounded, the CDF will not converge to 0. The conversation highlights that the limiting distribution of the maximum can follow a Gumbel distribution under certain conditions, particularly for exponential distributions. The outcome ultimately depends on the characteristics of the underlying random variables.
Pascal22
Messages
2
Reaction score
0
Suppose that there are m independent and identically distributed variables Y1, Y2, ... Ym. Yi - are random variables. Let Y denote the maxof Y1, Y2, ... Ym. What's the distribution of Y when m is very big?

Thank you for any help, in advance.
 
Physics news on Phys.org
P(Y<y) = P(Y1<y)P(Y2<y)...P(Ym<y) = P(Y1<y)m (independent and identially distributed).
 
Thanks a lot!

Do I understand correctly? That CDF of Y will converge 0?
 
Last edited:
Pascal22 said:
Thanks a lot!

Do I understand correctly? That CDF of Y will converge 0?

It depends. If the Yk are distributed so that P(Yk < y) < 1, yes. However if the Yk are bounded, then no.
 
"It depends. If the Yk are distributed so that P(Yk < y) < 1, yes"

I don't think I'm getting your point, or perhaps I'm looking a little to picky-like. If you are simply looking at the value of the probability, then the comment makes sense. But remember, for example, that the appropriately standardized distribution for the max of an SRS from an exponential will converge to the Gumbel distribution.
 
Have a look at D.R. Cox and D.V. Hinkley, Theoretical Statistics, chapter A2.5 "Extreme value statistics". The result depends on the underlying statistics of the Y.
 
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