|This article needs additional citations for verification. (January 2015)|
from the real line (as an additive group) to some other topological group . That means that it is not in fact a group, strictly speaking; if is injective then , the image, will be a subgroup of that is isomorphic to as additive group.
One-parameter groups were introduced by Sophus Lie in 1893 to define infinitesimal transformations. According to Lie, an infinitesimal transformation is an infinitely small transformation of the one-parameter group that it generates. It is these infinitesimal transformations that generate a Lie algebra that is used to describe a Lie group of any dimension.
That is, we start knowing only that
where , are the 'parameters' of group elements in . We may have
- , the identity element in ,
for some . This happens for example if is the unit circle and
In that case the kernel of consists of the integer multiples of .
A technical complication is that as a subspace of may carry a topology that is coarser than that on ; this may happen in cases where is injective. Think for example of the case where is a torus , and is constructed by winding a straight line round at an irrational slope.
Therefore a one-parameter group or one-parameter subgroup has to be distinguished from a group or subgroup itself, for the three reasons
- it has a definite parametrization,
- the group homomorphism may not be injective, and
- the induced topology may not be the standard one of the real line.
Such one-parameter groups are of basic importance in the theory of Lie groups, for which every element of the associated Lie algebra defines such a homomorphism, the exponential map. In the case of matrix groups it is given by the matrix exponential.
In his 1957 monograph Lie Groups, P. M. Cohn gives the following theorem on page 58:
- Any connected 1-dimensional Lie group is analytically isomorphic either to the additive group of real numbers , or to , the additive group of real numbers . In particular, every 1-dimensional Lie group is locally isomorphic to .
In physics, one-parameter groups describe dynamical systems. Furthermore, whenever a system of physical laws admits a one-parameter group of differentiable symmetries, then there is a conserved quantity, by Noether's theorem.
In the study of spacetime the use of the unit hyperbola to calibrate spatio-temporal measurements has become common since Hermann Minkowski discussed it in 1908. The principle of relativity was reduced to arbitrariness of which diameter of the unit hyperbola was used to determine a world-line. Using the parametrization of the hyperbola with hyperbolic angle, the theory of special relativity provided a calculus of relative motion with the one-parameter group indexed by rapidity. The rapidity replaces the velocity in kinematics and dynamics of relativity theory. Since rapidity is unbounded, the one-parameter group it stands upon is non-compact. The rapidity concept was introduced by E.T. Whittaker in 1910, and named by Alfred Robb the next year. The rapidity parameter amounts to the length of a hyperbolic versor, a concept of the nineteenth century. Mathematical physicists James Cockle, William Kingdon Clifford, and Alexander Macfarlane had all employed in their writings an equivalent mapping of the Cartesian plane by operator , where is the hyperbolic angle and .
- "One-parameter group not a group? Why?", Stack Exchange Retrieved on 9 January 2015.
- Sophus Lie (1893) Vorlesungen über Continuierliche Gruppen, English translation by D.H. Delphenich, §8, link from Neo-classical Physics
- Zeidler, E. Applied Functional Analysis: Main Principles and Their Applications. Springer-Verlag, 1995.