Reference

  • “Quantum Mechanics”, David McIntyre

A postulate of quantum mechanics is that kets are to be used for a mathematical description of a quantum mechanical system. These kets are abstract entities that obey many of the rules you know about ordinary spatial vectors. Hence they are called quantum state vectors. These vectors must employ complex numbers in order to properly describe quantum mechanical systems. Quantum state vectors are part of a vector space that we call \textbf{Hilbert space}. The dimensionality of the Hilbert space is determined by the physics of the system at hand. In the SG-example, the two possible results for a spin component measurement dictate that the vector space has only two dimensions. That makes the problem mathematically as simple as it can be. Because quantum state vectors are abstract, it is hard to say much about what they are, other than how they behave mathematically and how they lead to physical predictions.

In the two-dimensional vector space of a spin-1/2 system, the two kets form a basis, just like the unit vector , , form a basis for describing vectors in three-dimensional space. However, the analogy we want to make with these spatial vectors is only mathematical, not physical. The spatial unit vectors have three important mathematical properties that are characteristic of a basis: the basis vectors , , are

  • normalized
  • orthogonal,
  • complete.

Spatial vectors are normalized if their magnitudes are unity, and they are orthogonal if they are geometrically perpendicular to each other. The basis is complete if any general vector in the space can be written as a linear superpostition of the basis of the basis vectors.

where is a general vector. Note that the \textbf{dot product}, also called the \textbf{scalar product}, is central to the description of these properties.

Continuing the mathematical analogy between spatial vectors and abstract vectors, we require that these same properties (at least conceptually) apply to quantum mechanical basis vectors. For the measurement, there are only two possible results, corresponding to the states and , so these two states comprise a complete set of basis vectors. This basis is known as the \textbf{ basis}. The completeness of the basis kets implies that a general quantum state vector is a linear combination of the two basis kets:

where a and b are complex scalar number multiplying each ket. This addition of two kets yields another ket in the same abstract space. The complex scalar can appear either before or after the ket without affecting the mathematical properties of the ket (i.e., ). It is customary to use the Greek letter (psi) for a general quantum state. You may have seen used before as a quantum mechanical wave function. However, the state vector or ket is not a wave function. Kets do not have any spatial dependence as wave functions do.

As we said above, the machinery of quantum mechanics requires the use of complex numbers. You may have seen other fields of physics use complex numbers. For example, sinusoidal oscillations can be described using the complex exponential rather than . However, in such cases, the complex numbers are not required, but are rather a convenience to make the mathematics easier. When using complex notation to describe classical vectors like electric and magnetic fields, the definition of the dot product is generalized slightly, such that one of the vectors is complex conjugated. A similar approach is taken in quantum mechanics. The analog of the complex conjugated vector of classical physics is called a \textbf{bra} in the Dirac notation of quantum mechanics. Thus corresponding to a general ket , there is a bre, or bre vector, which is written as . If a general ket is specified as , then the corresponding bra is defined as

where the basis bras and correspond to the basis kets and , respectively, and the coefficients and have been complex conjugated.

To discuss orthogonality and normalization (known together as orthonormality) we must first define scalar products as they apply to these new kets. The scalar product in quantum mechanics is defined as the product of a bra and a ket taken in the proper order — bra first, then ket second:

When the bra and ket are combind together in this manner, we get a bracket written in shorthand as

Thus, given the basis kets and , one inner product, for example, is written as

and so on. The scalar product in quantum mechanics is generally referred to as an inner product or a projection.