La théorie des ensembles en France avant la crise de 1905 : Baire, Borel, Lebesgue... et tous les autres  [ Set theory in France prior to the crisis of 1905: Baire, Borel, Lebesgue... and the rest ]
Revue d'histoire des mathématiques, Volume 1 (1995) no. 1, p. 39-81

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.

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.

@article{RHM_1995__1_1_39_0,
     author = {Gispert, H\'el\`ene},
     title = {La th\'eorie des ensembles en France avant la crise de 1905 : Baire, Borel, Lebesgue... et tous les autres},
     journal = {Revue d'histoire des math\'ematiques},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {1},
     number = {1},
     year = {1995},
     pages = {39-81},
     zbl = {0822.01003},
     language = {fr},
     url = {http://www.numdam.org/item/RHM_1995__1_1_39_0}
}
Gispert, Hélène. La théorie des ensembles en France avant la crise de 1905 : Baire, Borel, Lebesgue... et tous les autres. Revue d'histoire des mathématiques, Volume 1 (1995) no. 1, pp. 39-81. http://www.numdam.org/item/RHM_1995__1_1_39_0/

[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 30.0359.01

[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 30.0078.02

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

[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 0692.01019

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

[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 25.0705.02

[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 26.0429.03 | Numdam | MR 1508908

[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 27.0197.03

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

[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 30.0230.03 | Numdam | MR 1508965

[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 48.0316.01

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

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

[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 34.0076.02

[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 34.0076.03

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

[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 34.0703.01 | Numdam | MR 1504458

[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 36.0103.02

[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 36.0098.06

[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 36.0435.01

[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 40.0098.06

[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 40.0060.02

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

[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 1554602

[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 30.0077.02

[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 0567.01017

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

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

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

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

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

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

[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 497686 | Zbl 0359.01019

[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 773207 | Zbl 0546.01005

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

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

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

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

[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 1129632 | Zbl 0718.01021

[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 1354143 | Zbl 0728.01029

[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 1084532 | Zbl 0716.01027

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

[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 24.0359.01

[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 29.0049.01

[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 29.0522.01

[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 732306 | Zbl 0525.01008

[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 13.0184.01

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

[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 24.0261.01

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

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

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

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

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

[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 38.0096.05

[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 38.0096.04 | Numdam | MR 1504581

[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 48.1113.08

[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 58.0992.03

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

[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 1190011

[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 16.0351.01 | MR 1554629

[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 38.0440.02 | Numdam | MR 1509082

[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 20.0404.01 | 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 31.0044.02

[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 0072.24103

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

[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 17.0680.01

[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 20.0393.02

[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 22.0977.03

[92] Pompeiu (O.) [1905] Sur la continuité des fonctions de variables complexes, Ann. fac. sci. Toulouse, (II) 7 (1905), p. 264-315. | JFM 36.0454.04 | 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 37.0075.04 | MR 1555031

[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 01.0131.03

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

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

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

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

[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 42.0444.03

[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 28.0071.14

[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 45.0664.01

[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 39.0095.16

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

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

[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 36.0451.01

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

[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 39.0095.16