[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
| (1) |
is its dynamical rule [25].
[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
| (2) |
for all
.
[209.2.10] There exists a time instant
, called beginning,
such that
| (3) |
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
| (4) |
for
.
[210.0.3] The time evolution obeys the group law
| (5) |
for all
, and the identity law
| (6) |
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
| (7) |
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 [28].
[210.1.1] Identifying
and writing
the time evolution becomes time translation to the left, i.e.
| (8) |
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.