Baire Category and Residual Sets
I posted this problem some time ago, and it didn't elicit any feedback. So, in compliance with MHF Rules, I am now reposing the problem with some additional info. The result is bound to be long-winded; apologies.
Recall the topological notion of a nowhere dense set. There are a number of equivalent definitions of this, but I shall be using the following: "A set in is said to be nowhere dense provided that its complement contains a dense, open set." If a set in can be expressed as a union of countably many nowhere dense sets, it is said to be of first (Baire) category, and if it cannot be so expressed, it is said to be of second (Baire) category. The complement of a set of first category is often called residual. It is easy to show that, in any residual set is of second category.
I need to prove the following:
Let and be any two residual sets in For fixed real numbers and , the sets and are both residual in ; that is, they are both complements of sets of first category.
I can see how this is true intuitively, but I have never been able to find a rigorous proof. Any guidance anyone can provide would be of great help.