Karl Menger Seymour Kass
Total Page:16
File Type:pdf, Size:1020Kb
comm-menger.qxp 4/22/98 9:44 AM Page 558 Karl Menger Seymour Kass Karl Menger died on October 5, 1985, in Chicago. dents were Nobel Laureates Richard Kuhn and Except in his native Austria [5], no obituary no- Wolfgang Pauli. He entered the University of Vi- tice seems to have appeared. This note marks ten enna in 1920 to study physics, attending the lec- years since his passing. tures of physicist Hans Thirring. Hans Hahn Menger’s career spanned sixty years, during joined the mathematics faculty in March 1921, which he published 234 papers, 65 of them be- and Menger attended his seminar “News about fore the age of thirty. A partial bibliography ap- the Concept of Curves”. In the first lecture Hahn pears in [15]. His early work in geometry and formulated the problem of making precise the topology secured him an enduring place in math- idea of a curve, which no one had been able to ematics, but his reach extended to logic, set the- articulate, mentioning the unsuccessful attempts ory, differential geometry, calculus of variations, of Cantor, Jordan, and Peano. The topology used graph theory, complex functions, algebra of in the lecture was new to Menger, but he “was functions, economics, philosophy, and peda- completely enthralled and left the lecture room gogy. Characteristic of Menger’s work in geom- in a daze” [10, p. 41]. After a week of complete etry and topology is the reworking of funda- engrossment, he produced a definition of a curve mental concepts from intrinsic points of view and confided it to fellow student Otto Schreier, (curve, dimension, curvature, statistical metric who could find no flaw but alerted Menger to re- spaces, hazy sets). A few of these and some of cent commentary by Hausdorff and Bieberbach his other accomplishments will be mentioned as to the problem’s intractability, which Hahn here. hadn’t mentioned. Before the seminar’s second Menger was born in Vienna on January 13, meeting Menger met with Hahn, who, unaccus- 1902, into a distinguished family. His mother, tomed to giving first-year students a serious Hermione, was an author and musician; his fa- hearing, nevertheless listened and after some ther, Carl Menger, well known as a founder of thought agreed that Menger’s was a promising the Austrian School of Economics, was tutor in attack on the problem. economics to Crown Prince Rudolph (the ill- Inspired, Menger went to work energetically, starred Hapsburg heir-apparent, played by but having been diagnosed with tuberculosis, he Charles Boyer in “Mayerling”). left Vienna to recuperate in a sanatorium in the From 1913 to 1920 Menger attended the mountains of Styria, an Austrian counterpart of Doblinger Gymnasium in Vienna, where he was “The Magic Mountain”. He wrote later that at the recognized as a prodigy. Two of his fellow stu- same time Kafka was dying in another sanato- rium. In Styria he elaborated his theory of curves Seymour Kass is professor of mathematics at the Uni- and dimension, submitting a paper to Monat- versity of Massachusetts, Boston. His e-mail address is shefte fur Mathematik und Physik in 1922 which [email protected]. contained a recursive definition of dimension in 558 NOTICES OF THE AMS VOLUME 43, NUMBER 5 comm-menger.qxp 4/22/98 9:44 AM Page 559 a separable metric space. P. S. Urysohn simul- ner; Chelsea reprint, 1967). It contains Menger’s taneously and independently of Menger devel- n-Arc Theorem: Let G be a graph with A and B oped an equivalent definition. The two disjoint n-tuples of vertices. Then either G Menger/Urysohn definition has become the cor- contains n pairwise disjoint AB-paths (each con- nerstone of the theory [6]. necting a point of A and a point of B), or there After receiving a Ph.D. in 1924, Menger, in- exists a set of fewer than n vertices that sepa- terested in L. E. J. Brouwer’s fundamental work rates A and B. Menger’s account of the theorem’s in topology and wanting to clarify his thought origins appears in [11], an issue of the Journal about intuitionism, which he saw as the coun- of Graph Theory dedicated to his work. In an in- terpart in mathematics to Ernst Mach’s posi- troductory note Frank Harary calls it “the fun- tivism in science, accepted Brouwer’s invitation damental theorem on connectivity of graphs” and to Amsterdam, where he remained two years as “one of the most important results in graph docent and Brouwer’s assistant. Though he found theory”. Variations of Menger’s theorem and Brouwer testy, he retained warm feelings about some of its applications are given in Harary’s his stay in Amsterdam and cited the good Graph Theory (Addison-Wesley, 1969). Brouwer did for some young mathematicians In that same year Menger joined philosopher and “the beautiful experience of watching him Moritz Schlick’s fortnightly discussion group, listen to reports of new discoveries” [15]. which became known as the Vienna Circle [10], In 1927, at age 25, Menger accepted Hahn’s [18]. In 1931 in tandem with the Circle, Menger invitation to fill Kurt Reidemeister’s chair in ran a mathematical colloquium in which Rudolph geometry at the University of Vienna. During Carnap, Kurt Gödel, Alfred Tarski, Olga Taussky, the year 1927–28, in preparing a course on the and others took part. Gödel (also a Hahn student) foundations of projective geometry, Menger set first announced his epoch-making incomplete- out to construct an axiomatic foundation in ness results at the colloquium. Menger edited the terms of the principal features of the theory: the series Ergebnisse eines Mathematischen Kollo- operations of joining and intersecting, which quiums in the years 1931–37. Additionally, dur- Garrett Birkhoff later called lattice operations. ing this period a series of public lectures in sci- Menger was critical of Hilbert’s and Veblen’s ence was held. Einstein and Schroedinger were formulations: Hilbert’s requiring a different prim- among the speakers. Admission was charged, itive for each dimension; Veblen’s giving points and the money generated was used to support a distinguished role not played in the theory it- students. self, since hyperplanes play the same role as In the posthumously published Reminiscences points. Von Neumann in [17] took a line paral- of the Vienna Circle and the Mathematical Col- lel to Menger’s, seeking “to complete the elimi- loquium [10] Menger gives perceptive and lucid nation of the notion of point (and line and plane) accounts of the philosophical and cultural at- from geometry”. He refers to Menger as “the mosphere in Vienna, the personalities that first to replace distinct classes of ‘undefined en- streamed through the Circle and those who par- tities’ by a unique class which consists of all lin- ticipated in the colloquium, and the topics dis- ear subspaces of the given space, an essential cussed and issues that engrossed the partici- part of his system being the axiomatic require- pants. There are chapters on Wittgenstein and ment of a linear dimensionality function.” Menger a moving account of Menger’s long association subsequently gave a self-dual set of axioms for with Gödel. There is also an account of Menger’s the system. time at Harvard and The Rice Institute (1930–31), In 1928 he published Dimensiontheorie (Teub- where he met most of the leading U.S. mathe- ner). Fifty years later, J. Keesling wrote: “This maticians of the day. Though he recognized book has historical value. It reveals at one and E. H. Moore as the father of American mathe- the same time the naiveté of the early investi- matics, Percy Bridgman and Emil Post made the gators by modern standards and yet their re- strongest impression on him. Menger regarded markable perception of what the important re- Bridgman as the successor to Mach. And he had sults were and the future direction of the theory” great admiration for Post, who (with Haskell [7]. The authors of [10] illustrate the remark Curry) is a source for Menger’s later work in the with Menger’s theorem that every n-dimensional algebra of functions. separable metric space is homeomorphic to part In the early 1930s Menger developed a notion of a certain “universal” n-dimensional space, of general curvature of an arc A in a compact which can in turn be realized as a compact set convex metric space. Consider a triple of points in (2n +1)-dimensional Euclidean space. The of A, where A is an ordered continuum, not nec- universal 1-dimensional space, (the “Menger uni- essarily described by equations or functions. versal curve” or “Menger sponge”), appears in The triangle inequality implies the existence of Mandelbrot’s The Fractal Geometry [9] and in [2]. three points in the Euclidean plane isometric to Menger’s Kurventheorie appeared in 1932 (Teub- the given triple, and their Menger curvature is MAY 1996 NOTICES OF THE AMS 559 comm-menger.qxp 4/22/98 9:44 AM Page 560 the reciprocal of the radius of the circumscrib- it stimulated research. During the 1960s he lec- ing circle. This curvature is zero if and only if tured to high school students on the subject one of the points is between the other two. “What is x?”. Menger defined the curvature at a point of A to His fourth child was born in 1942, and the oth- be the number (if it exists) from which the cur- ers were then reaching school age. Menger was vature of any three sufficiently close points in drawn to Chicago, where Carnap and others the Euclidean plane differs arbitrarily little.