Basic Analysis I — Real Analysis · Problem 2.4.3

Sequences and Series — Jiri Lebl

Mathematics — Real Analysis · cauchy-sequences

Problem

(Challenging) Suppose FF is an ordered field that contains the rational numbers Q\mathbb{Q}, such that Q\mathbb{Q} is dense, that is: Whenever x,y∈Fx, y \in F are such that x<yx < y, then there exists a q∈Qq \in \mathbb{Q} such that x<q<yx < q < y. Say a sequence {xn}n=1∞\{x_n\}_{n=1}^\infty of rational numbers is Cauchy if given every ϵ∈Q\epsilon \in \mathbb{Q} with ϵ>0\epsilon > 0, there exists an MM such that for all n,k≥Mn, k \geq M, we have ∣xn−xk∣<ϵ|x_n - x_k| < \epsilon. Suppose every Cauchy sequence of rational numbers has a limit in FF. Prove that FF has the least-upper-bound property.

Related theory

Browse the problem library