Bra-Ket Notation

linear-algebra

Definition

Bra-Ket Notation

The bra-ket notation is a notation for ket-vectors, bra-vectors, inner products, and linear operators in complex inner product spaces.

A vector $x$ is written as a ket $|x⟩$, its dual vector as a bra $⟨x|$.

The inner product $⟨x|y⟩$ is

• sesquilinear with the ket $|y⟩$ as the linear side, and
• the bra $⟨x|$ as the semilinear side.

Finite Dimensions

In finite-dimensional complex vector spaces, one writes

$$|x⟩=\left(\begin{array}{c}{x}_1\\ ⋮\\ x_n\end{array}\right)\text{and}⟨x|=\left(\begin{array}{ccc}\overline{x_1}& \dots & \overline{x_n}\end{array}\right).$$

The bra is the conjugate transpose of the ket.

Orthonormal Basis

For an orthonormal basis $(|e_i⟩{)}_{i\ge 0}$, every vector expands as

$$|x⟩=\sum _{i\ge 0}⟨e_i|x⟩|e_i⟩.$$

The operator $|e_i⟩⟨e_i|$ is the orthogonal projection onto $|e_i⟩$, giving the completeness relation

$$I=\sum _{i\ge 0}|e_i⟩⟨e_i|.$$

Example

Example

It follows from conjugate linearity in the first argument that

$$⟨\lambda x|y⟩=\overline{\lambda }⟨x|y⟩.$$