What field does this Eigenvalue belong to

complex-analysiseigenvalues-eigenvectorslinear algebralinear-transformationsreal-analysis

Suppose $\mathbb{C}^n$ is a Vector Space over $\mathbb{R}$.

Given a Linear Operator T : $\mathbb{C}^n$ $\rightarrow$ $\mathbb{C}^n$, it follows that $\lambda$ is an Eigenvalue of T if and only if there exists some nonzero vector x $\in$ $\mathbb{C}^n$ such that T(x) = $\lambda$x.

My question is, exactly what field does $\lambda$ belong to? Does $\lambda$ belong to $\mathbb{C}$ or $\mathbb{R}$?

Best Answer

In addition to other good points made in comments and answer: yes, there is some ambiguity in the idea of "eigenvalue" for linear maps/operators on vector spaces over fields (such as $\mathbb R$) that are not algebraically closed. And we should not get distracted by the idea that $\mathbb C^n$ can be a vector space over $\mathbb R$... that is mostly a distraction, without genuine mathematical content.

For example, consider operator $T=\pmatrix{0&-1\cr 1&0}$ on $\mathbb R^2$. If we look at the characteristic equation $\lambda^2+1=0$, we see that there are no real eigenvalues. But $\pm i$ are eigenvalues... if we extend the vector space to its complexification...

(Choosing a basis also doesn't really have much to do with this phenomenon...)