<?xml version="1.0" encoding="UTF-8"?>

<record version="5" id="5879">
 <title>eigenvalues of a Hermitian matrix are real</title>
 <name>EigenvaluesOfAHermitianMatrixAreReal</name>
 <created>2004-06-02 13:43:02</created>
 <modified>2006-10-10 02:16:49</modified>
 <type>Theorem</type>
<parent id="1505">Hermitian matrix</parent>
 <creator id="7332" name="Andrea Ambrosio"/>
 <author id="7332" name="Andrea Ambrosio"/>
 <author id="5079" name="aoh45"/>
 <classification>
	<category scheme="msc" code="15A57"/>
 </classification>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}</preamble>
 <content>The eigenvalues of a Hermitian (or self-adjoint) matrix are real.

\begin{proof}
Suppose $\lambda$ is an eigenvalue of the self-adjoint matrix $A$ with 
non-zero eigenvector $v$. Then $Av = \lambda v$.

\[
\lambda ^{\ast }v^{H}v=\left( \lambda v\right) ^{H}v=\left( Av\right)
^{H}v=v^{H}A^{H}v=v^{H}Av=v^{H}\lambda v=\lambda v^{H}v
\]

Since $v$ is non-zero by assumption, $v^H v$ is non-zero as well and so $\lambda^{*}=\lambda$, meaning that $\lambda$ is real.
\end{proof}</content>
</record>
