Bourbaki, Nicolas

views updated May 17 2018

BOURBAKI, NICOLAS

mathematics. For the original article on Bourbaki see DSB, vol. 2.

Bourbaki was a pseudonym adopted in 1934 by a group of young French mathematicians for their joint activities, which led to the publication of a highly influential collection of books on several fields of mathematics, including analysis, algebra, and topology, among others. The group was active for several decades thereafter (exactly how long is unknown) and shaped mathematical activity in many countries across the world, especially in France, through research, teaching, publishing, career building, and resource allocation. The name of Nicolas Bourbaki and the kind of associations it typically raises in mathematicians’ minds play a unique role in the history of twentieth-century mathematics. The very inclusion of an article about a group of mathematicians under the name of an individual in the first edition of the Dictionary of Scientific Biography, and the fact that the article spoke about Bourbaki mostly in the third-person singular (following a practice well-entrenched among mathematicians), indicate the force of the myth surrounding the group’s activities; at the same time, this history illuminates the difficulties that have been faced in attempts to produce serious historical accounts of the group’s actual contribution to mathematics.

Early Years. The would-be members of Bourbaki met for the first time to discuss the project at the end of 1934 in a Parisian café. They stated as the goal of their joint undertaking “to define for twenty-five years the syllabus for the certificate in differential and integral calculus by writing, collectively, a treatise on analysis. Of course, this treatise will be as modern as possible” (Beaulieu, 1993, p. 28). They were motivated by an increasing dissatisfaction with the texts then traditionally used in their country for analysis courses. These were based on the university lectures of the old French masters: Jacques Hadamard, Emile Picard, and Edouard Goursat. They also felt that French mathematical research was lagging far behind that of other countries, especially Germany, and they sought to provide a fresh perspective from which to reinvigorate local mathematical activity.

The founding members of the group included Henri Cartan, Claude Chevalley, Jean Coulomb, Jean Delsarte, Jean Dieudonné, Charles Ehresmann, Szolem Mandelbrojt, René de Possel, and André Weil. Cartan, Chevalley, Delsarte, Dieudonné, and Weil, all former students of the École Normale Supérieure, remained the most influential and active force within the group for decades. Jean Leray and Paul Dubreil had attended the Paris meeting but did not join the group. Over the years, many younger, prominent mathematicians joined the group, while the elder members were supposed to quit at the age of fifty. Among later-generation Bourbaki members, the most prominent include: Samuel Eilenberg (one of the few who were not French), Alexander Grothendieck, Pierre Samuel, Laurent Schwartz, Jean-Pierre Serre, Serge Lang, and Armand Borel. All members were among the most prominent mathematicians of their generation, actively pursuing separately their own individual research in different specialties, while the activities of Bourbaki absorbed a part of their time and effort.

Beginning in 1935, and except for a break during the war years, the group met three times per year in different places around France for one or two weeks. At each meeting, individual members were commissioned to produce drafts of the different chapters. The drafts were then subjected to harsh criticism by the other members and then were reassigned for revision. Only after several drafts had been written and criticized was the final document ready for publication. What was initially projected as a modern textbook for a course of analysis eventually evolved into a multivolume treatise entitled Eléments de mathématique, each volume of which was meant to contain a comprehensive exposition of a different mathematical subdiscipline. Every chapter and every volume of Bourbaki’s treatise was the outcome of arduous collective work, and the spirit and point of view of the person or persons who had written it were hardly recognizable.

The first chapters of Bourbaki’s book on topology, for instance, were published in 1940, following almost four years of the usual procedure of drafting and criticism. The book was meant to provide the conceptual basis needed for discussing convergence and continuity in real and complex analysis. Bourbaki’s early debates on topology were gradually dominated by a tendency to define this conceptual basis in the most general framework possible, avoiding whenever possible the need to rely on traditional, intuitive concepts such as sequences and their limits. This effort helped the understanding of, among other concepts, the centrality of compactness in general topology. It also yielded a thorough analysis of the various alternative ways to define general topological spaces and their central characteristic concepts: open and closed sets, neighborhoods, and uniform spaces. Moreover, an important by-product of Bourbaki’s discussions was the introduction of filters and ultrafilters as a basis for defining convergence while avoiding reliance on countable sequences. Bourbaki, however, rather than including these latter concepts in the treatise, encouraged Henri Cartan to publish them, while elaborating on their relation to topological concepts, under his own name.

