Скачать книгу

by inner products, as seen in Theorem 1.11.

      Note, too, that solving a linear system of n equations with n unknown variables generally involves far more operations than the calculation of inner products; this highlights one advantage of having an orthogonal basis for a vector space.

      THEOREM 1.11.– Let B = {u1, . . . , un} be an orthogonal basis of (V, 〈, 〉). Then:

image

      Notably, if B is an orthonormal basis, then:

image image

      so image, and thus image. If B is an orthonormal basis, ‖ui‖ = 1 giving the second law in the theorem.□

      Geometric interpretation of the theorem: The theorem that we are about to demonstrate is the generalization of the decomposition theorem of a vector in plane ℝ2 or in space ℝ3 on a canonical basis of unit vectors on axes. To simplify this, consider the case of ℝ2.

      If and are, respectively, the unit vectors of axes x and y, then the decomposition theorem says that:

image

      which is a particular case of the theorem above.

      We will see that the Fourier series can be viewed as a further generalization of the decomposition theorem on an orthogonal or orthonormal basis.

      The definition of orthogonal projection can be extended by examining the geometric and algebraic properties of this operation in ℝ2 and ℝ3. Let us begin with ℝ2.

      The properties verified by this projection are as follows:

      1) projecting onto the x axis a second time, vector Pxv obviously remains unchanged given that it is already on the x axis, i.e. image. Put differently, the operator Px bound to the x axis is the identity of this axis;

Schematic illustration of visualization of property 2 in R squared.

      3) Pxv minimizes the distance between the terminal point of v and the x axis. In Figure 1.2, image and image are, in fact, the hypotenuses of right-angled triangles ABC and ACD; on the other hand, image is another side of these triangles, and is therefore smaller than image and image. image is the distance between the terminal point of v and the terminal point of Pxv, while image and image are the distances between the terminal point of v and the diagonal projections of v onto x rooted at B and D, respectively.

      We wish to define an orthogonal projection operation for an abstract inner product space of dimension n which retains these same geometric properties.

Schematic illustration of orthogonal projection p of a vector in R cubed onto the plane produced by two unit vectors.

      Generalization should now be straightforward:

Скачать книгу