6
$\begingroup$

A mapping $f$ from $\mathbb R$ to $\mathbb R$ is called a choice function if, for any $x, y \ {\rm in}\ \mathbb R$, $f(x)-x \in\mathbb Q$ and $f(x)=f(y)$ whenever $x-y$ is rational.

My questions is: Is there a Lebesgue-measurable choice function?

Note: Here I use the equivalence relation for the construction of Vitali sets: x and y are in the same equivalence class iff x-y is rational. So choice functions pick up one element from each equivalence class as its representative value.

  • 3
    Did you leave something out? Wouldn't a constant function be a measurable choice function under this definition?2012-03-25
  • 0
    Yes as stated: for example $f(x)=0$. But not if you require $f(x)=f(y)$ only if $x-y$ is rational.2012-03-25
  • 1
    Shouldn't it read: $f(x) = f(y)$ if and only if $x-y$ is rational? Otherwise $f = 0$ is what you are looking for.2012-03-25
  • 0
    Sorry. I missed the condition that f(x)-x be a rational. Here I used the equivalence relation for the construction of Vitali sets: x and y are in the same equivalence class iff x-y is rational. My defined choice functions pick up one element from each equivalence class as its representative value.2012-03-25
  • 0
    No, this is not necesary. If f(x) =f(y), then x-y is rational, i.e., x and y are in the same equivalence class.2012-03-25
  • 0
    @D.Thomine: I didn't see that part, you are correct of course.2012-03-25
  • 1
    There is at least no Borel measurable function with this property. Suppose there were a Borel measurable function $f$ with this property. Then it would have a Borel measurable graph $G=\{(x,y):y=f(x)\}$. Now the projection of $G$ on its second coordinate is an analytic set and hence Lebesgue measurable. But it is a Vitali set, contradicting its measurability.2012-03-25
  • 0
    @Michael: That sounds like an answer to me, you should write it.2012-03-25

2 Answers 2

11

Suppose $f$ is measurable. Then $V = \{x \in \mathbb{R} \,:\,f(x) = x\}$ is a measurable representative system for the equivalence relation $x \sim y$ if and only if $x - y \in \mathbb{Q}$. That is to say, $V$ is a measurable Vitali set, but such a set doesn't exist.

  • 0
    Your argument is correct, but it might not be obvious why $V$ is measurable. The argument goes like this: Intersect the Graph of $f$ with the diagonal. Now if $(A,\mathcal{A}_1)$ and $(A,\mathcal{A}_2)$ are measurable spaces, then the trace of the diagonal on $A\times A$ endowed with $\mathcal{A}_1\otimes \mathcal{A}_1$ is isomorphic to $(A,\sigma(\mathcal{A}_1\cup\mathcal{A}_2))$ under $(x,x)\mapsto x$. In the given case, the diagonal is isomorphic to the real line with the Lebesgue $\sigma$-algebra. Hence, $V$ is measurable.2012-03-25
  • 5
    @Michael: much simpler: I look at the pre-image of $0$ under the measurable function $g(x) = f(x) - x$.2012-03-25
  • 1
    *slaps forehead*2012-03-25
3

There is at least no Borel measurable function with this property. Suppose there were a Borel measurable function $f$ with this property. Then it would have a Borel measurable graph $G=\{(x,y):y=f(x)\}$. Now the projection of $G$ on its second coordinate is an analytic set and hence Lebesgue measurable. But it is a Vitali set, contradicting its measurability.

I don't know how to extend this to Lebesgue measurable functions.