12.07.2015 Views

Chapter 8 Vector Spaces in Quantum Mechanics

Chapter 8 Vector Spaces in Quantum Mechanics

Chapter 8 Vector Spaces in Quantum Mechanics

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Chapter</strong> 8 <strong>Vector</strong> <strong>Spaces</strong> <strong>in</strong> <strong>Quantum</strong> <strong>Mechanics</strong> 107then〈ψ|ψ〉 =∫ +∞But 〈x|ψ〉 = ψ(x) and 〈ψ|x〉 = ψ(x) ∗ , so that〈ψ|ψ〉 =−∞∫ ∞−∞〈ψ|x〉〈x|ψ〉dx. (8.97)|ψ(x)| 2 dx. (8.98)Provided |ψ(x)| 2 is a well behaved function, <strong>in</strong> particular that it vanish as x → ±∞, this<strong>in</strong>tegral will converge to a f<strong>in</strong>ite result, so that the state |ψ〉 can <strong>in</strong>deed be normalized tounity, and if so, then we can <strong>in</strong>terpret |ψ(x)| 2 dx as the probability of f<strong>in</strong>d<strong>in</strong>g the particle <strong>in</strong>the region (x, x + dx), which is just the standard Born <strong>in</strong>terpretation of the wave function.8.6.4 Separable State <strong>Spaces</strong>We have seen that state spaces of <strong>in</strong>f<strong>in</strong>ite dimension can be set up with either a denumerably<strong>in</strong>f<strong>in</strong>ite number of basis states, i.e. the basis states are discrete but <strong>in</strong>f<strong>in</strong>ite <strong>in</strong> number,or else a non-denumerably <strong>in</strong>f<strong>in</strong>ite number of basis states, i.e. the basis states are labelledby a cont<strong>in</strong>uous parameter. S<strong>in</strong>ce a state space can be spanned by more than one set ofbasis states, it is worthwhile <strong>in</strong>vestigat<strong>in</strong>g whether or not a space of <strong>in</strong>f<strong>in</strong>ite dimensioncan be spanned by a set of denumerable basis states, as well as a set of non-denumerablebasis states. An example of where this is the case was given earlier, that of a particle<strong>in</strong> an <strong>in</strong>f<strong>in</strong>itely deep potential well, see p95. It transpires that not all vector spaces of<strong>in</strong>f<strong>in</strong>ite dimension have this property, i.e. that they can have both a denumerable and anon-denumerable set of basis states. <strong>Vector</strong> spaces which can have both k<strong>in</strong>ds of basisstates are said to be separable, and <strong>in</strong> quantum mechanics it is assumed that state spacesare separable.8.7 States of Macroscopic SystemsIn the examples given above, it was assumed that an exhaustive list of results that couldbe obta<strong>in</strong>ed <strong>in</strong> the measurement of some observable of a quantum system could be usedto set up the basis states for the state space of the system. The value of do<strong>in</strong>g this is,of course, to be determ<strong>in</strong>e by the success or otherwise of these ideas. That quantummechanics is such an overwhelm<strong>in</strong>gly successful theory <strong>in</strong>dicates that there is someth<strong>in</strong>gcorrect <strong>in</strong> this procedure, but the question that arises is this: why does it not appear towork for macroscopic systems, i.e. for systems which we know can be fully adequatelyexpla<strong>in</strong>ed by standard classical physics? The answer appears to lie <strong>in</strong> the fact that <strong>in</strong>all the examples discussed above, whether or not the Hilbert space is of f<strong>in</strong>ite or <strong>in</strong>f<strong>in</strong>itedimension, i.e. whether or not we are talk<strong>in</strong>g about sp<strong>in</strong> up or sp<strong>in</strong> down of a sp<strong>in</strong> halfparticle, or the position of a particle <strong>in</strong> space, the implicit assumption is that the system weare consider<strong>in</strong>g is totally isolated from all other systems, <strong>in</strong> particular from any <strong>in</strong>fluenceof the surround<strong>in</strong>g environment. After all, when we talked about a system, such as anO − 2ion, we are ignor<strong>in</strong>g all the other physical <strong>in</strong>fluences that could act on this system,i.e. we do not need to mention, <strong>in</strong> our specification of the state of the system, anyth<strong>in</strong>gother than properties that directly perta<strong>in</strong> to the system of <strong>in</strong>terest. The assumption is

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!