Least Upper Bound Property $\implies$ Complete

Solution 1:

In an arbitrary ordered field one has the notion of Dedekind completeness -- every nonempty bounded above subset has a least upper bound -- and also the notion of sequential completeness -- every Cauchy sequence converges.

The main theorem here is as follows:

For an ordered field $F$, the following are equivalent:
(i) $F$ is Dedekind complete.
(ii) $F$ is sequentially complete and Archimedean.

Since the Archimedean hypothesis often goes almost without saying in calculus / analysis courses, many otherwise learned people are unaware that there are non-Archimedean sequentially complete fields. In fact there are rather a lot of them, and they can differ quite a lot in their behavior: e.g. some of them are first countable in the induced (order) topology, and some of them are not. (In particular there are some ordered fields in which a sequence is Cauchy if and only if it is eventually constant! This is a case where one should consider Cauchy nets if one is serious about exploring the topology...)

These issues are treated in $\S 1.7$ and $1.8$ of these notes.

prove $\frac{1}{2}\mathbf{\nabla (u \cdot u) = u \times (\nabla \times u ) + (u \cdot \nabla)u}$ using index notation

Determinant of a matrix with $t$ in all off-diagonal entries.

Is there a general form for the derivative of a matrix to a power?

Does the infinite power tower converge for all $0<x<1$

Orthogonal polynomials and Gram Schmidt

Every subspace of a vector space has a complement

How to show for $\alpha\in (0,1)$, any $f\in C^\alpha([0,1]/{\sim})$ has a Fourier series $S_nf$ uniformly converging to $f$

questions about Rudin's summation by parts

proof that on a compact manifold a vector field is complete

Is $\lim\limits_{x\to x_0}f'(x)=f'(x_0)$?

show that $\int_{0}^{\infty}\frac{x\cos ax}{\sinh x}dx=\frac{\pi^2}{4} \operatorname{sech}^2 \left(\frac{a\pi}{2}\right) $