Sei sulla pagina 1di 11

Acknowledgments

This set of lecture notes accompanies Frederic Schuller’s course on Quantum Theory, taught in the summer of 2015 at the Friedrich-Alexander-Universität Erlangen-Nürnberg as part of the Elite Graduate Programme. The entire course is hosted on YouTube at the following address:

These lecture notes are not endorsed by Dr. Schuller or the University. While I have tried to correct typos and errors made during the lectures (some helpfully pointed out by YouTube commenters), I have also taken the liberty to add and/or modify some of the material at various points in the notes. Any errors that may result from this are, of course, mine. If you have any comments regarding these notes, feel free to get in touch. Visit my blog for the most up to date version of these notes

My gratitude goes to Dr. Schuller for lecturing this course and for making it available on YouTube.

Simon Rea

4

Projectors, bras and kets

4.1 Projectors

Projectors play a key role in quantum theory, as you can see from Axioms 2 and 5.

Deﬁnition. Let H be a separable Hilbert space. Fix a unit vector e ∈ H (that is, e = 1) and let ψ ∈ H. The projection of ψ to e is

ψ

:= e|ψ e

while the orthogonal complement of ψ is

ψ := ψ ψ

.

We can extend these deﬁnitions to a countable orthonormal subset {e i } iN ⊂ H, i.e. a subset of H whose elements are pairwise orthogonal and have unit norm. Note that {e i } iN need not be a basis of H.

Proposition 4.1. Let ψ ∈ H and let {e i } iN ⊂ H be an orthonormal subset. Then

(a) we can write ψ = ψ

and we have

+ ψ , where

ψ

:=

i=0

e i |ψ e i ,

ψ := ψ ψ

i N :

ψ |e i = 0.

(b)

Pythagoras’ theorem holds:

ψ 2 = ψ 2 + ψ 2 .

Note that this is an extension to the ﬁnite-dimensional case.

(c)

for any γ span{e i | i N}, we have the estimate

ψ γ ψ

with equality if, and only if, γ = ψ

.

Proof. First consider the case of a ﬁnite orthonormal subset {e 0 ,

, e n } ⊂ H.

(a) Let ψ and ψ be deﬁned as in the proposition. Then ψ + ψ = ψ and

ψ |e i = ψ

n

j=0

e j |ψ e j

e i

=

=

ψ|e i

ψ|e i

n

j=0

n

j=0

e j |ψ e j |e i

ψ|e j δ ji

= ψ|e i ψ|e i

= 0

for all 0 i n.

– 1 –

(b)

From part (a), we have

ψ |ψ = ψ

n

i=0

e i |ψ e i =

n

i=0

e i |ψ ψ |e i = 0.

Hence, by (the ﬁnite-dimensional) Pythagoras’ theorem

ψ 2 = ψ

+ ψ 2 = ψ 2 + ψ 2 .

n

(c) Let γ span{e i | 0 i n}. Then γ = i=0

γ i e i for some γ 0 ,

ψ γ 2 = ψ

+ ψ

ψ +

n

ψ +

γ 2

n

=

i=0

n

=

i=0

e i |ψ e i

i=0

( e i |ψ γ i )e i

γ i e i

2

=

ψ 2 +

n

i=0

|

e i |ψ γ i | 2

2

, γ n C. Hence

and thus ψ γ ψ since | e i |ψ γ i | 2 > 0 for all 0 i n. Moreover, we

have equality if, and only if, | e i |ψ γ i | = 0 for all 0 i n, that is γ = ψ

To extend this to a countably inﬁnite orthonormal set {e i } iN , note that by part (b) and Bessel’s inequality, we have

.

n

i=0

e i |ψ e i

2

=

n

i=0

|

e i |ψ | 2 ψ 2 .

Since | e i |ψ | 2 0, the sequence of partial sums i=0 n | e i |ψ | 2 nN is monotonically increasing and bounded from above by ψ . Hence, it converges and this implies that

ψ

:=

i=0

e i |ψ e i

exists as an element of H. The extension to the countably inﬁnite case then follows by

continuity of the inner product.

4.2 Closed linear subspaces

We will often be interested in looking at linear subspaces of a Hilbert space H, i.e. subsets M ⊆ H such that

ψ, ϕ ∈ M : z C :

+ ϕ ∈ M.