Over the next years, alternative approaches to questions of continuity and convergence were developed by other mathematicians, based on concepts such as directed systems and nets. The equivalence of the various alternative systems and those of Bourbaki was proven in 1955. Thus, the history of the development of topology, at least from 1935 to 1955, cannot be told without considering in detail the role played in it by both Bourbaki as a group and its individual members.

Bourbaki’s Influence. In the decades following the founding of the group, Bourbaki’s books became classics in many areas of pure mathematics in which the concepts and main problems, the nomenclature, and the peculiar style introduced by Bourbaki were adopted as standard. The branches upon which Bourbaki exerted the deepest influence were algebra, topology, and functional analysis. Notations such the symbol (for the empty set, and terms such as injective, surjective, and bijective owe their widespread use to their adoption in the Eléments de mathématique.

Disciplines such as logic, probability, and most fields of applied mathematics were not within the scope of interests of Bourbaki, and they were therefore hardly represented in the many places in the world where Bourbaki’s influence was more strongly felt. This was the case for many French and several American universities at various times between 1940 and 1970. In addition, disciplines such as group theory and number theory, in spite of being strong points for some of the members (notably Weil for number theory) would not be treated in the Eléments, mainly because their character as mathematical disciplines was less amenable to the kind of systematic, comprehensive treatment typical of the other disciplines in the collection. As part of a basic estrangement of pictorial or intuitive elements in mathematics, geometry was completely left out of the Bourbakian picture of mathematics, except for what could be reduced to linear algebra.

Bourbaki’s Eléments came to comprise a large collection of more than seven thousand pages. The first chapter appeared in 1935, and new ones continued to appear until the early 1980s. In its final form it comprised the following: I. Theory of Sets; II. Algebra; III. General Topology; IV. Functions of a Real Variable; V. Topological Vector Spaces; VI. Integration; Lie Groups and Lie Algebras; Commutative Algebra; Spectral Theories; Differential and Analytic Manifolds (which is essentially no more than a summary of results).

Bourbaki’s austere and idiosyncratic presentation of the topics discussed in each of the chapters—from which diagrams and external motivations were expressly excluded—became a hallmark of the group’s style and a manifestation of its thorough influence. Also the widespread adoption of approaches to specific questions, concepts, and nomenclature promoted in the books of the series indicate the breadth of this influence. Concepts and theories were presented in a thoroughly axiomatic way and were systematically discussed, always proceeding from the more general to the particular and never generalizing a particular result. A curious consequence of this approach was that the real numbers could only be introduced well into the treatise and not before a very heavy machinery of algebra and topology had been prepared in advance.

The Hierarchy of Structures. Underlying all of Bourbaki’s presentation of mathematics is the conception of the discipline as a hierarchy of structures. In the more reduced framework of algebra alone, this idea had reached maturity in 1930 as it appeared in the famous book by Bartel L. van der Waerden, Moderne Algebra. The discipline appeared in this book as the investigation, from a unified point of view, of several concepts that were defined in similar, abstract terms: groups, rings, ideals, modules, fields, and hypercomplex systems. All of them comprised a set on which one or more operations were defined that satisfied certain properties defined in advance and prescribed in the form of abstract axioms. The kinds of questions asked about each of them were similar and so were the tools used to investigate them. Each of them was an individual manifestation of a more general idea, that of an algebraic structure.

In Bourbaki’s presentation of mathematics, different mathematical branches, such as algebra, topology, and functional analysis, appeared as individual materializations of one and the same underlying, general idea, that is, the idea of a mathematical structure. Bourbaki attempted to present a unified and comprehensive picture of what they saw as the main core of mathematics, using a standard system of notation, addressing similar questions in the various fields investigated, and using similar conceptual tools and methods across apparently distant mathematical domains.

In 1950, Dieudonné published, under the name of Bourbaki, an article that came to be identified as the group’s manifesto, “The Architecture of Mathematics.” Dieudonné raised the question of the unity of mathematics, given the unprecedented growth and diversification of knowledge in this discipline over the preceding decades. Mathematics is a strongly unified branch of knowledge in spite of appearances, he claimed, and the basis of this unity is the use of the axiomatic method. Mathematics should be seen, he added, as a hierarchy of structures at the heart of which lie the so-called “mother structures”:

At the center of our universe are found the great types of structures … they might be called the mother structures. … Beyond this first nucleus, appear the structures which might be called multiple structures. They involve two or more of the great mother-structures not in simple juxtaposition (which would not produce anything new) but combined organically by one or more axioms which set up a connection between them. … Farther along we come finally to the theories properly called particular. In these the elements of the sets under consideration, which in the general structures have remained entirely indeterminate, obtain a more definitely characterized individuality. (Bourbaki 1948 [1950], pp. 228–229)

While van der Waerden had left the idea at the implicit level, the centrality of the hierarchy of structures became explicit and constitutive for Bourbaki. Moreover, Bourbaki wanted, in addition, a formally defined concept of structure that would provide a conceptual foundation on which the whole edifice of mathematics as presented in the Eléments could supposedly be built. This concept was introduced in the fourth chapter of the book on set theory. In the opening chapters of the books on specific branches, for example, algebra and topology, some sections were devoted to show how the specific branch can be formally connected with the concept of structure that had been defined. This connection, however, was rather feeble and amounted to not much more than a formal exercise.

The central notion of structure, then, had a double meaning in Bourbaki’s mathematical discourse. On the one hand, it suggested a general organizational scheme of the entire discipline, which turned out to be very influential. On the other hand, it comprised a formal concept that was meant to provide the underlying formal unity but was of no mathematical value whatsoever either within Bourbaki’s own treatise or outside it.

In 1945, Saunders Mac Lane and Samuel Eilenberg introduced the concepts of category and functor that were to become central as a unifying tool and language for mathematical disciplines that followed the structural approach developed in the various books of Bourbaki. Groethendieck and Serre were among the mathematicians who made a most impressive use of this new theory in their own research starting in the early 1950s. Grothendieck attempted to introduce these concepts, together with some topics that were yet to be treated, into the Bourbakian agenda, but he succeeded only partially. A curious situation ensued in which a theory that could have fitted nicely into the overall picture of mathematics promoted by Bourbaki was not adopted, partly because that would have meant reformulating considerable parts of the already existing texts in order to make them fit the new approach. In Bourbaki’s book on homological algebra, published in 1980, this tension reached a noticeable peak. While the categorical approach has become widespread and indeed the standard one in this mathematical discipline, Bourbaki’s presentation could not rely on it, because category theory had not been developed in the treatise. Using it here would go against the most basic architectonic principles that had guided the enterprise since its inception. Thus, while Bourbaki’s treatment of a field such as general topology had embodied in the 1940s a truly innovative approach that many others were to follow, this would hardly be the case with homological algebra in the 1980s.

SUPPLEMENTARY BIBLIOGRAPHY

WORKS BY BOURBAKI

Eléments de mathématiques. 10 vols. Paris: Hermann, 1939–1988.

“L’architecture des Mathématiques.” In Les grands courants de la pensée mathématique, edited by F. Le Lionnais. Paris: Caguers du Sud, 1948. Translated by Arnold Dresden in American Mathematics Monthly 57 (1950), 221–232.

OTHER SOURCES

Beaulieu, Liliane. “A Parisian Café and Ten Proto-Bourbaki Meetings (1934–35).” Mathematical Intelligencer 15 (1993), 27–35.

Chouchan, Michéle. Nicolas Bourbaki: Faits et legendes. AgrenteuilCedex: Editions du Choix, 1995.

Corry, Leo “The Origins of Eternal Truth in Modern Mathematics: Hilbert to Bourbaki and Beyond.” Science in Context 12 (1998), 137–183. ———.Modern Algebra and the Rise of Mathematical Structures. 2nd rev. ed. Basel; Boston: Birkhäuser, 2004.

Krömer, Ralf. “La ‘machine de Grothendieck,’ se fonde-t-elle seulement sur des vocables métamathématiques? Bourbaki et les catégories au cours des années cinquante.” Revue d’Histoire des Mathématiques 12 (2006): 119–162.

Schwartz, Laurent. A Mathematician Grappling with His Century. Translated by Leila Schneps. Basel; Boston: Birkhauser, 2001. Originally published as Un mathématicien aux prises avec le siècle. Paris: O. Jacob, 1997.

Weil, André. The Apprenticeship of a Mathematician. Translated by Jennifer Gage. Basel; Boston: Birkhauser Verlag, 1992.

Leo Corry

Bourbaki, Nicolas

views updated May 29 2018

Bourbaki, Nicolas

Bourbaki is the collective pseudonym of an influential group of mathematicians, almost all French, who since the late 1930’s have been engaged in writing what is intended to be a definitive survey of all of mathematics, or at least of all those parts of the subject which Bourbaki considers worthy of the name. The work appears in installments that are usually from 100 to 300 pages long. The first appeared in 1939 and the thirty-third in 1967; many intervening installments have been extensively revised and reissued. The selection of topics is very different from that in a traditional introduction to mathematics. In Bourbaki’s arrangement, mathematics begins with set theory, which is followed, in order, by (abstract) algebra, general topology, fonctions of a real variable (including ordinary calculus), topological vector spaces, and the general theory of integration. To some extent the order is forced by the logical dependence of each topic on its predecessors. Bourbaki has not yet reached the other parts of mathematics. Although the work as a whole is called Elements of Mathematics, no one could read it without at least two years of college mathematics as preparation, and further mathematical study would be an advantage.

The exact composition of the Bourbaki group varies from year to year and has been deliberately kept mysterious. The project was begun by a number of brilliant young mathematicians who had made important contributions to mathematics in their own right. At the beginning they made no particular attempt at secrecy. With the passage of time, however, they seem to have become more and more enamored of their joke, and have often tried to persuade people that there is indeed an individual named N. Bourbaki, who writes the books. Indeed, Bourbaki once applied for membership in the American Mathematical Society, but was rejected on the ground that he was not an individual. The original group included H. Cartan, C. Chevalley, J. Dieudonné, and A. Weil (all of whom are among the most eminent mathematicians of their generation). Many younger French mathematicians have joined the group, which is understood to have ten to twenty members at any one time and has included two or three Americans. The founding members are said to have agreed to retire at the age of fifty, and are believed to have done so, although with some reluctance.

The origin of the name Nicolas Bourbaki is obscure. The use of a collective pseudonym was presumably intended to obviate title pages with long and changing lists of names and to provide a simple way of referring to the project. The family name appears to be that of General Charles-Denis-Sauter Bourbaki (1816–1897), a statue of whom stands in Nancy, where several members of the group once taught. Possibly the Christian name was supposed to suggest St. Nicholas bringing presents to the mathematical world.

In the early days Bourbaki published articles in mathematical journals, as any mathematician would. He soon gave that up, however, and his reputation rests on his books. People who are unsympathetic to the “new mathematics” introduced into the schools since 1960 accuse Bourbaki of having inspired that movement. The accusation is probably unjustified, although aspects of his work bear a superficial resemblance to less attractive aspects of new mathematics. Bourbaki himself does not intend his approach to be used even in college teaching. Rather, it is meant to improve a mathematician’s understanding of his subject after he has learned the fundamentals and to serve as a guide to research.

The most obvious aspects of Bourbaki’s work are his insistence on a strict adherence to the axiomatic approach to mathematics and his use of an individual and (originally) unconventional terminology (much of which has since become widely accepted). The former is the more important. Any mathematical theory starts, in principle, from a set of axioms and deduces consequences from them (although many subjects, such as elementary algebra, are rarely presented to students in this way). In classical axiomatic theories, such as Euclidean geometry or Peano’s theory of the integers, one attempts to find a set of axioms that precisely characterize the theory. Such an axiomatization is valuable in showing the logical arrangement of the subject, but the clarification so achieved is confined to the one subject, and often seems like quibbling.

A good deal of the new mathematics consists of introducing such axiomatizations of elementary parts of mathematics at an early stage of the curriculum, in the hope of facilitating understanding. Bourbaki’s axiomatization is in a different spirit. His axioms are for parts of mathematics with the widest possible scope, which he calls structures. A mathematical structure consists, in principle, of a set of objects of unspecified nature, and of certain relationships among them. For example, the structure called a group consists of a set of elements such that any two can be combined to give a third. The way in which this is done must be subject to suitable axioms. The structure called an order consists of a set of elements with a relationship between any two of them, corresponding abstractly to the statement (for numbers) that one is greater than the other.

Having studied a structure, one may add axioms to make it more special (finite group or commutative group, for example). One can combine two structures, assuming that the objects considered satisfy the axioms of both (obtaining, for example, the theory of ordered groups). By proceeding in this way, one obtains more and more complicated structures, and often more and more interesting mathematics. Bourbaki, then, organizes mathematics as an arrangement of structures, the more complex growing out of the simpler.

There are great advantages in dealing with mathematics in this way. A theorem, once proved for an abstract structure, is immediately applicable to any realization of the structure, that is, to any mathematical system that satisfies the axioms. Thus, for example, a theorem about abstract groups will yield results (which superficially may look quite different) about groups of numbers, groups of matrices, or groups of permutations. Again, once it is recognized that the theory of measure and the theory of probability are realizations of a common set of axioms, all results in either theory can be reinterpreted in the other. Historically, in fact, these two theories were developed independently of each other for many years before their equivalence was recognized. Bourbaki tries to make each part of mathematics as general as possible in order to obtain the widest possible domain of applicability. His detractors object that he loses contact with the actual content of the subject, so that students who have studied only his approach are likely to know only general theorems without specific instances. Of course, the choice of an axiom system is never arbitrary. Bourbaki’s collaborators are well aware of the concrete theories they are generalizing, and select their axioms accordingly.

Bourbaki has been influential for a number of reasons. For one thing, he gave the first systematic account of some topics that previously had been available only in scattered articles. His orderly and very general approach, his insistence on precision of terminology and of argument, his advocacy of the axiomatic method, all had a strong appeal to pure mathematicians, who in any case were proceeding in the same direction. Since mathematicians had to learn Bourbaki’s terminology in order to read his work, that terminology has become widely known and has changed much of the vocabulary of research. The effect of the work in the development of mathematics has been fully commensurate with the great effort that has gone into it.

BIBLIOGRAPHY

I. Original Works. Works by Bourbaki include “The Architecture of Mathematics,” in American MathematicalMonthly, 57 (1950), 221–232; and Éléments de mathématique, many numbers in the series Actualités Scientifiques et Industrielles (Paris, 1939-).

II. Secondary Literature. André Delachet, “L’école Bourbaki,” in L’analyse mathématique (Paris, 1949), pp. 113–116; Paul R. Halmos, “Nicolas Bourbaki,” in Scientific American, 196 , no. 5 (May 1957), 88–99.

R. P. Boas, Jr.

Bourbaki, Nicolas

views updated May 17 2018

Bourbaki, Nicolas a pseudonym of a group of mathematicians, mainly French, attempting to give a complete account of the foundations of pure mathematics. Their first publication was in 1939.

The group was named, humorously, after a defeated French general of the Franco-Prussian War (1870–1).


More From encyclopedia.com