A history of Topology

Transcription

1 A history of Topology Version for printing Geometry and topology index History Topics Index Topological ideas are present in almost all areas of today's mathematics. The subject of topology itself consists of several different branches, such as point set topology, algebraic topology and differential topology, which have relatively little in common. We shall trace the rise of topological concepts in a number of different situations. Perhaps the first work which deserves to be considered as the beginnings of topology is due to Euler. In 1736 Euler published a paper on the solution of the Königsberg bridge problem entitled Solutio problematis ad geometriam situs pertinentis which translates into English as The solution of a problem relating to the geometry of position. The title itself indicates that Euler was aware that he was dealing with a different type of geometry where distance was not relevant. Here is a diagram of the Königsberg bridges The paper not only shows that the problem of crossing the seven bridges in a 1 of 6 Saturday 04 July :43 PM

2 single journey is impossible, but generalises the problem to show that, in today's notation, A graph has a path traversing each edge exactly once if exactly two vertices have odd degree. The next step in freeing mathematics from being a subject about measurement was also due to Euler. In 1750 he wrote a letter to Christian Goldbach which, as well as commenting on a dispute Goldbach was having with a bookseller, gives Euler's famous formula for a polyhedron v - e + f = 2 where v is the number of vertices of the polyhedron, e is the number of edges and f is the number of faces. It is interesting to realise that this, really rather simple, formula seems to have been missed by Archimedes and Descartes although both wrote extensively on polyhedra. Again the reason must be that to everyone before Euler, it had been impossible to think of geometrical properties without measurement being involved. Euler published details of his formula in 1752 in two papers, the first admits that Euler cannot prove the result but the second gives a proof based dissecting solids into tetrahedral slices. Euler overlooks some problems with his remarkably clever proof. In particular he assumed that the solids were convex, that is a straight line joining any two points always lies entirely within the solid. The route started by Euler with his polyhedral formula was followed by a little known mathematician Antoine-Jean Lhuilier ( ) who worked for most of his life on problems relating to Euler's formula. In 1813 Lhuilier published an important work. He noticed that Euler's formula was wrong for solids with holes in them. If a solid has g holes the Lhuilier showed that v - e + f = 2-2g. This was the first known result on a topological invariant. Möbius published a description of a Möbius band in He tried to describe the 'one-sided' property of the Möbius band in terms of non-orientability. He thought of the surface being covered by oriented triangles. He found that the Möbius band could not be filled with compatibly oriented triangles. Johann Benedict Listing ( ) was the first to use the word topology. Listing's topological ideas were due mainly to Gauss, although Gauss himself chose not to publish any work on topology. Listing wrote a paper in 1847 called Vorstudien zur Topologie although he had already used the word for ten years in correspondence. The 1847 paper is not very important, although he also 2 of 6 Saturday 04 July :43 PM

3 introduces the idea of a complex, since it is extremely elementary. In 1861 Listing published a much more important paper in which he described the Möbius band (4 years before Möbius) and studied components of surfaces and connectivity. Listing was not the first to examine connectivity of surfaces. Riemann had studied the concept in 1851 and again in 1857 when he introduced the Riemann surfaces. The problem arose from studying a polynomial equation f (w, z) = 0 and considering how the roots vary as w and z vary. Riemann introduced Riemann surfaces, determined by the function f (w, z), so that the function w(z) defined by the equation f (w, z) = 0 is single valued on the surfaces. Jordan introduced another method for examining the connectivity of a surface. He called a simple closed curve on a surface which does not intersect itself an irreducible circuit if it cannot be continuously transformed into a point. If a general circuit c can be transformed into a system of irreducible circuits a 1, a 2,..., a n so that c describes a i m i times then he wrote c = m 1 a 1 + m 2 a m n a n. The circuit c is reducible if m 1 a 1 + m 2 a m n a n = 0. (*) A system of irreducible circuits a 1, a 2,..., a n is called independent if they satisfy no relation of the form (*) and complete if any circuit can be expressed in terms of them. Jordan proved that the number of circuits in a complete independent set is a topological invariant of the surface. Listing had examined connectivity in three dimensional Euclidean space but Betti extended his ideas to n dimensions. This is not as straightforward as it might appear since even in three dimensions it is possible to have a surface that cannot be reduced to a point yet closed curves on the surface can be reduced to a point. Betti's definition of connectivity left something to be desired and criticisms were made by Heegaard. The idea of connectivity was eventually put on a completely rigorous basis by Poincaré in a series of papers Analysis situs in Poincaré introduced the concept of homology and gave a more precise definition of the Betti numbers associated with a space than had Betti himself. Euler's convex polyhedra formula had been generalised to not necessarily convex polyhedra by Jonquières in 1890 and now Poincaré put it into a completely general setting of a p-dimensional variety V. Also while dealing with connectivity Poincaré introduced the fundamental group 3 of 6 Saturday 04 July :43 PM

