Identity Operator: Vector Expressions in Basis A

[aaaa202]

I was wondering about this: The identity operator writes a vector in the basis that is used to express the identity operator:
1 = Ʃlei><eil
But if you are to apply it to a vector in a given basis A should the lei> then be expressed in terms of their own basis or in terms of A?

 

[micromass]

I was wondering about this: The identity operator writes a vector in the basis that is used to express the identity operator:
1 = Ʃlei><eil
But if you are to apply it to a vector in a given basis A should the lei> then be expressed in terms of their own basis or in terms of A?

It doesn't really matter as long as you can calculate the inner products.
Maybe an example might help you. (Since I'm not a physicist, I don't know what the correct notation is for bra-ket, but I'll try).

Take the following basis
e_1=(1,0,0),~~ e_2=(1,1,0),~~ e_3= (1,1,1)
Take the inner product
&lt;(a,b,c)|(x,y,z)&gt;=ax+by+cz
This formulation of the inner product is going to be dependent on the basis of course.

Anyway, let's calculate
(|e_2&gt;&lt;e_2|)|a&gt;

where a is given by (1,2,3). Then we get
&lt;e2|a&gt;=1*1+1*2+0*3=3

So |e_2&gt;&lt;e_2|a&gt;= 3|e_2&gt;=(3,3,0).

Now what if a is given in terms of another basis? So what if

a=e_1+2e_2+3e_3

One possibility is to write a in the normal basis, then we get

a=(1,0,0)+(2,2,0)+(3,3,3)=(6,5,3)

and then calculate as usual:

|e_2&gt;&lt;e_2|a&gt;=(11,11,0)

Another possibility is to write the inner product in terms of the basis \{e_1,e_2,e_3\}. That is, find a formula for

&lt;ae_1+be_2+ce_3|xe_1+ye_2+ze_3&gt;

and then you can calculate |e_2&gt;&lt;e_2|a&gt; without converting to another basis.

Does this answer your question?

 

[K^2]

Not at all. You just have to be consistent about how you do your inner products. Let's say you have vector |b> expressed as linear combination of |a_i> that are the basis of A. In other words, |b> = \displaystyle\small \sum_ib_i|a_i>, where b_i=<b|a_i> are the components of |b> in basis A. Now you want to apply unit operator consisting of your |e_i> vectors. Fine. You get I|b> = \displaystyle\small \sum_{ij}|e_i><e_i|a_j><a_j|b>. The inner products <e_i|a_j> effectively take care of matching one basis to the other. In matrix form, these will form the transformation matrix from one basis to another.

Edit: micromass beat me to it.

 

[cattlecattle]

I was wondering about this: The identity operator writes a vector in the basis that is used to express the identity operator:
1 = Ʃlei><eil
But if you are to apply it to a vector in a given basis A should the lei> then be expressed in terms of their own basis or in terms of A?

There is one caveat, the completeness of basis only applies to orthonormal basis. If your basis are not mutually orthogonal, the sum of their outer product won't come to unity. But in QM, this is usually satisfied.