Definition:Archimedean Property

It has been suggested that this page or section be merged into Definition:Non-Archimedean. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Mergeto}} from the code.

Definition

Let $\struct {S, \circ}$ be a closed algebraic structure on which there exists either an ordering or a norm.

Let $\cdot: \Z_{>0} \times S \to S$ be the operation defined as:

$m \cdot a = \begin{cases}

a & : m = 1 \\ a \circ \paren {\paren {m - 1} \cdot a} & : m > 1 \end {cases}$

Archimedean Property on Norm

Let $n: S \to \R$ be a norm on $S$.

This article, or a section of it, needs explaining. In particular: What is a norm on a general algebraic structure? You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code.

The term Definition:Norm as used here has been identified as being ambiguous. If you are familiar with this area of mathematics, you may be able to help improve $\mathsf{Pr} \infty \mathsf{fWiki}$ by determining the precise term which is to be used. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Disambiguate}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Then $n$ satisfies the Archimedean property on $S$ if and only if:

$\forall a, b \in S: n \paren a < n \paren b \implies \exists m \in \N: n \paren {m \cdot a} > n \paren b$

Using the more common symbology for a norm:

$\forall a, b \in S: \norm a < \norm b \implies \exists m \in \Z_{>0}: \norm {m \cdot a} > \norm b$

Archimedean Property on Ordering

Let $\preceq$ be an ordering on $S$.

Then $\preceq$ satisfies the Archimedean property on $S$ if and only if:

$\forall a, b \in S: a \prec b \implies \exists m \in \Z_{>0}: b \prec m \cdot a$

Also see

• Definition:Infinitesimal

Source of Name

This entry was named for Archimedes of Syracuse.

Sources

• 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): Archimedean property