Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hello

This should be easy to prove but i have no idea how to do it:

If $X \subseteq \mathbb{R}^2$ is borel then $f(X)$ is borel where $f(x,y) = x$

Thanks Tobias

share|improve this question
7  
It's so easy that it's wrong, one would say. :) –  Mark Aug 2 '10 at 21:49
    
True if you replace "Borel" by "$F_\sigma$", since compact sets will project to compact sets. (But only because $\mathbb R $ is $\sigma$-compact.) –  Goldstern May 23 '11 at 15:32
add comment

5 Answers 5

up vote 12 down vote accepted

This is false; take a look at http://en.wikipedia.org/wiki/Analytic_set for a quick introduction. For details, look at Kechris's book on Classical Descriptive Set Theory. There you will find also some information on the history of this result, how it was originally thought to be true, and how the discovery of counterexamples led to the creation of descriptive set theory. Another good reference is A second course on real functions, by van Rooij and Schikhof.

Here are some additional details (that I added to another thread). Recall that the analytic sets are the empty set, and the sets that are images of Borel subsets of $\mathbb R$ by Borel measurable functions $f:\mathbb R\to\mathbb R$. This notion makes sense in arbitrary topological spaces, and has been particularly studied in Polish spaces (separable completely metrizable spaces).

  • The analytic sets are closed under countable unions and intersections, and contain the Borel sets. In all uncountable Polish spaces, there are analytic sets whose complement is not analytic. Suslin proved that the Borel sets of uncountable Polish spaces are precisely those analytic sets whose complement is analytic.

  • In Baire space $\mathcal N=\mathbb N^{\mathbb N}$ (the countable product of discrete $\mathbb N$), analytic sets are the projections of closed subsets of ${\mathcal N}^2$. This is false with $\mathbb R$ in place of $\mathcal N$. Note that in that case, closed sets are countable union of compact sets, so their projections are $F_\sigma$. Baire space plays a special role in the theory, since a nonempty set in a Polish space is analytic iff it is the continuous image of $\mathcal N$.

The actual results in ${\mathbb R}$ are as follows:

  • A set is analytic iff it is the projection of the complement of the projection of a closed subset of ${\mathbb R}^3$.

  • A set is analytic iff it is the projection of a $G_\delta$ subset of $\mathbb R^2$.

  • There is a continuous $g:\mathbb R\to\mathbb R$ such that a set is analytic iff it is $g(A)$ for some $G_\delta$ set $A$.

  • A set if analytic iff it is $f(\mathbb R\setminus\mathbb Q)$ for some continuous $f:\mathbb R\setminus\mathbb Q\to\mathbb R$. (Note that if $f$ is actually continuous on $\mathbb R$, then $f(\mathbb R\setminus\mathbb Q)$ is Borel.)

share|improve this answer
3  
In fact the general analytic subset of $\mathbb{R}$ is the projection of some $G_\delta$ set in $\mathbb{R} \times \mathbb{R}$. –  Gerald Edgar Aug 1 '10 at 22:30
add comment

This was a famous mistake made by Lebesgue (see also Gerald Edgar's answer to this MO question).

Suslin showed that a plane Borel set exists whose projection is not a Borel set. See the references to the original article by Suslin and related works here.

share|improve this answer
add comment

I once tracked down the exact mistake Lebesgue made in his published "proof" that the projection of a Borel set in the plane is a Borel set in the line. It came down to his claim that if $\{A_n\}$ is a decreasing sequence of subsets in the plane with intersection $A$, the the projected sets in the line intersect to the projection of $A$. Of course this is nonsense. Lebesgue knew projection didn't commute with countable intersections, but apparently thought that by requiring the sets to be decreasing this would work. (My answer is a slight expansion of Edgar's comment alluded to above.)

share|improve this answer
1  
Thanks for your explanation of that. I think everyone in the area knows about this "mistake" but I've never heard any sort of explanation of the cause before. –  Carl Mummert Aug 2 '10 at 22:02
add comment

Since this error of Lebesgue has come up on MO a few times, it may be of interest to see his mistaken argument in its entirety. It is on pp. 191--192 of "Sur les fonctions representables analytiquement" in J. de math. pures et appl. (1905). Lebesgue calls Borel sets "B-measurable sets", and he builds them from closed intervals (or their cartesian products, in higher dimensions) by what he calls operations I and II, which are countable union and intersection.

In my translation it reads:

I wish to prove that, if $E$ is B-measurable, then so is its projection. This is evident when $E$ is an interval, because then $e$ [the projection] is one too. But every B-measurable set comes from intervals by applications of operations I and II, which are preserved by projection, so the proposition is established.

That's it. Evidently he just didn't think about the projection of an intersection.

share|improve this answer
    
Great specimen for "Common false beliefs" collection! –  Victor Protsak Aug 3 '10 at 0:09
add comment

This question has been answered Jul 24 '13 at 20:14(see the construction of the set $B_0$ after Fact 2) on cite http://math.stackexchange.com/questions/78628/is-projection-of-a-measurable-subset-in-product-sigma-algebra-onto-a-componen?answertab=active#tab-top

share|improve this answer
    
The question had a satisfactory answer when the question was raised on the former site. Now this question is moved on other site and the satisfied answer I remained on a former site is on the previous place without knowing for what there it is. –  Gogi Pantsulaia Jan 5 at 12:59
    
Sorry, but I’m lost. What was moved where and remained elsewhere and what knows what is where? –  Emil Jeřábek Jan 5 at 17:18
add comment

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.