The Unapologetic Mathematician

Mathematics for the interested outsider

Matrices and Forms I

Yesterday, we defined a Hermitian matrix to be the matrix-theoretic analogue of a self-adjoint transformation. So why should we separate out the two concepts? Well, it turns out that there are more things we can do with a matrix than represent a linear transformation. In fact, we can use matrices to represent forms, as follows.

Let’s start with either a bilinear or a sesquilinear form B\left(\underline{\hphantom{X}},\underline{\hphantom{X}}\right) on the vector space V. Let’s also pick an arbitrary basis \left\{e_i\right\} of V. I want to emphasize that this basis is arbitrary, since recently we’ve been accustomed to automatically picking orthonormal bases. But notice that I’m not assuming that our form is even an inner product to begin with.

Now we can define a matrix b_{ij}=B(e_i,e_j). This completely specifies the form, by either bilinearity or sesquilinearity. And properties of such forms are reflected in their matrices.

For example, suppose that H is a conjugate-symmetric sesquilinear form. That is, H(v,w)=\overline{H(w,v)}. Then we look at the matrix and find

\displaystyle\begin{aligned}h_{ij}&=H\left(e_i,e_j\right)\\&=\overline{H\left(e_j,e_i\right)}\\&=\overline{h_{ji}}\end{aligned}

so H is a Hermitian matrix!

Now the secret here is that the matrix of a form secretly is the matrix of a linear transformation. It’s the transformation that takes us from V to V^* by acting on one slot of the form, and written in terms of the basis e_i and its dual. Let me be a little more explicit.

When we feed a basis vector into our form B, we get a linear functional B(e_i,\underline{\hphantom{X}}). We want to write that out in terms of the dual basis \left\{\epsilon^j\right\} as a linear combination

\displaystyle B(e_i,\underline{\hphantom{X}})=b_{ik}\epsilon^k

So how do we read off these coefficients? Stick another basis vector into the form!

\displaystyle\begin{aligned}B(e_i,e_j)&=b_{ik}\epsilon^k(e_j)\\&=b_{ik}\delta^k_j\\&=b_{ij}\end{aligned}

which is just the same matrix as we found before.

About these ads

June 24, 2009 - Posted by | Algebra, Linear Algebra

12 Comments »

  1. At last: something for Physics.

    Comment by Jonathan Vos Post | June 24, 2009 | Reply

  2. DO you mean “Hamiltonian matrix” or “Hermitian matrix”?

    Comment by Blaise Pascal | June 24, 2009 | Reply

  3. Sorry, Blaise I have no idea where that came from.. fixing.

    Comment by John Armstrong | June 24, 2009 | Reply

  4. Have you treated (or do you plan to treat) forms (p-forms, differential forms)? Your style of brief explanations with lots of examples would be very helpful in providing a basic understanding of this often-overlooked tool.

    Comment by Charlie C | June 25, 2009 | Reply

  5. Charlie, I haven’t even done calculus in more than one variable yet.

    But! That’s because I want some linear algebra at hand to use where it comes up in multivariable calculus, including just the sort of subjects you mention.

    Comment by John Armstrong | June 25, 2009 | Reply

  6. Shouldn’t B(e_i,_)=\sum_k b_{ik}\epsilon^k or is that the standard way to write it (some kind of Einstein’s notation)?

    Comment by watchmath | June 25, 2009 | Reply

  7. Yes, and I just noticed that I forgot to hit “publish” on today’s post, which mentions something closer to that.

    Comment by John Armstrong | June 25, 2009 | Reply

  8. [...] and Forms II Let’s pick up our discussion of matrices and forms and try to tie both views of our matrix together. We’re considering a bilinear form $ on a [...]

    Pingback by Matrices and Forms II « The Unapologetic Mathematician | June 25, 2009 | Reply

  9. [...] Spaces in Dirac Notation Now, armed with Dirac notation, we can come back and reconsider matrices and forms. For our background, we’ve got an inner product space. That is, a vector space , [...]

    Pingback by Matrices and Bilinear Forms on Inner Product Spaces in Dirac Notation « The Unapologetic Mathematician | July 8, 2009 | Reply

  10. [...] forms on the underlying space forms a vector space itself. Indeed, such forms correspond to correspond to Hermitian matrices, which form a vector space. Anyway, rather than write the usual [...]

    Pingback by Projecting Onto Invariants « The Unapologetic Mathematician | November 13, 2010 | Reply

  11. [...] we pick a basis of , then we have a matrix for the bilinear [...]

    Pingback by Orthogonal and Symplectic Lie Algebras « The Unapologetic Mathematician | August 9, 2012 | Reply

  12. [...] we can write down the matrix of [...]

    Pingback by Back to the Example « The Unapologetic Mathematician | September 7, 2012 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 366 other followers

%d bloggers like this: