## Inner Products and Angles

We again consider a real vector space with an inner product. We’re going to use the Cauchy-Schwarz inequality to give geometric meaning to this structure.

First of all, we can rewrite the inequality as

Since the inner product is positive definite, we know that this quantity will be positive. And so we can take its square root to find

This range is exactly that of the cosine function. Let’s consider the cosine restricted to the interval , where it’s injective. Here we can define an inverse function, the “arccosine”. Using the geometric view on the cosine, the inverse takes a value between and and considers the point with that -coordinate on the upper half of the unit circle. The arccosine is then the angle made between the positive -axis and the ray through this point, as a number between and .

So let’s take this arccosine function and apply it to the value above. We define the angle between vectors and by

Some immediate consequences show that this definition makes sense. First of all, what’s the angle between and itself? We find

and so . A vector makes no angle with itself. Secondly, what if we take two vectors from an orthonormal basis ? We calculate

If we pick the same vector twice, we already know we get , but if we pick two different vectors we find that , and thus . That is, two different vectors in an orthonormal basis are perpendicular, or “orthogonal”.

[…] vector space with an inner product. We used the Cauchy-Schwarz inequality to define a notion of angle between two […]

Pingback by Inner Products and Lengths « The Unapologetic Mathematician | April 21, 2009 |

[…] now we do get a notion of length, defined by setting as before. What about angle? That will depend directly on the Cauchy-Schwarz inequality, assuming it holds. We’ll check […]

Pingback by Complex Inner Products « The Unapologetic Mathematician | April 22, 2009 |

[…] Now that we have a real or complex inner product, we have notions of length and angle. This lets us define what it means for a collection of vectors to be “orthonormal”: […]

Pingback by The Gram-Schmidt Process « The Unapologetic Mathematician | April 28, 2009 |

Dear John,

The law of cosines argument is also nice (especially since you now have the polarization identities): ||u-v||^2 = ||u||^2 + ||v||^2 + 2||u|| ||v|| cos @. Then 2=||u-v||^2 – ||u||^2 – ||v||^2 = 2||u|| ||v|| cos @, and you divide both sides by 2||u|| ||v||.

There is an interesting way to define cosine in terms of an inner product (though it’s not completely germane to this topic). Since the group of plane rotations SO_2(R) is an infinite group with subgroups of arbitrary finite order, it makes a good definition for the group of angles. Usually angles are written additively, so we define the group of angles A to be SO_2(R) written additively. Obviously A and SO_2(R) are isomorphic. If T is the image of an angle @, then we define cos @ := , where x is a fixed unit vector. If x and y are vectors, then there is a rotation T (in the plane spanned by x and y) such that y = Tx, and so /(||x|| ||y||) is the cosine of the angle corresponding to T.

-Brendan

Comment by Brendan Murphy | April 29, 2009 |

Sorry, it didn’t like the symbols I used for inner product.

The third line should read: “2(u,v)=||u-v||^2 – ||u||^2 – ||v||^2 = 2||u|| ||v|| cos @”.

The second paragraph should end with: “If T is the image of an angle @, then we define cos @ :=(Tx,x) , where x is a fixed unit vector. If x and y are vectors, then there is a rotation T (in the plane spanned by x and y) such that y = Tx, and so (x,y)/(||x|| ||y||) is the cosine of the angle corresponding to T.”

Comment by Brendan Murphy | April 29, 2009 |

Brendan, that’s a good observation about , but since I haven’t yet defined the group…

Comment by John Armstrong | April 29, 2009 |

[…] be orthonormal, we get a real inner product on complex numbers, which in turn gives us lengths and angles. In fact, this notion of length is exactly that which we used to define the absolute value of a […]

Pingback by Complex Numbers and the Unit Circle « The Unapologetic Mathematician | May 26, 2009 |

[…] geometrically. We use the inner product to define a notion of (squared-)length and a notion of (the cosine of) angle . So let’s transform the space by and see what happens to our inner product, and thus to […]

Pingback by Orthogonal transformations « The Unapologetic Mathematician | July 27, 2009 |

[…] First of all, we’re going to assume our space comes with a positive-definite inner product, but it doesn’t really matter which one. We’re choosing a positive-definite form with signature instead of a form with some negative-definite or even degenerate portion — where we’d get s or s along the diagonal in an orthonormal basis — because we want every direction to behave the same as every other direction. More general signatures will come up when we talk about more general spaces. But we do want to be able to talk in terms of lengths and angles. […]

Pingback by Hard Choices « The Unapologetic Mathematician | September 22, 2009 |

[…] Thus we also find that . And we can interpret this inner product in terms of the length of and the angle between and […]

Pingback by The Gradient Vector « The Unapologetic Mathematician | October 5, 2009 |

[…] ) times the sine of the angle between the two vectors. To calculate this angle we again use the inner product to find that its cosine is , and so its sine is . Multiplying these all together we find a height […]

Pingback by An Example of a Parallelogram « The Unapologetic Mathematician | November 5, 2009 |

[…] do we mean by “perpendicular”? It’s not just in terms of the “angle” defined by the inner product. Indeed, in that sense the parallelograms and are perpendicular. No, we want […]

Pingback by The Hodge Star « The Unapologetic Mathematician | November 9, 2009 |

[…] know a lot about the relation between the inner product and the lengths of vectors and the angle between them. Specifically, we can […]

Pingback by Pairs of Roots « The Unapologetic Mathematician | January 28, 2010 |

[…] inner product gives us a notion of length and angle. Invariance now tells us that these notions are unaffected by the action of . That is, the vectors […]

Pingback by Invariant Forms « The Unapologetic Mathematician | September 27, 2010 |

[…] us measure things. Specifically, since is an inner product it gives us notions of the length and angle for tangent vectors at . We must be careful here; we do not yet have a way of measuring distances […]

Pingback by (Pseudo-)Riemannian Metrics « The Unapologetic Mathematician | September 20, 2011 |