Problem

In any ordered field F, we can define absolute value in the usual way: |x| = x if x ≥ 0 an...

In any ordered field F, we can define absolute value in the usual way: |x| = x if x ≥ 0 and |x| = −x if x<0. Using this we can define neighborhoods, and from neighborhoods obtain the other topological concepts of open sets, closed sets, accumulation points, and so on. Our proof that a closed, bounded set is compact used the completeness of ℝ in a crucial way. Show that this result does not necessarily hold in an ordered field that is not complete. For an ordered field F as given below, find a subset of F that is bounded and closed in F, but not compact.

(a) Let F be the ordered field of rational numbers ℚ.


(b) Let F be the ordered field of rational functions

Step-by-Step Solution

Request Professional Solution

Request Solution!

We need at least 10 more requests to produce the solution.

0 / 10 have requested this problem solution

The more requests, the faster the answer.

Request! (Login Required)


All students who have requested the solution will be notified once they are available.
Add your Solution
Textbook Solutions and Answers Search
Solutions For Problems in Chapter 3.14S