Can You Construct a Non-Empty Perfect Set in R Containing No Rationals?

[Mosis]

Homework Statement

Is there a perfect set that contains no rationals?

Homework Equations

A set is perfect if it is closed and contains no isolated points.

The Attempt at a Solution

Why not just take the set of irrational numbers as your whole space? This set is certainly closed as it's the whole metric space, and it contains no isolated points, as the irrationals are dense in themselves.

What's wrong with this? I'm not confident it's correct since this was given as a bonus problem on an assignment, but I can't see what's wrong with my example.

Edit: the prof probably meant for us to find a perfect subset of R with no rationals, 'cause that seems a lot harder and I don't even know where to start. so how might I go about doing that, then?

 

[rasmhop]

I'm pretty sure what is meant is a set perfect in R. The answer is affirmative. The simplest example is \emptyset. If you require the set to be non-empty, then you can emulate the construction of the cantor set (consider irrational numbers a,b and enumerate the rationals in [a,b] and then inductively remove an interval around each of them). If you need further help or ideas see the solution at (I suggest you try to construct it yourself before you look):
http://planetmath.org/encyclopedia/ANonemptyPerfectSubsetOfMathbbRThatContainsNoRationalNumber.html