Note that while every linear subspace M ⊂ H inherits the inner product on H to become an inner product space, it may fail to be complete with respect to this inner product. In other words, non every linear subspace of a Hilbert space is necessarily a sub-Hilbert space. The following deﬁnitions are with respect to the norm topology on a normed space and can, of course, be given more generally on an arbitrary topological space.

– 2 –

Deﬁnition. Let H be a normed space. A subset M ⊂ H is said to be open if

ψ ∈ M : r > 0 : ϕ ∈ H :

ψ ϕ < ε ϕ ∈ M.

Equivalently, by deﬁning the open ball of radius r > 0 and centre ψ ∈ H

B r (ψ) := {ϕ ∈ H | ψ ϕ < r},

we can deﬁne M ⊂ H to be open if

ψ ∈ M : r > 0 : B r (ψ) ⊆ M.

Deﬁnition. A subset M ⊂ H is said to be closed if its complement H \ M is open.

Proposition 4.2. A closed subset M of a complete normed space H is complete.

Proof. Let {ψ n } nN be a Cauchy sequence in the closed subset M. Then, {ψ n } nN is also

a Cauchy sequence in H, and hence it converges to some ψ ∈ H since H is complete. We

want to show that, in fact, ψ ∈ M. Suppose, for the sake of contradiction, that ψ / M,

i.e. ψ ∈ H \ M. Since M is closed, H \ M is open. Hence, there exists r > 0 such that

ϕ ∈ H :

ϕ ψ < r ϕ ∈ H \ M.

However, since ψ is the limit of {ψ n } nN , there exists N N such that

n N :

ψ n ψ < r.

Hence, for all n N , we have ψ n ∈ H \ M, i.e. ψ n / M, contradicting the fact that

{ψ n } nN is a sequence in M. Thus, we must have ψ ∈ M.

Corollary 4.3. A closed linear subspace M of a Hilbert space H is a sub-Hilbert space with the inner product on H. Moreover, if H is separable, then so is M.

Knowing that a linear subspace of a Hilbert space is, in fact, a sub-Hilbert space can be very useful. For instance, we know that there exists an orthonormal basis for the linear subspace. Note that the converse to the corollary does not hold: a sub-Hilbert space need not be a closed linear subspace.

4.3 Orthogonal projections

Deﬁnition. Let M ⊆ H be a (not necessarily closed) linear subspace of H. The set

M := {ψ ∈ H | ∀ ϕ ∈ M : ϕ|ψ = 0}

is called the orthogonal complement of M in H.

Proposition 4.4. Let M ⊆ H be a linear subspace of H. Then, M is a closed linear subspace of H.

– 3 –

Proof. Let ψ 1 , ψ 2 ∈ M and z C. Then, for all ϕ ∈ M

ϕ|1 + ψ 2 = z ϕ|ψ 1 + ϕ|ψ 2 = 0

and hence 1 + ψ 2 ∈ M. Thus, M is a linear subspace of H. It remains to be shown that it is also closed. Deﬁne the maps

f ϕ : H → C

ψ

ϕ|ψ .

Then, we can write

M =

ϕ∈M

preim f ϕ ({0}).

Since the inner product is continuous (in each slot), the maps f ϕ are continuous. Hence, the pre-images of closed sets are closed. As the singleton {0} is closed in the standard topology on C, the sets preim f ϕ ({0}) are closed for all ϕ ∈ M. Thus, M is closed since arbitrary

intersections of closed sets are closed.

Note that by Pythagoras’ theorem, we have the decomposition

H = M ⊕ M := {ψ + ϕ | ψ ∈ M, ϕ ∈ M }

for any closed linear subspace M.

Deﬁnition. Let M be a closed linear subspace of a separable Hilbert space H and ﬁx some orthonormal basis of M. The map

P M : H →

ψ

M

ψ

is called the orthogonal projector to M.

Proposition 4.5. Let P M : H → M be an orthogonal projector to M ⊆ H. Then

(i)

(ii)

(iii)

(iv)

P M P M = P M , sometimes

2

also written as P M = P M

 ∀ ψ, ϕ ∈ H : P M ψ|ϕ = ψ|P M ϕ P M ⊥ψ = ψ ⊥ P M ∈ L(H, M).

Proof. Let {e i } iI and {e i } iJ be bases of M and M respectively, where I, J are either ﬁnite or countably inﬁnite, such that {e i } iIJ is a basis of H (in the latter case, we think of I as having a deﬁnite ordering).

