Monday, 20 November 2017

linear algebra - Unit Matrices for Mn(Mn(mathbbR))



In the case of Mn(R) we can define unit matrices Eij in the following way,



Eijfl=δljfi



where the {fi} is a basis for our space. One consequence of this definition is that the (i,j) element of Eij is 1 and everything else is 0; additionally



EijElk=δjlEik




.... okay, anyway I'm not sure how unit matrices look in Mn(Mn):=Mn(Mn(R)).
And how do the above properties carry over?



Also, I don't understand why the following line in a proof is true (as per the above):
Consider P=(Eij)Mn(Mn). Then P=P, and
P2=(nk=1EikEkj)(nEij)=nP


Answer



I see that you have tagged your question with quantum computation. So perhaps you may find it more intuitive if we work in Dirac notation. That is we let {|j} be an orthonormal basis for the underlying vector space (so that i|j=δi,j). Then what you call the unit matrices are equivalent defined as
Ei,j=|ij|.
That is, they have a 1 in the entry at the i'th row and j'th column and zeros everywhere else. Now the set of matrices {|Ei,j} form an orthonormal basis for the vector space of matrices, where the inner product between two matrices A and B is A|B=Tr(AB).



We can now play the same trick. Define the "super" unit matrices as
Fi,j;k,l=|Ei,jEk,l|.
Then, the F matrices satisfy the same properties as the E matrices.




From your last sentence, however, it does not seem like you are interested in these unit matrices. Your final equation suggests the matrix you define as P is simply the matrix of 1's in every entry. This can be written
P=i,jEi,j.
Then direct calculation leads to
P=i,jEi,j=i,jEj,i=P,
and
P2=i,j,k,lEi,jEk,l=i,j,k,lEi,lδj,k=ni,lEi,l=nP.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...