## Real Inner Products

Now that we’ve got bilinear forms, let’s focus in on when the base field is . We’ll also add the requirement that our bilinear forms be symmetric. As we saw, a bilinear form corresponds to a linear transformation . Since is symmetric, the matrix of must itself be symmetric with respect to any basis. So let’s try to put it into a canonical form!

We know that we can put into the almost upper-triangular form

but now all the blocks above the diagonal must be zero, since they have to equal the blocks below the diagonal. On the diagonal, the blocks are fine, but the blocks must *themselves* be symmetric. That is, they must look like

which gives a characteristic polynomial of for the block. But recall that we could only use this block if there were no eigenvalues. And, indeed, we can check

The discriminant is positive, and so this block will break down into two blocks. Thus any symmetric real matrix can be diagonalized, which means that any symmetric real bilinear form has a basis with respect to which its matrix is diagonal.

Let be such a basis. To be explicit, this means that , where the are real numbers and is the Kronecker delta — if its indices match, and if they don’t. But we still have some freedom. If I multiply by a scalar , we find . We can always find some so that , and so we can always pick our basis so that is , , or . We’ll call such a basis “orthonormal”.

The number of diagonal entries with each of these three values won’t depend on the orthonormal basis we choose. The form is nondegenerate if and only if there are no entries on the diagonal. If not, we can decompose as the direct sum of the subspace on which the form is nondegenerate, and the remainder on which the form is completely degenerate. That is, for all . We’ll only consider nondegenerate bilinear forms from here on out.

We write for the number of diagonal entries equal to , and for the number equal to . Then the pair is called the signature of the form. Clearly for nondegenerate forms, , the dimension of . We’ll have reason to consider some different signatures in the future, but for now we’ll be mostly concerned with the signature . In this case we call the form positive definite, since we can calculate

The form is called “positive”, since this result is always nonnegative, and “definite”, since this result can only be zero if is the zero vector.

This is what we’ll call an inner product on a real vector space — a nondegenerate, positive definite, symmetric bilinear form . Notice that choosing such a form picks out a certain class of bases as orthonormal. Conversely, if we choose any basis at all we can create a form by insisting that this basis be orthonormal. Just define and extend by bilinearity.

[...] Today I want to present a deceptively simple fact about spaces equipped with inner products. The Cauchy-Schwarz inequality states [...]

Pingback by The Cauchy-Schwarz Inequality « The Unapologetic Mathematician | April 16, 2009 |

[...] 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 [...]

Pingback by Inner Products and Angles « The Unapologetic Mathematician | April 17, 2009 |

[...] Products and Lengths We’re still looking at a real 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 |

[...] Polarization Identities If we have an inner product on a real or complex vector space, we get a notion of length called a “norm”. It turns out that [...]

Pingback by The Polarization Identities « The Unapologetic Mathematician | April 23, 2009 |

[...] Gram-Schmidt Process Now that we have a real or complex inner product, we have notions of length and angle. This lets us define what it means [...]

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

[...] as a vector space over the reals: . If we ask that this natural basis 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 [...]

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

[...] and inner product spaces. I want to look at the matrix of a linear map between finite-dimensional inner product [...]

Pingback by Matrix Elements « The Unapologetic Mathematician | May 29, 2009 |

[...] for our new bilinear form to be an inner product it must be symmetric (or conjugate-symmetric). This is satisfied by picking our transformation to be symmetric (or [...]

Pingback by Positive-Definite Transformations « The Unapologetic Mathematician | July 13, 2009 |

[...] 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 [...]

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

[...] Let’s focus back in on a real, finite-dimensional vector space and give it an inner product. As a symmetric bilinear form, the inner product provides us with an isomorphism . Now we can use [...]

Pingback by Tensor Algebras and Inner Products I « The Unapologetic Mathematician | October 29, 2009 |

[...] Let’s focus back in on a real, finite-dimensional vector space and give it an inner product. As a symmetric bilinear form, the inner product provides us with an isomorphism . Now we can use [...]

Pingback by Tensor Algebras and Inner Products « The Unapologetic Mathematician | October 30, 2009 |

[...] of posts, I’d like to talk a bit about reflections in a real vector space equipped with an inner product . If you want a specific example you can think of the space consisting of -tuples of real numbers [...]

Pingback by Reflections « The Unapologetic Mathematician | January 18, 2010 |

[...] fixed point at will be important. In particular, we will see that this norm is associated with an inner product on , and that Hölder’s inequality actually implies the Cauchy-Schwarz [...]

Pingback by Hölder’s Inequality « The Unapologetic Mathematician | August 26, 2010 |

[...] metric? We now add the assumption that is not just a bilinear form, but that it’s an inner product. That is, is symmetric, nondegenerate, and positive-definite. We can let the last condition slip a [...]

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