4 of a variety and the concept of homotopy was introduced in the same 1895 papers. A second way in which topology developed was through the generalisation of the ideas of convergence. This process really began in 1817 when Bolzano removed the association of convergence with a sequence of numbers and associated convergence with any bounded infinite subset of the real numbers. Cantor in 1872 introduced the concept of the first derived set, or set of limit points, of a set. He also defined closed subsets of the real line as subsets containing their first derived set. Cantor also introduced the idea of an open set another fundamental concept in point set topology. Weierstrass in 1877 in a course of unpublished lectures gave a rigorous proof of the Bolzano-Weierstrass theorem which states A bounded infinite subset S of the real numbers possesses at least one point of accumulation p, i.e. p satisfies the property that given any ε > 0 there is an infinite sequence (p n ) of points of S with p - p n < ε. Hence the concept of neighbourhood of a point was introduced. Hilbert used the concept of a neighbourhood in 1902 when he answered in the affirmative one of his own questions, namely Is a continuous transformation group differentiable? In 1906 Fréchet called a space compact if any infinite bounded subset contains a point of accumulation. However Fréchet was able to extend the concept of convergence from Euclidean space by defining metric spaces. He also showed that Cantor's ideas of open and closed subsets extended naturally to metric spaces. Riesz, in a paper to the International Congress of Mathematics in Rome (1909), disposed of the metric completely and proposed a new axiomatic approach to topology. The definition was based on an set definition of limit points, with no concept of distance. A few years later in 1914 Hausdorff defined neighbourhoods by four axioms so again there were no metric considerations. This work of Riesz and Hausdorff really allows the definition of abstract topological spaces. There is a third way in which topological concepts entered mathematics, namely via functional analysis. This was a topic which arose from mathematical physics and astronomy, brought about because the methods of classical analysis were somewhat inadequate in tackling certain types of problems. Jacob Bernoulli and 4 of 6 Saturday 04 July :43 PM

5 Johann Bernoulli invented the calculus of variations where the value of an integral is thought of as a function of the functions being integrated. Hadamard introduced the word 'functional' in 1903 when he studied linear functionals F of the form F(f) = lim f (x) g n (x) dx where the limit is taken as n and the integral is from a to b. Fréchet continued the development of functional by defining the derivative of a functional in Schmidt in 1907 examined the notion of convergence in sequence spaces, extending methods which Hilbert had used in his work on integral equations to generalise the idea of a Fourier series. Distance was defined via an inner product. Schmidt's work on sequence spaces has analogues in the theory of square summable functions, this work being done also in 1907 by Schmidt himself and independently by Fréchet. A further step in abstraction was taken by Banach in 1932 when he moved from inner product spaces to normed spaces. Banach took Fréchet's linear functionals and showed that they had a natural setting in normed spaces. Poincaré developed many of his topological methods while studying ordinary differential equations which arose from a study of certain astronomy problems. His study of autonomous systems dx / dt = f (x, y), dy / dt = g(x, y) involved looking at the totality of all solutions rather than at particular trajectories as had been the case earlier. The collection of methods developed by Poincaré was built into a complete topological theory by Brouwer in References (17 books/articles) Other Web sites: C Ponce (A Spanish translation of this article) Article by: J J O'Connor and E F Robertson History Topics Index Main index Famous curves index Geometry and topology index Biographies Index Birthplace Maps 5 of 6 Saturday 04 July :43 PM

6 Chronology Mathematicians of the day Time lines Anniversaries for the year Search Form Societies, honours, etc JOC/EFR May 1996 The URL of this page is: 6 of 6 Saturday 04 July :43 PM