Skip to main content
updates
Source Link
Ashutosh
  • 9.6k
  • 1
  • 34
  • 55

Denote by G the set of all x for which $sin(n! pi x)$$sin(n! \pi x)$ approaches 0 as n approaches infinity. Every real number $0 < x < 1$ can be uniquely written as $ \sum_{n \ge 2} \frac{x(n)}{n!}$ where $0< x(n) < n$. From this it can be immediately seen that $x \in G$ iff $\frac{x(n)}{n}$ approaches 0 or 1. This immediately shows that there are continuum many points of G in every interval.

It can also be shown that G is an F-sigma-delta (countable union of countable intersections of open sets) additive subgroup of reals but it's neither G-delta nor F-sigma. One may iterate this construction to obtain additive groups of reals at arbitrarily high finite levels of Borel hierarchy in the following way: Let $G_0 = G$. Let $G_{n+1}$ be the set of all x such that the fractional part of $(n!x)$ converges to a point in $G_n$. Then $G_n$'s form an increasing chain of additive subgroups of reals and their union is a Borel additive subgroup of reals which is not at any finite level of Borel hierarchy.

I wrote a note on this here.

Denote by G the set of all x for which $sin(n! pi x)$ approaches 0 as n approaches infinity. Every real number $0 < x < 1$ can be uniquely written as $ \sum_{n \ge 2} \frac{x(n)}{n!}$ where $0< x(n) < n$. From this it can be immediately seen that $x \in G$ iff $\frac{x(n)}{n}$ approaches 0. This immediately shows that there are continuum many points of G in every interval.

It can also be shown that G is an F-sigma-delta (countable union of countable intersections of open sets) additive subgroup of reals but it's neither G-delta nor F-sigma. One may iterate this construction to obtain additive groups of reals at arbitrarily high finite levels of Borel hierarchy in the following way: Let $G_0 = G$. Let $G_{n+1}$ be the set of all x such that the fractional part of $(n!x)$ converges to a point in $G_n$. Then $G_n$'s form an increasing chain of additive subgroups of reals and their union is a Borel additive subgroup of reals which is not at any finite level of Borel hierarchy.

Denote by G the set of all x for which $sin(n! \pi x)$ approaches 0 as n approaches infinity. Every real number $0 < x < 1$ can be uniquely written as $ \sum_{n \ge 2} \frac{x(n)}{n!}$ where $0< x(n) < n$. From this it can be immediately seen that $x \in G$ iff $\frac{x(n)}{n}$ approaches 0 or 1. This immediately shows that there are continuum many points of G in every interval.

It can also be shown that G is an F-sigma-delta (countable union of countable intersections of open sets) additive subgroup of reals but it's neither G-delta nor F-sigma. One may iterate this construction to obtain additive groups of reals at arbitrarily high finite levels of Borel hierarchy in the following way: Let $G_0 = G$. Let $G_{n+1}$ be the set of all x such that the fractional part of $(n!x)$ converges to a point in $G_n$. Then $G_n$'s form an increasing chain of additive subgroups of reals and their union is a Borel additive subgroup of reals which is not at any finite level of Borel hierarchy.

I wrote a note on this here.

Source Link
Ashutosh
  • 9.6k
  • 1
  • 34
  • 55

Denote by G the set of all x for which $sin(n! pi x)$ approaches 0 as n approaches infinity. Every real number $0 < x < 1$ can be uniquely written as $ \sum_{n \ge 2} \frac{x(n)}{n!}$ where $0< x(n) < n$. From this it can be immediately seen that $x \in G$ iff $\frac{x(n)}{n}$ approaches 0. This immediately shows that there are continuum many points of G in every interval.

It can also be shown that G is an F-sigma-delta (countable union of countable intersections of open sets) additive subgroup of reals but it's neither G-delta nor F-sigma. One may iterate this construction to obtain additive groups of reals at arbitrarily high finite levels of Borel hierarchy in the following way: Let $G_0 = G$. Let $G_{n+1}$ be the set of all x such that the fractional part of $(n!x)$ converges to a point in $G_n$. Then $G_n$'s form an increasing chain of additive subgroups of reals and their union is a Borel additive subgroup of reals which is not at any finite level of Borel hierarchy.