Hi, All:(adsbygoogle = window.adsbygoogle || []).push({});

This is an old problem I never solved, and I recently saw somewhere else:

We are given an enumeration {q_1,q_2,..,q_n,....} of the rationals in the real line.

We construct the union : S:=\/ (q_i+[e/2^(i+1)] , q_i-[e/2^(i+1)] ) for i=1,2..,n,..

i.e., we want the total measure of S to be a real eps>0; a fixed real number.

Question: given a choice of enumeration, we want to find an irrational that is _not_

in S. I think the best idea is using Roth-Siegel approximation and somehow

using an algebraic number that cannot be approximated too well by rationals with

fixed denominator, but I can't think of a full solution. Any Ideas?

number that cannot

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Finding an Irrational not in the Union.

Can you offer guidance or do you also need help?

**Physics Forums | Science Articles, Homework Help, Discussion**