Arda Bayer
This note establishes a geometric foundation for trajectory-manifold representations of deterministic nonlinear systems in a behavioral setting motivated by data-enabled predictive control. For a discrete-time system $x_{k+1}=f(x_k,u_k)$ with measured state and a $C^r$ transition map, $r\geq 1$, we consider the terminal-state-augmented finite-horizon behavior consisting of all admissible state-input trajectories over a prediction horizon $N$. We prove that this behavior is a $C^r$ embedded submanifold of the ambient trajectory space with intrinsic dimension $n+Nm$, where $n$ and $m$ are the state and input dimensions. Moreover, the rollout map from the admissible initial-state and input coordinates $(x_0,\mathbf u)$ is a $C^r$ diffeomorphism onto the behavior manifold, providing explicit global smooth coordinates. This yields a canonical exact encoder--decoder representation and implies that any exact differentiable latent representation of the full behavior must have latent dimension at least $n+Nm$. The geometric result does not require controllability, stabilizability, or invertibility of the dynamics. Corresponding results are given for zero-order-hold sampled continuous-time systems and fixed-step numerical transition maps. These results provide the deterministic geometric foundation for subsequent data-driven approximation and predictive-control development.