Determining Boundaries and Interior Points for Rational and Irrational Numbers

[khkwang]

I hate to do this, but I've actually answered the questions. It's just that it seems strange to ask the student questions with such answers, as well as giving so much space to answer something so simple, I feel like I've done something wrong.

Homework Statement

Let set Q represent all rational numbers

\partial(Q^{int}) = ?
\partial((Q^{c})^{int}) = ?
\overline{(Q^{int})} = ?

Homework Equations

\partialQ is the boundary of Q
Q^int is the set of interior points of Q
\overline{Q} is the union of Q's boundary and Q
Q^c is Q's complement (in this case the set of irrational numbers)

The Attempt at a Solution

I answered the empty set for all three. The interior of Q must be the empty set because any "ball" of values around Q will contain an unlimited number of both rational and irrational numbers. Thus there are no interior points. Now the boundary of the empty set would also be the empty set no?

Then the question is asked again but for the complement of Q. With the same reasoning, any ball around any irrational number in Q^c will contain rational numbers, so the set of internal points for Q^c is also the empty set. Boundary of which is again the empty set.

Finally the union of the boundary of Q^int and Q^int, must be the empty set because they both are empty.

So are my reasonings correct? I think they are, but it seems weird for my professor to ask these questions.

 

[Dick]

Right on all counts.

 

[khkwang]

Okay thanks. I thought as much.

Would you mind me asking one more?

Setup:
Graph of sin(1/x). This graph is subset of R^2 called G.

Questions:
Find G^int, Boundary of G, and closure of G

Answer:
G^int is empty set because the set G is a 1 dimensional line on a 2 dimensional plane, therefore every ball around a point on G contains points not on G.

Boundary of G is G because every point on G is a boundary point (since any ball around any point on G contains both points in G and not in G.

Closure of G is also G, easily shown by it's definition.

I'm pretty sure I'm right, but once again, these seem like strange questions for the professor to ask. I mean, anyone dimensional function could have produced the same answers, so why chose sin(1/x)?

 

[Dick]

The question isn't that trivial this time. Think harder about the graph near x=0. Could, for example, (0,1/2) be a boundary point?

 

[khkwang]

Let me see if I've got it straight.

The line on the y-axis from y=-1 to y=1 are also boundary points because for any ball from those points of any radius r there is a value for which x has a value in sin(1/x) and thus exists in G?

Is that what you meant?

 

[Dick]

Let me see if I've got it straight.

The line on the y-axis from y=-1 to y=1 are also boundary points because for any ball from those points of any radius r there is a value for which x has a value in sin(1/x) and thus exists in G?

Is that what you meant?

Yes, any ball around those points contains points in the graph. Away from x=0, your previous description is right. But points with x=0 need special attention.