1.1 Quantum States

Quantum states are described by vectors in a complex vector space, specifically a Hilbert space, which is a complete inner product space. The exact properties of the Hilbert space are determined by the nature of the physical problem we are studying. Physically distinct states of the system are represented by orthogonal directions in Hilbert space. We will discuss what this means more rigorously in later chapters. A Hilbert space may be finite-dimensional, where the system can only be in finitely-many states, or infinite-dimensional, which is certainly the case for any particle that can move.

Transformations on the state of the system, such as time-evolution or change of basis, are described using linear operators, which are a generalisation of matrices from finite-dimensional linear algebra.

1.1.1 Dirac Notation

States in the Hilbert space are written as |ψ, where ψ is some label we have made up for the state. This notation is called a ket. Recall that the inner product can be defined as the action of a corresponding linear functional or covector from the dual space on the vector. For ket vectors there is a corresponding reversed notation ψ|, called a bra, which represents the corresponding linear functional. Then the inner product between two states |ψ and |ϕ can be written as

ϕ|ψ=ψ|ϕ. (1.1)

This expression is known as a “bra-ket” (= bracket). This notation is due to Paul Dirac, and is known as Dirac notation or Bra-ket notation.

In a system where the Hilbert space is finite-dimensional with n dimensions, it is isomorphic to n. Then the kets can be associated with column vectors and the bras with row vectors, just like how we would write linear functionals from the dual space in finite-dimensional linear algebra, and the inner product is defined by matrix multiplication. In this case, linear operators really are just n×n matrices.

All our familiar ideas from linear algebra carry over to Hilbert space, in particular if we have an operator O^ and it acts on the state |ψ to get

O^|ψ=O|ψ, (1.2)

then this is an eigenvalue equation. We say that |ψ is an eigenket of O^ with eigenvalue O.

There exists bases for the Hilbert space for which we can write the state |ψ as a linear combination. In particular there is a special basis which is formed from the solutions to the Schrodinger equation (see the next section) called the energy eigenbasis, which is usually labelled |n where n is an integer label that can take some range of values specified by the problem. The expansion of an arbitrary state |ψ in the energy eigenbasis looks like

|ψ=ncn|n=nn|ψ|ψ, (1.3)

, where cn is the inner product of the state |ψ with the eigenstate |n. We will study energy eigenbases again and again throughout the following chapters, as they are pretty much the most important objects of study in quantum mechanics.

1.1.2 The Wavefunction

For a system with spatial degrees of freedom, we also have a continuous basis that we can express our state in, the position basis |x. Since the position basis is continuous, an arbitrary quantum state ψ is represented in the position basis by an integral:

|ψ=ψ(x,t)|xdx. (1.4)

The quantity ψ(x,t) is called the wavefunction, and is basically the continuous list of coefficients in the linear combination of position eigenkets.

We can isolate the value of the wavefunction at a position x by calculating the inner product of the state |ψ with the relevant position eigenket x^ (taking care to use a different dummy variable for the integration):

x|ψ =x|ψ(x,t)|xdx (1.5)
=ψ(x,t)x|xdx (1.6)
=ψ(x,t)δ(xx)dx (1.7)
=ψ(x,t). (1.8)

For systems with only spatial degrees of freedom, which we will study exclusively in the first few chapters, we can actually get by using only the wavefunction to describe the full state of the system and ignoring the more abstract kets and bras. However, when we come to describe systems with internal degrees of freedom such as spin, we will need Dirac notation to describe the system state. To keep on top of things, we will keep track of ways that important concepts such as superpositions and expectation values can be described using both notations throughout.