The first two properties follow directly from the definition of an
inner product.
The compatibility with multiplication follows from
-
In order to prove the triangle estimate, we write
Due to
fact,
this is . This estimate transfers to the square roots.