Given T on (X,μ), the induced unitary (or isometry) U_T on L² defined by U_T f = f ∘ T. Lifts measure-preserving dynamics to linear spectral analysis; basis for modern data-driven Koopman methods.
Given T on (X,μ), the induced unitary (or isometry) U_T on L² defined by U_T f = f ∘ T. Lifts measure-preserving dynamics to linear spectral analysis; basis for modern data-driven Koopman methods.