– 4 –

(i)

(ii)

(iii)

(iv)

Let ψ ∈ H. Then

Let ψ, ϕ ∈ H. Then

Let ψ ∈ H. Then

P M (P M ψ) :=

P M e i |ψ e i

iI

; =

jI

=

jI

e j

iI

iI

e i |ψ e i e j

e i |ψ e j |e i e j

= e i |ψ e i

iI

=: P M ψ.

P M ψ|ϕ := e i |ψ e i

iI

ϕ

= e i |ψ e i |ϕ

iI

= e i |ϕ ψ|e i

=

iI

ψ

iI

e i |ϕ e i

=: ψ|P M ϕ .

P M ψ + P M ψ = e i |ψ e i + e i |ψ e i =

Hence

iI

P M ψ

iJ

= ψ P M ψ = ψ ψ

iIJ

=: ψ .

e i |ψ e i = ψ.

Let ψ ∈ H. Then, by Pythagoras’ theorem,

sup

ψ∈H

P M ψ

ψ

= sup

ψ∈H

ψ

ψ

= sup

ψ∈H

ψ ψ

ψ

1 <

Quite interesting, and heavily used, is the converse.

Theorem 4.6. Let P ∈ L(H, H) have the properties

 (i) P ◦ P = P (ii) ∀ ψ, ϕ ∈ H : Pψ|ϕ = ψ|Pϕ .

Then, the range P(H) of P is closed and

P = P P(H) .

In other words, every projector is the orthogonal projector to some closed linear subspace.

– 5 –

4.4

Riesz representation theorem, bras and kets

Let H be a Hilbert space. Consider again the map

f ϕ : H →

ψ

C

ϕ|ψ .

for ϕ ∈ H. The linearity in the second argument of the inner product implies that this map is linear. Moreover, by the Cauchy-Schwarz inequality, we have

sup

ψ∈H

|f ϕ (ψ)|

ψ

= sup

ψ∈H

|

ϕ|ψ |

sup

ψ

ψ∈H

ϕ ψ

ψ

= ϕ < .

Hence, f ϕ ∈ L(H, C) =: H . Therefore, to every element of ϕ of H, there is associated an element f ϕ in the dual space H . In fact, the converse is also true.

Theorem 4.7 (Riesz representation). Every f ∈ H is of the form f ϕ for a unique ϕ ∈ H.

Proof. First, suppose that f = 0, i.e. f is the zero functional on H. Then, clearly, f = f 0

Since, ker f := preim f ({0}) is a closed linear

subspace, we can write

H = ker f (ker f ) .

H, and thus

(ker f ) = {0}. Let ξ (ker f ) \ {0} and assume, w.l.o.g., that ξ = 1. Deﬁne

As f = 0, there exists some ψ ∈ H such that ψ / ker f .

with 0 ∈ H.

Hence, suppose that f

= 0.

Hence, ker f =

ϕ := f (ξ)ξ (ker f ) .

Then, for any ψ ∈ H, we have

f ϕ (ψ) f (ψ) := ϕ|ψ f (ψ)

:= f (ξ)ξ|ψ f (ψ) ξ|ξ

= ξ|f(ξ)ψ ξ|f(ψ)ξ

= ξ|f(ξ)ψ f(ψ)ξ .

Note that

f(f(ξ)ψ f(ψ)ξ) = f(ξ)f(ψ) f(ψ)f(ξ) = 0,

that is, f (ξ)ψ f (ψ)ξ ker f . Since ξ (ker f ) , we have

ξ|f(ξ)ψ f(ψ)ξ = 0

and hence f ϕ (ψ) = f (ψ) for all ψ ∈ H, i.e. f = f ϕ . For uniqueness, suppose that

f = f ϕ 1 = f ϕ 2

for some ϕ 1 , ϕ 1 ∈ H. Then, for any ψ ∈ H,

0

= f ϕ 1 (ψ) f ϕ 2 (ψ)

= ϕ 1 |ψ ϕ 2 |ψ

= ϕ 1 ϕ 2 |ψ

and hence, ϕ 1 = ϕ 2 by positive-deﬁniteness.

– 6 –

Therefore, the so-called Riesz map

R: H → H

ϕ

f ϕ ϕ

is a linear isomorphism, and H and H be identiﬁed with one another as vector spaces. This lead Dirac to suggest the following notation for the elements of the dual space

