Is the Matrix Representation of a Unitary Operator Always a Unitary Matrix?

  • Thread starter Thread starter facenian
  • Start date Start date
Click For Summary
The discussion centers on whether the matrix representation of a unitary operator is always a unitary matrix, regardless of the basis used. It is clarified that the matrix representation is indeed unitary if the basis is orthonormal, as shown through examples and mathematical proofs. The confusion arises from the assumption that matrix elements can be directly related to the unitary operator without the orthonormality condition. A participant acknowledges their misunderstanding regarding the dependence of matrix elements on the orthonormal basis. Ultimately, the consensus reinforces that the orthonormality of the basis is crucial for the matrix representation to be unitary.
facenian
Messages
433
Reaction score
25
I have a very basic question. I'm confused because I've read in a text that the matrix representation of a unitary operator is a unitary matrix if the basis is orthogonal, however I believe that the matrix is unitary whatever basis one uses. I'd appretiate any comments on this.
 
Physics news on Phys.org
which text?
 
malawi_glenn said:
which text?

Quantum Mechanics(third edition) E. Merzbacher-Chapter 17 Page 418,I quote :"Since the operators U_a were assumed to be unitary, the representation matrices are also unitary if the basis is orthonormal"
 
Try a simple example. Take the identity matrix on a 2-dimensional space, which is clearly unitary. Use linearity to compute the matrix elements with respect to the basis e_{1}' = e_1 and e_{2}' = e_1 + e_2, where e_1 and e_1 make up an orthonormal basis.

Does this give a unitary matrix?
 
A unitary matrix U satisfies \sum_j U^*_{ji}U_{jk}=\delta_{ik}. Is this satisfied by the matrix representation of a unitary operator?

\sum_j U^*_{ji}U_{jk}=\sum_j\langle j|U|i\rangle^*\langle j|U|k\rangle=\sum_j\langle i|U^\dagger|j\rangle\langle j|U|k\rangle=\langle i|U^\dagger\Big(\sum_j|j\rangle\langle j|\Big)U|k\rangle

This reduces to \delta_{ij} if the parenthesis is the identity operator. I can prove that it is, if I use that the basis is orthonormal, but not without that assumption. So it looks like your book is right. What makes you think it's wrong?
 
thank you people. The orgin of my mistake goes like this : Let T be a untiary operator and |a_i> (i=1,...n) a basis then the matrix elements satisfy,
<a_i|T|a_k>=<a_k|T^{\dag}|a_i>*=<a_k|T^{-1}|a_i>*
what a did not realize was that the matriz elementes in the basis |a_i> are <a_i|T|a_k> only if the basis is orthonomal.
 
Oops, I didn't realize that myself. :redface:
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K