其中<math>\mathcal{X}\subseteq \mathbb{R}^n</math>是一个有限维的状态空间,<math> k = 0, 1, 2, \dots </math>是[[离散时间]]步,<math> x_{k} </math>是第<math> k </math> 步的状态,<math> F: \mathcal{X} \to \mathcal{X} </math>是离散[[流映射]](可能[[非线性]])。[[离散时间]]Koopman[[算子]] <math> \mathcal{K}: \mathcal{G}(\mathcal{X}) \to \mathcal{G}(\mathcal{X}) </math>定义为<ref name="koopman_1931" /><ref name="koop_v_1932" /><ref name="brunton_2022" />: | 其中<math>\mathcal{X}\subseteq \mathbb{R}^n</math>是一个有限维的状态空间,<math> k = 0, 1, 2, \dots </math>是[[离散时间]]步,<math> x_{k} </math>是第<math> k </math> 步的状态,<math> F: \mathcal{X} \to \mathcal{X} </math>是离散[[流映射]](可能[[非线性]])。[[离散时间]]Koopman[[算子]] <math> \mathcal{K}: \mathcal{G}(\mathcal{X}) \to \mathcal{G}(\mathcal{X}) </math>定义为<ref name="koopman_1931" /><ref name="koop_v_1932" /><ref name="brunton_2022" />: |