Vector space

Inner product space

An inner product space is a vector space ¹ together with an operation

which for any and has the following properties: #m/def/anal/vec

1. conjugate symmetry
2. linearity in the first argument²
3. positive-definiteness

In some fields a bra-ket notation style inner product is more common, signaled by a | instead of ,³, in which case the second axiom is

2. linearity in the second argument

Every inner product induced a norm , and norms have a corresponding unique inner product iff the Parallelogram law holds.

Properties

1. antilineärity in the other argument:
2. general Cauchy-Schwarz inequality:

Further properties

• A change of basis is also a Change of inner product
• The inner product is continuous

#state/tidy | #lang/en | #SemBr