Tell me more ×
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.
up vote 5 down vote favorite

Let $X_1$ and $X_2$ be arbitrary random variables defined one the same probability space $(\Omega,\mathcal{F},P)$. I am trying to determine if the event $\{\max\{X_1,X_2\}=X_2\}$ is measurable with respect to $\sigma(\max\{X_1,X_2\})$? Normally I would try to decompose the event into a countable union or intersection of events which are clearly elements of the $\sigma(\max\{X_1,X_2\})$. However, the only way that I can think to rewrite the original set is as $\{\max\{X_1,X_2\}=X_2\}=\{X_1\leq X_2\}$. I'm not sure where to go from here.

share|improve this question

2 Answers

up vote 5 down vote accepted

It is not true. Let $X_1$ be a Bernoulli(1/2) random variable and set $X_2=1-X_1$. Then $\max(X_1,X_2)$ is the constant random variable 1. The generated $\sigma$-algebra $\sigma(\max\{X_1,X_2\})$ is trivial, but the event $\{\max\{X_1,X_2\}=X_2\}$ is not.

share|improve this answer
1  
+1, a nice example! Maybe for OP it would be also useful to know how to check such kind of clues - e.g. $\sigma(\max(X_1,X_2))$ contains only the information about the maximum of two variables but not the whole information about them, in particular it can't tell whether one of them is greater than the other? – Ilya Jan 29 at 7:35
@Ilya, I think your explanation matched what my intuition was telling me, but I had no idea how to make it rigorous. In the example that I was working, $X_1$ and $X_2$ were exponential random variables with rate $\mu$ and $\lambda$, respectively. The problem was to check the independence of $\max(X_1,X_2)$ and the indicator $1_{(X_1\leq X_2)}$. The random variables are independent if and only if $\lambda=\mu$. Someone presented a proof based on the reasoning in my question, and I couldn't verify the validity of this person's proof. – Carl Morris Jan 29 at 17:43
@CarlMorris The random variables are independent if and only if $\lambda =\mu$. Sorry, but that does not make any sense even if you put exponential somewhere there. – Ilya Jan 29 at 17:47
@Ilya, what I mean to say is the following. Consider my example where I use exponential random variables with $\lambda=\mu$. If $F$ is the distribution function of $Y=\max\{X_1,X_2\}$ and $G$ is the distribution function of $Z=1_{\{X_1\leq X_2\}}$, then the joint distribution function $H$ of $Y$ and $Z$ is given by the product of $F$ and $G$. – Carl Morris Feb 6 at 16:59
up vote 1 down vote

$X_1$ a Bernoulli(p) $p>0$ r.v. taking the two possible values 0 or 1

share|improve this answer

Your Answer

 
discard

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.