|
|
| Line 1: |
Line 1: |
| {{distinguish|homotopy}}
| | Alyson is what my husband enjoys to contact me but I don't like when individuals use my complete name. Ohio is where her home is. Credit authorising is how she tends to make a living. The preferred hobby for him and his kids is to perform lacross and he would by no means give it up.<br><br>Take a look at my web page - email psychic readings ([http://www.chk.woobi.co.kr/xe/?document_srl=346069 click the up coming webpage]) |
| | |
| In [[algebraic topology]], an area of [[mathematics]], a '''homeotopy group''' of a [[topological space]] is a [[homotopy group]] of the group of [[homeomorphism|self-homeomorphism]]s of that space.
| |
| | |
| ==Definition==
| |
| The [[homotopy group]] [[functor]]s <math>\pi_k</math> assign to each [[path-connected]] topological space <math>X</math> the group <math>\pi_k(X)</math> of [[homotopy class]]es of continuous maps <math>S^k\to X.</math>
| |
| | |
| Another construction on a space <math>X</math> is the [[Homeomorphism group|group of all self-homeomorphisms]] <math>X \to X</math>, denoted <math>{\rm Homeo}(X).</math> If ''X'' is a [[locally compact]], [[locally connected]] [[Hausdorff space]] then a fundamental result of [[R. Arens]] says that <math>{\rm Homeo}(X)</math> will in fact be a [[topological group]] under the [[compact-open topology]].
| |
| | |
| Under the above assumptions, the '''homeotopy''' groups for <math>X</math> are defined to be:
| |
| | |
| :<math>HME_k(X)=\pi_k({\rm Homeo}(X)).</math>
| |
| | |
| Thus <math>HME_0(X)=\pi_0({\rm Homeo}(X))=MCG^*(X)</math> is the '''extended''' [[mapping class group]] for <math>X.</math> In other words, the extended mapping class group is the set of connected components of <math>{\rm Homeo}(X)</math> as specified by the functor <math>\pi_0.</math>
| |
| | |
| ==Example==
| |
| According to the [[Dehn-Nielsen theorem]], if <math>X</math> is a closed surface then <math>HME_0(X)={\rm Out}(\pi_1(X)),</math> the [[outer automorphism group]] of its [[fundamental group]].
| |
| | |
| ==References==
| |
| *G.S. McCarty. ''Homeotopy groups''. Trans. A.M.S. 106(1963)293-304.
| |
| *R. Arens, ''Topologies for homeomorphism groups'', Amer. J. Math. 68 (1946), 593–610.
| |
| | |
| [[Category:Algebraic topology]]
| |
| [[Category:Homeomorphisms]]
| |
| | |
| {{topology-stub}}
| |
Revision as of 15:28, 2 March 2014
Alyson is what my husband enjoys to contact me but I don't like when individuals use my complete name. Ohio is where her home is. Credit authorising is how she tends to make a living. The preferred hobby for him and his kids is to perform lacross and he would by no means give it up.
Take a look at my web page - email psychic readings (click the up coming webpage)