Regard Q, the set of all rational numbers, as a metric space,

[Jamin2112]

Homework Statement

Regard Q, the set of all rational numbers, as a metric space, with d(p, q) = |p − q|. Let E
be the set of all p ∈ Q such that 2 < p² < 3. Show that E is closed and bounded in Q, but that E is not compact. Is E open in Q?

Homework Equations

Definition of interior point, limit point, open set, closed set, and compact set.

The Attempt at a Solution

Obviously E is bounded, but I'm not convinced that E is closed. Take a point in E^c. Supposedly there is a neighborhood, about that point, containing only members of E. But that can't be true, since any neighborhood about that point will also contain irrational numbers (Right?).

 

[HallsofIvy]

NO. This is in the space of rational numbers. There are NO irrational numbers in that space. For the purposes of this problem, irrational numbers do not exist.

Notice that since there is no rational number whose square is 2 or 3, "for the purposes of this problem", again, the set of all x such that "$2< x^2< 3$" is exactly the same the set of all x such that "$2\le x^2\le 3$".

 

[Jamin2112]

I suspected that might be the case. Now take a look, if you don't mind, at the last paragraph of the solution to this problem, found here: http://www.math.ucla.edu/~elewis/Math230PDFs/Math%20230a%20HW%203%20Extra%20Credit.pdf [Broken]. It seems flawed to me, since they are putting using the given metric |p - q| and plugging irrational numbers into it, and it's only defined for rational numbers. nomsayin'?