Definition:Non-Archimedean/Norm (Vector Space)/Archimedean

From ProofWiki
Jump to navigation Jump to search

Definition

A norm $\norm {\,\cdot\,} $ on a vector space $X$ is Archimedean if and only if it is not non-Archimedean.


That is, if and only if:

$\exists x, y \in X: \norm {x + y} > \max \set { {\norm x, \norm y} }$