Mistake in proof regarding degeneracy property

[HJ Farnsworth]

Greetings,

I was trying to prove a theorem regarding degeneracy, and I succeeded. However, I also proved the converse of the if-then part of the theorem (underlined below), which I know is wrong. I can't spot my mistake though.

The theorem and my proof are written below - could someone please point out my mistake?

Theorem:

Let [A, B]=0 and let A|\alpha>=a|\alpha> (capital letters are operators, lowercase letters are scalars). If the eigenkets of A are not degenerate, then |\alpha> is also an eigenket of B.

Proof:

Using the given relations,

AB|\alpha>=BA|\alpha>=Ba|\alpha>=aB|\alpha>,

so that |\alpha> and B|\alpha> are both eigenkets of A with eigenvalue a.

CASE 1 - the theorem: Assume B|\alpha>\neqb|\alpha>. Then B|\alpha> is not writeable as a constant b times |\alpha>, so that |\alpha> and B|\alpha> are degenerate eigenkets of A. Therefore...

...If |\alpha> is not an eigenket of B, then the eigenkets of A are degenerate,

or equivalently,

...If the eigenkets of A are not degenerate, then |\alpha> is also an eigenket of B.

CASE 2 - the converse: Assume B|\alpha>=b|\alpha>. Then the eigenkets of A, |\alpha> and B|\alpha>, are the same except for multiplication by a constant, and so do not qualify as degenerate eigenkets of A. Therefore...

...If |\alpha> is an eigenket of B, then the eigenkets of A are not degenerate,

or equivalently,

...If the eigenkets of A are degenerate, then |\alpha> is not an eigenket of B.

The conclusion I reached in CASE 2 is just wrong. I can think of several examples where it is contradicted. For instance, letting A=J² and B=J_z, eigenkets of A can be written as |j,m_i>. These are degenerate eigenkets of A (one fore each -j\leqm_i\leqj, and are simultaneous eigenkets of B.

What did I do wrong in CASE 2?

By the way, I am just looking for a description of my mistake, not a proof of something contradicting my conclusion (ie., I know the correct answer, I don't know what's wrong about my wrong answer). It's one of those obnoxious situations where I know proofs and examples that contradict my answer, but I'm not sure what the probably-obvious mistake I made in finding my answer is.

Actually, at the end of writing this post, it occurred to me that my mistake is probably that in CASE 2, I construct eigenkets of A using B and generalize my result to all eigenkets of A, which might not be constructible using B in this manner. I've already got the whole post written, though, so I may as well put it up. Could someone confirm, is that my mistake?

Thanks for any help you can give.

-HJ Farnsworth

 

[Chopin]

Yeah, looks to me like the flaw is in case 2. There may be eigenkets of A which cannot be written as B|\alpha\rangle, so you can't prove that there is no degeneracy.

 

[HJ Farnsworth]

Great, thanks for the response.