This question was posted a long time ago on the mathexchange, but I didn't get any answers there, and despite having discussed it with some colleagues, I don't think I have a definitive answer.

I am wondering about **simple eigenvalue** definitions in the context of ergodic theory. There seem to be two accepted definitions for simple eigenvalues. The definitions involve algebraic multiplicity and geometric multiplicity.

Let $E$ be a Banach space (possible infinite) and $A:E\to E$ a linear operator, then the eigenvalue $\lambda$ is **simple** if

The dimension of (generalized eigenspace) $\mathcal{N}_{\lambda}=\cup_{k\in\mathbb{N}} \mathcal{N}((\lambda I-A)^k)$ is $1$: algebraic multiplicity $m_a(\lambda)=1$; or

The dimension of (eigenspace) $\mathcal{N}(\lambda I - A)$ is $1$: geometric multiplicity $m_g(\lambda)=1$.

Note that the definitions are not equivalent as we have $m_a \ge m_g$. We have that, if an eigenvalue is simple in definition 1, it will be simple in definition 2, but the opposite is not true.

More specifically, I am interested in the difference when we characterize ergodicity. A system is ergodic iff 1 is a simple eigenvalue of the Koopman operator. See question 4 or this post. Another moment where the simplicity of the eigenvalue appears is in the Perron-Frobenius theorem (finite version).

For example, in Baladi's book Positive Transfer Operators and Decay of correlation, a simple eigenvalue is given by definition 1. But in the book Ergodic Theory by Petersen or Ergodic Theory by Walters, they seem to use definition 2, more precisely, in the demonstrations that use the fact of being simple, they use that eigenspace has dimension 1, and as mentioned these definitions are not equivalent. But in the case of definition 1, if it is shown that the eigenspace has dimension 1, it is not guaranteed to be simple, since the generalized eigenspace has a greater or equal dimension.

In this context of ergodic theory (mainly, speaking of the Koopman operator), I was told that the definitions are equivalent, but I was not convinced by the explanation.

$\mathcal{N}(X)$ is the kernel or nullpace of $X$.