analysis (differential/integral calculus, functional analysis, topology)
metric space, normed vector space
open ball, open subset, neighbourhood
convergence, limit of a sequence
compactness, sequential compactness
continuous metric space valued function on compact metric space is uniformly continuous
…
…
For $(A,+)$ an abelian group, then a norm on the group is a function
to the real numbers, such that
(positivity) $(g \neq 0) \Rightarrow (\vert g\vert \gt 0)$
(triangle inequality) ${\vert g + h\vert}\leq {\vert g\vert} + {\vert h\vert}$
(linearity) ${\vert k g\vert} = {\vert k\vert} {\vert g\vert}$ for all $k \in \mathbb{Z}$.
Here ${\vert k\vert} \in \mathbb{N}$ denotes the absolute value.
A group with a norm is a normed group, see there for more.
For $k$ a field equipped with a valuation (most usually, a local field such as $\mathbb{R}$, $\mathbb{C}$, or a p-adic completion of a number field), a norm on a $k$-vector space $V$ is a function
such that for all $\lambda \in k$, $v,w \in V$ we have
${\vert \lambda v \vert} = {\vert \lambda\vert} {\vert v \vert}$ (where $\vert \lambda \vert$ denotes the valuation)
${\vert v + w\vert } \leq {\vert v \vert } + {\vert w \vert}$ (“triangle inequality”)
if ${\vert v\vert} = 0$ then $v = 0$.
If the third property is not required, one speaks of a seminorm.
If the triangle identity is strengthened to
one speaks of a non-archimedean seminorm, otherwise of an archimedean one.
A vector space equipped with a norm is a normed vector space. A vector of norm 1 is a unit vector.
Each seminorm determines a topology, which is Hausdorff precisely if it is a norm.
A topological vector space is called (semi-)normed if its topology can be induced by a (semi-)norm.
Two seminorms ${\vert - \vert}_1$ and ${\vert - \vert}_2$ are called equivalent if there are $0 \lt C, C' \in \mathbb{R}$ such that for all $v$ we have
Equivalent seminorms determine the same topology.
The collection of (bounded) multiplicative seminorms on a (Banach) ring is called its analytic spectrum (see there for details).
The standard absolute value is a norm on the real numbers.
More generally, on any Cartesian space $\mathbb{R}^n$ the Euclidean norm is given by
more generally, for $n \in \mathbb{N}$, and $p \in \mathbb{N}$, $p \geq 1$, then the Cartesian space $\mathbb{R}^n$ carries the p-norm
The p-norm generalizes to sequence spaces and Lebesgue spaces.
Let $V$ be a vector space and $B \subseteq V$ an absorbing absolutely convex subset. The Minkowski functional of $B$ is the function $\mu_B \colon V \to \mathbb{R}$ defined by:
This is a semi-norm on $V$.
In dream mathematics, a given real vector space (with no topological structure) can have at most one complete norm, up to topological equivalence (homeomorphism of the identity function). It can have multiple inequivalent complete seminorms and incomplete norms, but their Hausdorff quotients and completions must be different. For example, the various Lebesgue norms on a Cartesian space $\mathbb{R}^n$ for finite $n$ are complete and equivalent; on $\mathbb{R}^\infty$, they are inequivalent but incomplete.
As dream mathematics includes excluded middle and dependent choice, the existence of inequivalent complete norms on a given vector space cannot be proved without a stronger form of the axiom of choice, enough to disprove the Baire property (which is the only classically false axiom needed in the proof of uniqueness). In HAF, it is argued that this explains why, in applied mathematics, there tends to be only one norm considered on any particular vector space (after Hausdorff completion).
This theorem applies more generally to F-norms but not to G-norms (even on a real vector space).
Wikipedia, Normed vector space
Siegfried Bosch, Ulrich Güntzer, Reinhold Remmert, Non-Archimedean Analysis – A systematic approach to rigid analytic geometry, 1984 (pdf)
HAF, §27.47.b (for uniqueness in dream mathematics)