In mathematics, particularly topology, the homeomorphism group of a topological space is the group consisting of all homeomorphisms from the space to itself with function composition as the group operation.
They are important to the theory of topological spaces, generally exemplary of automorphism groups and topologically invariant in the group isomorphism sense.
There is a natural group action of the homeomorphism group of a space on that space.
be a topological space and denote the homeomorphism group of
denotes the group action, and the identity element of
If this action is transitive, then the space is said to be homogeneous.
In the case of regular, locally compact spaces the group multiplication is then continuous.
If the space is compact and Hausdorff, the inversion is continuous as well and
[1] tSome locally compact separable metric spaces exhibit an inversion map that is not continuous, resulting in
[1] In geometric topology especially, one considers the quotient group obtained by quotienting out by isotopy, called the mapping class group: The MCG can also be interpreted as the 0th homotopy group,
This yields the short exact sequence: In some applications, particularly surfaces, the homeomorphism group is studied via this short exact sequence, and by first studying the mapping class group and group of isotopically trivial homeomorphisms, and then (at times) the extension.