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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Chapter</strong> 8 <strong>Vector</strong> <strong>Spaces</strong> <strong>in</strong> <strong>Quantum</strong> <strong>Mechanics</strong> 100vectors, which can be written <strong>in</strong> a different notation, (|φ〉, |ψ〉), that is more commonlyencountered <strong>in</strong> pure mathematics. But the <strong>in</strong>ner product can be viewed <strong>in</strong> another way,which leads to a new <strong>in</strong>terpretation of the expression 〈φ|ψ〉, and the <strong>in</strong>troduction of a newclass of state vectors. If we consider the equationand ‘cancel’ the |ψ〉, we get the result〈φ|ψ〉 = (|φ〉, |ψ〉) (8.67)〈φ| • = (|φ〉, •) (8.68)where the ‘•’ is <strong>in</strong>serted, temporarily, to rem<strong>in</strong>d us that <strong>in</strong> order to complete the equation,a ket vector has to be <strong>in</strong>serted. By carry<strong>in</strong>g out this procedure, we have <strong>in</strong>troduced anew quantity 〈φ| which is known as a bra or bra vector, essentially because 〈φ|ψ〉 lookslike quantities enclosed between a pair of ‘bra(c)kets’. It is a vector because, as can bereadily shown, the collection of all possible bras form a vector space. For <strong>in</strong>stance, by theproperties of the <strong>in</strong>ner product, ifthen|ψ〉 = a 1 |ϕ 1 〉 + a 2 |ϕ 2 〉 (8.69)(|ψ〉, •) = 〈ψ| • = (a 1 |ϕ 1 〉 + a 2 |ϕ 2 〉, •) (8.70)i.e., dropp<strong>in</strong>g the ‘•’ symbols, we have= a ∗ 1 (|ϕ 1〉, •) + a ∗ 2 (|ϕ 2〉, •) = a ∗ 1 〈ϕ 1| • + a ∗ 2 〈ϕ 2| • (8.71)〈ψ| = a ∗ 1 〈ϕ 1| + a ∗ 2 〈ϕ 2| (8.72)so that a l<strong>in</strong>ear comb<strong>in</strong>ation of two bras is also a bra, from which follows (after a bit morework check<strong>in</strong>g that the other requirements of a vector space are also satisfied) the resultthat the set of all bras is a vector space. Incidentally, this last calculation above shows,once aga<strong>in</strong>, that if |ψ〉 = a 1 |ϕ 1 〉 + a 2 |ϕ 2 〉 then the correspond<strong>in</strong>g bra is 〈ψ| = a ∗ 1 〈ϕ 1| + a ∗ 2 〈ϕ 2|.So, <strong>in</strong> a sense, the bra vectors are the ‘complex conjugates’ of the ket vectors.The vector space of all bra vectors is obviously closely l<strong>in</strong>ked to the vector space of allthe kets H, and is <strong>in</strong> fact usually referred to as the dual space, and represented by H ∗ . Toeach ket vector |ψ〉 belong<strong>in</strong>g to H, there is then an associated bra vector 〈ψ| belong<strong>in</strong>g tothe dual space H ∗ . However, the reverse is not necessarily true: there are bra vectors thatdo not necessarily have a correspond<strong>in</strong>g ket vector, and there<strong>in</strong> lies the difference betweenbras and kets. It turns out that the difference only matters for Hilbert spaces of <strong>in</strong>f<strong>in</strong>itedimension, <strong>in</strong> which case there can arise bra vectors whose correspond<strong>in</strong>g ket vector is of<strong>in</strong>f<strong>in</strong>ite length, i.e. has <strong>in</strong>f<strong>in</strong>ite norm, and hence cannot be normalized to unity. Such ketvectors can therefore never represent a possible physical state of a system. But these issueswill not arise here, so will not be of any concern. The po<strong>in</strong>t to be taken away from all thisis that a bra vector is not the same k<strong>in</strong>d of mathematical object as a ket vector. In fact,it has all the attributes of an operator <strong>in</strong> the sense that it acts on a ket vector to producea complex number, this complex number be<strong>in</strong>g given by the appropriate <strong>in</strong>ner product.This is <strong>in</strong> contrast to the more usual sort of operators encountered <strong>in</strong> quantum mechanicsthat act on ket vectors to produce other ket vectors. In mathematical texts a bra vectoris usually referred to as a ‘l<strong>in</strong>ear functional’. Nevertheless, <strong>in</strong> spite of the mathematical

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

Saved successfully!

Ooh no, something went wrong!