11.1: Self-adjoint or hermitian operators
- Page ID
- 305
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Let \(V\) be a finite-dimensional inner product space over \(\mathbb{C}\) with inner product \(\inner{\cdot}{\cdot}\). A linear operator \(T\in\mathcal{L}(V)\) is uniquely determined by the values of
\[ \inner{Tv}{w}, \quad \text{for all \(v,w\in V\).} \]
This means, in particular, that if \(T,S\in\mathcal{L}(V)\) and
\begin{equation*}
\inner{Tv}{w} = \inner{Sv}{w} \quad \text{for all \(v,w \in V\),}
\end{equation*}
then \(T=S\). To see this, take \(w\) to be the elements of an orthonormal basis of \(V\).
Definition 11.1.1. Given \(T\in\mathcal{L}(V)\), the adjoint (a.k.a. hermitian conjugate) of \(T\) is defined to be the operator \(T^*\in\mathcal{L}(V)\) for which
\[ \inner{Tv}{w} = \inner{v}{T^*w}, \quad \text{for all \(v,w\in V\)} \]
Moreover, we call \(T\) self-adjoint (a.k.a.hermitian}) if \(T=T^*\).
The uniqueness of \(T^*\) is clear by the previous observation.
Example 11.1.2. Let \(V=\mathbb{C}^3\), and let \(T \in \cal{L}(\mathbb{C}^3)\) be defined by \(T(z_1,z_2,z_3)=(2z_2+iz_3,iz_1,z_2)\). Then
\begin{equation*}
\begin{split}
\inner{(y_1,y_2,y_3)}{T^*(z_1,z_2,z_3)} &= \inner{T(y_1,y_2,y_3)}{(z_1,z_2,z_3)}\\
&= \inner{(2y_2+iy_3,iy_1,y_2)}{(z_1,z_2,z_3)}\\
&= 2y_2\overline{z_1} + iy_3 \overline{z_1} +iy_1\overline{z_2} + y_2 \overline{z_3}\\
&= \inner{(y_1,y_2,y_3)}{(-iz_2,2z_1+z_3,-iz_1)}
\end{split}
\end{equation*}
so that \(T^*(z_1,z_2,z_3)=(-iz_2,2z_1+z_3,-iz_1)\). Writing the matrix for \(T\) in terms of the canonical basis, we see that
\begin{equation*}
M(T) = \begin{bmatrix} 0&2&i\\ i&0&0\\ 0&1&0 \end{bmatrix} \quad \text{and} \quad
M(T^*) = \begin{bmatrix} 0&-i&0 \\ 2&0&1 \\ -i&0& 0\end{bmatrix}.
\end{equation*}
Note that \(M(T^*)\) can be obtained from \(M(T)\) by taking the complex conjugate of each element and then transposing. This operation is called the conjugate transpose of \(M(T)\), and we denote it by \((M(T))^{*}\).
We collect several elementary properties of the adjoint operation into the following proposition. You should provide a proof of these results for your own practice.
Proposition 11.1.3. Let \(S,T\in \mathcal{L}(V)\) and \(a\in \mathbb{F}\).
- \((S+T)^* = S^*+T^*\).
- \((aT)^* = \overline{a} T^*\).
- \((T^*)^* = T\).
- \(I^* = I\).
- \((ST)^* = T^* S^*\).
- \(M(T^*) = M(T)^*\).
When \(n=1\), note that the conjugate transpose of a \(1\times 1\) matrix \(A\) is just the complex conjugate of its single entry. Hence, requiring \(A\) to be self-adjoint (\(A=A^*\)) amounts to saying that this sole entry is real. Because of the transpose, though, reality is not the same as self-adjointness when \(n > 1\), but the analogy does nonetheless carry over to the eigenvalues of self-adjoint operators.
Proposition 11.1.4. Every eigenvalue of a self-adjoint operator is real.
Proof. Suppose \(\lambda\in\mathbb{C}\) is an eigenvalue of \(T\) and that \(0\neq v\in V\) is a corresponding eigenvector such that \(Tv=\lambda v\). Then
\begin{equation*}
\begin{split}
\lambda \norm{v}^2 &= \inner{\lambda v}{v} = \inner{Tv}{v} = \inner{v}{T^*v}\\
&= \inner{v}{Tv} = \inner{v}{\lambda v} = \overline{\lambda} \inner{v}{v}
=\overline{\lambda} \norm{v}^2.
\end{split}
\end{equation*}
This implies that \(\lambda=\overline{\lambda}\).
Example 11.1.5. The operator \(T\in \mathcal{L}(V)\) defined by \(T(v) = \begin{bmatrix} 2 & 1+i\\ 1-i & 3 \end{bmatrix} v\) is self-adjoint, and it can be checked (e.g., using the characteristic polynomial) that the eigenvalues of \(T\) are \(\lambda=1,4\).
Contributors
- Isaiah Lankham, Mathematics Department at UC Davis
- Bruno Nachtergaele, Mathematics Department at UC Davis
- Anne Schilling, Mathematics Department at UC Davis
Both hardbound and softbound versions of this textbook are available online at WorldScientific.com.