The time evolution of the state is given by a differentiable function from the real numbers R, representing instants of time, to the Hilbert space of system states. This map is characterized by a differential equation as follows: If | ψ (t)⟩ denotes the state of the system at any one time t, the following Schrödinger equation holds: