MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Lebesgue measure of the graph of a function [closed]

Let $f: R^n \rightarrow R^m$ be any function. Will the graph of f always have Lebesgue measure zero ?

1) I could prove that this is true if f is continuous.

2) I suspect it is true if f is measurable, but I'm not sure. (My idea was to use Fubini's theorem to integrate the indicator function of the graph, but I don't know if I'm using the theorem properly).

If 2) is incorrect, what would be a counterexample where the graph of f has positive measure ?

If 2) is correct, can we prove the existence of a non-measurable function whose graph has positive measure ?

-
More appropriate for math.stackexchange.com – camomille Apr 28 2011 at 11:33
Note that if $f$ is non-measurable then the graph of $f$ is not a measurable set, so in this case you should probably ask if it has positive inner measure (or outer measure). – Mark Schwarzmann Apr 28 2011 at 11:36
OK, I will post it there instead – Cosmonut Apr 28 2011 at 11:55
Since it has now been posted to m.se (it's question 35606 there), I guess we can close it here. – Gerry Myerson Apr 28 2011 at 12:10
I posted an answer over at math.stackexchange.com/questions/35606/…. One can build a function using the axiom of choice, whose graph is not contained in any $G_\delta$ set with less than full measure. Thus, the graph has full outer measure. Meanwhile, the inner measure must always be zero, since there are uncountably many disjoint vertical translations. – Joel David Hamkins Apr 28 2011 at 13:01

## closed as too localized by Gerry Myerson, Mark Meckes, George Lowther, Andres Caicedo, Anton PetruninApr 28 2011 at 15:54

If $f$ is a measurable function, then its graph is a measurable subset of $\mathbb R^{n+m}$. By Fubini's theorem, the measure of the graph is 0.

-