Abstract Nonsense

Crushing one theorem at a time

Algebra Isomorphism Between Algebra of Square Matrices and the Endomorphism Algebra (Pt. III)


Point of post: This is a continuation of this post.

First Indications of Usefulness

We have now seen how given an n-dimensional F-space \mathscr{V} and a fixed ordered basis \mathcal{B} there is an associative unital algebra isomorphism between \text{End}\left(\mathscr{V}\right) and \text{Mat}_n\left(F\right). So, the question no remains “who cares?” Why does knowing the matrix associated with a linear transformation under some fixed ordered basis help us? Well, for right now it’s not apparent why matrices are ‘such a big deal’. It turns out that, like many things in mathematics, the use of matrices over the less less explicit function notation has it’s pros can cons. The pros  are that when using matrices things often make ‘more sense’ visually. As we shall see the concept of the trace and determinant of a linear transformation just ‘look more sensible’ when phrased to matrices. There you can literally point to what is happening. Similarly, the concepts of ‘rank’ and ‘nullity’ (the dimension of the image and kernel of a linear transformation respectively) are sometimes easy to ‘see’ when using matrices. Moreover, it’s often more convenient to do computations with matrices then it is with linear transformations. In particular, for those of you who have interest in applied mathematics, writing a program to calculate the value of matrix multiplication is much easier than writing an explicit function for the linear transformation. The cons for using matrices is that one is liable (if not careful) to lose sight of the deep vector space theoretic concepts that are underlying what they’re doing. To use a slight pejorative term (not meant this way) one can get caught ‘playing with matrices’ for the rest of their studies. This is something, in my opinion, to avoid. Thus, with this all said I’d like to prove one last theorem regarding matrices and linear transformations which was remarked on above. Namely:

Theorem: Let \mathscr{V} be an n-dimensional F-space and \mathcal{B}=(x_1,\cdots,x_n) a fixed ordered basis for \mathscr{V}. Then, if \phi_{|mathcal{B}} is the coordinate map

\displaystyle \phi_{\mathcal{B}}:\mathscr{V}\to F^n:\sum_{r=1}^{n}\gamma_r x_r\mapsto \begin{pmatrix}\gamma_1\\ \vdots\\ \gamma_n\end{pmatrix}

Then for any T\in\text{End}\left(\mathscr{V}\right) and any v\in\mathscr{V} we have that

T(v)=\phi^{-1}_{\mathcal{B}}\left(\left[T\right]_{\mathcal{B}}\phi_{\mathcal{B}}(v)\right)

Proof: Let v\in\mathscr{V} be arbitrary. Then, there exists scalars \gamma_1,\cdots,\gamma_n\in F such that

\displaystyle v=\sum_{r=1}^{n}\gamma_r x_r

Also, there exists scalars \alpha_{i,j}\in F\quad i,j\in[n] such that

\displaystyle T(x_j)=\sum_{i=1}^{n}\alpha_{i,j}x_i

Thus,

\displaystyle T(v)=T\left(\sum_{r=1}^{n}\gamma_r x_r\right)=\sum_{r=1}^{n}\gamma_r T(x_r)=\sum_{i=1}^{n}\left(\sum_{r=1}^{n}\gamma_r \alpha_{i,r}\right)x_i

But, with equal validity we see that

\left[T\right]_{\mathcal{B}}=\begin{pmatrix}\alpha_{1,1} & \cdots & \alpha_{1,n}\\ \vdots & \ddots & \vdots\\ \alpha_{n,1} & \cdots & \alpha_{n,n}\end{pmatrix}

so that

\displaystyle \begin{aligned}\phi^{-1}_{\mathcal{B}}\left(\left[T\right]_{\mathcal{B}}\phi_{\mathcal{B}}\left(v\right)\right) &= \phi^{-1}_{\mathcal{B}}\left(\begin{pmatrix}\alpha_{1,1} & \cdots & \alpha_{1,n}\\ \vdots & \ddots & \vdots\\ \alpha_{n,1} & \cdots & \alpha_{n,n}\end{pmatrix}\begin{pmatrix}\gamma_1\\ \vdots\\ \gamma_n\end{pmatrix}\right)\\ &=\phi^{-1}_{\mathcal{B}}\left(\begin{pmatrix}\sum_{r=1}^{n}\alpha_{1,r}\gamma_r\\ \vdots\\ \sum_{r=1}^{n}\alpha_{n,r}\gamma_r\end{pmatrix}\right)\\ &= \sum_{i=1}^{n}\left(\sum_{r=1}^{n}\alpha_{i,r}\gamma_r\right)x_i\end{aligned}

From where the conclusion follows. \blacksquare

From this we have the following neat corollary:

Corollary: Let \mathscr{V} be an n-dimensional F-space with ordered basis \mathcal{B} and T,T'\in\text{End}\left(\mathscr{V}\right). Then, T and T' commute if and only if \left[T\right]_{\mathcal{B}} and \left[T'\right]_{|mathcal{B}} commute.

Proof: Let v\in\mathscr{V} be arbitrary and assume first that [T]_{\mathcal{B}} and [T']_{\mathcal{B}} commute. Then,

\begin{aligned}(TT')(v) &= \phi^{-1}_{\mathcal{B}}\left(\left[TT'\right]_{\mathcal{B}}\phi_{\mathcal{B}}(v)\right)\\ &= \phi^{-1}_{\mathcal{B}}\left(\left(\left[T\right]_{\mathcal{B}}\left[T'\right]_{\mathcal{B}}\right)\phi_{\mathcal{B}}(v)\right)\\ &= \phi^{-1}_{\mathcal{B}}\left(\left(\left[T'\right]_{\mathcal{B}}\left[T\right]_{\mathcal{B}}\right)\phi_{\mathcal{B}}(v)\right)\\ &= \phi^{-1}_{\mathcal{B}}\left(\left[T'T\right]_{\mathcal{B}}\phi_{\mathcal{B}}(v)\right)\\ &= (T'T)(v)\end{aligned}

and since v was arbitrary it follows that TT'=T'T.

 

Conversely, suppose that TT'=T'T and note then that

\begin{aligned}\left[T\right]_{\mathcal{B}}\left[T'\right]_{\mathcal{B}} & = \left[TT'\right]_{\mathcal{B}}\\ &= \left[T'T\right]_{\mathcal{B}}\\ &= \left[T'\right]_{\mathcal{B}}\left[T\right]_{\mathcal{B}}\end{aligned}

From where the conclusion follows. \blacksquare

References:

1. Golan, Jonathan S. The Linear Algebra a Beginning Graduate Student Ought to Know. Dordrecht: Springer, 2007. Print.

2. Halmos, Paul R.  Finite-dimensional Vector Spaces,. New York: Springer-Verlag, 1974. Print


Advertisements

December 14, 2010 - Posted by | Algebra, Halmos, Linear Algebra | , ,

3 Comments »

  1. […] this, and a previous theorem we get the following […]

    Pingback by Center of an Algebra « Abstract Nonsense | December 16, 2010 | Reply

  2. […] where it follows by previous theorem that […]

    Pingback by Halmos Sections 37 and 38: Matrices and Matrices of Linear Transformations(Pt. II) « Abstract Nonsense | December 19, 2010 | Reply

  3. […] of the column vector of the coefficients of that element with respect to the ordered basis). Recall then that and let be -invariant. Note then that for […]

    Pingback by Representation Theory: Matrix Entry Functions « Abstract Nonsense | February 22, 2011 | 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

%d bloggers like this: