ncatlab.org

Archimedean ordered field in nLab

Contents

Context

Analysis

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 q∈ℚq \in \mathbb{Q} one can derive that q∈Fq \in F. Thus, FF is Archimedean if for all elements x∈Fx \in F and y∈Fy \in F, if x<yx \lt y, then there exists a rational number q∈ℚq\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 x∈Fx \in F which satisfies the Dedekind cut axioms:

  1. there exists a rational number q∈ℚq \in \mathbb{Q} such that q<xq \lt x
  2. there exists a rational number r∈ℚr \in \mathbb{Q} such that x<rx \lt r
  3. for all rational numbers q∈ℚq \in \mathbb{Q} and q′∈ℚq' \in \mathbb{Q}, q<q′q \lt q' and q′<xq' \lt x implies that q<xq \lt x
  4. for all rational numbers r∈ℚr \in \mathbb{Q} and r′∈ℚr' \in \mathbb{Q}, x<r′x \lt r' and r′<rr' \lt r implies that x<rx \lt r
  5. for all rational numbers q∈ℚq \in \mathbb{Q}, q<xq \lt x implies that there exists a rational number q′∈ℚq' \in \mathbb{Q}, such that q<q′q \lt q' and q′<xq' \lt x
  6. for all rational numbers r∈ℚr \in \mathbb{Q}, x<rx \lt r implies that there exists a rational number r′∈ℚr' \in \mathbb{Q}, such that x<r′x \lt r' and r′<rr' \lt r
  7. for all rational numbers q∈ℚq \in \mathbb{Q} and r∈ℚr \in \mathbb{Q}, q<xq \lt x and x<rx \lt r implies that q<rq \lt r
  8. for all rational numbers q∈ℚq \in \mathbb{Q} and r∈ℚr \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 x∈Fx \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 x∈Fx \in F whose multiplicative inverse is an infinite element.

  • The fifth and sixth conditions independently imply that every element x∈Fx \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 x∈Fx \in F because of transitivity of the strict order relation.

  • Finally, the eighth condition says that every element x∈Fx \in F is located, and is true for all elements x∈Fx \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 x∈Fx \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 x∈Fx \in F in an Archimedean ordered field satisfies the axioms of Dedekind cuts:

  1. there exists a rational number q∈ℚq \in \mathbb{Q} such that q<xq \lt x
  2. there exists a rational number r∈ℚr \in \mathbb{Q} such that x<rx \lt r
  3. for all rational numbers q∈ℚq \in \mathbb{Q} and q′∈ℚq' \in \mathbb{Q}, q<q′q \lt q' and q′<xq' \lt x implies that q<xq \lt x
  4. for all rational numbers r∈ℚr \in \mathbb{Q} and r′∈ℚr' \in \mathbb{Q}, x<r′x \lt r' and r′<rr' \lt r implies that x<rx \lt r
  5. for all rational numbers q∈ℚq \in \mathbb{Q}, q<xq \lt x implies that there exists a rational number q′∈ℚq' \in \mathbb{Q}, such that q<q′q \lt q' and q′<xq' \lt x
  6. for all rational numbers r∈ℚr \in \mathbb{Q}, x<rx \lt r implies that there exists a rational number r′∈ℚr' \in \mathbb{Q}, such that x<r′x \lt r' and r′<rr' \lt r
  7. for all rational numbers q∈ℚq \in \mathbb{Q} and r∈ℚr \in \mathbb{Q}, q<xq \lt x and x<rx \lt r implies that q<rq \lt r
  8. for all rational numbers q∈ℚq \in \mathbb{Q} and r∈ℚr \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 x∈Fx \in F, we have x−1∈Fx - 1 \in F, and by the Archimedean principle there exists a rational number q∈ℚq \in \mathbb{Q} such that x−1<q<xx - 1 \lt q \lt x.

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

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

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

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

  • Finally, the eighth condition says that every element x∈Fx \in F is located, and is true for all elements x∈Fx \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:F→Ff:F \to F is continuous at a point c∈Fc \in F if

isContinuousAt(f,c)≔∀ϵ∈(0,∞).∀x∈F.∃δ∈(0,∞).(|x−c|<δ)⇒(|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)≔∀c∈F.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)≔{f∈F→F|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:F→Ff:F \to F is differentiable at a point c∈Fc \in F if

isDifferentiableAt(f,c)≔isContinuousAt(f,c)×∃L∈F.∀ϵ∈(0,∞).∀x∈F.∃δ∈(0,∞).∀h∈(−δ,0)∪(0,δ).|f(c+h)−f(c)h−L|<ϵ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)≔∀c∈F.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)≔{f∈F→F|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 December 20, 2024 at 04:01:33. See the history of this page for a list of all contributions to it.