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

• Jamin2112
In summary, the conversation discussed a problem involving a metric space and a set of rational numbers, E, defined as all p such that 2 < p^2 < 3. It was shown that E is closed and bounded in Q, but not compact. It was also questioned if E is open in Q, and it was clarified that for the purposes of this problem, irrational numbers do not exist in the space of rational numbers. A potential flaw in a given solution was also pointed out.

## 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 < p2 < 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 Ec. 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?).

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$".

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'?

Last edited by a moderator: