Uncountable Subset A of [0,1] with A – A empty.

December 20, 2011

I’m going through a few books so that I can start doing lots and lots of problems to prepare for my quals.  I’ll be posting some of the “cuter” problems.


Here’s one that, on the surface, looks strange.  But ultimately, the solution is straightforward.


Problem.  Find an uncountable subset A\subseteq [0,1] such that A - A = \{a - b\,\mid\,\,a,b\in A\} has empty interior.



Solution.  What’s our favorite empty interior set?  That’s right, {\mathbb Q}.  It would be really nice if we could make A - A equal to something like {\mathbb Q}.  So, what should we do?

Let’s make an equivalence class.  Let’s say that a \sim b iff a - b\in {\mathbb Q}.  Each equivalence class must be countable (why?) and so we must have an uncountable number of equivalence classes.  (Here’s where the AoC comes in.)  Pick one element from each class and let this be our A.

Note now that A - A contains only elements which are irrational, and hence is a subset of {\mathbb Q}^{C}\cup \{0\}, i.e., it is contained in the irrationals.  This is not too hard to prove; suppose there was a rational number p in A - A; then we’d have that there exists q,r\in A such that q - r = p or, in other words, the difference of q and r is a rational.  This would imply they are in the same equivalence class.  Bam.

It suffices now to show that if some set X has empty interior, and Y\subseteq X then Y has empty interior.  This is straightforward.  That completes the problem.  


Edit: Thanks to Vipul for pointing out that I made an error in saying that A - A is a subset of the rationals.

Edit Edit:  I woke up in a cold sweat because I realized I had left something out here!  The elements of A - A aren’t JUST the irrationals, there is also 0 inside of it (since, in particular, a-a\in A - A for any a\in A).  This complicates things only a little bit; the last paragraph, in particular, doesn’t apply directly, but it reduces our workload: we only need to show that (-\epsilon, \epsilon)\cap ({\mathbb Q}^{C}\cup \{0\}) has empty interior.  Of course, this is not very hard; if we supposed some open ball was inside of this, it would need to contain another rational number besides 0.  That’s a contradiction. 


2 Responses to “Uncountable Subset A of [0,1] with A – A empty.”

  1. James said

    Yep. It turns out to be an extremely natural set to use in this case. It’s unfortunate that an easier set doesn’t exist, but it’s often extremely difficult to visualize A – A.

    Parenthetically, on the Analysis Qual that I took, one of the questions was: Let E be a subset of the reals and let the lebesgue measure of E be positive. Show that E – E contains a neighborhood of the origin. It’s a good question to think about, and if you want it to be a bit easier, pretend that E is open or closed to begin with.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: