Bra-ket notation
Bra-ket notation is the standard notation used for describing quantum mechanical states. It was invented by Paul Dirac and is also known as Dirac notation. It is so called because the inner product of two states is denoted by a bracket, ‹φ|ψ›, consisting of a left part, ‹φ|, called the bra, and a right part, |ψ›, called the ket.
In quantum mechanics, the state of a physical system is identified with a vector in a Hilbert space, H. Each vector is called a ket, and written as
where ψ is an arbitrary label for the ket. Each element of the dual space of H (i.e. each continuous linear function from H to the complex numbers C) is known as a bra, and written as
where φ is an arbitrary label for the bra. Applying the bra ‹φ| to the ket |ψ› results in a complex number, called a bra-ket, which we write as
Every ket |ψ› has a dual bra, written as ‹ψ|, a continuous linear function on H defined as follows:
where the right hand side ( , ) denotes the inner product given on the Hilbert space. The notation is justified by the Riesz representation theorem, which states that every bra in the dual space arises from one and only one
ket in this fashion.
The bra-ket operation has the following properties:
- Given any bra ‹φ|, kets |ψ1› and |ψ2›, and complex numbers c1 and c2, then, since bras are linear functionals,
- Given any ket |ψ›, bras ‹φ1| and ‹φ2|, and complex numbers c1 and c2, then, by the definition of addition and scalar multiplication of linear functionals,
- Given any bra ‹φ| and ket |ψ›, the inner product axiom gives
If A : H -> H is a linear operator, we can apply A to the ket |ψ› to obtain the ket (A|ψ›). The operator also acts on bras: applying the operator A to the bra ‹φ| results in the bra (‹φ|A), defined as a linear functional on H by the rule
This expression is commonly written as
A convenient way to define linear operators on H is given by the outer product: if ‹φ| is a bra and |ψ› is a ket, the outer product |φ›‹ψ| denotes the operator which maps the ket |ρ› to the ket |φ›‹ψ|ρ› (here the scalar ‹ψ|ρ› is written to the right of the vector |φ›). One use of the outer product is to construct projection operators. Given a ket |ψ› of norm 1, the orthogonal projection onto the subspace spanned by |ψ› is
Two Hilbert spaces V and W may form a third space  by a tensor product. If |ψ› is a ket in V and |φ› is a ket in W, the tensor product of the two kets is a ket in . This is written variously as
Referenced By
Dirac | Einstein convention | Einstein notation | Einstein summation | Einstein summation convention | Einstein summation notation | List of functional analysis topics | List of mathematical topics | List of mathematical topics (A-C) | List of mathematics topics | List of physics topics A-E | Notation | P.A.M. Dirac | Paul Dirac | Quantum state | Quantum states
|
