|
|
| Line 1: |
Line 1: |
| In [[mathematics]], the '''Hurewicz theorem''' is a basic result of [[algebraic topology]], connecting [[homotopy theory]] with [[homology theory]] via a map known as the '''Hurewicz homomorphism'''. The theorem is named after [[Witold Hurewicz]], and generalizes earlier results of [[Henri Poincaré]].
| | Hiya. The author's name is Eusebio remember, though , he never really enjoyed that name. In his professional life he is also a people [http://Search.usa.gov/search?query=manager manager]. He's always loved living inside Guam and he owns everything that he could use there. To drive is one of those things he loves virtually. He's been working by his website for individuals time now. Check it out here: http://[http://Www.Bing.com/search?q=circuspartypanama&form=MSNNWS&mkt=en-us&pq=circuspartypanama circuspartypanama].com<br><br>Also visit my web page :: [http://circuspartypanama.com clash of clans hacker v1.3] |
| | |
| ==Statement of the theorems==
| |
| The Hurewicz theorems are a key link between [[homotopy group]]s and
| |
| [[homology group]]s.
| |
| | |
| ===Absolute version===
| |
| For any space ''X'' and positive integer ''k'' there exists a [[group homomorphism]]
| |
| | |
| :<math>h_{\ast}\colon\, \pi_k(X) \to H_k(X) \,\!</math>
| |
| | |
| called the Hurewicz homomorphism from the ''k''-th [[homotopy group]] to the ''k''-th [[Homology (mathematics)|homology group]] (with integer coefficients), which for ''k'' = 1 is equivalent to the canonical [[Commutator subgroup|abelianization map]]
| |
| | |
| :<math>h_{\ast}\colon\, \pi_1(X) \to \pi_1(X)/[ \pi_1(X), \pi_1(X)] . \,\!</math>
| |
| | |
| The Hurewicz theorem states that if ''X'' is [[N-connected|(''n'' − 1)-connected]], the Hurewicz map is an [[isomorphism]] for all ''k'' ≤ ''n'' when ''n'' ≥ ''2'' and abelianization for ''n'' = ''1''. In particular, this theorem says that the abelianization of the first homotopy group (the [[fundamental group]]) is isomorphic to the first homology group:
| |
| | |
| :<math> H_1(X) \cong \pi_1(X)/[ \pi_1(X), \pi_1(X)] . \,\!</math>
| |
| | |
| The first homology group therefore vanishes if ''X'' is [[Connected space|path-connected]] and π<sub>1</sub>(''X'') is a [[perfect group]].
| |
| | |
| In addition, the Hurewicz homomorphism is an [[epimorphism]] from <math>\pi_{n+1}(X) \to H_{n+1}(X)</math> whenever X is (''n'' − 1)-connected, for <math>n \ge 2</math>.
| |
| | |
| The group homomorphism is given in the following way. Choose canonical generators <math>u_n \in H_n(S^n)</math>. Then a homotopy class of maps <math>f \in \pi_n(X)</math> is taken to <math>f_*(u_n) \in H_n(X)</math>.
| |
| | |
| ===Relative version===
| |
| For any pair of spaces (''X'',''A'') and integer ''k'' > 1 there exists a homomorphism
| |
| | |
| :<math>h_{\ast}\colon \pi_k(X,A) \to H_k(X,A) \,\!</math> | |
| | |
| from relative homotopy groups to relative homology groups. The Relative Hurewicz Theorem states that if each of ''X'', ''A'' are connected and the pair (''X'',''A'') is (''n''−1)-connected then ''H''<sub>''k''</sub>(''X'',''A'') = 0 for ''k'' < ''n'' and ''H''<sub>''n''</sub>(''X'',''A'') is obtained from π<sub>''n''</sub>(''X'',''A'') by factoring out the action of π<sub>1</sub>(''A''). This is proved in, for example, {{Harvtxt|Whitehead|1978}} by induction, proving in turn the absolute version and the Homotopy Addition Lemma.
| |
| | |
| This relative Hurewicz theorem is reformulated by {{Harvtxt|Brown|Higgins|1981}} as a statement about the morphism
| |
| :<math>\pi_n(X,A) \to \pi_n(X \cup CA) \,\!. </math>
| |
| | |
| This statement is a special case of a [[homotopical excision theorem]], involving induced modules for n>2 (crossed modules if n=2), which itself is deduced from a higher homotopy [[van Kampen theorem]] for relative homotopy groups, whose proof requires development of techniques of a cubical higher homotopy groupoid of a filtered space.
| |
| | |
| ===Triadic version===
| |
| For any triad of spaces (''X'';''A'',''B'') (i.e. space ''X'' and subspaces ''A'',''B'') and integer ''k'' > 2 there exists a homomorphism
| |
| | |
| :<math>h_{\ast}\colon \pi_k(X;A,B) \to H_k(X;A,B) \,\!</math>
| |
| | |
| from triad homotopy groups to triad homology groups. Note that ''H''<sub>''k''</sub>(''X'';''A'',''B'') ≅ ''H''<sub>''k''</sub>(''X''∪(''C''(''A''∪''B'')). The Triadic Hurewicz Theorem states that if ''X'', ''A'', ''B'', and ''C'' = ''A''∩''B'' are connected, the pairs (''A'',''C''), (''B'',''C'') are respectively (''p''−1)-, (''q''−1)-connected, and the triad (''X'';''A'',''B'') is ''p''+''q''−2 connected, then ''H''<sub>''k''</sub>(''X'';''A'',''B'') = 0 for ''k'' < ''p''+''q''−2 and ''H''<sub>''p''+''q''−1</sub>(''X'';''A'') is obtained from π<sub>''p''+''q''−1</sub>(''X'';''A'',''B'') by factoring out the action of π<sub>1</sub>(''A''∩''B'') and the generalised Whitehead products. The proof of this theorem uses a higher homotopy van Kampen type theorem for triadic homotopy groups, which requires a notion of the fundamental cat<sup>''n''</sup>-group of an ''n''-cube of spaces.
| |
| | |
| ===Simplicial set version===
| |
| The Hurewicz theorem for topological spaces can also be stated for ''n''-connected [[simplicial set]]s satisfying the Kan condition.<ref>{{Citation | last1=Goerss | first1=P. G. | last2=Jardine | first2=J. F. | title=Simplicial Homotopy Theory | publisher=Birkhäuser | location=Basel, Boston, Berlin | series=Progress in Mathematics | isbn=978-3-7643-6064-1 | year=1999 | volume=174}}, III.3.6, 3.7</ref>
| |
| | |
| ===Rational Hurewicz theorem===
| |
| | |
| '''Rational Hurewicz theorem:<ref>{{Citation | last1=Klaus | first1=S. | last2=Kreck | first2=M. | title=A quick proof of the rational Hurewicz theorem and a computation of the rational homotopy groups of spheres | journal= Mathematical Proceedings of the Cambridge Philosophical Society | year=2004 | volume=136 | pages=617–623}}</ref><ref>{{Citation | last1=Cartan | first1=H. | last2=Serre | first2=J. P. | title= Espaces fibres et groupes d'homotopie, II, Applications | journal= C. R. Acad. Sci. Paris | year=1952 | volume=2 | number=34 |pages=393–395}}</ref>''' Let ''X'' be a simply connected topological space with <math>\pi_i(X)\otimes \mathbb{Q} = 0</math> for <math>i\leq r</math>. Then the Hurewicz map
| |
| :<math>h\otimes \mathbb{Q} : \pi_i(X)\otimes \mathbb{Q} \longrightarrow H_i(X;\mathbb{Q})</math> | |
| | |
| induces an isomorphism for <math>1\leq i \leq 2r</math> and a surjection for <math>i = 2r+1</math>.
| |
| | |
| ==References==
| |
| <references />
| |
| | |
| * {{citation
| |
| |last= Brown
| |
| |first= R.
| |
| |title= Triadic Van Kampen theorems and Hurewicz theorems
| |
| |journal= Contemporary Mathematics
| |
| |year= 1989
| |
| |volume= 96
| |
| |pages=39–57
| |
| |issn= 0040-9383
| |
| }}
| |
| <!--* R. Brown, ''Triadic Van Kampen theorems and Hurewicz theorems'', Algebraic Topology, Proc. Int. Conf. March 1988, Edited M.Mahowald and S.Priddy, Cont. Math. 96 (1989) 39-57.-->
| |
| * {{citation
| |
| |last1= Brown
| |
| |first1= Ronald
| |
| |last2= Higgins
| |
| |first2= P. J.
| |
| |title= Colimit theorems for relative homotopy groups
| |
| |journal= Journal of Pure and Applied Algebra
| |
| |year= 1981
| |
| |volume= 22
| |
| |pages= 11–41
| |
| |issn= 0022-4049
| |
| |doi= 10.1016/0022-4049(81)90080-3
| |
| }}
| |
| * {{citation
| |
| |last1= Brown
| |
| |first1= R.
| |
| |last2= Loday
| |
| |first2= J.-L.
| |
| |title= Homotopical excision, and Hurewicz theorems, for n-cubes of spaces
| |
| |journal= Proceedings of the London Mathematical Society. Third Series
| |
| |year= 1987
| |
| |volume= 54
| |
| |pages=176–192
| |
| |issn= 0024-6115
| |
| |doi= 10.1112/plms/s3-54.1.176
| |
| }}
| |
| * {{citation
| |
| |last1= Brown
| |
| |first1= R.
| |
| |last2= Loday
| |
| |first2= J.-L.
| |
| |title= Van Kampen theorems for diagrams of spaces
| |
| |journal= [[Topology (journal)|Topology]]
| |
| |year= 1987
| |
| |volume= 26
| |
| |pages=311–334
| |
| |issn= 0040-9383
| |
| |doi= 10.1016/0040-9383(87)90004-8
| |
| |issue= 3
| |
| }}
| |
| * {{citation
| |
| |last= Rotman
| |
| |first= Joseph J.<!--
| |
| |author-link= Joseph J. Rotman--><!-- missing link -->
| |
| |title= An Introduction to Algebraic Topology
| |
| |publisher= [[Springer-Verlag]]
| |
| |year= 1988
| |
| |publication-date= 1998-07-22
| |
| |series= [[Graduate Texts in Mathematics]]
| |
| |volume= 119
| |
| |isbn= 978-0-387-96678-6
| |
| }}
| |
| * {{citation
| |
| |last= Whitehead
| |
| |first= George W.
| |
| |author-link= George W. Whitehead
| |
| |title= Elements of Homotopy Theory
| |
| |publisher= [[Springer-Verlag]]
| |
| |year= 1978
| |
| |series= [[Graduate Texts in Mathematics]]
| |
| |volume= 61
| |
| |isbn= 978-0-387-90336-1
| |
| }}
| |
| | |
| [[Category:Homotopy theory]]
| |
| [[Category:Homology theory]]
| |
| [[Category:Theorems in algebraic topology]] | |
Hiya. The author's name is Eusebio remember, though , he never really enjoyed that name. In his professional life he is also a people manager. He's always loved living inside Guam and he owns everything that he could use there. To drive is one of those things he loves virtually. He's been working by his website for individuals time now. Check it out here: http://circuspartypanama.com
Also visit my web page :: clash of clans hacker v1.3