La théorie des ensembles en France avant la crise de 1905 : Baire, Borel, Lebesgue... et tous les autres

Gispert, Hélène

Revue d'histoire des mathématiques, Tome 1 (1995) no. 1, pp. 39-81.

Cet article s'intéresse à la façon dont le milieu mathématique français s'est saisi, dans ses travaux, des nouveaux concepts et des nouvelles méthodes de la théorie des ensembles. Nous montrons que cette prise en compte s'inscrit dans un courant propre aux mathématiques françaises, la nouvelle théorie des fonctions, et que, loin d'être marginale, elle se situe dans l'activité classique du milieu. De ce fait, la théorie des ensembles mise en œuvre porte la marque de cette utilisation spécifique et se différencie sur des aspects importants de la version qu'en présente Cantor.

This paper investigates the manner in which French mathematical circles took up, in their work, the novel concepts and methods of set theory. Such an appropriation, it is shown, was effected within the context of a current specific to French mathematics, the then-new theory of functions; and, far from being marginal, this process may be seen as integral to those circles' classic tradition. Hence, set theory as incorporated in practice bears the hallmarks of this particular purpose, and differs in important respects from the version presented by Cantor.

[1] Autonne (L.) [1895] Analyse : Borel (Émile), Ancien élève de l'École normale supérieure, Sur quelques points de la théorie des fonctions, Revue générale des sciences pures et appliquées, 6 (1895), p. 637.

[2] Autonne (L.) [1899] Analyse : Baire (René), Professeur au lycée de Bar-le-Duc, Sur les fonctions de variables réelles, Ibid., 10 (1899), p. 402.

[3] Baire (R.) [Œuvres] Œuvres scientifiques, Paris : Gauthier-Villars, 1990.

[4] Baire (R.) [1899a] Sur les fonctions de variables réelles, Annali di matematica pura ed applicata, (III) 3 (1899), p. 1-123 ; Œuvres, p. 49-170. | JFM

[5] Baire (R.) [1899b] Sur la théorie des ensembles, Comptes rendus hebdomadaires des séances de l'Académie des sciences, 129 (1899), p. 946-949 ; Œuvres, p. 171-173. | JFM

[6] Baire (R.) [1905] Leçons sur les fonctions discontinues, Paris : Gauthier-Villars, 1905 | JFM

[7] Baire (R.) [1909] Théorie des ensembles, exposé d'après l'article allemand de A. Schoenflies, Encyclopédie des sciences mathématiques pures et appliquées, t. 1, vol. 1, Paris : Gauthier-Villars, 1909.

[8] Baire (R.) [Lettres] Lettres de René Baire à Émile Borel (1898-1910), (P. Dugac éd.), Cahiers du séminaire d'histoire des mathématiques, (I) 11 (1990), p. 33-120. | Numdam | Zbl

[9] Bendixson (I.) [1883] Quelques théorèmes de la théorie des ensembles de points, Acta mathematica, 2 (1883), p. 415-429. | JFM | MR

[10] Blumenthal (O.) [1906] Comptes rendus et analyses : Lebesgue (Henri), Leçons sur les fonctions primitives, Bulletin des sciences mathématiques, 30 (1906), p. 250-254.

[11] Borel (E.) [Œuvres] Œuvres scientifiques, 4 vol., Paris : CNRS, 1972.

[12] Borel (E.) [1894] Sur quelques points de la théorie des fonctions, C. R. Acad. sci. Paris, 118 (1894), p. 340-342 ; Œuvres I, p. 235-237. | JFM

[13] Borel (E.) [1895] Sur quelques points de la théorie des fonctions, Annales scientifiques de l'École normale supérieure, (III) 12 (1895), p. 9-55 ; Œuvres I, p. 239-285. | JFM | Numdam | MR

[14] Borel (E.) [1896] Fondements de la théorie des séries divergentes sommables, Journal de mathématiques pures et appliquées, (V) 2 (1896), p. 103-122 ; Œuvres I, p. 417-436. | JFM | Numdam

[15] Borel (E.) [1898] Leçons sur la théorie des fonctions, Paris : Gauthier Villars, 1898. | JFM | Zbl

[16] Borel (E.) [1899a] A propos de l'“infini nouveau”, Revue philosophique de la France et de l'étranger, 48 (1899), p. 383-390 ; Œuvres IV, p. 2113-2120.

