nLab Archimedean ordered field

Contents

Contents

Idea

An Archimedean ordered field is an ordered field that satisfies the archimedean property.

Definition

Using field homomorphisms from the rationals

The rational numbers are the initial ordered field, so for every ordered field FF there is a field homomorphism h:Fh:\mathbb{Q}\to F. Since every field homomorphism between ordered fields is an injection, the rational numbers \mathbb{Q} is a subset of the ordered field FF, and we can suppress the field homomorphism via coercion, such that given qq \in \mathbb{Q} one can derive that qFq \in F. Thus, FF is Archimedean if for all elements xFx \in F and yFy \in F, if x<yx \lt y, then there exists a rational number qq\in \mathbb{Q} such that x<qx \lt q and q<yq \lt y.

Using Dedekind cut-like conditions

A real number in an ordered field FF is an element xFx \in F which satisfies the Dedekind cut axioms:

  1. there exists a rational number qq \in \mathbb{Q} such that q<xq \lt x
  2. there exists a rational number rr \in \mathbb{Q} such that x<rx \lt r
  3. for all rational numbers qq \in \mathbb{Q} and qq' \in \mathbb{Q}, q<qq \lt q' and q<xq' \lt x implies that q<xq \lt x
  4. for all rational numbers rr \in \mathbb{Q} and rr' \in \mathbb{Q}, x<rx \lt r' and r<rr' \lt r implies that x<rx \lt r
  5. for all rational numbers qq \in \mathbb{Q}, q<xq \lt x implies that there exists a rational number qq' \in \mathbb{Q}, such that q<qq \lt q' and q<xq' \lt x
  6. for all rational numbers rr \in \mathbb{Q}, x<rx \lt r implies that there exists a rational number rr' \in \mathbb{Q}, such that x<rx \lt r' and r<rr' \lt r
  7. for all rational numbers qq \in \mathbb{Q} and rr \in \mathbb{Q}, q<xq \lt x and x<rx \lt r implies that q<rq \lt r
  8. for all rational numbers qq \in \mathbb{Q} and rr \in \mathbb{Q}, q<rq \lt r implies that q<xq \lt x or x<rx \lt r

We have the following results:

  • The first and second conditions say that every element xFx \in F is bounded below and above by rational numbers, and thus strictly not an infinite element. This also implies that there are no infinitesimal elements, because there are no element xFx \in F whose multiplicative inverse is an infinite element.

  • The fifth and sixth conditions independently imply that every element xFx \in F is strictly not an infinitesimal element.

These four conditions together imply the archimedean property for the ordered field FF.

  • The third, fourth, and seventh conditions are always true for all elements xFx \in F because of transitivity of the strict order relation.

  • Finally, the eighth condition says that every element xFx \in F is located, and is true for all elements xFx \in F because the pushout of the open intervals (q,)(q, \infty) and (,r)(-\infty, r) with canonical inclusions (q,r)(q,)(q, r) \to (q, \infty) and (q,r)(,r)(q, r) \to (-\infty, r) is equivalent to FF itself.

Thus, an Archimedean ordered field is an ordered field FF where every element xFx \in F is a real number.

Note that this definition is not the same as saying that FF contains every real number - the latter definition results in the Dedekind real numbers, which is the union of all Archimedean ordered fields and the terminal Archimedean ordered field.

Properties

Every Archimedean ordered field is a dense linear order. This means that the Dedekind completion of every Archimedean ordered field is the field of all real numbers.

Dedekind cuts

Every element xFx \in F in an Archimedean ordered field satisfies the axioms of Dedekind cuts:

  1. there exists a rational number qq \in \mathbb{Q} such that q<xq \lt x
  2. there exists a rational number rr \in \mathbb{Q} such that x<rx \lt r
  3. for all rational numbers qq \in \mathbb{Q} and qq' \in \mathbb{Q}, q<qq \lt q' and q<xq' \lt x implies that q<xq \lt x
  4. for all rational numbers rr \in \mathbb{Q} and rr' \in \mathbb{Q}, x<rx \lt r' and r<rr' \lt r implies that x<rx \lt r
  5. for all rational numbers qq \in \mathbb{Q}, q<xq \lt x implies that there exists a rational number qq' \in \mathbb{Q}, such that q<qq \lt q' and q<xq' \lt x
  6. for all rational numbers rr \in \mathbb{Q}, x<rx \lt r implies that there exists a rational number rr' \in \mathbb{Q}, such that x<rx \lt r' and r<rr' \lt r
  7. for all rational numbers qq \in \mathbb{Q} and rr \in \mathbb{Q}, q<xq \lt x and x<rx \lt r implies that q<rq \lt r
  8. for all rational numbers qq \in \mathbb{Q} and rr \in \mathbb{Q}, q<rq \lt r implies that q<xq \lt x or x<rx \lt r

We have the following results:

  • The first condition is always true because for all xFx \in F, we have x1Fx - 1 \in F, and by the Archimedean principle there exists a rational number qq \in \mathbb{Q} such that x1<q<xx - 1 \lt q \lt x.

  • The second condition is always true because for all xFx \in F, we have x+1Fx + 1 \in F, and by the Archimedean principle there exists a rational number rr \in \mathbb{Q} such that x<r<x+1x \lt r \lt x + 1.

  • The fifth condition is always true because for all xFx \in F and qq \in \mathbb{Q}, if q<xq \lt x, then by the Archimedean principle there exists a rational number qq' \in \mathbb{Q} such that q<q<xq \lt q' \lt x.

  • The sixth condition is always true because for all xFx \in F and rr \in \mathbb{Q}, if x<rx \lt r, then by the Archimedean principle there exists a rational number qq' \in \mathbb{Q} such that x<r<rx \lt r' \lt r.

  • The third, fourth, and seventh conditions are always true for all elements xFx \in F because of transitivity of the strict order relation.

  • Finally, the eighth condition says that every element xFx \in F is located, and is true for all elements xFx \in F because the union (q,)(,r)(q, \infty) \cup (-\infty, r) of the open intervals (q,)(q, \infty) and (,r)(-\infty, r) is the improper subset of FF.

Continuous and differentiable structure

Every Archimedean ordered field is a differentiable space:

Pointwise continuous functions

Let FF be an Archimedean ordered field. A function f:FFf:F \to F is continuous at a point cFc \in F if

isContinuousAt(f,c)ϵ(0,).xF.δ(0,).(|xc|<δ)(|f(x)f(c)|<ϵ)isContinuousAt(f, c) \coloneqq \forall \epsilon \in (0, \infty). \forall x \in F. \exists \delta \in (0, \infty). (\vert x - c \vert \lt \delta) \implies (\vert f(x) - f(c) \vert \lt \epsilon)

ff is pointwise continuous in FF if it is continuous at all points cc:

isPointwiseContinuous(f)cF.isContinuousAt(f,c)isPointwiseContinuous(f) \coloneqq \forall c \in F. isContinuousAt(f, c)

The set of all pointwise continuous functions is defined as

C 0(F){fFF|isPointwiseContinuous(f)}C^0(F) \coloneqq \{f \in F \to F \vert isPointwiseContinuous(f)\}

Pointwise differentiable functions

Let FF be an Archimedean ordered field. A function f:FFf:F \to F is differentiable at a point cFc \in F if

isDifferentiableAt(f,c)isContinuousAt(f,c)×LF.ϵ(0,).xF.δ(0,).h(δ,0)(0,δ).|f(c+h)f(c)hL|<ϵisDifferentiableAt(f, c) \coloneqq isContinuousAt(f, c) \times \exists L \in F. \forall \epsilon \in (0, \infty). \forall x \in F. \exists \delta \in (0, \infty). \forall h \in (-\delta, 0) \cup (0, \delta). \left| \frac{f(c + h) - f(c)}{h} - L \right| \lt \epsilon

ff is pointwise differentiable in FF if it is differentiable at all points cc:

isPointwiseDifferentiable(f)cF.isDifferentiableAt(f,c)isPointwiseDifferentiable(f) \coloneqq \forall c \in F. isDifferentiableAt(f, c)

The set of all pointwise differentiable functions is defined as

D 0(F){fFF|isPointwiseDifferentiable(f)}D^0(F) \coloneqq \{f \in F \to F \vert isPointwiseDifferentiable(f)\}

Admissibility

Let ΣΩ\Sigma \subseteq \Omega be a sub- sigma sigma -frame of the frame of truth values. Then an Archimedean ordered field FF is admissible for Σ\Sigma if the pseudo-order ()<():F×FΩ(-)\lt(-):F \times F \to \Omega restricts to a binary function ()<():F×FΣ(-)\lt(-):F \times F \to \Sigma.

Category of Archimedean ordered fields

The category of Archimedean ordered fields is the category whose objects are Archimedean ordered fields and whose morphisms are ring homomorphisms between Archimedean ordered fields. (Every ring homomorphism between Archimedean ordered field can be proven to be a strictly monotonic field homomorphism).

The category of Archimedean ordered fields is a thin category. It is also a skeletal category and a gaunt category, and impredicatively is the subset of the power set of real numbers which consists of all the Archimedean ordered subfields of the real numbers.

The initial object in the category of Archimedean ordered fields is the rational numbers and the terminal object in the category of Archimedean ordered fields is the (Dedekind) real numbers.

More generally, one can consider, for every sub-σ\sigma-frame ΣΩ\Sigma \subseteq \Omega of the frame of truth values, the subcategory of Archimedean ordered fields which are admissible for Σ\Sigma and ring homomorphisms between Archimedean ordered fields admissible for Σ\Sigma. While the rational numbers are still the initial object in this category, the terminal object in this object is a version Σ\mathbb{R}_\Sigma of the Dedekind real numbers, which are constructed using Dedekind cuts valued in Σ\Sigma. In the larger category of all Archimedean ordered fields, the ring homomorphism Σ D\mathbb{R}_\Sigma \hookrightarrow \mathbb{R}_D is not provably an isomorphism.

Examples

Archimedean ordered fields include

In constructive mathematics, one has the different notions of real numbers

These notions of real numbers are the same if every Dedekind real number merely has a locator, so that the Cauchy real numbers are Dedekind complete. Both excluded middle and countable choice imply that every Dedekind real number has a locator.

Non-Archimedean ordered fields include

References

The definition of the Archimedean property for an ordered field is given in section 4.3 of

  • Auke B. Booij, Analysis in univalent type theory (2020) [[etheses:10411, pdf]]

The real numbers are defined as the terminal Archimedean ordered field and the complete Archimedean ordered field in:

Last revised on July 10, 2024 at 19:11:55. See the history of this page for a list of all contributions to it.