# Uniqueness of eigenvector representation in a complete set of compatible observables [duplicate]

Possible Duplicate:
Uniqueness of eigenvector representation in a complete set of compatible observables

Sakurai states that if we have a complete, maximal set of compatible observables, say A,B,C... Then, an eigenvector represented by |a,b,c....> , where a,b,c... are respective eigenvalues, is unique. Why is it so? Why can't there be two eigenvectors with same eigenvalues for each observable? Does maximality of the set has some role to play in it?

I asked this question on Physics SE and was not satisfied with answers. Hope that I get help here.

-

1
I am not sure this question is a right fit for this site, I think physics.se is a much better fit. Besides, seems to me that genneth already gave an excellent answer over there. – user566 Dec 6 '11 at 23:12

1
@Moshe: I didn't bother looking at the Physics.SE link before answering, but now you've pointed it out I agree that genetth's answer was perfect. – Joe Fitzsimons Dec 7 '11 at 3:00

## marked as duplicate by Qmechanic♦Jan 21 at 13:15

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

## 2 Answers

Yes, since it is the maximal set of compatible observables, it includes all observables for which $|a\rangle$, $|b\rangle$, $|c\rangle$, etc. are the eigenvectors (I'll use the notation $|\psi_1\rangle$, $|\psi_2\rangle$, $|\psi_3\rangle$ etc instead). Hence this includes the observable $D = \sum_k k |\psi_k\rangle \langle \psi_k|$ . However $D$ has a unique set of eigenvectors, and hence so does the any compatible set of observables which contains $D$.

-
Two questions. Are your psi_1, psi_2 etc. all different numbers? If yes, then what if the spectrum is degenerate? If no, then I think your proof won't work. Second, why is D an observable? Isn't the definition of observable that it is a physical quantity that can be measured? All I can see is that D is a Hermitian Operator. Why should it be an observable? – Lakshya Bhardwaj Dec 6 '11 at 14:48
$\psi_i$ above are a basis for the Hilbert space in which all measurements are diagonal. If the set of measurements is maximal then it necessarily contains $D$ for some specific choice of basis. Since you specify the set of observables by their eigenvectors, you can explicitly construct $D$. – Joe Fitzsimons Dec 6 '11 at 14:54

4
Secondly, in quantum mechanics observable and Hermitian operator are synonymous. You can construct a physical measurement (in principle at least) for any Hermitian operator, and any physical observable is Hermitian. – Joe Fitzsimons Dec 6 '11 at 14:56

You can and you do sometimes have degenerate eigenvalues.

This might just be a question of definitions: "a complete set of commuting observables (CSCO) is a set of commuting operators whose eigenvalues completely specify the state of a system (Gasiorowicz 1974, p. 119)." [1]

That said, if you give me some cooked up Hamiltonian with at least one degenerate eigenvalue, perhaps one might be able to prove no observable commutes with it.

-

2
That is incorrect. The Hamiltonian itself is an observable. Further, if you assign an arbitrary set of unique eigenvalues to the same eigenvectors (picking a basis for each degenerate subspace), thus lifting the degeneracy, this produces an observable which is simultaneously diagonalizable with the Hamiltonian, and hence commutes with it, but which has no degenerate eigenspaces. – Joe Fitzsimons Dec 9 '11 at 9:01
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 12, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9216806292533875, "perplexity_flag": "middle"}