# Finding a Perfect Set in R with constraint.

Does there exist a non empty perfect subset of $R$ containing only transcendental numbers ? I am looking for an example although even an existential proof will suffice.

The Cantor set is homeomorphic to its own square (i.e. $C \simeq C \times C$), and from this it follows that $C$ contains infinitely many disjoint copies of itself. If we construct $C$ on an interval with transcendental endpoints, then since the algebraic numbers are countable, then at least one of these copies of $C$ cannot contain any algebraic numbers.
• Sry, but I don't understand your argument, why a copy of $C$ cannot contain any algebraic numbers from the fact, that the algrebaic numbers are countable. – Mundron Schmidt Jun 6 '17 at 9:12