The Unapologetic Mathematician

Mathematics for the interested outsider

Matrix Elements

Okay, back to linear algebra and inner product spaces. I want to look at the matrix of a linear map between finite-dimensional inner product spaces.

So, let’s say V and W are inner product spaces with orthonormal bases \left\{e_i\right\}_{i=1}^m and \left\{f_j\right\}_{j=1}^n, respectively, and let T:V\rightarrow W be a linear map from one to the other. We know that we can write down the matrix \left(t_i^j\right) for T, where the matrix entries are defined as the coefficients in the expansion

\displaystyle T(e_i)=t_i^kf_k

But now that we’ve got an inner product on W, it will be easy to extract these coefficients. Just consider the inner product

\displaystyle\begin{aligned}\left\langle f_j,T(e_i)\right\rangle&=\left\langle f_j,t_i^kf_k\right\rangle\\&=t_i^k\left\langle f_j,f_k\right\rangle\\&=t_i^k\delta_{jk}\\&=t_i^j\end{aligned}

Presto! We have a nice, neat function that takes a linear map T and gives us back the ij entry in its matrix — with respect to the appropriate bases, naturally.

But this is also the root of a subtle, but important, shift in understanding what a matrix entry actually is. Up until now, we’ve thought of matrix entries as artifacts which happen to be useful for calculations. But now we’re very explicitly looking at the question “what scalar shows up in this slot of the matrix of a linear map with respect to these particular bases?” as a function. In fact, t_i^j is now not just some scalar value peculiar to the transformation at hand; it’s now a particular linear functional on the space of all transformations \hom(V,W).

And, really, what do the indices i and j matter? If we rearranged the bases we’d find the same function in a new place in the new array. We could have taken this perspective before, with any vector space, but what we couldn’t have asked before is this more general question: “Given a vector v\in V and a vector w\in W, how much does the image T(v) is made up of w?” This new question only asks about these two particular vectors, and doesn’t care anything about any of the other basis vectors that may (or may not!) be floating around. But in the context of an inner product space, this question has an answer:

\displaystyle\left\langle w,T(v)\right\rangle

Any function of this form we’ll call a “matrix element”. We can use such matrix elements to probe linear transformations T even without full bases to work with, sort of like the way we generalized “elements” of an abelian group to “members” of an object in an abelian category. This is especially useful when we move to the infinite-dimensional context and might find it hard to come up with a proper basis to make a matrix with. Instead, we can work with the collection of all matrix elements and use it in arguments in place of some particular collection of matrix elements which happen to come from particular bases.

Now it would be really neat if matrix elements themselves formed a vector space, but the situation’s sort of like when we constructed tensor products. Matrix elements are like the “pure” tensors v\otimes w\in V\otimes W. They (far more than) span the space \hom(V,W)^* of all linear functionals on the space of linear transformations, just like pure tensors span the whole tensor product space. But almost all linear functionals have to be written as a nontrivial sum of matrix elements — they usually can’t be written with just one. Still, since they span we know that many properties which hold for all matrix elements will immediately hold for all linear functionals on T.

May 29, 2009 - Posted by | Algebra, Linear Algebra


  1. […] left off defining what we mean by a matrix element of a linear transformation. Let’s see how this relates to […]

    Pingback by The Matrix of the Adjoint « The Unapologetic Mathematician | June 22, 2009 | Reply

  2. […] what is an expression like anyway? It’s a matrix element of the transformation . In fact, if we have a basis then the matrix components can be written in […]

    Pingback by Dirac Notation III « The Unapologetic Mathematician | July 6, 2009 | Reply

Leave a Reply

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

You are commenting using your 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 )

Connecting to %s

%d bloggers like this: