Jump to content

Inner product/K/Orthogonality/Introduction/Section

From Wikiversity

When an inner product is given, then we can express the property of two vectors to be orthogonal to each other.


Let denote a vector space over , endowed with an inner product . We say that two vectors are orthogonal (or perpendicular) to each other if

holds.


The following reasoning shows that the orthogonality, defined via the inner product, corresponds to the intuitively given orthogonality .[1] For orthogonal vectors , we get that has the same distance to the points and . This holds because of

The reverse statement holds as well; see exercise.

Pythagoras of Samos lived in the sixth century a.D. However, "his“ theorem was already known thousand years earlier in Babylon.


Let us recall the Theorem of Pythagoras.

The following theorem is the Theorem of Pythagoras; more precisely, it is the version in the context of an inner product, and it is trivial. However, the relation to the classical, elementary-geometric Theorem of Pythagoras is difficult, because it is not clear at all whether our concept of orthogonality and our concept of a length, both introduced via the inner product, coincide with the corresponding intuitive concepts. That our concept of a norm is the true length concept rests itself on the Theorem of Pythagoras in a Cartesian coordinate system, which presupposes the classical theorem.


Let be a -vector space, endowed with an inner product . Let be vectors that are orthogonal to each other. Then

holds.

We have



Let be a -vector space, endowed with an inner product, and let denote a linear subspace. Then

is called the orthogonal complement of .

The orthogonal complement of a linear subspace is again a linear subspace, see exercise. If a generating system of is given, then a vector belongs to the orthogonal complement of if it is orthogonal to all the vectors of the generating system, see exercise.


Let , endowed with the standard inner product. For the one-dimensional linear subspace , generated by the standard vector , the orthogonal complement consits of all vectors , where the -th entry is . For a one-dimensional linear subspace , generated by a vector

the orthogonal complement can be found by determining the solution space of the linear equation

The orthogonal space

has dimension ; this is a so-called hyperplane. The vector is called a normal vector for the hyperplane .

For a linear subspace that is given by a basis (or a generating system) , , the orthogonal complement is the solution space of the system of linear equations

where is the matrix formed by the vectors as rows.

  1. For this, one has to accept that the length defined via the inner product coincides with the intuitively defined length, which rests on the elementary-geometric Theorem of Pythagoras.