Welcome to our community

Be a part of something great, join today!

Innerproducts

matqkks

Member
Jun 26, 2012
74
In inner product spaces of polynomials, what is the point of finding the angle and distance between two polynomials? How does the distance and angle relate back to the polynomial?
 

Deveno

Well-known member
MHB Math Scholar
Feb 15, 2012
1,967
one thing is it allows us to say is out of two polynomials, p(x), q(x), which one is "closer" to a given polynomial f(x).

for example, suppose our polynomials are defined on A = [0,1], and we want to know which one of:

p(x) = x2-x

q(x) = x3

is closer to f(x) = x.

so we calculate:

$$|p-f| = \sqrt{\int_0^1 (p-f)^2(x) dx} = \sqrt{\int_0^1 x^4 - 4x^3 + 4x^2 dx} = \sqrt{\frac{1}{5} - 1 + \frac{4}{3}} = \sqrt{\frac{8}{15}}$$

$$|q-f| = \sqrt{\int_0^1 (q-f)^2(x) dx} = \sqrt{\int_0^1 x^6 - 2x^4 + x^2 dx} = \sqrt{\frac{1}{7} - \frac{2}{5} + \frac{1}{3}} = \sqrt{\frac{8}{105}}$$

evidently, q is closer to f than p is.

in general, orthonormal bases are easier to work with (such as the basis: {1,cos(nx),sin(nx): n in N} used in fourier analysis for signal processing (among other things)), we can focus on the coefficients rather than the basis itself (in particular, the projections of the vectors onto their basis components are easy to calculate). moreover, an orthonormal set of vectors is automatically linearly independent, and forms a basis for its span, and orthogonality (normalizing is just a matter of scale) may be easier to prove than linear independence.

for certain physical systems, orthogonality captures some kinds of symmetry in "eigenstates" (eigenvectors where the vectors themselves are functions representing the state of a system), which again, greatly simplify the complexity of the calculations involved. people DO use this, although not everyone who takes a linear algebra class will have occasion to.

geometry is a powerful way of thinking. it cuts deep. the special orthogonal group in arbitrary dimensions may seem a long way from a simple perpendicular bisector of euclid, but when we abstract, we try to "keep what we have learned". the goal is not to "make things needlessly complicated" but rather the opposite​: "to make sense out of a chaotic world".