Difference between revisions of "Killing space"
From Encyclopedia of Mathematics
(Importing text file) |
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
||
| Line 1: | Line 1: | ||
| − | + | <!-- | |
| + | k0554101.png | ||
| + | $#A+1 = 15 n = 0 | ||
| + | $#C+1 = 15 : ~/encyclopedia/old_files/data/K055/K.0505410 Killing space | ||
| + | Automatically converted into TeX, above some diagnostics. | ||
| + | Please remove this comment and the {{TEX|auto}} line below, | ||
| + | if TeX found to be correct. | ||
| + | --> | ||
| − | + | {{TEX|auto}} | |
| + | {{TEX|done}} | ||
| − | + | '' $ ( X , n ) $'' | |
| − | + | A [[Fibre space|fibre space]] $ p _ {n} : ( X , n ) \rightarrow X $ | |
| + | for which the homotopy groups $ \pi _ {i} ( X , n ) $ | ||
| + | vanish if $ i < n $, | ||
| + | and $ p _ {n*} : \pi _ {i} ( X , n ) \rightarrow \pi _ {i} ( X) $ | ||
| + | is an isomorphism if $ i \geq n $. | ||
| + | The space $ ( X , n ) $ | ||
| + | is constructed by induction with respect to $ n $. | ||
| + | If $ ( X , n - 1 ) $ | ||
| + | has already been constructed, then $ ( X , n ) $ | ||
| + | is taken to be the homotopy fibre of the canonical mapping | ||
| + | $$ | ||
| + | ( X , n - 1 ) \rightarrow K ( \pi _ {n-} 1 ( X) , n - 1 ) , | ||
| + | $$ | ||
| + | $ K ( \pi _ {n-} 1 ( X) , n - 1 ) $ | ||
| + | denoting an [[Eilenberg–MacLane space|Eilenberg–MacLane space]]. The sequence of spaces $ ( X , n ) $ | ||
| + | and mappings $ p _ {n} $ | ||
| + | is a Moore–Postnikov system of the mapping $ * \rightarrow X $. | ||
====Comments==== | ====Comments==== | ||
Latest revision as of 22:14, 5 June 2020
$ ( X , n ) $
A fibre space $ p _ {n} : ( X , n ) \rightarrow X $ for which the homotopy groups $ \pi _ {i} ( X , n ) $ vanish if $ i < n $, and $ p _ {n*} : \pi _ {i} ( X , n ) \rightarrow \pi _ {i} ( X) $ is an isomorphism if $ i \geq n $. The space $ ( X , n ) $ is constructed by induction with respect to $ n $. If $ ( X , n - 1 ) $ has already been constructed, then $ ( X , n ) $ is taken to be the homotopy fibre of the canonical mapping
$$ ( X , n - 1 ) \rightarrow K ( \pi _ {n-} 1 ( X) , n - 1 ) , $$
$ K ( \pi _ {n-} 1 ( X) , n - 1 ) $ denoting an Eilenberg–MacLane space. The sequence of spaces $ ( X , n ) $ and mappings $ p _ {n} $ is a Moore–Postnikov system of the mapping $ * \rightarrow X $.
Comments
See also [a1], Chapt. 8, Sect. 3.
References
| [a1] | E.H. Spanier, "Algebraic topology" , McGraw-Hill (1966) pp. Chapt. 2 |
How to Cite This Entry:
Killing space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Killing_space&oldid=12415
Killing space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Killing_space&oldid=12415
This article was adapted from an original article by A.F. Kharshiladze (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article