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. Homeomorphism groups are very important in the theory of topological spaces and in general are examples of automorphism groups. Homeomorphism groups are topological invariants in the sense that the homeomorphism groups of homeomorphic topological spaces are isomorphic as groups.
Properties and Examples
Template:Expand section As with other sets of maps between topological spaces, the homeomorphism group can be given a topology, such as the compact-open topology (in the case of regular, locally compact spaces), making it into a topological group.
In the category of topological spaces with homeomorphisms, object groups are exactly homeomorphism groups.
Mapping class group
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.