Definition:Archimedean Property/Norm
Jump to navigation
Jump to search
Definition
Let $\struct {S, \circ}$ be a closed algebraic structure.
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}$
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$