The discussion centers on proving that eigenstates of a Hermitian operator form a complete set, a fundamental concept in quantum mechanics and functional analysis. Participants highlight the necessity of understanding Hilbert spaces and measure theory to grasp the proof, which is complex and documented in numerous functional analysis texts. A foundational step in this proof is establishing that a Hermitian operator possesses at least one eigenvector, which serves as a critical starting point for further exploration.
PREREQUISITESStudents of quantum mechanics, mathematicians focusing on functional analysis, and anyone interested in the mathematical foundations of eigenstates and operators.
fa2209 said:Not really sure how to go about this. Our lecture said "it can be shown" but didn't go into any detail as apparently the proof is quite long. I'd really appreciate it if someone could show me how this is done. Thanks. (Not sure if this is relevant but I have not yet studied Hilbert spaces).