Inner product spaces extend dot product geometry to vectors, functions, and abstract vector spaces. This cheat sheet helps students connect algebraic rules with geometric ideas such as length, angle, perpendicularity, and projection. It is useful for linear algebra, differential equations, numerical methods, and applied mathematics courses.
The reference focuses on definitions and formulas that appear often in proofs and computations.
The core idea is that an inner product produces a scalar that measures alignment between two vectors. From it, students define the norm , orthogonality by , and projection by . Orthonormal bases simplify coordinates because when is orthonormal.
The Gram-Schmidt process converts an independent list into an orthogonal or orthonormal basis.
Key Facts
- An inner product satisfies positivity , definiteness only when , linearity in one argument, and conjugate symmetry .
- The norm induced by an inner product is , and it is always nonnegative.
- Two vectors are orthogonal exactly when .
- The Cauchy-Schwarz inequality states .
- The angle between nonzero real vectors satisfies .
- The projection of onto a nonzero vector is .
- If is an orthonormal basis, then every vector has the expansion .
- In Gram-Schmidt, and .
Vocabulary
- Inner product
- A rule that assigns scalars to pairs of vectors while preserving the algebraic properties needed to measure length and angle.
- Norm
- The length of a vector induced by an inner product, defined by .
- Orthogonal vectors
- Vectors and are orthogonal when their inner product is zero, so .
- Orthonormal set
- A set of vectors is orthonormal when each vector has norm and distinct vectors have inner product .
- Projection
- The projection of onto is the component of in the direction of , given by for .
- Orthogonal complement
- The orthogonal complement of a subspace is .
Common Mistakes to Avoid
- Using for projection is wrong because the denominator must be unless is already a unit vector.
- Assuming orthogonal means orthonormal is wrong because orthogonal vectors only require , while orthonormal vectors also require .
- Forgetting complex conjugation is wrong in complex inner product spaces because conjugate symmetry requires .
- Applying the angle formula to a zero vector is wrong because is undefined when either norm is .
- Skipping normalization in Gram-Schmidt is wrong when an orthonormal basis is required because the vectors are orthogonal but may not have norm .
Practice Questions
- 1 In with the dot product, compute and decide whether and are orthogonal.
- 2 Find for and using .
- 3 Use one step of Gram-Schmidt to turn and into an orthogonal pair .
- 4 Explain why an orthonormal basis makes coordinate calculations simpler than a basis that is independent but not orthogonal.
Understanding Inner Product Spaces & Orthogonality Reference
An inner product does more than assign a number to two vectors. It determines which directions count as close, long, or perpendicular in a particular setting. This matters because the usual coordinate dot product is not the only possible choice.
In a space of functions, an inner product can be built by multiplying two functions and adding their products across an interval. A weighted version gives some parts of that interval more importance than others. This appears when measurements have unequal reliability, or when a physical model gives one region more influence.
Projection is best understood through the leftover part. When a vector is projected onto a direction or subspace, the result is the part that can be explained using that direction or subspace. The residual is what remains after that explanation.
A key fact is that the residual is perpendicular to every allowed direction in the subspace. This is why projection gives the closest point in the subspace. It minimizes the length of the residual.
In data fitting, this idea produces least squares methods. A line fitted to noisy data cannot usually pass through every point, so the method chooses the line with the smallest total squared error.
Orthonormal bases are especially useful because each coordinate can be found independently. There is no need to solve a full system of equations just to determine how much of each basis direction is present. This makes calculations clearer in Fourier series, signal processing, and quantum mechanics.
A sound recording can be represented as contributions from different frequency patterns. A signal with unwanted noise can be approximated by keeping important orthogonal components and discarding small ones. The success of this method depends on choosing a basis that matches the type of signal being studied.
Gram Schmidt is a constructive process, but students should watch its assumptions carefully. The starting vectors must be linearly independent. If a new vector is already made from earlier vectors, its leftover part becomes the zero vector, and it cannot be normalized.
The order of the starting list can change the resulting orthonormal basis, even though the final span stays the same. In exact hand calculations, fractions and square roots are normal. In computer calculations, nearly dependent vectors can cause rounding errors because subtraction removes nearly equal quantities.
More stable methods are used in serious numerical work. For proofs, pay attention to the reason each new leftover vector is perpendicular to all earlier ones. That argument is the heart of the process.