Axiom:Multiplicative Norm Axioms

From ProofWiki
Jump to navigation Jump to search

This page is about the multiplicative norm axioms. For other uses, see Norm Axioms.


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.

Also see