[17] Borel (E.) [1899b] Mémoire sur les séries divergentes, Ann. scient. Éc. norm. sup., (III) 16 (1899), p. 9-131 ; Œuvres I, p. 437-565. | JFM | Numdam | MR

[18] Borel (E.) [1900a] L'antinomie du transfini, Rev. philos., 49 (1900), p. 378-383 ; Œuvres IV, p. 2121-2126.

[19] Borel (E.) [1900b] Leçons sur les fonctions entières, Paris : Gauthier-Villars, 1900. | JFM

[20] Borel (E.) [1901] Leçons sur les séries divergentes, Paris : Gauthier-Villars, 1901. | JFM

[21] Borel (E.) [1902] Leçons sur les séries à termes positifs, Paris : Gauthier-Villars, 1902. | JFM

[22] Borel (E.) [1903a] Sur l'approximation les uns par les autres des nombres formant un ensemble dénombrable, C. R. Acad. sci. Paris, 137 (1903), p. 297-299 ; Œuvres III, p. 1405-1407. | JFM

[23] Borel (E.) [1903b] Un théorème sur les ensembles mesurables, C. R. Acad. sci. Paris, 137 (1903), p. 966-967 ; Œuvres III, p. 1247-1248. | JFM

[24] Borel (E.) [1903c] Leçons sur les fonctions méromorphes, Paris : Gauthier-Villars, 1903. | JFM

[25] Borel (E.) [1903d] Quelques remarques sur les ensembles de droites ou de plans, Bulletin de la Société mathématique de France, 31 (1903), p. 272-275 ; Œuvres IV, p. 1989-1992. | JFM | Numdam | MR

[26] Borel (E.) [1905a] Sur une propriété des ensembles fermés, C. R. Acad. sci. Paris, 140 (1905), p. 298-300 ; Œuvres III, p. 1249-1250. | JFM

[27] Borel (E.) [1905b] Remarques sur les principes de la théorie des ensembles, Mathematische Annalen, 60 (1905), p. 194-95 ; Œuvres III, p. 1251-1252. | JFM

[28] Borel (E.) [1905c] Leçons sur les fonctions de variables réelles et les développements en séries de polynômes, Paris : Gauthier-Villars, 1905. | JFM

[29] Borel (E.) [1908] Sur les principes de la théorie des ensembles, Atti del IV congresso internazionale dei matematici, vol II, p. 15-17, Roma : Academia dei Lincei, 1909 ; Œuvres III, p. 1267-1269. | JFM

[30] Borel (E.) [1909] La théorie des ensembles et les progrès récents de la théorie des fonctions, Rev. gén. sci., 20 (1909), p. 315-324 ; Œuvres III, p. 1277-1307. | JFM

[31] Boutroux (P.) [1904] Sur quelques propriétés des fonctions entières, Acta math., 28 (1904), p. 97-224. | JFM | MR

[32] Boutroux (P.) [1905] Comptes rendus et analyses : Baire (René), Leçons sur les fonctions discontinues, Bull. sci. math. 29 (1905), p. 249-252.

[33] Cantor (G.) [1883] Mémoires, Acta math., 2 (1883), p. 305-414. | MR

[34] Cantor (G.) [1899] Sur les fondements de la théorie des ensembles transfinis [trad. fr. de F. Marotte], Mémoires de la Société des sciences physiques et naturelles de Bordeaux, (V) 3 (1899), p. 343-437. | JFM

[35] Cavaillès (J.) [1937] Méthode axiomatique et formalisme, 2e éd., Paris : Hermann, 1981.

[36] Cassinet (J.) et Guillemot (M.) [1983] L'Axiome du choix dans les mathématiques de Cauchy (1821) à Gödel (1940), thèse d'état, Université Toulouse III, 1983. | Zbl

[37] Darboux (G.) [1872] Sur une théorème relatif à la continuité des fonctions, Bull. sci. math., 3 (1872), p. 307-313. | JFM | Numdam

[38] Darboux (G.) [1875] Mémoire sur les fonctions discontinues, Ann. scient. Éc. norm. sup., (II) 4 (1875), p. 57-112. | JFM | Numdam | MR

[39] Darboux (G.) [1879] Addition au mémoire sur les fonctions discontinues, Ibid. (II) 8 (1879), p. 195-202. | JFM | Numdam | MR

[40] Dauben (J.) [1979] Georg Cantor, his mathematics and philosophy of the infinite, Cambridge (Mass.) : Harvard University Press, 1979. | MR | Zbl

[41] Denjoy (A.) [1910] Sur les produits canoniques d'ordre infini, J. math. pures appl. (VI) 6 (1910), p. 1-136. | JFM | Numdam

[42] Dini (U.) [1878] Fondamenti per la theoria delle funzioni di variabili reali, Pise, 1878. | JFM

[43] Du Bois-Reymond (P.) [1887] Théorie générale des fonctions, traduction du traité allemand de 1882 par G. Milhaud et A. Girod, Nice, 1887.

[44] Dugac (P.) [1976a] Notes et documents sur la vie et l'œuvre de René Baire, Archive for history of exact sciences, 15 (1975-76), p. 297-383. | MR | Zbl

[45] Dugac (P.) [1976b] Des correspondances mathématiques des XIXe et XXe siècles, Revue de synthèse, 81-82 (1976), p. 149-170.

[46] Dugac (P.) [1978] Sur les fondements de l'analyse de Cauchy à Baire, thèse d'état, Université Pierre et Marie Curie, 1978.

[47] Dugac (P.) [1984] Georg Cantor et Henri Poincaré, Bolletino di storia delle scienze matematiche, 4 (1984), p. 65-96. | MR | Zbl

[48] Fatou (P.) [1906] Séries trigonométriques et séries de Taylor, Acta math., 30 (1906), p.335-400. | JFM

[49] Fréchet (M.) [1905] Les ensembles de courbes continues, C. R. Acad. sci. Paris, 141 (1905), p. 818-819. | JFM

[50] Fréchet (M.) [1906] Sur quelques points du calcul fonctionnel, Rendiconti del Circolo matematico di Palermo, 22 (1906), p. 1-74. | JFM

[51] Gispert (H.) [1983] Sur les fondements de l'analyse en France, Archive for history of exact sciences, 28 (1983), p. 37-106. | MR | Zbl

[52] Gispert (H.) [1990] Principes de l'analyse chez G. Darboux et J. Houël (1870-1880), enjeux mathématiques, épistémologiques et institutionnels, Revue d'histoire des sciences, 43 (1990), p. 181-220. | MR | Zbl

[53] Gispert (H.) [1991] La France mathématique. La Société mathématique de France (1872-1914), Cahiers d'histoire et de philosophie des sciences, Paris : Société française d'histoire des sciences et des techniques & Société mathématique de France, 1991 | MR | Zbl

[54] Gispert (H.) [1994] Un exemple d'approche sociologique en histoire des mathématiques : l'analyse au XIXe siècle, dans Le Relativisme est-il résistible ? (R. Boudon et M. Clavelin éd.), p. 211-220, Paris : PUF, 1994.

[55] Gray (J.) [1991] Did Poincaré say “Set theory is a disease ?”, The mathematical intelligencer, 13/1 (1991), p. 19-22. | MR | Zbl

[56] Hadamard (J.) [Œuvres] Œuvres scientifiques, 4 vol., Paris : CNRS, 1968. | Zbl

[57] Hadamard (J.) [1892] Essai sur l'étude des fonctions données par leur développement de Taylor, J. math. pures appl. (IV) 8 (1892), p. 101-186 ; Œuvres I, p. 7-92. | JFM | Numdam

[58] Hadamard (J.) [1897] Sur certaines applications possibles de la théorie des ensembles, Verhandlungen des ersten internationalen Mathematike-Kongresses, p. 201-202, Leipzig, 1898 ; Œuvres I, p. 311-312. | JFM

[59] Hadamard (J.) [1898] Les surfaces à courbures opposées et leurs lignes géodésiques, J. math. pures appl., (V) 4 (1898), p. 27-73 ; Œuvres II, p. 729-775. | JFM

[60] Hadamard (J.) [1912] Comptes rendus et analyses : Montel (P), Leçons sur les séries de polynômes à une variable complexe, Bull. sci. math., 36 (1912), p. 198-203.

[61] Hermite (C.) [Lettres] Lettres de Charles Hermite à Gösta Mittag-Leffler (1874-1883), (P. Dugac éd.), Cahiers sém. hist. math., (I) 5 (1984), p. 49-285. | Numdam | MR | Zbl

[62] Jordan (C.) [Œuvres] Œuvres scientifiques, 4 vol., Paris : Gauthier-Villars, 1961-1962.

[63] Jordan (C.) [1881] Sur la série de Fourier, C. R. Acad. sci. Paris, 92 (1881), p. 228-230 ; Œuvres IV, p. 393-395. | JFM

[64] Jordan (C.) [1882] Cours d'analyse de l'École polytechnique, tome 1, Paris : Gauthier-Villars, 1882. | JFM

[65] Jordan (C.) [1892] Remarques sur les intégrales définies, J. math. pures appl., (IV) 8 (1892), p. 69-99 ; Œuvres IV, p. 427-457. | JFM | Numdam

[66] Jordan (C.) [1893] Cours d'analyse de l'Ecole polytechnique, 2e éd. (entièrement refondue), tome 1, Paris : Gauthier-Villars, 1893. | JFM

[67] Lebesgue (H.) [Œuvres] Œuvres scientifiques, 5 vol., Genève : Enseignement mathématique, 1972-1973. | Zbl

[68] Lebesgue (H.) [1902] Intégrale, longueur, aire, Ann. mat. pura appl., (3) 7 (1902), p. 231-359 ; Œuvres I, p. 203-331. | JFM

[69] Lebesgue (H.) [1904] Leçons sur l'intégration et la recherche des fonctions primitives, Paris : Gauthier-Villars (1904) ; 2e éd., 1928. | JFM | Zbl

[70] Lebesgue (H.) [1906] Leçons sur les séries trigonométriques, Paris : Gauthier-Villars, 1906. | JFM

[71] Lebesgue (H.) [1907a] Sur les transformations ponctuelles transformant les plans en plans qu'on peut définir par des procédés analytiques, extrait d'une lettre adressée à M. Segre, Atti della Accademia delle scienze di Torino, 42 (1907), p. 532-539 ; Œuvres III, p. 219-226. | JFM

[72] Lebesgue (H.) [1907b] Contribution à l'étude des correspondances de M. Zermelo, Bull. Soc. math. France, 35 (1907), p. 202-212 ; Œuvres III, p. 227-237. | JFM | Numdam | MR

[73] Lebesgue (H.) [1922a] Notice inédite sur les travaux scientifiques, Œuvres I, p. 89-93.

[74] Lebesgue (H.) [1922b] Notice sur les travaux scientifiques, Œuvres I, p. 99-175. | JFM

[75] Lebesgue (H.) [1932] Notice sur René-Louis Baire, correspondant pour la section de géométrie, C. R. Acad. sci. Paris, 195 (1932), p. 86-88. | JFM

[76] Medvedev (F. A.) [1976] Francuzskaja shkola teorii funkcij i mnozhestv na rubezhe XIX-XX vv., Moskva : Nauka, 1976. | MR

[77] Méray (C.) [1869] Remarques sur la nature des quantités définies par la condition de servir de limites à des variables données, Revue de la Société savante des sciences mathématiques, physiques et naturelles, (II) 4 (1869), p. 280-289.

[78] Michel (A.) [1992] Constitution de la théorie moderne de l'intégration, Paris : Vrin, 1992. | MR

[79] Mittag-Leffler (G.) [1884] Sur la représentation analytique des fonctions monogèmes uniformes d'une variable indépendante, Acta math., 4 (1884), p. 1-79. | JFM | MR

[80] Montel (P.) [1905] Comptes rendus et analyses : Émile Borel, Leçons sur les fonctions de variables réelles et les développements en séries de polynomes, Bull. sci. math., 29 (1905), p. 62-67.

[81] Montel (P.) [1907] Sur les suites infinies de fonctions, Ann. scient. Éc. norm. sup., (III) 24 (1907), p. 233-334. | JFM | Numdam | MR

[82] Painlevé (P.) [Œuvres] Œuvres scientifiques, 3 tomes, Paris : Éditions du CNRS, 1972-1975.

[83] Painlevé (P.) [1887] Sur les lignes singulières des fonctions analytiques, Annales de la faculté des sciences de l'université de Toulouse, 2 (1887) ; Œuvres II, p. 29-159. | JFM | Numdam

[84] Painlevé (P.) [1895] Leçons de Stockholm, Œuvres I, p. 199-798.

[85] Picard (E.) [1900] L'idée de fonction depuis un siècle, Rev. gén. sci., 11 (1900), p. 61-69. | JFM

[86] Picard (E.) [1904] Comptes rendus et analyses : Lebesgue (Henri), Leçons sur l'intégration et la recherche des fonctions primitives, Bull. sci. math., 28 (1904), p. 180-183.

[87] Poincaré (H.) [Œuvres] Œuvres, 11 vol., Paris : Gauthier-Villars, 1916-1956. | Zbl

[88] Poincaré (H.) [1884] Mémoire sur les groupes kleinéens, Acta math., 3 (1884), p.49-92 ; Œuvres II, p. 258-299. | JFM

[89] Poincaré (H.) [1885] Sur les courbes définies par une équation différentielle (3e partie), J. math. pures appl., (4) 1, p. 167-244 ; Œuvres I, p. 90-161. | JFM | Numdam

[90] Poincaré (H.) [1888] Sur une propriété des fonctions analytiques, Rend. Circ. mat. Palermo, 2 (1888), p. 197-200 ; Œuvres IV, p. 11-13. | JFM

[91] Poincaré (H.) [1890] Sur les équations aux dérivées partielles de la physique mathématique, American journal of mathematics, 12 (1890), p. 211-294 ; Œuvres IX, p. 28-113. | JFM

[92] Pompeiu (O.) [1905] Sur la continuité des fonctions de variables complexes, Ann. fac. sci. Toulouse, (II) 7 (1905), p. 264-315. | JFM | Numdam

[93] Richard (J.) [1905] Lettre à Monsieur le Rédacteur de la Revue générale des sciences, Rev. gén. sci., 16 (1905) ; Acta math., 30 (1906), p. 295-296. | JFM | MR

[94] Riemann (B.) [1854] Über die Darstellbarkeit einer Funktion durch eine trigonometrische Reihe (1854), Gesammelte mathematische Werke, 1867 ; trad. fr. par J. Houël dans Bull. sci. math., 5 (1873), p. 20-96. | JFM

[95] Schoenflies (A.) [1900] Die Entwicklung der Lehre von den Punktmannigfaltigkeiten, Jahresbericht der Deutschen Mathematiker-Vereinigung, t. VIII-2 (1900), p. 1-250. | JFM

[96] Schoenflies (A.) [1908] Die Entwicklung der Lehre von den Punktmannigfaltigkeiten, Zweiter Teil, Leipzig, 1908. | JFM

[97] Schwarz (H.) [1872] Zur Integration der partiellen Differentialgleichung, Journal für die reine und angewandte Mathematik, 74 (1872), p. 218-253. | JFM

[98] Servant (M.) [1899] Essai sur les séries divergentes, Ann. fac. sci. Toulouse, (II) 1 (1899), p. 117-175. | JFM | Numdam | MR

[99] Sire (J.) [1911] Sur les fonctions entières de deux variables d'ordre apparent total fini, Rend. Circ. mat. Palermo, 31 (1911), p. 1-91. | JFM

[100] Tannery (J.) [1893] Comptes rendus et analyses : Jordan Camille, Cours d'analyse de l'École Polytechnique, deuxième édition entièrement refondue, Bull. sci. math., 17 (1893), p. 249-250.

[101] Tannery (J.) [1897] De l'infini mathématique, Rev. gén. sci., 8 (1897), p. 129-140. | JFM

[102] Tannery (J.) [1898] Comptes rendus et analyses : Borel (E.), Leçons sur la théorie des fonctions, Bull. sci. math., 22 (1898), p. 242-250. | JFM

[103] Tannery (J.) [1900] Comptes rendus et analyses : Schoenflies (A.), Die Entwicklung der Lehre von den Punktmannigfaltigkeiten, Bull. sci. math., 24 (1900), p. 239-245. | JFM

[104] Thomae (J.) [1870] Abriss einer Theorie der Funktionen einer complexen Veränderlichen und der Thetafunctionen, Halle, 1870. | JFM

[105] Zoretti (L.) [1904] Sur les ensembles parfaits et les fonction uniformes, C. R. Acad. sci. Paris, 138 (1904), p. 674-676. | JFM

[106] Zoretti (L.) [1905] Sur les fonctions analytiques uniformes qui possèdent un ensemble parfait discontinu de points singuliers, J. math. pures appl., (VI) 1 (1905), p. 1-51. | JFM | Numdam

[107] Zoretti (L.) [1906] Sur les ensemble discontinus, C. R. Acad. sci. Paris, 142 (1906), p. 763-764. | JFM

[108] Zoretti (L.) [1911] Comptes rendus et analyses : Schoenflies (A.), Die Entwicklung der Lehre von den Punktmannigfaltigkeiten (2e partie), Bull. sci. math., 36 (1912), p. 283-289. | JFM