Five linearly independent 3X3 matrices

[Dafe]

Homework Statement

In the space of 2 by 2 matrices, find a basis for the subspace of matrices whose row sums and column sums are all equal. (Extra credit: Find five linearly independent 3 by 3 matrices with this property)

The Attempt at a Solution

The first one is ok. The matrix is symmetric and toeplitz :

<br /> \left[ \begin{array}{cc} a_{ii} &amp; a_{ij} \\ a_{ij} &amp; a_{ii} \end{array} \right]<br />

A basis would then be:

<br /> \left[ \begin{array}{cc} 1 &amp; 0 \\ 0 &amp; 1 \end{array} \right]<br />

and

<br /> \left[ \begin{array}{cc} 0 &amp; 1 \\ 1 &amp; 0 \end{array} \right]<br />

Now for that yummy extra credit (which I never get):

<br /> \left[ \begin{array}{ccc} a_{11} &amp; a_{12} &amp; a_{13} \\ a_{12} &amp; a_{11} &amp; a_{23} \\ a_{13} &amp; a_{23} &amp; a_{11} \end{array} \right]<br />

I think I can find four linearly independent 3 by 3 matrices:

<br /> \left[ \begin{array}{ccc} 1 &amp; 0 &amp; 0 \\ 0 &amp; 1 &amp; 0 \\ 0 &amp; 0 &amp; 1 \end{array} \right]<br />

<br /> \left[ \begin{array}{ccc} 0 &amp; 0 &amp; 1 \\ 0 &amp; 0 &amp; 0 \\ 1 &amp; 0 &amp; 0 \end{array} \right]<br />

<br /> \left[ \begin{array}{ccc} 0 &amp; 1 &amp; 0 \\ 1 &amp; 0 &amp; 0 \\ 0 &amp; 0 &amp; 0 \end{array} \right]<br />

<br /> \left[ \begin{array}{ccc} 0 &amp; 0 &amp; 0 \\ 0 &amp; 0 &amp; 1 \\ 0 &amp; 1 &amp; 0 \end{array} \right]<br />

I do not see where I could fit a fifth one..
Any suggestions?

Thanks!

 

[aostraff]

I'm not too sure about what you mean by all row-sum and all column-sum are equal. Does this mean every row has the same sum and every column has the same sum? If so, I don't think your last 3 matrices work.

But if you meant the sum of row i = sum of column i, then I think I can help you on that one. You have 9 degrees of freedom here (basis will have 9 matrices), so you have quite a few options to choose. Since you have the idea of obtaining symmetric matrices to fulfill the row-sum = column-sum criterion. Remember that:

\left[ \begin{array}{ccc} 0 &amp; 0 &amp; 0 \\ 0 &amp; 1 &amp; 0 \\ 0 &amp; 0 &amp; 0 \end{array} \right]

is a symmetric matrix as well.

If you are interested in testing linear independence, you can think of them as \mathbb{R}^{9} vectors.

 

[D H]

I think I can find four linearly independent 3 by 3 matrices:

<br /> \left[ \begin{array}{ccc} 1 &amp; 0 &amp; 0 \\ 0 &amp; 1 &amp; 0 \\ 0 &amp; 0 &amp; 1 \end{array} \right]<br />

<br /> \left[ \begin{array}{ccc} 0 &amp; 0 &amp; 1 \\ 0 &amp; 0 &amp; 0 \\ 1 &amp; 0 &amp; 0 \end{array} \right]<br />

...

The second matrix does not satisfy the given conditions. Some of the rows and columns in that matrix sum to one, others sum to zero. (The same goes for the unquoted third and fourth matrices.)

Denoting

\begin{aligned}<br /> a_{i*} &amp;= \sum_j a_{ij} \\<br /> a_{*j} &amp;= \sum_i a_{ij}<br /> \end{aligned}

You need to find matrices with a_{i*} = a_{*j} = c, where c is some constant. c=1 is a reasonable choice, and so is the use of binary matrices as you did for the first part.

 

[Dafe]

<br /> <br /> A = \left[ \begin{array}{ccc} 1 &amp; 0 &amp; 0 \\ 0 &amp; 1 &amp; 0 \\ 0 &amp; 0 &amp; 1 \end{array} \right]<br /> <br />

<br /> <br /> B = \left[ \begin{array}{ccc} 0 &amp; 1 &amp; 0 \\ 0 &amp; 0 &amp; 1 \\ 1 &amp; 0 &amp; 0 \end{array} \right]<br /> <br />

<br /> <br /> C = \left[ \begin{array}{ccc} 0 &amp; 0 &amp; 1 \\ 1 &amp; 0 &amp; 0 \\ 0 &amp; 1 &amp; 0 \end{array} \right]<br /> <br />

<br /> <br /> D = \left[ \begin{array}{ccc} 0 &amp; 0 &amp; 1 \\ 0 &amp; 1 &amp; 0 \\ 1 &amp; 0 &amp; 0 \end{array} \right]<br /> <br />

<br /> <br /> E = \left[ \begin{array}{ccc} 0 &amp; 1 &amp; 0 \\ 1 &amp; 0 &amp; 0 \\ 0 &amp; 0 &amp; 1 \end{array} \right]<br /> <br />

As far as I can see, those five matrices are linearly independent and the sum of the rows equals the sum of the columns.

As I on the right track here?

Thanks

 

[D H]

There you go. There are of course six permutation matrices, not five. The sixth is not linearly independent of the other five. Proving linear independence is a bit easier if you use this sixth permutation matrix in lieu of the identity matrix.

 

[Dafe]

I understand, and here is the sixth permutation matrix just for good measure:

I really appreciate your help, thank you!

\left[ \begin{array}{ccc} 1 &amp; 0 &amp; 0 \\ 0 &amp; 0 &amp; 1 \\ 0 &amp; 1 &amp; 0 \end{array} \right]<br /> <br /> <br />

 

[D H]

You're welcome.