[209.2.1] Time is commonly considered as the set of Aristotelian time instants . [209.2.2] The set of all time instants is represented mathematically by the set of real numbers . [209.2.3] Time is “measured” by observing clocks. [209.2.4] Clocks are physical systems. [209.2.5] Let be an observable quantity (e.g. the position of the sun, the moon or some hand on a watch), and let be the set of observables of such a physical system. [209.2.6] A dynamical system is a triple where is the set of observables of a physical system, represents time, and the mapping
is its dynamical rule . [209.2.7] It describes the change of observable quantities with time. [209.2.8] For the dynamical rule the following properties are postulated:
[209.2.9] For all time instants the dynamical rule obeys
for all .
[209.2.10] There exists a time instant , called beginning, such that
holds for all .
[209.2.11] The map is continuous in time in a suitable topology.
[209.2.12] The set of observables reflects the kinematical structure of the physical system. [209.2.13] The dynamical rule prescribes the time evolution of the system. [page 210, §0] [210.0.1] Setting in eq. (2) and using eq. (3) shows, that either must hold, or else the observable must be time independent. [210.0.2] The time evolution of observables is the one-parameter family of maps defined by
for . [210.0.3] The time evolution obeys the group law
for all , and the identity law
where is the identity on . [210.0.4] The continuity law requires a topology. [210.0.5] It is usually assumed, that is a Banach space with norm , and that
holds for all . [210.0.6] Equations (5),(6) and (7) define a strongly continuous one parameter group of operators on , called a flow [26, 27]. [210.0.7] For bounded linear operators strong and weak continuity are equivalent .
[210.1.1] Identifying and writing the time evolution becomes time translation to the left, i.e.
for all . [210.1.2] If the arrow of time is taken into account, then the flow of time is directed, and only the time instants after the beginning can occur. [210.1.3] In that case, inverse elements do not exist, and the family of operators forms only a semigroup [29, 28] instead of a group.