Definition:Non-Archimedean/Metric

From ProofWiki
Jump to navigation Jump to search

Definition

A metric $d$ on a metric space $X$ is non-Archimedean if and only if:

$\map d {x, y} \le \max \set {\map d {x, z}, \map d {y, z} }$

for all $x, y, z \in X$.


Archimedean

A metric is Archimedean if and only if it is not non-Archimedean.