Neighbourhood (mathematics): Difference between revisions
en>Crazytonyi No edit summary |
en>Marc van Woerkom |
||
| Line 1: | Line 1: | ||
In [[mathematics]], particularly [[topology]], the '''homeomorphism group''' of a [[topological space]] is the [[group (mathematics)|group]] consisting of all [[homeomorphism]]s from the space to itself with [[function composition]] as the group [[binary operation|operation]]. Homeomorphism groups are very important in the theory of topological spaces and in general are examples of [[automorphism group]]s. Homeomorphism groups are [[topological invariant]]s in the sense that the homeomorphism groups of homeomorphic topological spaces are [[Group isomorphism|isomorphic as groups]]. | |||
==Properties and Examples== | |||
There is a natural [[group action]] of the homeomorphism group of a space on that space. If this action is [[transitive group action|transitive]], then the space is said to be [[Homogeneous space|homogeneous]]. | |||
===Topology=== | |||
{{Expand section|date=March 2009}} | |||
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== | |||
{{Main|Mapping class group}} | |||
In [[geometric topology]] especially, one considers the [[quotient group]] obtained by quotienting out by [[Homotopy#Isotopy|isotopy]], called the [[mapping class group]]: | |||
:<math>{\rm MCG}(X) = {\rm Homeo}(X) / {\rm Homeo}_0(X)</math> | |||
The MCG can also be interpreted as the 0th [[homotopy group]], <math>{\rm MCG}(X) = \pi_0({\rm Homeo}(X))</math>. | |||
This yields the [[short exact sequence]]: | |||
:<math>1 \rightarrow {\rm Homeo}_0(X) \rightarrow {\rm Homeo}(X) \rightarrow {\rm MCG}(X) \rightarrow 1.</math> | |||
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. | |||
==See also== | |||
* [[Mapping class group]] | |||
==References== | |||
*{{Springer|id=H/h047610|title=homeomorphism group}} | |||
{{DEFAULTSORT:Homeomorphism Group}} | |||
[[Category:Group theory]] | |||
[[Category:Topology]] | |||
[[Category:Topological groups]] | |||
Revision as of 22:12, 13 December 2013
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
There is a natural group action of the homeomorphism group of a space on that space. If this action is transitive, then the space is said to be homogeneous.
Topology
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
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. 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.
See also
References
- Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.
my web-site http://himerka.com/