One often considers continuous group actions: the group G is a topological group, X is a topological space, and the map G × X → X is continuous with respect to the product topology of G × X. The space X is also called a G-space in this case. This is indeed a generalization, since every group can be considered a topological group by using the discrete topology. All the concepts introduced above still work in this context, however we define morphisms between G-spaces to be continuous maps compatible with the action of G. The quotient X/G inherits the quotient topology from X, and is called the quotient space of the action. The above statements about isomorphisms for regular, free and transitive actions are no longer valid for continuous group actions.
If G is a discrete group acting on a topological space X, the action is properly discontinuous if for any point x in X there is an open neighborhood U of x in X, such that the set of all g in G for which consists of the identity only. If X is a regular covering space of another topological space Y, then the action of the deck transformation group on X is properly discontinuous as well as being free. Every free, properly discontinuous action of a group G on a path-connected topological space X arises in this manner: the quotient map X ↦ X/G is a regular covering map, and the deck transformation group is the given action of G on X. Furthermore, if X is simply connected, the fundamental group of X/G will be isomorphic to G.
These results have been generalised in the book Topology and Groupoids referenced below to obtain the fundamental groupoid of the orbit space of a discontinuous action of a discrete group on a Hausdorff space, as, under reasonable local conditions, the orbit groupoid of the fundamental groupoid of the space. This allows calculations such as the fundamental group of the symmetric square of a space X, namely the orbit space of the product of X with itself under the twist action of the cyclic group of order 2 sending (x, y) to (y, x).
An action of a group G on a locally compact space X is cocompact if there exists a compact subset A of X such that GA = X. For a properly discontinuous action, cocompactness is equivalent to compactness of the quotient space X/G.
The action of G on X is said to be proper if the mapping G×X → X×X that sends (g,x)↦(g.x, x) is a proper map.
Read more about this topic: Group Action
Famous quotes containing the words continuous, group and/or actions:
“There is no such thing as a life of passion any more than a continuous earthquake, or an eternal fever. Besides, who would ever shave themselves in such a state?”
—George Gordon Noel Byron (1788–1824)
“The government of the United States at present is a foster-child of the special interests. It is not allowed to have a voice of its own. It is told at every move, “Don’t do that, You will interfere with our prosperity.” And when we ask: “where is our prosperity lodged?” a certain group of gentlemen say, “With us.””
—Woodrow Wilson (1856–1924)
“When a Man is in a serious Mood, and ponders upon his own Make, with a Retrospect to the Actions of his Life, and the many fatal Miscarriages in it, which he owes to ungoverned Passions, he is then apt to say to himself, That Experience has guarded him against such Errors for the future: But Nature often recurs in Spite of his best Resolutions, and it is to the very End of our Days a Struggle between our Reason and our Temper, which shall have the Empire over us.”
—Richard Steele (1672–1729)