A precise motivation for defining the Koopman operator Φ Φ is that it represents a global linearisation of F , which views linear combinations of eigenstates as integer partitions. In fact, the reader may easily check that the successor function is not a linear function: