# Why is the “expansion postulate” a postulate of quantum mechanics?

I'm currently reading the following set of lecture notes on quantum chemistry, which includes the so-called "expansion postulate" as a fundamental postulate of quantum mechanics: "The eigenfunctions of a linear and hermitian operator form a complete basis set."

How is this a postulate of quantum mechanics, rather than a provable mathematical property of linear hermitian operators? Isn't the expansion postulate just a consequence of the spectral theorem for an infinite-dimensional Hilbert Space?

If the eigenfunctions of a linear, hermitian operator forming an orthogonal basis is not a mathematically provable fact about wavefunctions, wouldn't that necessarily imply that there exist hermitian, linear operators on wavefunctions whose eigenfunctions do not form an orthogonal basis?

• Perhaps these notes are written for an audience that is not expected to understand functional analysis (like the spectral theorem): In such a situation, it may be better to simply say "we postulate"... – Danu Jan 26 '16 at 17:23
• It's just the spectral theorem, although care must be taken since it holds only for self-adjoint, not merely Hermitian operators (there is a difference on infinite-dimensional spaces). This question is basically unanswerable since the premise that the "expansion postulate" is a postulate is just false. – ACuriousMind Jan 26 '16 at 17:39
• I never heard of this didactic strategy before. It seems to be a way of declaring "we won't be looking at cases where this isn't true". physics.stackexchange.com/questions/68822/… – Mitchell Porter Jan 26 '16 at 20:08

## 1 Answer

It's a postulate, not because it's a self-consistent mathematical property, but rather because it is an assumption about how the physical world may, or may not, be described.

There are many many different types of linear vector spaces other than a Hilbert space, so to make things easy they make an assumption and run with it until proven otherwise.

• Your argument doesn't seem consistent to me. A position vector in classical mechanics can be written as a linear combination of any set of orthogonal basis vectors, but this isn't a postulate of classical mechanics and it would be ludicrous to make it one. Further, the statement of the expansion postulate is entirely mathematical in nature: it claims that the eigenfunctions of any linear, hermitian operator form a basis, not just operators which correspond to an observable. – eepperly16 Jan 27 '16 at 21:11
• "The eigenfunctions of a linear and hermitian operator form a complete basis set." Just because the rules of mathematics allows for a linear hermitian operator to form a complete basis set, doesn't mean that the rules of nature do. Hence, it's an assumption about the relationship between the math rules and the observable. – JQK Jan 27 '16 at 21:23