Perron-Frobenius Theorem
Definition
A collection of results about positive or nonnegative matrices and operators: under positivity/irreducibility hypotheses there exists a unique dominant real eigenvalue (the Perron root) with an associated strictly positive eigenvector and related spectral properties.