Körper/Betrag/Nichtarchimedisch/Starke Dreiecksabschätzung/Fakt

Ein Betrag auf einem Körper ${}K$

ist genau dann nichtarchimedisch, wenn die Abschätzung

${}\vert {f+g}\vert \leq \operatorname {max} \left(\vert {f}\vert ,\,\vert {g}\vert \right)\,$

für alle ${}f,g\in K$ gilt.

Einen Beweis erstellen