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.

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

12 Comments »

At last: something for Physics.

Comment by Jonathan Vos Post | June 24, 2009 | Reply
DO you mean “Hamiltonian matrix” or “Hermitian matrix”?

Comment by Blaise Pascal | June 24, 2009 | Reply
Sorry, Blaise I have no idea where that came from.. fixing.

Comment by John Armstrong | June 24, 2009 | Reply
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
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
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
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
[…] 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
[…] 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
[…] 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
[…] 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
[…] we can write down the matrix of […]

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

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.

RSS Feeds

RSS - Posts
RSS - Comments
Feedback

Got something to say? Anonymous questions, comments, and suggestions at Formspring.me!
Subjects

Subjects
Archives

June 2009

M T W T F S S

1 2 3 4 5 6 7

8 9 10 11 12 13 14

15 16 17 18 19 20 21

22 23 24 25 26 27 28

29 30

« May Jul »
Search for:

The Unapologetic Mathematician

Mathematics for the interested outsider