Definition:Archimedean Property

This article is a landmark page. It was the 3000th definition on $\mathsf{Pr} \infty \mathsf{fWiki}$!

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, namely:
What is a norm on a general algebraic structure?
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this point in more detail, feel free to use the talk page.

If you are able to explain it, then when you have done so you can 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 it in more detail, feel free to use the talk page.

When this has been done, {{Disambiguate}} should be removed from the code.

If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).

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): Entry: Archimedean property

Definition:Archimedean Property

Contents