Lukas' Notes

linear-logic

Definition

Inner Product Space

An inner product space is a vector space with an inner product .

Induced Norm

Every inner product space is naturally a normed vector space. The norm is defined “for free” using the inner product: