Namespaces
Variants
Actions

Spheres, homotopy groups of the

From Encyclopedia of Mathematics
Revision as of 08:22, 6 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
Jump to: navigation, search


An object of study in classical homotopy theory. The calculation of the homotopy groups of the spheres, $ \pi _ {i} ( S ^ {n} ) $, was considered in its time (especially in the 1950's) as one of the central problems in topology. Topologists hoped that these groups could be successfully calculated completely, and that they would help to solve other classification problems in homotopy. These hopes were not to be realized in full: The homotopy groups of the spheres could only be calculated partially, and with the development of generalized cohomology theories, the problem of their calculation became less pressing. However, all the information that had been compiled on these groups was not wasted, as it found an unexpected use in differential topology (the classification of differential structures on spheres and multi-dimensional knots).

I. General theory.

1) If $ i < n $ or $ i > n= 1 $, then $ \pi _ {i} ( S ^ {n} ) = 0 $.

2) $ \pi _ {n} ( S ^ {n} ) = \mathbf Z $( the Brouwer–Hopf theorem); this isomorphism relates an element of the group $ \pi _ {n} ( S ^ {n} ) $ to the degree of the mapping $ S ^ {n} \rightarrow S ^ {n} $ representing it.

3) The groups $ \pi _ {4m-} 1 ( S ^ {2m} ) $ have rank 1; the other groups $ \pi _ {i} ( S ^ {n} ) $ with $ i \neq n $ are finite.

The suspension homomorphism

$$ E : \pi _ {i} ( S ^ {n} ) \rightarrow \pi _ {i+} 1 ( S ^ {n+} 1 ) $$

relates an element of the group $ \pi _ {i} ( S ^ {n} ) $, represented by the mapping $ f: S ^ {i} \rightarrow S ^ {n} $, to the class of the mapping $ Ef : S ^ {i+} 1 \rightarrow S ^ {n+} 1 $, defined by the formula

$$ Ef( \sqrt {1 - x ^ {2} } \mathbf x , x) = \left \{ where $ \mathbf x \in S ^ {i} $, $ x \in \mathbf R $. 4) The homomorphism $ E $ is an isomorphism when $ i > 2n- 1 $, and an epimorphism when $ i \geq 2n- 1 $. Thus, for every $ k $ the groups $ \pi _ {n+} k ( S ^ {n} ) $ can be made terms of a sequence $$ \pi _ {1+} k ( S ^ {1} ) \ \rightarrow ^ { E } \ \pi _ {2+} k ( S ^ {2} ) \ \rightarrow ^ { E } \ \pi _ {3+} k ( S ^ {3} ) \ \rightarrow ^ { E } \dots , $$ at the $ ( k+ 2) $- nd term of which stabilization begins; the groups $ \pi _ {n+} k ( S ^ {n} ) $ with $ n \geq k+ 2 $ are called the $ k $- th stable homotopy groups of the spheres, and are denoted by $ \pi _ {k} ^ {s} $. Then $ \pi _ {k} ^ {s} = 0 $ when $ k < 0 $ and $ \pi _ {0} ^ {s} = \mathbf Z $. As for the homotopy groups (cf. [[Homotopy group|Homotopy group]]) of any topological space, the Whitehead product is defined on the homotopy groups of the spheres: $$ \pi _ {i} ( S ^ {n} ) \times \pi _ {j} ( S ^ {n} ) \rightarrow \pi _ {i+} j- 1 ( S ^ {n} ) ,\ \ ( \alpha , \beta ) \rightarrow [ \alpha , \beta ]. $$ To its usual properties (distributivity, skew commutativity and the Jacobi identity) is added 5) $ E[ \alpha , \beta ] = 0 $. The Whitehead product enables one to make the following refinement to 4): 6) The kernel of the epimorphism $ E : \pi _ {2n-} 1 ( S ^ {n} ) \rightarrow \pi _ {2n} ( S ^ {n+} 1 ) $ is generated by the class $ [ i _ {n} , i _ {n} ] $, where $ i _ {n} $ is a canonical generator of the group $ \pi _ {n} ( S ^ {n} ) $( representable by the identity mapping). Closely linked to the Whitehead product is the [[Hopf invariant|Hopf invariant]] $ H( \alpha ) $, defined for $ \alpha \in \pi _ {4m-} 1 ( S ^ {2m} ) $. Thus, the element of the group $ \pi _ {3} ( S ^ {2} ) $ which can be represented by the Hopf mapping $ h: S ^ {3} \rightarrow S ^ {2} $ that operates according to the formula $ h( z _ {1} , z _ {2} ) = z _ {1} : z _ {2} $( in which $ S ^ {3} $ is interpreted as the unit sphere in the space $ \mathbf C ^ {2} $, while $ S ^ {2} $ is interpreted as $ \mathbf C P ^ {1} $) has Hopf invariant equal to 1. 7) The mapping $ H: \pi _ {3} ( S ^ {2} ) \rightarrow \mathbf Z $ is an isomorphism. 8) $ H([ i _ {2m} , i _ {2m} ]) = 2 $. A consequence of 8) is that the groups $ \pi _ {4m-} 1 ( S ^ {2m} ) $ are infinite, a fact already stated in 3). 9) When $ m \neq 1, 2, 4 $, in $ \pi _ {4m-} 1 ( S ^ {2m} ) $ there are no elements of odd Hopf invariant (as was known long before this theorem was proved, its assertion is equivalent to the following Frobenius conjecture: when $ l \neq 1, 2, 4, 8 $, then in $ \mathbf R ^ {l} $ there is no bilinear multiplication with single-valued division on non-zero elements). The composition product $$ \pi _ {i} ( S ^ {j} ) \times \pi _ {j} ( S ^ {n} ) \rightarrow \pi _ {i} ( S ^ {n} ) ,\ \ ( \beta , \alpha ) \rightarrow \alpha \circ \beta , $$ which can be defined by juxtaposition of mappings, is unique to the spheres. 10) For any $ \alpha , \alpha _ {1} , \alpha _ {2} \in \pi _ {j} ( S ^ {n} ) $, $ \beta , \beta _ {1} , \beta _ {2} \in \pi _ {i} ( S ^ {j} ) $, $ \delta \in \pi _ {i-} 1 ( S ^ {j-} 1 ) $, $ \gamma \in \pi _ {k} ( S ^ {j} ) $, the following hold: a) $ ( \alpha \circ \beta ) \circ \gamma = \alpha \circ ( \beta \circ \gamma ) $; b) $ \alpha \circ ( \beta _ {1} + \beta _ {2} ) = \alpha \circ \beta _ {1} + \alpha \circ \beta _ {2} $; c) $ ( \alpha _ {1} + \alpha _ {2} ) \circ E \delta = \alpha _ {1} \circ E \delta + \alpha _ {2} \circ E \delta $; d) $ E( \alpha \circ \beta ) = E \alpha \circ E \beta $. The "left law of distributivity" , $ ( \alpha _ {1} + \alpha _ {2} ) \circ \beta = \alpha _ {1} \circ \beta + \alpha _ {2} \circ \beta $, generally speaking, does not hold. Assertion d) enables one to define a stable composition product $$ \pi _ {q} ^ {s} \times \pi _ {r} ^ {s} \rightarrow \pi _ {q+} r ^ {s} ,\ \ ( \beta , \alpha ) \rightarrow \alpha \circ \beta . $$ 11) For any $ \alpha , \alpha _ {1} , \alpha _ {2} \in \pi _ {r} ^ {s} $, $ \beta , \beta _ {1} , \beta _ {2} \in \pi _ {q} ^ {s} $, $ \gamma \in \pi _ {p} ^ {s} $, assertions a) and b) in 10) hold, as do: c') $ ( \alpha _ {1} + \alpha _ {2} ) \circ \beta = \alpha _ {1} \circ \beta + \alpha _ {2} \circ \beta $, d') $ \alpha \circ \beta = (- 1) ^ {qr} \beta \circ \alpha $. =='"`UNIQ--h-1--QINU`"'II. Methods of calculation.== The geometric method of L.S. Pontryagin (see [[#References|[1]]]), proposed in the mid-1930s, is based on the following definition. A smooth $ m $- dimensional compact manifold $ X $ in $ \mathbf R ^ {i} $ is said to be framed if a smooth field of $ ( i- m) $- frames transversal to it is defined on the manifold; the field itself is said to be a framing. Two framed manifolds $ X _ {0} , X _ {1} \subset \mathbf R ^ {i} $, without boundary, are said to be cobordant if there exists a framed manifold $ Y \subset \mathbf R ^ {i} \times [ 0, 1] \subset \mathbf R ^ {i+} 1 $ with $ \partial Y = ( X _ {0} \times 0) \cup ( X _ {1} \times 1) $ for which the restriction of the framing onto $ X _ {0} \times 0 $ and $ X _ {1} \times 1 $ is contained in $ \mathbf R ^ {i} \times 0 $ and $ \mathbf R ^ {i} \times 1 $, and, given a natural identification of $ \mathbf R ^ {i} \times 0 $ and $ \mathbf R ^ {i} \times 1 $ with $ \mathbf R ^ {i} $, is turned into the given framing of the manifolds $ X _ {0} $ and $ X _ {1} $. The set of classes of cobordant framed $ m $- dimensional manifolds without boundary in $ \mathbf R ^ {i} $ is denoted by $ \Omega ^ {m} ( i) $. 1) There is a one-to-one correspondence between $ \pi _ {i} ( S ^ {n} ) $ and $ \Omega ^ {i-} n ( i) $. This method gives good results for small $ i- n $. It also makes it possible to prove certain of the theorems in section I and provides a variety of geometric information on manifolds of small dimensions. Another group of methods consists of elementary algebraic methods comprising the use of homotopy sequences of various fibre bundles, properties of the Whitehead product, the composition product, and the corresponding higher product (Toda brackets, see [[#References|[3]]]), as well as the following theorem of James. 2) There is a sequence of groups and homomorphisms $$ {} \dots \rightarrow \pi _ {i} ( S ^ {n} ) \rightarrow ^ { E } \ \pi _ {i+} 1 ( S ^ {n+} 1 ) \rightarrow ^ { H } \pi _ {i+} 1 ( S ^ {2n+} 1 ) \rightarrow ^ { P } \ $$ $$ \rightarrow ^ { P } \pi _ {i-} 1 ( S ^ {n} ) \rightarrow \dots , $$ which is exact for odd $ n $ and for $ i < 3n- 1 $( in this sequence, $ H $ is a generalization of the Hopf invariant). Elementary algebraic methods prove to be reasonable effective: It is possible to calculate the groups $ \pi _ {i} ( S ^ {n} ) $ when $ i- n \leq 13 $ almost without having to resort to other methods. There is also the method of killing spaces (see [[#References|[5]]] and [[Killing space|Killing space]]). This method is suitable for the calculation of the homotopy groups of any space. It is based on the construction, using a space $ X $, of a sequence of killing spaces $ X \mid _ {k} $ with the following property: $$ \pi _ {i} ( X \mid _ {k} ) = \left \{

Thus, $ \pi _ {i} ( X) = \pi _ {i} ( X | _ {i} ) = H _ {i} ( X | _ {i} ) $ and the problem of calculating the homotopy groups reduces to the problem of calculating the homology groups (and the cohomology groups) of $ X \mid _ {i} $. These homology groups are found by induction, using spectral sequences (cf. Spectral sequence) of fibre bundles: $ X \mid _ {k} $ is broken down with fibre $ X \mid _ {k+} 1 $ over the Eilenberg–MacLane space $ K( \pi _ {k} ( X), k) $. The calculation does not have an automatic character: In order to progress, it is necessary to know as much as possible about the cohomology groups of $ X $, including the action in them of the primary and the higher cohomology operations (cf. Cohomology operation).

A more suitable apparatus for calculating the stable homotopy groups of the spheres is the Adams spectral sequence. Let $ p $ be a prime number, and let $ A _ {(} p) $ be the Steenrod algebra of stable cohomology operations on the cohomology spaces with coefficients in $ Z _ {p} $.

3) There exists a spectral sequence the first term of which coincides with the cohomology groups of the Steenrod algebra (i.e. with $ \mathop{\rm Ext} _ {A ^ {(} p) } ( \mathbf Z _ {p} , \mathbf Z _ {p} ) $), while the limit term is related to the stable homotopy groups of the spheres factored by the torsion of order relatively prime to $ p $.

The Adams spectral sequence permits one to achieve considerable progress in the calculation of the stable homotopy groups of the spheres. An analogous spectral sequence exists for the calculation of the stable homotopy groups of any space. There is also an unstable analogue of the Adams spectral sequence (see [4]).

More modern methods of calculating the homotopy groups of the spheres are based on generalized cohomology theories. One of these involves the use of the Adams' $ e $- invariant, which is closely linked to $ K $- theory. In constructing this $ e $- invariant, a mapping $ f: S ^ {i} \rightarrow S ^ {n} $ representing a class $ \alpha \in \pi _ {i} ( S ^ {n} ) $ is fixed, and the space $ X _ \alpha = S ^ {n} \cup _ {f} D ^ {i+} 1 $, obtained by attaching an $ ( i+ 1) $- dimensional cell to the sphere $ S ^ {n} $ through the mapping $ f $, is examined. It turns out that

$$ H _ {n} ( X _ \alpha ; \mathbf Z ) \cong \ H _ {i+} 1 ( X _ \alpha ; \mathbf Z ) \cong \mathbf Z . $$

Let $ \mu , \nu $ be the canonical generators of these groups. There exists a complex vector bundle $ \xi $ over $ X _ \alpha $ with Chern character $ \mathop{\rm ch} \xi $ satisfying the relation $ \langle \mathop{\rm ch} \xi , \mu \rangle = 1 $. Then $ \langle \mathop{\rm ch} \xi , \nu \rangle $ is a rational number, the residue of which modulo 1 does not depend on the choice of $ \xi $. This residue is the $ e $- invariant $ e( \alpha ) $ of the class $ \alpha $. The function $ e $ is a homomorphism

$$ e: \pi _ {i} ( S ^ {n} ) \rightarrow \mathbf Q / \mathbf Z , $$

whose image can be determined (see ).

Finally, the potentially most powerful method of calculating the homotopy groups of the spheres (and not only of the spheres) is the Adams–Novikov spectral sequence, an analogue of the Adams spectral sequence, constructed on the basis not of ordinary cohomology groups, but of cobordisms. However, an explicit calculation of the first term of this sequence has inherent difficulties, which have not been overcome yet (1984).

III. Results of calculations.

1) The groups $ \pi _ {i} ( S ^ {n} ) $ with $ i- n \leq 2 $

are isomorphic to the groups from the following table:

<tbody> </tbody>
$ \begin{array}{c} n \\ i- n \end{array} $ 2 3 4 5 6 7 8 9 10 11 12 stable
1 $ \mathbf Z $ $ \mathbf Z _ {2} $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \mathbf Z _ {2} $
2 $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \mathbf Z _ {2} $
3 $ \mathbf Z _ {2} $ $ \mathbf Z _ {12} $ $ \mathbf Z \oplus \mathbf Z _ {12} $ $ \mathbf Z _ {24} $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \mathbf Z _ {24} $
4 $ \mathbf Z _ {12} $ $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} ^ {2} $ $ \mathbf Z _ {2} $ 0 $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ 0
5 $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} ^ {2} $ $ \mathbf Z _ {2} $ $ \mathbf Z $ 0 $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ 0
6 $ \mathbf Z _ {2} $ $ \mathbf Z _ {3} $ $ \mathbf Z _ {24} \oplus \mathbf Z _ {3} $ $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} $ $ \cdot $ $ \cdot $ $ \cdot $ $ \cdot $ $ \mathbf Z _ {2} $
7 $ \mathbf Z _ {3} $ $ \mathbf Z _ {15} $ $ \mathbf Z _ {15} $ $ \mathbf Z _ {30} $ $ \mathbf Z _ {60} $ $ \mathbf Z _ {120} $ $ \mathbf Z \oplus \mathbf Z _ {120} $ $ \mathbf Z _ {40} $ $ \cdot $ $ \cdot $ $ \cdot $ $ \mathbf Z _ {240} $
8 $ \mathbf Z _ {15} $ $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} $ $ \mathbf Z _ {24} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {2} ^ {3} $ $ \mathbf Z _ {2} ^ {4} $ $ \mathbf Z _ {2} ^ {3} $ $ \mathbf Z _ {2} ^ {3} $ $ \cdot $ $ \cdot $ $ \mathbf Z _ {2} ^ {2} $
9 $ \mathbf Z _ {2} $ $ \mathbf Z _ {2} ^ {2} $ $ \mathbf Z _ {2} ^ {3} $ $ \mathbf Z _ {2} ^ {3} $ $ \mathbf Z _ {2} ^ {3} $ $ \mathbf Z _ {2} ^ {4} $ $ \mathbf Z _ {2} ^ {5} $ $ \mathbf Z _ {2} ^ {4} $ $ \mathbf Z \oplus \mathbf Z _ {2} ^ {3} $ $ \mathbf Z _ {2} ^ {3} $ $ \cdot $ $ \mathbf Z _ {2} ^ {3} $
10 $ \mathbf Z _ {2} ^ {2} $ $ \mathbf Z _ {12} \oplus \mathbf Z _ {2} $ $ \begin{array}{c} \mathbf Z _ {120} \oplus \\ \mathbf Z _ {12} \oplus \mathbf Z _ {2} \end{array} $ $ \mathbf Z _ {72} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {72} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {24} \oplus \mathbf Z _ {2} $ $ \begin{array}{c} \mathbf Z _ {24} \oplus \\ \mathbf Z _ {4} \oplus \mathbf Z _ {2} \end{array} $ $ \mathbf Z _ {24} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {12} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {6} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {6} $ $ \mathbf Z _ {6} $
11 $ \mathbf Z _ {12} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {84} \oplus \mathbf Z _ {2} ^ {2} $ $ \mathbf Z _ {84} \oplus \mathbf Z _ {2} ^ {5} $ $ \mathbf Z _ {504} \oplus \mathbf Z _ {4} $ $ \mathbf Z _ {504} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {504} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {504} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {504} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {504} $ $ \mathbf Z _ {504} $ $ \mathbf Z \oplus \mathbf Z _ {504} $ $ \mathbf Z _ {504} $

