Explore BrainMass

# Orthonormal Basis Vectors

Not what you're looking for? Search our solutions OR ask your own Custom question.

This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

Given two sets of complete orthonormal basis vectors: {|u1>, |u2>, |u3>,...} and {|v1>, |v2>, |v3>,...}. Use Dirac notation to prove:

1. That for any linear operator Ã‚, the trace is independent of choice of basis i.e.
Tr(Ã‚) = Î£<ui| Ã‚|ui> = Î£<vi| Ã‚|vi>.

2. Given that Tr(Ã‚) = Î£<ui| Ã‚|ui>. Prove that Tr(Ã‚Äˆ) = Tr(ÄˆÃ‚) for any two linear operators Ã‚ and Äˆ.

Â© BrainMass Inc. brainmass.com December 24, 2021, 7:45 pm ad1c9bdddf
https://brainmass.com/physics/scalar-and-vector-operations/orthonormal-basis-vectors-216531

## SOLUTION This solution is FREE courtesy of BrainMass!

1. The trace of an operator A is the sum of the diagonal elements in its matrix representation, relative to some (complete orthonormal) basis. That is, if

Tr (A) = Î£;_{i=1}^n < u_i | A | u_i > = < u_1 | A | u_1 > + .... + < u_n | A | u_n >

where {|u_i>} is a (complete orthonormal) basis for the (Hilbert) space on which T is defined.

To show that this definition is independent of the choice of basis, let {|v_i>} be another (orthonormal) basis; then there is a unitary matrix P such that P |u_i> = |v_i> for all i (in particular, <v_i | = <u_i | P*, where P is the conjugate transpose of P). Recall that the identity operator can be written as I = Î£_{i=1}^n |u_i><u_i|. Hence,

Tr (A)

= Î£_{i=1}^n < v_i | A | v_i >

= Î£_{i = 1}^n <u_i | P* (I) A (I) P | u_i>

= Î£_{i = 1}^n Î£_{j = 1}^n Î£_{k = 1}^n <u_i | P* | u_ j > <u_ j | A | u_k > <u_k | P | u_ i>

= Î£_{j, k} (Î£_i <u_i | P* | u_ j >< u_k | P | u_i >) <u_ j | A | u_k>

= Î£_{j, k} Î´_{jk} < u_ j | A | u_k > = Î£_k <u_k | A | u_k>

since PP* = P*P = I. (The notation Î£_{j, k} is shorthand for Î£_{j = 1}^n Î£_{k = 1}^n, etc.)

2. We have

Tr(AB) = Î£_{i = 1}^n <u_i | AB|u_i > = Î£_{i=1}^n <u_i | A I B | u_i>

= Î£_{i=1}^n < u_i | (Î£_{j = 1}^n | u_ j >< u_ j| ) B |u_i>

= Î£_{i = 1}^n Î£_{j = 1}^n <u_i | A | u_ j > <u_ j |B| u_i>

= Î£_{i = 1}^n Î£_{j = 1}^n <u_ j |B| u_i><u_i |A| u_ j>

= Î£_{j = 1}^n < u_ j |B| ( Î£_{i=1}^n |u_i ><u_i | ) A |u_ j>

= Î£_{j=1}^n < u_ j |B I A| u_ j> = Tr(BA)

as claimed.

This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

Â© BrainMass Inc. brainmass.com December 24, 2021, 7:45 pm ad1c9bdddf>
https://brainmass.com/physics/scalar-and-vector-operations/orthonormal-basis-vectors-216531