<< Chapter < Page Chapter >> Page >
This module is part of the collection, A First Course in Electrical and Computer Engineering . The LaTeX source files for this collection were created using an optical character recognition technology, and because of this process there may be more errors than usual. Please contact us if you discover any errors.

The inner product ( x , y ) between vectors x and y is a scalar consisting of the following sum of products:

( x , y ) = x 1 y 1 + x 2 y 2 + x 3 y 3 + + x n y n .

This definition seems so arbitrary that we wonder what uses it could possibly have. We will show that the inner product has three main uses:

  1. computing length or “norm”,
  2. finding angles between vectors and checking for “orthogonality”, and
  3. computing the “component of one vector along another” (projection).

Since the inner product is so useful, we need to know what algebraic operations are permitted when we are working with inner products. The following are some properties of the inner product. Given x , y , z R n and a R ,

  1. ( x , y ) = ( y , x ) ;
  2. ( a x , y ) = a ( x , y ) = ( x , a y ) ; and
  3. ( x , y + z ) = ( x , y ) + ( x , z ) .

Euclidean Norm. Sometimes we want to measure the length of a vector, namely, the distance from the origin to the point specified by thevector's coordinates. A vector's length is called the norm of the vector. Recall from Euclidean geometry that the distance between two points is the squareroot of the sum of the squares of the distances in each dimension. Since we are measuring from the origin, this implies that the norm of the vector x is

x = x 1 2 + x 2 2 + + x n 2 .

Notice the use of the double vertical bars to indicate the norm. An equivalent definition of the norm, and of the norm squared, can be given interms of the inner product:

x = ( x , x )

or

x 2 = ( x , x ) .

The Euclidean norm of the vector

x = 1 3 5 - 2 ,

is x = 1 2 + 3 2 + 5 2 + ( - 2 ) 2 = 39 .

An important property of the norm and scalar product is that, for any x R n and a R ,

| | a x | | = | a | | | x | | .

So we can take a scalar multiplier outside of the norm if we take its absolute value.

Cauchy-Schwarz Inequality. Inequalities can be useful engineering tools. They can often be used to find the best possible performance of asystem, thereby telling you when to quit trying to make improvements (or proving to your boss that it can't be done any better). The most fundamentalinequality in linear algebra is the Cauchy-Schwarz inequality. This inequality says that the inner product between two vectors x and y is less than or equal (in absolute value) to the norm of x times the norm of y , with equality if and only if y = α x :

| ( x , y ) | | | x | | | | y | | .

To prove this theorem, we construct a third vector z = λ x - y and measure its norm squared:

| | λ x - y | | 2 = ( λ x - y , λ x - y ) = λ 2 | | x | | 2 - 2 λ ( x , y ) + | | y | | 2 0 .

So we have a polynomial in λ that is always greater than or equal to 0 (because every norm squared is greater than or equal to 0). Let's assume that x and y are given and minimize this norm squared with respect to λ . To do this, we take the derivative with respect to λ and equate it to 0:

2 λ | | x | | 2 - 2 ( x , y ) = 0 λ = ( x , y ) | | x | | 2

When this solution is substituted into the formula for the norm squared in [link] , we obtain

[ ( x , y ) | | x | | 2 ] 2 | | x | | 2 - 2 ( x , y ) | | x | | 2 ( x , y ) + | | y | | 2 0 ,

which simplifies to

- ( x , y ) 2 | | x | | 2 + | | y | | 2 0 ( x , y ) 2 | | x | | 2 | | y | | 2 .

The proof of the Cauchy-Schwarz inequality is completed by taking the positive square root on both sides of [link] . When y = α x , then

( x , y ) 2 = ( x , α x ) 2 = [ | α | ( x , x ) ] 2 = ( | α | | | x | | 2 ) 2 = ( | α | 2 | | x | | 2 ) | | x | | 2 = ( α x , α x ) | | x | | 2 = ( y , y ) | | x | | 2 = | | y | | 2 | | x | | 2 ,

which shows that equality holds in [link] when y is a scalar multiple of x .

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, A first course in electrical and computer engineering. OpenStax CNX. Sep 14, 2009 Download for free at http://cnx.org/content/col10685/1.2
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'A first course in electrical and computer engineering' conversation and receive update notifications?

Ask