2) The groups $ \pi _ {k} ^ {s} $ with $ 12 \leq k \leq 22 $

are isomorphic to the groups from the following table:

<tbody> </tbody>
$ k = 12 $ 13 14 15 16 17 18 19 20 21 22
0 $ \mathbf Z _ {3} $ $ \mathbf Z _ {2} ^ {2} $ $ \mathbf Z _ {480} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {2} ^ {2} $ $ \mathbf Z _ {2} ^ {4} $ $ \mathbf Z _ {8} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {264} \oplus \mathbf Z _ {2} $ $ \mathbf Z _ {24} $ $ \mathbf Z _ {2} ^ {2} $ $ \mathbf Z _ {2} ^ {2} $

For further results on the calculation of the groups $ \pi _ {i} ( S ^ {n} ) $, see [3]. Particular progress has been achieved in the calculation of the odd primary components of these groups.

For example:

3) If $ p $ is an odd prime number, then the $ p $- primary component of the group $ \pi _ {k} ^ {s} $ is $ \mathbf Z _ {p} $ when $ k = 2l( p- 1)- 1 $, $ l = 1 \dots ( p- 1) $, and is trivial for other $ k < 2p( p- 1)- 2 $.

There are many results concerning the homotopy groups of the spheres, the domain of action of which is not restricted by any finite range of values $ i- n $. In particular, a large number of infinite series of non-trivial elements of the groups $ \pi _ {i} ( S ^ {n} ) $ is known (see [4]).

4) The order of the image of the Whitehead homomorphism $ J _ {k} $ is equal to the denominator of the irreducible fraction equal to $ B _ {k} /4k $, where $ B _ {k} $ is the $ k $- th Bernoulli number (cf. Bernoulli numbers). In particular, $ \mathop{\rm Card} \mathop{\rm Im} J _ {1} = 24 $, $ \mathop{\rm Card} \mathop{\rm Im} J _ {2} = 240 $, $ \mathop{\rm Card} \mathop{\rm Im} J _ {2} = 504 $, $ \mathop{\rm Card} \mathop{\rm Im} J _ {4} = 480 $.

References

[1] L.S. Pontryagin, "Smooth manifolds and their applications in homotopy theory" , Moscow (1976) (In Russian)
[2a] J. Adams, "On the groups I" Topology , 2 (1963) pp. 181–195
[2b] J. Adams, "On the groups II" Topology , 3 (1966) pp. 137–181
[2c] J. Adams, "On the groups III" Topology , 3 (1966) pp. 193–222
[2d] J. Adams, "On the groups IV" Topology , 5 (1966) pp. 21–71
[3] H. Toda, "Composition methods in homotopy groups of spheres" , Princeton Univ. Press (1962)
[4] G.W. Whitehead, "Recent advances in homotopy theory" , Amer. Math. Soc. (1970)
[5] D.B. Fuks, A.T. Fomenko, V.L. Gutenmakher, "Homotopic topology" , Moscow (1969) (In Russian)

