Formal Definition
A flow on a set X is a group action of the additive group of real numbers on X. More explicitly, a flow is a mapping
such that, for all and all real numbers s and t:
It is customary to write φt(x) instead of φ(x, t), so that the equations above can be expressed as φ0 = id and φs ∘ φt = φs+t. Then for all t ∈ R the mapping φt: X → X is a bijection with inverse φ−t: X → X. This follows from the above definition, and the real parameter t may be taken as a generalized functional power, as in function iteration.
Flows are usually required to be compatible with structures furnished on the set X. In particular, if X is equipped with a topology, then φ is usually required to be continuous. If X is equipped with a differentiable structure, then φ is usually required to be differentiable. In these cases the flow forms a one parameter subgroup of homeomorphisms and diffeomorphisms, respectively.
In certain situations one might also consider local flows, which are defined only in some subset
called the flow domain of φ. This is often the case with the flows of vector fields.
Read more about this topic: Flow (mathematics)
Famous quotes containing the words formal and/or definition:
“The conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.”
—David Elkind (20th century)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)