Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/fontdata.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

9.1: Inner Products

( \newcommand{\kernel}{\mathrm{null}\,}\)

In this section, V is a finite-dimensional, nonzero vector space over F.

Definition 9.1.1. An inner product on V is a map
,:V×VF(u,v)u,v
with the following four properties.

  1. Linearity in first slot: u+v,w=u,w+v,w and au,v=au,v for all u,v,wV and aF;
  2. Positivity: v,v0 for all vV;
  3. Positive definiteness: v,v=0 if and only if v=0;
  4. Conjugate symmetry: u,v=¯v,u for all u,vV.

Remark 9.1.2. Recall that every real number xR equals its complex conjugate. Hence, for real vector spaces, conjugate symmetry of an inner product becomes actual symmetry.

Definition 9.1.3. An inner product space is a vector space over F together with an inner product ,.

Example 9.1.4. Let V=Fn and u=(u1,,un),v=(v1,,vn)Fn. Then we can define an inner product on V by setting
u,v=ni=1ui¯vi.
For F=R, this reduces to the usual dot product, i.e.,
uv=u1v1++unvn.

Example 9.1.5. Let V=F[z] be the space of polynomials with coefficients in F.
Given f,gF[z], we can define their inner product to be
f,g=10f(z)¯g(z)dz,
where ¯g(z) is the complex conjugate of the polynomial g(z).

For a fixed vector wV, one can define a map T:VF by setting Tv=v,w. Note that T is linear by Condition~1 of Definition~9.1.1. This implies, in particular, that 0,w=0 for every wV. By conjugate symmetry, we also have w,0=0.

Lemma 9.1.6. The inner product is anti-linear in the second slot, that is, u,v+w=u,v+u,w and u,av=¯au,v for all u,v,wV and aF.

Proof. For additivity, note that
u,v+w=¯v+w,u=¯v,u+w,u=¯v,u+¯w,u=u,v+u,w.
Similarly, for anti-homogeneity, note that
u,av=¯av,u=¯av,u=¯a¯v,u=¯au,v.

We close this section by noting that the convention in physics is often the exact opposite of what we have defined above. In other words, an inner product in physics is traditionally linear in the second slot and anti-linear in the first slot.


This page titled 9.1: Inner Products is shared under a not declared license and was authored, remixed, and/or curated by Isaiah Lankham, Bruno Nachtergaele, & Anne Schilling.

Support Center

How can we help?