# Topology

Chapter
Part of the Undergraduate Texts in Mathematics book series (UTM)

## 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
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## References

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