I know that $\mathbb{R}\setminus\mathbb{Q}$ is not an $F_\sigma$ set. However, what about $\mathbb{R}\setminus\mathbb{Q}\cap$ Cantor set? Is that an $F_\sigma$?
The irrationals, the Cantor Set, and $F_\sigma$ sets
1
$\begingroup$
real-analysis
2 Answers
1
HINT: Let $C$ be the Cantor set. $(\mathbb{R}\setminus\mathbb{Q})\cap C=C\setminus\mathbb{Q}$, which in some ways is a lot like $\mathbb{R}\setminus\mathbb{Q}$. How do you prove that $\mathbb{R}\setminus\mathbb{Q}$ is not an $F_\sigma$? Can you use the same basic idea on $C\setminus\mathbb{Q}$?
-
0When proving that the irrationals were not an $F_\sigma$ I used the fact that any subset of the reals that is an $F_\sigma$ is either of the first category, or it contains an open interval. So, if I were to adapt that to this case, I'd say that $C\setminus\mathbb{Q}$ contains no intervals, but it's not of the first category, it can't be an $F_\sigma$. Is that argument good, or something along those lines? – 2011-11-18
-
0@FPP: Yes, that works, provided that you know why $C\setminus\mathbb{Q}$ isn’t first category. – 2011-11-18
-
0I'm not sure why.... If C is of the first category, why would one of its subsets be of the second? Is that possible? – 2011-11-18
-
0Is there something I'm missing? First of all.... Is $C$ of the first or second category? – 2011-11-18
-
0Ok.... sorry about all the comments. I just realized category is relative. So, for this particular example, $C$ is actually of the second category, am I right? $C$ is, with respect to itself, not a countable union of nowhere dense sets, so it's not of the first category. And then, taking away countably many points from it (the rationals in $C$), wouldn't affect it's category, right? – 2011-11-18
-
1@FPP: You beat me to it: I was just about to point out that category is relative to the ambient space. And yes: $C\setminus\mathbb{Q}$ is a dense $G_\delta$ in $C$, so it’s also a [Baire space](http://en.wikipedia.org/wiki/Baire_space), and the Baire category theorem still applies. – 2011-11-18
-
0Great. Thank you very much! I'd been struggling with this question for hours, mostly because I failed to realize that category was relative. – 2011-11-18
0
Do you know the properties of the Cantor set, i.e., is it closed, open, etc? Find out, and that will answer your question.
-
0Well, I do know that, but I guess I couldn't put it together? I know it's a closed set, I know it's perfect, totally disconnected, of the first category, compact, nowhere dense, etc. I feel like I have a lot of "fun facts" about it, but I can't reach a conclusion from them. – 2011-11-18
-
0So $\mathbb R- \mathbb Q$ is the complement of an $F_{\sigma}$ , which can be expressed, thru De Morgan, in terms of closed sets, which you can then combine with the closedness of the Cantor set. – 2011-11-18
-
0But after using DeMorgan, I'd end up with an intersection of open sets, the opposite of what I want, right? – 2011-11-18
-
0Sorry, I meant, start by describing $\mathbb Q$ itself in terms of unions, intersections, etc. , after which De Morgan gives you a description of $\mathbb R- \mathbb Q$ , after which you can compose with the closed Cantor set, and determine what the whole expression is. – 2011-11-18