Ruelle-Perron-Frobenius theorem