Decomposition theorems for Koopman operators