Axiom:Multiplicative Norm Axioms
Jump to navigation
Jump to search
This page is about the multiplicative norm axioms. For other uses, see Norm Axioms.
Definition
Let $\struct {R, +, \circ}$ be a ring whose zero is $0_R$.
Let $\norm {\, \cdot \,}: R \to \R_{\ge 0}$ be a multiplicative norm on $R$.
The multiplicative norm axioms are the conditions on $\norm {\, \cdot \,}$ which are satisfied for all elements of $R$ in order for $\norm {\, \cdot \,}$ to be a multiplicative norm:
\((\text N 1)\) | $:$ | Positive Definiteness: | \(\ds \forall x \in R:\) | \(\ds \norm x = 0 \) | \(\ds \iff \) | \(\ds x = 0_R \) | |||
\((\text N 2)\) | $:$ | Multiplicativity: | \(\ds \forall x, y \in R:\) | \(\ds \norm {x \circ y} \) | \(\ds = \) | \(\ds \norm x \times \norm y \) | |||
\((\text N 3)\) | $:$ | Triangle Inequality: | \(\ds \forall x, y \in R:\) | \(\ds \norm {x + y} \) | \(\ds \le \) | \(\ds \norm x + \norm y \) |
Also known as
In the discussion of norms, it is usually the case that multiplicative norms are under consideration.
Hence it is common to speak directly of norm axioms without qualification as to their exact variety.