Complex Modulus is Norm

From ProofWiki
Jump to navigation Jump to search


The complex modulus is a norm on the set of complex numbers $\C$.


We prove the norm axioms.

Positive Definiteness

This is demonstrated in:

Complex Modulus equals Zero iff Zero
Complex Modulus is Non-Negative



Follows from Modulus of Product.


Triangle Inequality

Follows from Triangle Inequality for Complex Numbers.