# Is the event $\{\max\{X_1,X_2\}=X_2\}$ measurable with respect to $\sigma(\max\{X_1,X_2\})$?

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.

-

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.
+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
$X_1$ a Bernoulli(p) $p>0$ r.v. taking the two possible values 0 or 1