A real inner product is a symmetric bilinear map with for . It defines . Set and . Orthonormality gives , hence the Pythagorean identity givesThis proves Bessel's inequality. Equality holds exactly when .
Articles by others on the same topic
There are currently no matching articles.