Comments

The general results $ \pi _ {n} ( S ^ {n} ) = \mathbf Z $, $ \pi _ {m} ( S ^ {n} ) = 0 $ for $ m < n $ are also together termed the Hurewicz theorem. The fact that the suspension induces an isomorphism in the appropriate range is known as the Freudenthal suspension theorem. The result that the $ \pi _ {n+} k ( S ^ {n} ) $, $ k > 0 $, are finite except for the $ \pi _ {4m-} 1 ( S ^ {2m} ) $, which are of the form $ \mathbf Z \oplus $( finite), is known as Serre's finiteness theorem. An additional result pertaining to the composition product is the Nishida nilpotence theorem that each $ \alpha \in \pi _ {k} ^ {s} $, $ k > 0 $, is nilpotent. Further, there is the Cohen–Moore–Neisendorfer exponent theorem, which says that for $ p \geq 5 $ the $ p $- component of the Abelian group $ \pi _ {2i + 1 + j } ( S ^ {2i+} 1 ) $ has exponent $ p ^ {i} $.

For a very complete discussion of the homotopy groups of the spheres, and in particular the Adams–Novikov spectral sequence and its $ E ^ {2} $ term, cf. [a2].

References

[a1] J. Dieudonné, "A history of algebraic and differential topology 1900–1960" , Birkhäuser (1989)
[a2] D.C. Ravenel, "Complex cobordism and stable homotopy groups of the spheres" , Acad. Press (1986)
How to Cite This Entry:
Spheres, homotopy groups of the. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Spheres,_homotopy_groups_of_the&oldid=19204
This article was adapted from an original article by D.B. Fuks (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article