Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Let $X$ and $Y$ be two stochastically independent, equally distributed random variables with distribution function $F$. Define $Z = \max (X, Y)$.

1) Show that the distrubtion function $F_Z$ of $Z$ suffices $F_Z(z)=F(z)^2$.

I got this:

$F_Z(z)=P(\{Z\leq z\})=P(\{\max (X, Y) \leq z\})=...$

A hint would be appreciated.

share|cite|improve this question
try to write $\max{(X,Y)}\le z$ in a nice way and use independence. – user8 Jan 16 '13 at 11:20
@n.c. This is the nicest that I get: $F_Z(z)=P(\{Z\leq z\})=P(\{\omega:Z(\omega)\leq z\}) =P(\{\omega:\max (X, Y)(\omega)\leq z\}) =P(\{\omega:X(\omega)\leq z\ \lor Y(\omega)\leq z\}) $ I'm not sure about the last step. – Kasper Jan 16 '13 at 11:21
your last equality is not true. it should be a $\wedge$. Otherwise the sets are not equal. Then just apply independence and identically distributed – user8 Jan 16 '13 at 11:32
up vote 2 down vote accepted

Just for completeness:

$$\{\omega\in\Omega:\max{\{X(\omega),Y(\omega)\}}\le z\}=\{\omega\in\Omega:X(\omega)\le z\wedge Y(\omega)\le z\}$$

$"\supset"$: If both, $X(\omega)$ and $Y(\omega)$ are smaller or equal $z$, so is the maximum of both.

$"\subset"$:If the $\max{\{X(\omega),Y(\omega)\}}$ is smaller or equal $z$, then by definition both, $X(\omega)$ $\textbf{and}$ $Y(\omega)$ have to be smaller or equal $z$.


$$F_Z(z)=P[Z\le z]=P[\max{\{X,Y\}}\le z]=P[X\le z\wedge Y\le z]=P[X\le z]P[Y\le z]=P[X\le z]^2=F(z)^2$$ where we have used independence and identically distributed in the two last equalities.

Note that in general, if you have $n\in \mathbb{N}$, $X_1,\dots,X_n$ iid. random variables with distribution function $F(z)$, then the random variable $Z:=\max{\{X_1,\dots,X_n\}}$ has the distribution function $$F_Z(z)=F(z)^n$$.

share|cite|improve this answer
thanks for this excellent answer ! +1 – Kasper Jan 16 '13 at 13:34
@Kasper You are welcome – user8 Jan 16 '13 at 13:35

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.