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.MATHMathSciNetGoogle Scholar - Alexander, J. W. (1919). Note on two three-dimensional manifolds with the same group.
*Trans. Amer. Math. Soc.**20*, 339–342.MATHMathSciNetGoogle 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.MATHCrossRefMathSciNetGoogle Scholar - Dehn, M. (1912). Über unendliche diskontinuierliche Gruppen.
*Math. Ann.**71*, 116–144.MATHCrossRefMathSciNetGoogle Scholar - Donaldson, S. K. (1983). An application of gauge theory to four-dimensional topology.
*J. Differential Geom.**18*(2), 279–315.MATHMathSciNetGoogle Scholar - Freedman, M. H. (1982). The topology of four-dimensional manifolds.
*J. Differential Geom.**17*, 357–453.MATHMathSciNetGoogle Scholar - Hamilton, R. S. (1982). Three-manifolds with positive Ricci curvature.
*J. Differential Geom.**17*, 255–306.MATHMathSciNetGoogle 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.MATHGoogle Scholar - Markov, A. (1958). The insolubility of the problem of homeomorphy (Russian).
*Dokl. Akad. Nauk SSSR**121*, 218–220.MATHMathSciNetGoogle Scholar - Milnor, J. (2003). Towards the Poincaré conjecture and the classification of 3-manifolds.
*Notices Amer. Math. Soc.**50*, 1226–1233.MATHMathSciNetGoogle Scholar - Morgan, J. and G. Tian (2007).
*Ricci Flow and the Poincaré Conjecture*. Providence, RI: American Mathematical Society.MATHGoogle Scholar - Nielsen, J. (1927). Untersuchungen zur Topologie der geschlossenen zweiseitigen Flächen.
*Acta Math.**50*, 189–358.MATHCrossRefMathSciNetGoogle 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.MATHGoogle 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.MATHGoogle 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.MATHGoogle Scholar - Whitehead, J. H. C. (1935). A certain open manifold whose group is unity.
*Quart. J. Math.**6*, 268–279.CrossRefGoogle Scholar