Mathlib
Atlas
Analysis and topology
Pathway XII
⟨,⟩
Inner products and operators
Length and angle from a pairing. Orthogonal projection is the closest point.
01
Inner products
An inner product gives lengths and angles. The projection of v onto u is the closest point on that line.
4 min
02
The spectral theorem
A symmetric matrix is an orthogonal stretch: eigenvectors are the axes, eigenvalues the stretch factors.
4 min
Begin this pathway