ThmDex – An index of mathematical definitions, results, and conjectures.
F12649
Formulation 0
Let $A \in \mathbb{R}^{N \times N}$ be a D4571: Real matrix such that
(i) $\lambda \in \mathbb{C}$ is a D1207: Complex number
(ii) $z \in \mathbb{C}^{N \times 1} \setminus \{ \boldsymbol{0} \}$ is a D5689: Complex column matrix
(iii) \begin{equation} A z = \lambda z \end{equation}
Then \begin{equation} A \overline{z} = \overline{\lambda} \overline{z} \end{equation}