f ϕ ϕ|.

Correspondingly, he wrote |ψ for the element ψ ∈ H. Since · | · is “a bracket”, the ﬁrst half · | is called a bra, while the second half | · is called a ket (nobody knows where the missing c is). With this notation, we have

f ϕ (ψ) ϕ|(|ψ ) ϕ|ψ .

The notation makes evident the fact that, for any ϕ, ψ ∈ H, we can always consider the inner product ϕ|ψ C as the result of applying f ϕ ∈ H to ψ ∈ H. The advantage of this notation is that some formulæ become more intuitive and hence are more easily memorised. For a concrete example, consider

ψ =

e i |ψ e i

i=0

where {e n } nN is a basis of H. This becomes

|ψ =

i=0

e i |ψ |e i .

By allowing the scalar multiplication of kets also from the right, deﬁned to yield the same result as that on the left, we have

=

i=0

|e i e i |ψ .

“Quite obviously”, we can bracket this as

=

i=0

|e i e i | |ψ ,

where by “quite obviously”, we mean that we have a suppressed tensor product (see section 8 of the Lectures on the Geometric Anatomy of Theoretical Physics for more details on tensors)

=

i=0

|e i e i | |ψ .

– 7 –

Then, the sum in the round brackets is an element of H ⊗ H . While H ⊗ H is isomorphic to End(H), its elements are maps H × H → C. Hence, one needs to either make this isomorphism explicit or, equivalently,

All of this to be able to write

=

i=0

|e i e i | · , |ψ .

i=0

|e i e i | = id H

and hence interpret the expansion of |ψ in terms of the basis as the “insertion” of an identity

|ψ = id H |ψ =

i=0

|e i e i | |ψ =

i=0

e i |ψ |e i .

But the original expression was already clear in the ﬁrst place, without the need to add hidden tensor products and extra rules. Of course, part of the appeal of this notation is that one can intuitively think of something like |e i e i | as a map H → H, by imagining that the bra on the right acts on a ket in H, thereby producing a complex number which becomes the coeﬃcient of the remaining ket

|e i e i | |ψ = |e i e i |ψ = e i |ψ |e i .

The major drawback of this notation, and the reason why we will not adopt it, is that in many places (for instance, if we consider self-adjoint operators, or Hermitian operators) this notation doesn’t produce inconsistencies only if certain conditions are satisﬁed. While these conditions will indeed be satisﬁed most of times, it becomes extremely confusing to formulate conditions on our objects by using a notation that only makes sense if the objects already satisfy conditions. Of course, as this notation is heavily used in physics and related applied sciences, it is necessary to be able to recognise it and become ﬂuent in it. But note that it does not make things clearer. If anything, it makes things more complicated.

– 8 –

Mathematical quantum mechanics

Ballentine, Quantum Mechanics: A Modern Development (Second edition), World Scientiﬁc 2014

Faddeev, Yakubovskii, Lectures on Quantum Mechanics for Mathematics Students, American Mathematical Society 2009

Folland, Quantum Field Theory: A Tourist Guide for Mathematicians, American Mathematical Society 2008

Gieres, Mathematical surprises and Dirac’s formalism in quantum mechanics

Hall, Quantum Theory for Mathematicians, Springer 2013

Mackey, Mathematical Foundations of Quantum Mechanics, Dover Publications 2004

Moretti, Spectral Theory and Quantum Mechanics: With an Introduction to the Al- gebraic Formulation, Springer 2013

Parthasarathy, Mathematical Foundations of Quantum Mechanics, Hindustan Book Agency 2005

Strocchi, An Introduction to the Mathematical Structure of Quantum Mechanics: A Short Course for Mathematicians, World Scientiﬁc 2008

Takhtajan, Quantum Mechanics for Mathematicians, American Mathematical Society

2008

Linear Algebra

Friedberg, Insel, Spence, Linear Algebra (4th Edition), Pearson 2002

Functional analysis

Hunter, Nachtergaele, Applied Analysis, World Scientiﬁc, 2001

Kadison, Ringrose, Fundamentals of the Theory of Operator Algebras. Volumes I-II, American Mathematical Society 1997

– 9 –

Alphabetical Index

 B bras and kets 7 C closed set 3 O open set 3
 orthogonal complement 3 P projection 1 R Riesz map 7