1
$\begingroup$

Let $A$ be a square real matrix such that it is symmetric, show that if $Ax = \lambda x$ for some nonzero vector in $\mathbb{C}^n$, then in fact, $\operatorname{Re}(x)$ is an eigenvector of $A$ if it is nonzero given that $\lambda$ is real.

I thought that to prove that the real part of $x$ is real, I would do a contrapositive and a contradiction that is, "If $\mathbf{x}$ is non-zero, then \operatorname{Re}(x) is nonzero" will turn to "If $\operatorname{Re}(x)$ is zero, then $x$ is zero".

Proof

Fact: Eigenvectors are by definition not zero vectors

Assume that $\operatorname{Re}(x)$ is zero, then $\mathbf{x}$ is zero.

So we have $\mathbf{x} = \operatorname{Re}(x) + \operatorname{Im}(x)i = 0 + \operatorname{Im}(x) = \operatorname{Im}(x)i$

and we arrive at $\mathbf{x} = \operatorname{Im}(x)i$, however $\mathbf{x} \neq 0$, so $\operatorname{IM}(x) \neq 0$, therefore this is a contradiction and $\operatorname{Re}(x)$ is nonzero.

Q.E.D

  • 0
    You haven't used the hypothesis that $A$ is symmetric, which makes me wonder why it's there.2012-01-29

1 Answers 1