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=(n∑k=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=|i⟩⟨j|.
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(A†B).
We can now play the same trick. Define the "super" unit matrices as
Fi,j;k,l=|Ei,j⟩⟩⟨⟨Ek,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,jE†i,j=∑i,jEj,i=P,
and
P2=∑i,j,k,lEi,jEk,l=∑i,j,k,lEi,lδj,k=n∑i,lEi,l=nP.
No comments:
Post a Comment