Bra-ket notation is the standard notation used for describing quantum mechanical states. It was invented by Paul Dirac. 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

<math>|\psi\rangle</math>

where ψ is an arbitrary label for the ket. Each element of the dual space of H (i.e. each continuouslinear function from H to the complex numbers C) is known as a bra, and written as

<math>\langle\phi|</math>

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

<math>\langle\phi|\psi\rangle.</math>

Every ket |ψ〉 has a dual bra, written as 〈ψ|, a continuous linear function on H defined as follows:

<math>\langle\psi|\rho\rangle = ( |\psi\rangle , |\rho\rangle )\;\;

\hbox{for all kets}\ |\rho\rangle </math>

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 numbersc1 and c2, then, since bras are linear functionals,

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

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

<math>|\psi\rangle\langle\psi|</math>

Two Hilbert spaces V and W may form a third space V × W 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 V × W. This is written variously as