Definition. An inner product on a vector space V is a real-valued function I of two variables from V that satisfies the following rules:
I(v + v', v'') = I(v, v'') + I(v', v'') for all vectors v, v', and v'' in V.
I(a v, v') = a I(v, v') for each scalar a and all vectors v and v' in V.
I(v, v') = I(v', v) for all v and v' in V.
I(v, v) > 0 for each v <> 0 in V.
Definition. The length of a vector v in V relative to the inner product I is defined by the formula
Definition. The angle between two vectors in V relative to the inner product I is the unique angle (whose measure is) theta = angle (v, w) in the interval 0 <= theta <= pi satisfying the equation
Definition. The orthogonal complement of a subspace W of V, relative to the inner product I on V, is the set W^{perp} that consists of all vectors v in V orthogonal to every vector in W, i.e., for which I(v, w) = 0 for all w in W.
Theorem. If V is a vector space with a given inner product I, and W is any subspace of V, then the orthogonal complement of W has the following properties:
W^{perp} is a linear subspace of V.
The only point of V in both W and W^{perp} is the origin.
The sum of the dimensions of W and W^{perp} is the dimension of V.
Given a vector v in V there is a unique pair (w, w') of vectors with w in W and w' in W^{perp} such that v = w + w'.
Every vector in W is perpendicular to every vector in W^{perp}.
Let P_{3} be the vector space of polynomials of degree at most 3, and let phi be the linear map from P_{3} to itself that is defined by the formula
where f' denotes the derivative of f. Find the matrix of phi with respect to the basis of P_{3} given by the powers of the variable.
Let P_{2} be the vector space of polynomials of degree at most 2. Define an inner product on P_{2} with the formula
Find the orthogonal complement relative to this inner product of the subspace consisting of the constant polynomials.
Use the Gram-Schmidt process (§ 3.4 of the text) to make an orthonormal basis for P_{2}, relative to the inner product of the previous exercise containing the constant polynomial 1 beginning with the basis {1, t, t^{2}}.
Repeat the previous exercise using the inner product