OneDimensionalSubspace

http://www.weizmann.ac.il/math/sarigo/sites/math.sarigo/files/uploads/transferoperatorcourse-bonn.pdf

Theorem 2.1.19 (Ruelle). The linear operator R : Cα pXq Ñ Cα pXq has an unique maximal positive eigenvalue whose corresponding eigenspace is one-dimensional.