Inner product/K/Norm/Properties/Fact/Proof

Proof

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.