Processing math: 100%

Search This Blog

A problem about scalar matrices A=λE

I encountered this problem on MathSE 

Even though this question was heavily downvoted, I think it's quite a nice problem. Here it is. 

We are given that A is a square n×n matrix which commutes with all invertible matrices of the same size n.  

Prove that A is the scalar matrix i.e. A=λE  where E is the identity matrix and λ is a scalar/number. 

Let's solve this problem for the case n=3. Solving for any n is fully analogical to the case n=3.

Let's assume 

A=[a11a12a13a21a22a23a31a32a33]

and let's assume it commutes with all invertible matrices of size 3.

Let's pick the matrix 

B=[100020003]

This one is obviously invertible as its determinant is equal to 6=3!

Now we use the fact that AB=BA.

AB=[a11a12a13a21a22a23a31a32a33][100020003]=[a112a123a13a212a223a23a312a323a33]


BA=[100020003][a11a12a13a21a22a23a31a32a33]=[a11a12a132a212a222a233a313a323a33]

But these two resulting matrices must be equal. Comparing their respective elements, it's easy to see that we get the following. aij=0,  for  all  ij

OK... So now our matrix A gets the form

A=[a000b000c]

Now let's pick another matrix C and use the fact that A commutes with C. We pick C to be e.g. the Vandermonde matrix for the numbers 1,2,3 (the important part is to pick the alphas in the Vandermonde matrix to be all distinct numbers).

C=[101112202122303132]

We know that the determinant of C equals (21)(31)(32)=20 so C is invertible.

Now in a similar way we use that A commutes with C i.e. AC=CA.

AC=[a000b000c][101112202122303132]=[aaab2b4bc3c9c] 

CA=[101112202122303132][a000b000c]=[abca2b4ca3b9c] 

But these two resulting matrices must be equal. Comparing their first columns we finally get that a=b=c.

Thus our matrix A finally gets the form

A=[a000a000a]

which is exactly what we wanted to prove.


No comments:

Post a Comment