14
$\begingroup$

Hi,

Let $R$ be equipped with the usual Borel structure. Let $F$ be a Borel subset and $E$ be a closed subset of $R$. Then $F+E=(f+e: f\in F, e \in E \)$ is Borel? If yes, is it true for any locally compact topological group? Thanks in advance.

Improve this question
$\endgroup$

2 Answers 2

Reset to default
20
$\begingroup$

No. Erdös and Stone showed that the sum of two subsets $E$, $F\subset\mathbb R$ may not be Borel even if one of them is compact and the other is $G_\delta$ (see "On the Sum of Two Borel Sets", Proc. Am. Math. Soc., Vol. 25, (1970), pp. 304-306).

Their argument works for every connected locally compact (or abelian) topological group with a complete metric.

Improve this answer
$\endgroup$
0
3
$\begingroup$

At least in $R^2$ it's false, and probably in R too.

There exist closed subsets of $R^2$ that project to non-Borel. So if you take such a set and add it to the y-axis then you'll get a non-Borel set too.

There's probably some general nonsense that would allow you to transfer this result to R, but I don't know it.

Edit: Actually, perhaps I do. The above argument works in $\mathbb{N}^{\mathbb{N}}$, which is isomorphic to its square and can be embedded additively into $\mathbb{R}$. I haven't checked that this works, but it feels as though it should.

Improve this answer
$\endgroup$
5
  • 1
    $\begingroup$ @gowers : Actually, I do not think this is correct. (It is if instead of the reals we work with the irrationals.) To get non-Borel sets it suffices to project the complement (in ${\mathbb R}^2$) of the projection of a closed subset of ${\mathbb R}^3$. $\endgroup$
    – Andrés E. Caicedo
    Commented Dec 7, 2010 at 16:56
  • $\begingroup$ Are you saying that a projection of a closed set in $\mathbb{R}^2$ has to be Borel? $\endgroup$
    – gowers
    Commented Dec 7, 2010 at 17:43
  • 1
    $\begingroup$ @gowers : Yes. The general result in ${\mathbb N}^{\mathbb N}$ that projections of closed sets are not Borel does not transfer intact to ${\mathbb R}$. $\endgroup$
    – Andrés E. Caicedo
    Commented Dec 7, 2010 at 17:53
  • 1
    $\begingroup$ Ah yes, a closed subset of $\mathbb{R}^2$ can be written as a union of countably many compact sets, so it obviously can't work. $\endgroup$
    – gowers
    Commented Dec 7, 2010 at 18:16
  • 7
    $\begingroup$ It is a source of confusion, since in descriptive set theory most results are independent of the specific Polish space we use. I guess I could add it to the list of common mistakes... $\endgroup$
    – Andrés E. Caicedo
    Commented Dec 7, 2010 at 18:53

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .