Function constant ctp

1. Jan 18, 2010

p33rz

Suppose that $$f:[0,1]\longrightarrow{\mathbb{R}}$$ is a function such that $$f(.,y)$$ is constant for almost all $$y$$, and $$f(.,y)$$ is constant for almost every $$x$$. Prove that $$f$$ is constant ctp (with respect to u, where u is the Lebesgue measure).

Hint: Assume the contrary. Then it sets you and you have positive measure. Use Fubini to prove that each of these sets contains at least one vertical and one horizontal interval. Conclude.

Note: A function is constant ctp, if not constant in a set of measure zero.