I need to construct a set (Topology question)

[jasonchen2002]

Homework Statement

Construct a set S in R such that
- S
- interior of S
- Closure of S
- Closure of the interior of S
- Interior of the closure of S

Are all distinct from each other.

Homework Equations

I don't think there should be any.

The Attempt at a Solution

I 'm pretty sure that the set has something to do with the rational numbers Q, but I'm stuck at "closure of the interior of S" and "interior of the closure of S".

So far, my attempt has been:

- S: The rational numbers Q
- int S: Empty set
- cl S: R
- cl (int S) : ?
- int (cl S) : ?

Just wondering, does this work? If not, is there a better set for this type of question?

 

[VKint]

Using the rationals is clever, but your example in its original form doesn't quite work. Instead of trying to use all of \mathbb{Q}, you should restrict attention to just a convenient portion of it, like, for example, \mathbb{Q} restricted to some compact set. (\hint)

Restricting \mathbb{Q} in this way almost gives you the set you need, but to finish the construction, you need to add on another "piece." (This last part isn't hard; almost any additional set will do, I think.) Sorry to be so vague, but I don't want to give too much away.

 

[jasonchen2002]

Thank you for your hint, I just wonder if it's possible to continue to work on the solution along the way while getting feedbacks from forum members...

So I just need to restrict S to some smaller/specific numbers? Something like 0 to 1?

And about the additional requirements for the set, does it involve some sort of union/intersection?

 

[VKint]

So I just need to restrict S to some smaller/specific numbers? Something like 0 to 1?

Exactly. In fact, the set \mathbb{Q} \cap [0,1] is just what I had in mind.

The only problem with this is that the interior is the same as the closure of the interior (they're both the null set). To fix this, just take the union of this set with some other set whose interior is different from the closure of its interior.

 

[jasonchen2002]

Nice! That's one step closer to the answer, but somehow I can't distinguish the difference between int S and cl(int S)...

Say, if I union Q /\ [0, 1] with a set {any number than 0 and 1}, would that work?
So would it be that the interior is the set {..}, and the closure of the interior is R - {..}?

Err... so cl S is still R, but what about int(cl S)? That's int(R), but how should I represent it?

 

[VKint]

Well, the interior of \mathbb{Q} or \mathbb{Q} \cap [0,1] is just \emptyset, and the closure of the empty set is the empty set. (If that confuses you, remember that the definition of the closure of S is the set of all points p such that any neighborhood of p has a nontrivial intersection with S. Any set intersected with the null set is trivial. Thus, the closure of the null set is empty.) However, the closure of \mathbb{Q} \cap [0,1] is just [0,1], not all of \mathbb{R}. (Why?)

How about this: Let I = [a,b] be an arbitrary closed interval, and let S = \mathbb{Q} \cap [0,1]. The interior of I is the open interval (a,b), right? What's the closure of (a,b) (i.e., the closure of the interior of I)? Using this information, can you see why the set S \cup I will work if a and b are both greater than 1?

 

[jasonchen2002]

Right! I get it now.

If I set S to (Q /\ [0,1]) \/ [2,3], then int S = (2,3), cl S = [0,1], int (cl S) = (0,1), and cl (int S) = [2,3]?