Throughout this section we assume our vector space \(V\) is complex Hermitian with positive definite inner product.

Dirac invented a notation for linear algebra particularly well suited to quantum mechanics. In this notation, vectors \(\psi,\phi\in V\) are denoted by the kets, \(\ket{\psi}\) and \(\ket{\phi}\), and their inner product, \((\psi,\phi)\), by the bra-ket \(\braket{\psi|\phi}\). The bra, \(\bra{\psi}\), and corresponding ket, \(\ket{\psi}\), are viewed as being distinct objects, with \(\bra{\psi}\) being precisely the image in \(V^*\) under the Riesz antiisomorphism, of \(\ket{\psi}\). A linear combination of vectors, \(a\psi+b\phi\), where \(a,b\in\CC\), would be denoted either as \(\ket{a\psi+b\phi}\) or, more commonly, as, \(a\ket{\psi}+b\ket{\phi}\). Likewise, the corresponding bra is usually denoted, \(a^*\bra{\psi}+b^*\bra{\phi}\), though sometimes it may be convenient to write it equivalently as \(\bra{a\psi+b\phi}\).

For any linear operator, \(T\in\mathcal{L}(V)\), the vector \(T\psi\) is denoted either as \(\ket{T\psi}\) or \(T\ket{\psi}\). The corresponding bra, \(\bra{T\psi}\), is such that \(\braket{T\psi|\phi}=\braket{\psi|T^\dagger\phi}\) for any \(\ket{\phi}\in V\). This is just the inner product of, \(\ket{\psi}\), and, \(\ket{T^\dagger\phi}=T^\dagger\ket{\phi}\). As such, it it is typically denoted, \(\braket{\psi|T^\dagger|\phi}\), which is itself then equal to, \(\braket{\phi|T|\psi}^*\), and we can think of the bra corresponding to the action of \(T\) (from the left) on a ket \(\psi\), \(T\ket{\psi}\), as the action of \(T^\dagg\) from the right on the bra \(\bra{\psi}\), \(\bra{\psi}T^\dagg\). In particular, Hermitian operators, \(T\), are defined to satisfy
\begin{equation}
\braket{\psi|T|\phi}=\braket{\phi|T|\psi}^*.\label{equ:Dirac Hermitian}
\end{equation}

It’s worth noting that even though one rarely sees scalars or operators within the bras or kets of Dirac notation, there is no reason why we shouldn’t and indeed sometimes it may be convenient. Dirac notation’s particular elegance is in its handling of a construction known as the outer product.

For any vectors \(\psi,\phi\in V\) we can define an operator, \(A_{\psi,\phi}\in\mathcal{L}(V)\), such that for any \(\chi\in V\)
\begin{equation}
A_{\psi,\phi}\chi=(\phi,\chi)\psi.
\end{equation}
The operator \(A_{\psi,\phi}\) is called the outer product of \(\psi\) and \(\phi\). In Dirac notation, this operator would simply be the ‘butterfly product’, \(\ket{\psi}\bra{\phi}\), with its action on \(\ket{\chi}\), \(\ket{\psi}\braket{\phi|\chi}\).

In particular, if \(\ket{\psi}\in V\) is a normalised vector then the projection onto the subspace spanned by \(\ket{\psi}\), \(P_\psi\), is just,
\begin{equation}
P_\psi=\ket{\psi}\bra{\psi}.
\end{equation}

When using Dirac notation, it is typical to denote orthonormal basis vectors, \(e_i\), by indexed kets, \(\ket{i}\). Then the expansion of an arbitrary vector in this basis is given by
\begin{equation}
\ket{\psi}=\sum_{i=1}^{N}\ket{i}\braket{i|\psi}=\sum_{i=1}^{N}P_i\ket{\psi},
\end{equation}
where \(P_i\) is the projector on to the one-dimensional subspace spanned by \(\ket{i}\). This must hold for every \(\ket{\psi}\) so we see that the identity operator for the space may be written as
\begin{equation}
I=\sum_{i=1}^N\ket{i}\bra{i}=\sum_{i=1}^NP_i.
\end{equation}
This is known as the resolution of the identity associated with the given basis set.

The adjoint of an operator of the form \(\ket{u}\bra{v}\), \((\ket{u}\bra{v})^\dagg\) is simply \(\ket{v}\bra{u}\) since for any vectors \(\ket{\psi}\) and \(\ket{\phi}\),
\begin{equation*}
\bra{\psi}(\ket{u}\bra{v})^\dagg\ket{\phi}=\left(\braket{\phi|u}\braket{v|\psi}\right)^*=\braket{\psi|v}\braket{u|\phi}=\bra{\psi}(\ket{v}\bra{u})\ket{\phi}.
\end{equation*}

We know that if \(T\in\mathcal{L}(V)\) is a normal operator then there exists an orthonormal basis for \(V\) of eigenvectors of \(T\). If \(T\) has \(r\) distinct eigenvalues, \(\lambda_1,\dots,\lambda_r\), each with geometric multiplicity, \(d_i\), then an eigenvalue \(\lambda_i\) for which \(d_i>1\) is said to be degnerate with its degree of degeneracy, \(d_i\). Let us denote this orthonormal basis, \(\ket{i,j}\), with \(i=1,\dots,r\) and \(j=1,\dots,d_i\). That is,
\begin{equation}
T\ket{i,j}=\lambda_i\ket{i,j},\quad i=1,\dots,r,\; j=1,\dots,d_i.
\end{equation}
If we denote by \(P_\lambda\) the projector onto the eigenspace, \(V_\lambda\), so that
\begin{equation}
P_{\lambda_i}=\sum_{j=1}^{d_i}\ket{i,j}\bra{i,j},
\end{equation}
then \(T\) may be written as the spectral decomposition,
\begin{equation}
T=\sum_{i=1}^r\lambda_iP_{\lambda_i}.
\end{equation}