Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
eigenvalues_and_eigenvectors [2022/10/06 23:30] – i dont got one admin | eigenvalues_and_eigenvectors [2022/10/06 23:47] (current) – [Consequences of the Spectral Theorem] admin | ||
---|---|---|---|
Line 165: | Line 165: | ||
\end{array} \right ) | \end{array} \right ) | ||
\] | \] | ||
+ | |||
+ | Finally, in section 2.iii.2, we showed that a projection operator $\hat{P}$ is Hermitian $\hat{P}^{\dagger} = \hat{P}$ and idempotent $\hat{P}^2 = \hat{P}$. | ||
+ | |||
+ | Let $\ket{\psi}$ be a nonzero eigenvector of $\hat{P}$. | ||
+ | \begin{equation} | ||
+ | \label{proj1} | ||
+ | \hat{P} \ket{\psi} = a\ket{\psi}. | ||
+ | \end{equation} | ||
+ | Now apply \hat{P} to both sides again | ||
+ | \[\hat{P}^2 \ket{\psi} = a\hat{P}\ket{\psi}.\] | ||
+ | On the left hand side, we will use idempotency $\hat{P}^2 = \hat{P}$ and on the right hand side we will use the eigenvalue equation $\hat{P} \ket{\psi} = a\ket{\psi}$ again. | ||
+ | \begin{equation} | ||
+ | \label{proj2} | ||
+ | \hat{P} \ket{\psi} = a^2 \ket{\psi}. | ||
+ | \end{equation} | ||
+ | |||
+ | Comparing equations \eqref{proj1} and \eqref{proj2}, | ||
+ | |||
+ | This means that $\hat{P}$ has (at most) two eigenspaces. | ||
+ | \[\hat{P} = 0\hat{P}_0 + 1\hat{P}_1 = \hat{P}_1.\] | ||
+ | Since $\hat{P}_1$ is a projector, this implies that $\hat{P}$ is a projector. | ||
+ | |||
+ | {{: | ||
+ | ====== In Class Activities ====== | ||
+ | |||
+ | - Show that, if $\hat{A}^{-1}$ exists and $a$ is an eigenvalue of $\hat{A}$, then $\frac{1}{a}$ is an eigenvalue of $\hat{A}^{-1}$. | ||
+ | - Show that, if $\hat{A}$ is unitary, i.e. $\hat{A}^{\dagger}\hat{A} = \hat{I}$, and $a$ and $b$ are distinct eigenvalues of $a$ with eigenvectors $\ket{a}, \ket{b}$ then $\braket{b}{a} = 0$. | ||
+ | |||
+ | HINT: Compute $\sand{b}{\hat{A}^{\dagger}\hat{A}}{a}$ in two different ways. Once using $\hat{A}^{\dagger}\hat{A} = \hat{I}$ and once using | ||
+ | \[\hat{A}\ket{a} = a\ket{a}, \qquad\qquad \hat{A}\ket{b} = b\ket{b}.\] | ||
+ |