Mathematics and Its History pp 467-494 | Cite as

# Topology

## Preview

In Chapter 15 we saw how Riemann found the topological concept of *genus* to be important in the study of algebraic curves. In the present chapter we will see how topology became a major field of mathematics, with its own methods and problems. Naturally, topology interacts with geometry, and it is common for topological ideas to be noticed first in geometry. An important example is the *Euler characteristic*, which was originally observed as a characteristic of polyhedra, then later seen to be meaningful for arbitrary closed surfaces. Today, we tend to think that topology comes first, and that it controls what can happen in geometry. For example, the Gauss–Bonnet theorem seems to show that the Euler characteristic controls the value of the *total curvature* of a surface. Topology also interacts with algebra. In this chapter we focus on the *fundamental group*, a group that describes the ways in which flexible loops can lie in a geometric object. On a sphere, all loops can be shrunk to a point, so the fundamental group is trivial. On the torus, however, there are many closed loops. But they are all combinations of two particular loops, *a* and *b*, such that *ab* = *ba*. In 1904, Poincaré famously conjectured that a closed three-dimensional space with trivial fundamental group is topologically the same as the threedimensional sphere. This *Poincaré conjecture* was proved only in 2003, with the help of methods from differential geometry. Thus the interaction between geometry and topology continues.

## Keywords

Fundamental Group Euler Characteristic Total Curvature Simple Closed Curve Homology Sphere## Preview

Unable to display preview. Download preview PDF.

## References

- Adyan, S. I. (1957). Unsolvability of some algorithmic problems in the theory of groups (Russian).
*Trudy Moskov. Mat. Obshch.**6*, 231–298.zbMATHMathSciNetGoogle Scholar - Alexander, J. W. (1919). Note on two three-dimensional manifolds with the same group.
*Trans. Amer. Math. Soc.**20*, 339–342.zbMATHMathSciNetGoogle Scholar - Bertrand, J. (1860). Remarque à l’occasion de la note précédente.
*Comp. Rend.**50*, 781–782.Google Scholar - Brahana, H. R. (1921). Systems of circuits on 2-dimensional manifolds.
*Ann. Math.**23*, 144–168.CrossRefMathSciNetGoogle Scholar - Dehn, M. (1910). Über die Topologie des dreidimensionalen Raumes.
*Math. Ann.**69*, 137–168.zbMATHCrossRefMathSciNetGoogle Scholar - Dehn, M. (1912). Über unendliche diskontinuierliche Gruppen.
*Math. Ann.**71*, 116–144.zbMATHCrossRefMathSciNetGoogle Scholar - Donaldson, S. K. (1983). An application of gauge theory to four-dimensional topology.
*J. Differential Geom.**18*(2), 279–315.zbMATHMathSciNetGoogle Scholar - Freedman, M. H. (1982). The topology of four-dimensional manifolds.
*J. Differential Geom.**17*, 357–453.zbMATHMathSciNetGoogle Scholar - Hamilton, R. S. (1982). Three-manifolds with positive Ricci curvature.
*J. Differential Geom.**17*, 255–306.zbMATHMathSciNetGoogle Scholar - Klein, F. (1874). Bemerkungen über den Zusammenhang der Flächen.
*Math. Ann.**7*, 549–557.CrossRefGoogle Scholar - Klein, F. (1928).
*Vorlesungen über Nicht-Euklidische Geometrie*. Berlin: Springer.zbMATHGoogle Scholar - Markov, A. (1958). The insolubility of the problem of homeomorphy (Russian).
*Dokl. Akad. Nauk SSSR**121*, 218–220.zbMATHMathSciNetGoogle Scholar - Milnor, J. (2003). Towards the Poincaré conjecture and the classification of 3-manifolds.
*Notices Amer. Math. Soc.**50*, 1226–1233.zbMATHMathSciNetGoogle Scholar - Morgan, J. and G. Tian (2007).
*Ricci Flow and the Poincaré Conjecture*. Providence, RI: American Mathematical Society.zbMATHGoogle Scholar - Nielsen, J. (1927). Untersuchungen zur Topologie der geschlossenen zweiseitigen Flächen.
*Acta Math.**50*, 189–358.zbMATHCrossRefMathSciNetGoogle Scholar - Prouhet, E. (1860). Remarques sur un passage des œuvres inédits de Descartes.
*Comp. Rend.**50*, 779–781.Google Scholar - Richeson, D. S. (2008).
*Euler’s Gem*. Princeton: Princeton University Press.zbMATHGoogle Scholar - Smale, S. (1961). Generalized Poincaré conjecture in dimensions greater than four.
*Ann. of Math.**74*, 391–406.CrossRefMathSciNetGoogle Scholar - Stillwell, J. (1993).
*Classical Topology and Combinatorial Group Theory, 2nd ed.*New York, NY: Springer-Verlag.zbMATHGoogle Scholar - Tietze, H. (1908). Über die topologische Invarianten mehrdimensionaler Mannigfaltigkeiten.
*Monatsh. Math. Phys.**19*, 1–118.CrossRefMathSciNetGoogle Scholar - Weeks, J. R. (1985).
*The Shape of Space*. New York: Marcel Dekker Inc.zbMATHGoogle Scholar - Whitehead, J. H. C. (1935). A certain open manifold whose group is unity.
*Quart. J. Math.**6*, 268–279.CrossRefGoogle Scholar