Notes about math, research, and more.
:tags: topology, flows

Definition

A transformation group is a triple (X,T,π) where

(X,T,π) satisfy the following:

  1. π(x,e)=x (xX,e the identity of T) and
  2. π(π(x,s),t)=π(x,st) (xX,s,tT).

Synonyms:

  1. transformation group ↔ flow
  2. topological space ↔ phase space
  3. topological group ↔ phase group or acting group

Typical assumptions

  1. The phase space X is Hausdorff.
  2. Often assume the topology on T is discrete (because the topology is mostly irrelevant).
  3. Typically assume that X is compact.

Maps

πt

Each tT defines a continuous map πt of XX by πt(x)=π(x,t). If t,sT, it is immediate that πsπt=πst; in particular, πt1πt=πe, the identity map of X, so each πt is a homeomorphism of X onto itself, with πt1=(πt)1.

Axioms

  1. (x,t)xt is continuous
  2. xe=x
  3. (xs)t=x(st)

Extensions

Let (X,T) and (Y,T) be flows with the same acting group. A homomorphism from X to Y is a continuous map π:XY such that π(xt)=π(x)t for all xX,tT.

If there is a homomorphism π from X onto Y, we say that T is a factor of X and X is an extension of Y.

Notation

  1. flows will be used over transformation group
  2. π(x,y) will be written as xt
  3. Regard tT as “acting on X”.
  4. Usually write (X,T) or even just X if the group T is understood.
  5. An element tT will be identified with the homeomorphism of X it defines (πt).

Notes

The topology of the group is really not that important - it is the action of the group of homeomorphisms that is interesting.