Liste de publications importantes en mathématiques

page de liste de Wikimédia

La liste qui suit présente des publications qui ont, soit créé un nouveau sujet, soit changé de manière significative les connaissances scientifiques, soit enfin eu un impact sur l'enseignement des mathématiques.

Un des fragments les plus anciens des éléments d'Euclide retrouvé, trouvé à Oxyrhynchus[1].

Sur la thématique de l'importance de ces publications, on peut lire en particulier les ouvrages suivants :

Algèbre

modifier

Théorie des équations

modifier

Baudhayana Sulba Sutra

modifier

Écrit aux alentours du VIIIe siècle av. J.-C., c'est l'un des textes géométriques les plus anciens. Il a posé les bases des mathématiques indiennes et a été influant en Asie du Sud et de ses régions environnantes, et peut-être même la Grèce. Bien que ce fût d'abord un texte géométrique, il contenait également quelques développements algébriques importants, y compris la première liste des triplets pythagoriciens découverts algébriquement, des solutions géométriques d'équations linéaires, la première utilisation des équations du second degré de formes ax2 = c et ax2 + bx = c, et des solutions intégrales d'équations diophantiennes jusqu'à quatre inconnues.

Les Neuf Chapitres sur l'art mathématique

modifier

Contient la première description de l'élimination de Gauss-Jordan pour une résolution de système d'équations linéaires, il contient également une méthode pour trouver la racine carrée et la racine cubique.

Le manuel mathématique de l'île de la mer

modifier

Contient l'application des triangles à angle droit pour l'étude de la profondeur ou la hauteur des objets éloignés.

Classique mathématique de Sun Zi

modifier
  • Sunzi (période du IIIe au Ve siècle)

Contient la description du théorème des restes chinois.

Aryabhata

modifier

Aryabhata introduit la méthode dite « Modus Indorum » ou la méthode des Indiens, qui est devenue notre algèbre aujourd'hui. Le texte contient 33 versets couvrant, arithmétiques et progressions géométriques, gnomon/ombres (Shanku-ChhAyA), simple, quadratique, simultanées et équations indéterminées.

Jigu Suanjing

modifier

Jigu Suanjing (626)

Ce livre de la dynastie des Tang mathématicien Wang Xiaotong contient la première équation du troisième ordre au monde.

Contient des règles pour manipuler les nombres positifs et négatifs, une méthode de calcul des racines carrées, et des méthodes générales de la résolution d'équation linéaire et du second degré[2],[3],[4],[5].

Le premier livre sur les solutions algébriques systématiques des équations linéaires et quadratiques par le savant musulman et persan Al-Khwârizmî. Le livre est considéré comme le fondement de l'algèbre moderne et les mathématiques arabo-islamique. Le mot «algèbre» est lui-même dérivé de al-Jabr du titre du livre[6].

Yigu yanduan

modifier
  • Liu Yi (XIIe siècle)

Contient la première invention de l'équation polynomiale de 4e ordre.

Traité Mathématique en Neuf Section

modifier

Ce livre du XIIIe siècle contient la première solution complète de la méthode de Ruffini-Horner du XIXe siècle de résoudre des équations polynomiales d'ordre élevé (jusqu'à 10 ordre). Il contient également une solution complète du théorème des restes chinois, qui est antérieure à Euler et Gauss de plusieurs siècles.

Ceyuan haijing

modifier

Contient l'application d'équation polynomial haute afin équation polynomiale pour résoudre des problèmes de géométrie complexe.

Contient la méthode du système d'équations de polynômes d'ordre supérieur jusqu'à quatre inconnues.

Contient que les premières méthodes publiées pour résoudre des équations cubiques et quartiques (en raison de Scipione del Ferro, Niccolò Fontana Tartaglia, et Lodovico Ferrari), et expose les premiers calculs publiés impliquant des nombres complexes non réels[7],[8].

Vollständige Anleitung zur Algebra

modifier

Aussi connu sous le titre Éléments de l'Algèbre, le manuel d'Euler sur l'algèbre élémentaire est l'un des premiers à définir l'algèbre dans sa forme moderne. La première partie traite de la détermination des équations, tandis que la seconde partie traite des équations diophantiennes. La dernière section contient une preuve du dernier théorème de Fermat pour le cas n = 3, ce qui rend certaines hypothèses valables en ce qui concerne Q(√−3) qu'Euler n'a pas prouvé[9].

Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse

modifier

La thèse de doctorat de Gauss[10] contient une preuve largement acceptée à l'époque, mais incomplète[11] du théorème fondamental de l'algèbre.

Algèbre abstraite

modifier

Réflexions sur la résolution algébrique des équations

modifier

La résolvante de Lagrange a introduit la transformation de Fourier discrète d'ordre 3.

Articles publiés par Galois dans les Annales de Mathématiques

modifier
  • Journal de Mathématiques pures et Appliquées, II (1846)

Publication posthume des manuscrits mathématiques de Évariste Galois par Joseph Liouville. Sont inclus les documents de Galois Mémoire sur les conditions de résolubilité des équations par radicaux et Des équations primitives qui sont solubles par radicaux.

Traité des substitutions et des équations algébriques

modifier

Le premier livre sur la théorie de groupe, qui donne une étude puis exhaustive des groupes de permutation et de la théorie de Galois. Dans ce livre, Jordan a introduit la notion de groupe simple et d'épimorphisme (qu'il appelait l'isomorphisme mériédrique)[12], partie prouvée du théorème de Jordan-Hölder[13].

Théorie der Transformationsgruppen

modifier

Donnée de publication : 3 volumes, B.G. Teubner, Verlagsgesellschaft, mbH, Leipzig, 1888–1893. Volume 1, Volume 2, Volume 3.

Le premier travail exhaustif sur les groupes de transformation, servant de base à la théorie moderne des groupes de Lie.

Solvability of groups of odd order

modifier

Description: Solvability of groups of odd order (Solvabilité des groupes d'ordre impair) a donné une preuve complète de la solvabilité des groupes finis d'ordre impair, en établissant le Problème de Burnside selon laquelle tous les groupes simples non-abéliens finis sont d'ordre pair. Bon nombre de techniques originales utilisées dans le ce document ont été utilisés dans la classification des groupes simples finis.

Sur quelques points d'algèbre homologique

modifier

Révolution de l'algèbre homologique en introduisant les catégories abéliennes et en fournissant un cadre général pour la notion de Cartan et Eilenberg des foncteurs dérivés.

Géométrie algébrique

modifier

Théorie der Abelschen Functionen

modifier

Donnée de publication: Journal für die Reine und Angewandte Mathematik

André Weil a écrit que ce document «est l'une des plus grandes pièces des mathématiques qui n'ait jamais été écrite, il n'y a pas un seul mot dans celle-ci qui n'ait pas de conséquence.» [14]

Faisceaux Algébriques Cohérents

modifier

Donnée de publication: Annals of Mathematics, 1955

FAC, comme il est généralement appelé, était utilisation de préfaisceaux en géométrie algébrique, allant au-delà du cas des variétés complexes. Serre introduit cohomologie de Čech des préfaisceaux dans ce document, et, en dépit de quelques lacunes techniques, a révolutionné les formulations de la géométrie algébrique.

Géométrie Algébrique et Géométrie Analytique

modifier

En mathématiques, la géométrie algébrique et la géométrie analytique sont étroitement reliés, où la géométrie analytique est la théorie des variétés complexes et les espaces analytiques plus généraux définis localement par la disparition des fonctions analytiques de plusieurs variables complexes. Une théorie (mathématique) de la relation entre les deux a été mis en place au cours de la première partie des années 1950, afin de poser les bases de la géométrie algébrique pour inclure, par exemple, les techniques de la théorie de Hodge. Le document a consolidé la théorie Géometrie Algébrique et Géométrie Analytique par Serre, maintenant généralement désignée sous le nom GAGA.

Le théorème de Riemann–Roch, d'après A. Grothendieck

modifier

L'exposition de Borel et Serre de la version de Grothendieck du Théorème de Riemann–Roch, publié après Grothendieck a précisé qu'il ne souhaitait pas écrire son propre résultat[15]. Dans sa preuve, Grothendieck a innové avec son concept de groupes de Grothendieck, qui a conduit à l'élaboration de la K-théorie[16].

Rédigé avec l'aide de Jean Dieudonné, ceci est l'exposition de Grothendieck de son travail des fondements de la géométrie algébrique. Elle est devenue la base de travail la plus importante dans la géométrie algébrique moderne.

Contrairement à EGA, qui est destiné à fixer les fondations, SGA décrit les recherches en cours comme elle se déroulait au séminaire de Grothendieck; en conséquence, il est assez difficile à lire, puisque la plupart des résultats plus élémentaires et fondamentaux ont été relégués à EGA. L'une des personnes principale de résultats dans SGA est la preuve de Pierre Deligne de la dernière conjectures de Weil ouvertes au début des années 1970.

Théorie des nombres

modifier

Brahmasphutasiddhanta de Brahmagupta est le premier livre qui mentionne zéro comme un nombre, Brahmagupta est alors considéré comme le premier à formuler le concept de zéro. Le système actuel des quatre opérations fondamentales (addition, soustraction, multiplication et division) basé sur le système de nombre hindou-arabe est également apparu la première fois dans Brahmasphutasiddhanta. Il a également été l'un des premiers textes à fournir des idées concrètes sur les nombres positifs et négatifs.

De fractionibus continuis dissertatio

modifier

D'abord présenté en 1737, cet article [17] fourni le premier compte complet des propriétés des fractions continues. Il contient également la première preuve que le nombre e est irrationnel[18].

Recherches d'Arithmétique

modifier

Développement d'une théorie générale des formes quadratiques binaires pour traité le problème général quand un nombre entier est représentable par la forme  . Cela comprenait une théorie de réduction des formes quadratiques binaires, où il a prouvé que toute forme est équivalente à une certaine forme réduite canoniquement choisie[19],[20].

Le Disquisitiones Arithmeticae est un livre profond et magistrale sur la théorie des nombres écrits par le mathématicien allemand Carl Friedrich Gauss et publié en 1801 lorsque Gauss avait 24 ans. Dans ce livre, Gauss rassemble les résultats dans la théorie des nombres obtenus par les mathématiciens tels que Fermat, Euler, Lagrange et Legendre et ajoute de nombreux nouveaux résultats importants. Parmi ses contributions, la première preuve complète connue du théorème fondamental de l'arithmétique, les deux premières preuves publiées de la loi de réciprocité quadratique, une étude profonde des formes quadratiques binaires allant au-delà du travail de Lagrange dans les Recherches d'Arithmétique, une première apparition de la somme de Gauss, cyclotomie, et la théorie des polygones constructibles avec une application particulière à la constructibilité d'un heptadécagone[21][22]

Beweis des Satzes, daß jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enthält

modifier

Ce document est le premier concernant la théorie analytique des nombres, il a introduit les caractères de Dirichlet et de leurs fonctions L pour établir le théorème de la progression arithmétique. Dans ses publications ultérieures, Dirichlet a utilisé ces outils pour déterminer, entre autres, le numéro de classe pour les formes quadratiques.

Über die Anzahl der Primzahlen unter einer gegebenen Grösse

modifier

Über die Anzahl der Primzahlen unter einer gegebenen Grösse (Sur le nombre de nombres premiers inférieurs à une taille donnée) est un article de 8 pages écrit par Bernhard Riemann publié dans l'édition de novembre 1859 des Rapports mensuels de l'Académie de Berlin. Bien que ce soit le seul article qu'il ait publié sur la théorie des nombres, il contient des idées qui ont influencé des milliers de chercheurs depuis la fin du XIXe siècle jusqu'à nos jours. L'article contient d'abord des définitions, des arguments heuristiques, des esquisses de preuves et l'application de méthodes analytiques puissantes ; toutes celles-ci sont devenues des concepts essentiels et des outils de la théorie analytique des nombres moderne. Il contient également la célèbre hypothèse de Riemann, l'un des problèmes ouverts les plus importants des mathématiques[23].

Vorlesungen über Zahlentheorie

modifier

Vorlesungen über Zahlentheorie est un livre sur la théorie des nombres écrits par les mathématiciens allemands P. G. Lejeune Dirichlet et R. Dedekind, publié en 1863. Le Vorlesungen peut être considérée comme un tournant entre la théorie des nombres classique de Fermat, Jacobi et Gauss, et la théorie des nombres moderne de Dedekind, Riemann et Hilbert.

Zahlbericht

modifier

Bien que critiqué par André Weil (qui a déclaré que «plus de la moitié de son célèbre Zahlbericht n'est guère plus qu'un compte rendu du travail de Kummer sur la théorie des nombres, avec des améliorations non essentielles»)[24] et par Emmy Noether[25], il a été très influent de nombreuses années après sa publication.

Fourier Analysis in Number Fields and Hecke's Zeta-Functions

modifier

Fourier Analysis in Number Fields and Hecke's Zeta-Functions est généralement appelé la thèse de Tate. La thèse, sous Emil Artin, est un remaniement de la théorie de Erich Hecke des fonctions-zéta et L en termes d'analyse de Fourier.

La conjecture de Weil

modifier

La conjecture de Weil, tome I, contient la preuve de l'hypothèse de Riemann pour les variétés sur les corps finis, réglant la dernière des conjectures de Weil ouvertes.

Endlichkeitssätze für abelsche Varietäten über Zahlkörpern

modifier

Faltings prouve une collection de résultats importants dans cet article, dont le plus célèbre est la première preuve de la conjecture de Mordell (une conjecture datant de 1922). 

Modular Elliptic Curves and Fermat's Last Theorem

modifier

Modular Elliptic Curves and Fermat's Last Theorem (Courbes Elliptiques Et le Dernier Théorème de Fermat) prouve un cas particulier de la conjecture de Shimura-Taniyama à travers l'étude de la théorie de la déformation des représentations galoisiennes. Ceci implique le célèbre dernier théorème de Fermat.

The geometry and cohomology of some simple Shimura varieties

modifier

Harris et Taylor fournissent la première preuve de la conjecture locale de Langlands pour GL(n).

Le lemme fondamental pour les algèbres de Lie

modifier

Ngô Bảo Châu a prouvé un problème non résolu de longue date dans le programme de Langlands, en utilisant des méthodes du programme géométrique de Langlands.

Analyse

modifier

Introductio in analysin infinitorum

modifier

L'historien des mathématiques Carl Boyer a une fois appelé Introductio in analysin infinitorumd'Euler le plus grand texte moderne mathématiques[26]. Publié en deux volumes[27],[28], ce livre plus que tout autre, a réussi à établir l'analyse comme une branche importante des mathématiques, avec un accent sur celle utilisée en géométrie et en algèbre[29],[30]. Dans ce texte, Euler a prouvé que chaque nombre rationnel peut être écrit comme une fraction continue finie, que la fraction continue d'un nombre irrationnel est infini[27].Ce texte contient également un énoncé de la formule d'Euler et une déclaration du théorème des nombres pentagonaux, dont il avait fait la découverte plus tôt et publierait sa preuve en 1751.

Calculus

modifier
  • Jyeshtadeva (1501)

Écrit en Inde en 1501, ce fut le premier texte de calcul au monde. «Ce travail a posé les bases d'un système complet de fluxions»[31]et a servi comme un résumé des réalisations de l'École du Kerala à propos du calcul, la trigonométrie et l'analyse mathématique, dont la plupart ont été découverts plus tôt par le mathématicien Madhava au XIVe siècle. Il est possible que ce texte a influencé le développement ultérieur du calcul en Europe. Certains de ses développements importants dans le calcul comprennent : les idées fondamentales d'intégration, de dérivé, d'équations différentielles, l'intégration numérique au moyen de série infinie, la relation entre la zone d'une courbe et son intégrale, et le théorème des accroissements finis.

Nova methodus pro maximis et minimis, itemque tangentibus, quae nec fractas nec irrationales quantitates moratur, et singulare pro illi calculi genus

modifier

Première publication de Leibniz sur le calcul différentiel, contenant la notation désormais familière des différentiels ainsi que les règles de calcul des dérivés, des produits et des quotients.

Philosophiae naturalis principia mathematica

modifier

Le Philosophiae naturalis principia mathematica (Latin: «Principes mathématiques de la philosophie naturelle», souvent raccourci Principia ou Principia Mathematica) est un travail en trois volumes écrit par Isaac Newton publié le 5 juillet 1687. Peut-être le livre scientifique le plus influent jamais publié, il contient l'exposé des lois du mouvement de Newton, formant la base de la mécanique classique, ainsi que sa loi de la gravitation universelle, et tire les lois de Kepler pour le mouvement des planètes (qui ont d'abord été obtenues empiriquement)[32].

Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum

modifier
 
Institutiones calculi differentialis

Publié en deux livres[33], Le Traité du calcul différentiel d'Euler sur le calcul différentiel présente le sujet en termes de fonction, qu'il avait introduit dans son Introductio dans analysin infinitorum de 1748. Ce travail a ouvert l'étude du calcul des différences finies [34]. On y trouve aussi une étude des polynômes de Bernoulli et des nombres de Bernoulli[35], et une nouvelle étude de la Constante d'Euler[36].

Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe

modifier
  • Bernhard Riemann (1867)

Écrit en 1853, les travaux de Riemann sur les séries trigonométriques ont été publiés à titre posthume. Dans ce document, il étend la définition de Cauchy de l'intégrale de Riemann, ce qui permet à certaines fonctions des sous-ensembles denses de discontinuités sur un intervalle d'être intégrées (démonstration par un exemple)[37]. Il a également déclaré son théorème de réarrangement de Riemann[37], prouvé le théorème de Riemann-Lebesgue pour le cas des fonctions de Riemann intégrables[38], et a développé le principe de Riemann de localisation[39].

Intégrale, longueur, aire

modifier

La thèse de doctorat de Lebesgue, résumant et étendant ses recherches en ce qui concerne son développement de la théorie de la mesure et de l'intégrale portant son nom.

Analyse complexe

modifier

Grundlagen für eine allgemeine Théorie der Functionen einer veränderlichen complexen Grösse

modifier
  • Bernhard Riemann (1851)

La thèse de doctorat de Riemann a introduit la notion de surface de Riemann, transformation conforme, la sphère de Riemann, et le théorème de l'application conforme.

Analyse fonctionnelle

modifier

Théorie des opérations linéaires

modifier

Première monographie mathématique sur le thème des espaces métriques linéaires, comportant l'étude abstraite de l'analyse fonctionnelle. Le livre introduit les idées d'un espace normé et la notion d'un espace-B dit, un espace normé complet. Les espaces-B sont maintenant appelés les espaces de Banach et sont l'un des objets de base de l'étude dans les domaines de l'analyse mathématique moderne. Banach a également donné des preuves du théorème ouvert de cartographie, théorème du graphe fermé, et de Hahn-Banach.

Analyse de Fourier

modifier

Mémoire sur la propagation de la chaleur dans les corps solides

modifier

Introduction à l'analyse de Fourier, en particulier aux séries de Fourier. La contribution clé était de ne pas simplement utiliser les séries trigonométriques, mais de modéliser toutes les fonctions par séries trigonométriques.

Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre des limites données

modifier

Dans sa thèse d'habilitation sur les séries de Fourier, Riemann décrit les travaux de Dirichlet comme «le premier document profond sur le sujet»[41].Ce document a donné la première preuve rigoureuse de la convergence des séries de Fourier dans des conditions assez générales en considérant les sommes partielles, que Dirichlet a transformé en une intégrale de Dirichlet particulière, que l'on appelle maintenant le noyau de Dirichlet[42].

Géométrie

modifier

Baudhayana Sulba Sutra

modifier
  • Baudhayana

Écrit aux alentours du VIIIe siècle av. J.-C., c'est l'un des textes géométriques les plus anciens. Il a posé les bases des mathématiques indiennes et a été influant en Asie du Sud et de ses régions environnantes, et peut-être même la Grèce. Quelques découvertes géométriques importantes de ce texte: la première liste des triplets pythagoriciens découvert algébriquement, le premier énoncé du théorème de Pythagore, des solutions géométriques des équations linéaires, plusieurs approximations de π, la première utilisation des nombres irrationnels, et un calcul précis de la racine carrée de deux, correcte à cinq décimales.

Éléments d'Euclide

modifier

Donnée de publication : 300 av. J.-C.

Celui-ci est souvent considéré comme, non seulement le travail le plus important de la géométrie, mais aussi l'une des œuvres les plus importantes des mathématiques. Il contient de nombreux résultats importants en géométrie plane et solide, l'algèbre (livres II et V), et la théorie des nombres (livre VII, VIII et IX)[43]. Les Éléments d'Euclide se réfère généralement au texte le plus réussi et influent[44] jamais écrit.

  • Auteur inconnu

Contient la première description de l'élimination de Gauss pour une résolution de système d'équations linéaires, il contient également une méthode pour trouver la racine carrée et la racine cubique. La première solution d'une matrice en utilisant une méthode équivalente à la méthode actuelle.

Les Coniques a été écrit par Apollonius de Perga, un mathématicien grec. Sa méthodologie et la terminologie novatrice, en particulier dans le domaine des coniques, ont influencé de nombreux chercheurs, comme Ptolémée, Francesco Maurolico, Isaac Newton ou encore René Descartes. C'est Apollonius qui a donné les noms de l'ellipse, la parabole, et l'hyperbole. 

  • Inconnu (400)

Il contient les racines de la trigonométrie moderne. Il décrit les théories d'archéo-astronomie, les principes et les méthodes des anciens Hindous. Ce siddhanta est censé être la connaissance que le dieu Soleil a donné à un Asuraappelé Maya. Il utilise des sinus (jya), cosinus (kojya ou «sinus perpendiculaire») et sinus inverse (jya otkram) pour la première fois, et contient également la première utilisation de la tangente et de la sécante.

Ce fut un texte très influent au cours de l'âge d'or des mathématiques en Inde. Celui-ci a grandement contribué à la géométrie et à l'astronomie, y compris l'introduction des sinus/cosinus, la détermination de la valeur approximative de Pi et un calcul précis de la circonférence de la terre.

La Géométrie

modifier

La Géométrie a été écrit par René Descartes et publié en 1637. Le livre a été influent dans le développement du système de coordonnées cartésiennes et plus particulièrement de la représentation des points d'un plan, par des nombres réels et la représentation des courbes, via des équations.

Grundlagen der Geometrie

modifier

Version en ligne : (en) En ligne

Donnée de publication: (en) David Hilbert, Grundlagen der Geometrie, Teubner-Verlag Leipzig, (ISBN 1-4020-2777-X)

L'axiomatisation de Hilbert de la géométrie.

Regular Polytopes

modifier

Regular Polytopes (Polytopes réguliers) est une étude exhaustive de la géométrie des polytopes réguliers, la généralisation des polygones réguliers et des polyèdres réguliers aux dimensions supérieures. Originaire d'un essai intitulé Dimensional Analogy écrit en 1923, la première édition du livre a pris 24 ans à Coxeter pour la compléter. À l'origine écrit en 1947, le livre a été mis à jour et réédité en 1963 et en 1973.

Géométrie différentielle

modifier

Recherches sur la courbure des surfaces

modifier

Donnée de publication: Mémoires de l'académie des sciences de Berlin 16 (1760) p. 119–143; publié en 1767.

Ce document établie la théorie des surfaces, et introduit l'idée de courbures principales, posant les bases de développements de la géométrie différentielle des surfaces.

Disquisitiones generales circa superficies curvas

modifier

Donnée de publication: «Disquisitiones generales circa superficies curvas», Commentationes Societatis Regiae Scientiarum Gottingesis Recentiores Vol. VI (1827), p. 99–146; «General Investigations of Curved Surfaces» (publié en 1965) Raven Press, New York.

Travaux novateurs en géométrie différentielle, en introduisant la notion de courbure de Gauss.

Über die Hypothesen, welche der Geometrie zu Grunde Liegen

modifier
  • Bernhard Riemann (1854)

Donnée de publication: «Über die Hypothesen, welche der Geometrie zu Grunde Liegen», Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Vol. 13, 1867.

Le célèbre Habiltationsvortrag de Riemann, dans laquelle il introduit les notions de variété, métrique riemannienne et de tenseur de courbure.

Leçons sur la théorie génerale des surfaces et les applications géométriques du calcul infinitésimal

modifier

Donnée de publication: (en) Gaston (1887,1889,1896) Darboux, Leçons sur la théorie génerale des surfaces, Gauthier-Villars Volume I, Volume II, Volume III, Volume IV

Un traité couvrant pratiquement tous les aspects de la géométrie différentielle des surfaces du XIXe siècle.

Topologie

modifier

Analysis situs

modifier

L'Analysis situs de Poincaré et ses Compléments à l'Analysis situs posent les bases de la topologie algébrique. Dans ces documents, Poincaré introduit les notions d'homologie et de groupe fondamental, et mentionne plusieurs conjectures importantes, y compris la conjecture de Poincaré.

L'anneau d'homologie d'une représentation, Structure de l'anneau d'homologie d'une représentation

modifier

Dans ces deux notes aux Comptes rendus de 1946, Leray introduit les concepts nouveaux de préfaisceau, cohomologie des faisceaux, et de suite spectrale, qu'il mit au point au cours de ses années de captivité comme prisonnier de guerre. Les déclarations et les applications de Leray (publiées dans les notes des Comptes rendus de 1946) attire l'attention immédiate d'autres mathématiciens. Après la clarification, le développement et la généralisation par Henri Cartan, Jean-Louis Koszul, Armand Borel, Jean-Pierre Serre et Leray lui-même, permettent à ces concepts d'être compris et appliqués dans de nombreux autres domaines mathématiques[45],[46].

Quelques propriétés globales des variétés différentiables

modifier

Dans cet article, Thom prouve le théorème de transversalité de Thom, introduit les notions de cobordisme orienté et non-orienté, et démontre que les groupes de cobordisme peuvent être calculés comme les groupes d'homotopie de certains espaces de Thom[47],[48].

Théorie des catégories

modifier

General theory of natural equivalences

modifier

General theory of natural equivalences (Théorie générale et équivalences naturelles) est le premier article concernant la théorie des catégories. Mac Lane a plus tard écrit dans Categories for the Working Mathematician que lui et Eilenberg ont introduit les catégories afin qu'ils puissent introduire les foncteurs, pour pouvoir présenter des équivalences naturelles.

Saunders Mac Lane, l'un des fondateurs de la théorie des catégories, a écrit cette exposition pour apporter des catégories pour les masses. 

Théorie des ensembles

modifier

Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen

modifier

Version en ligne: version en ligne

 Contient la première preuve que l'ensemble des nombres réels est innombrable; contient également une preuve que l'ensemble des nombres algébriques est dénombrable. (Voir le premier article de la théorie des ensembles de Georg Cantor.)

Grundzüge der Mengenlehre

modifier

D'abord publié en 1914, ce fut la première introduction complète à la théorie des ensembles. Le livre contient également des chapitres sur la théorie de la mesure et de la topologie, qui sont toujours considéré comme parties de la théorie des ensembles. 

The Independence of the Continuum Hypothesis

modifier

le travail de Cohen a prouvé l'indépendance de l'hypothèse du continu et l'axiome du choix par rapport à théorie des ensembles Z-F. Pour prouver ceci, Cohen a introduit la notion de forcing,qui a conduit à de nombreux autres résultats dans la théorie des ensembles axiomatique.

Logique

modifier

Les Lois de la pensée

modifier

Publié en 1854, Les Lois de la pensée a été le premier livre à fournir une base mathématique pour la logique. Son objectif était une extension de la logique d'Aristote en mathématiques. Le travail de Boole a fondé la discipline de la logique algébrique.

Begriffsschrift

modifier

Publié en 1879, le titre Begriffsschrift peut être traduit par Idéographie. C'est un langage entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la logique mathématique. Il était sans doute la publication la plus importante de logique depuis Aristote.

Formulaire de mathématiques

modifier

D'abord publié en 1895, le Formulaire de mathématiques fut le premier livre mathématique entièrement écrit dans un langage formel. Il contient une description de la logique mathématique et de nombreux théorèmes importants. Bon nombre des notations introduites dans ce livre sont maintenant couramment utilisées.

Principia Mathematica

modifier

Les Principia Mathematica sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés à compte d'auteur en 1910-1913. Cette œuvre a pour sujet les fondements des mathématiques. Avec en particulier l'idéographie de Gottlob Frege, c'est un ouvrage fondamental, dans la mesure où il participe de façon décisive à la naissance de la logique moderne. Les Principia englobent la théorie des ensembles, avec les nombres cardinaux, les nombres ordinaux, ainsi que les nombres réels. Des théorèmes plus avancés de l'analyse réelle n'ont pas été inclus. Un quatrième volume était initialement prévu, mais n'a jamais été réalisé.

Systems of Logic Based on Ordinals

modifier

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.

modifier

En logique mathématique, les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres prouvés par Kurt Gödel en 1931. 

Combinatoire

modifier

On sets of integers containing no k elements in arithmetic progression

modifier

Ce document règle la conjecture de Paul Erdős et Pál Turán (maintenant connu comme le théorème de Szemerédi). La solution de Szemerédi a été décrit comme un «chef-d'œuvre de la combinatoire»[49][50]

Théorie des graphes

modifier

Solutio problematis ad geometriam situs pertinentis

modifier

La solution d'Euler du problème des ponts de Königsberg dans Solutio problematis ad geometriam situs pertinentis (La solution d'un problème lié à la géométrie de la position) est considéré comme le premier théorème de la théorie des graphes.

On the evolution of random graphs

modifier

Il fournit une analyse détaillée des graphes aléatoires[51].

Network Flows and General Matchings

modifier

Présente l'algorithme de Ford-Fulkerson pour résoudre le problème de flot maximum.

Théorie de la complexité

modifier

Voir Liste de publications importantes en informatique.

Théorie des probabilités

modifier

Voir Liste de publications importantes en statistique.

Théorie des jeux

modifier

Zur Théorie der Gesellschaftsspiele

modifier

Ce document alla bien au-delà des études initiales de Émile Borel dans la théorie stratégique du jeu à deux personnes en prouvant le théorème minimax.

Livre de mathématiques, en anglais, écrit en 1976. Il introduit notamment le concept de nombre surréel et pose les bases de la théorie des jeux. Avec Winning Ways for your Mathematical Plays, ce livre est considéré comme fondateur de la théorie des jeux combinatoires.

Recueil d'informations sur les jeux mathématiques. Il a été publié pour la première en 1982 en deux volumes, l'un se concentrant sur la théorie des jeux combinatoires et les nombres surréels, et l'autre sur un certain nombre de jeux spécifiques.

Analyse numérique

modifier

Method of Fluxions

modifier

Method of Fluxions est un livre écrit par Isaac Newton publié en 1736. Dans ce livre, Newton décrit une méthode (la méthode de Newton-Raphson) pour trouver les vrais zéros d'une fonction.

Essai d'une nouvelle méthode pour déterminer les maxima et les minima des formules intégrales indéfinies

modifier

Premiers travaux majeurs sur le calcul des variations, se fondant sur certaines des études antérieures de Lagrange, ainsi que celles d'Euler. Il contient des études sur la détermination de la surface minimale, ainsi que l'aspect initial des multiplicateurs de Lagrange.

Математические методы организации и планирования производства

modifier
  • Leonid Kantorovich (1939) « La méthode mathématique de planification de la production et de l'organisation]» (en Russe).

Il a reçu le prix Nobel pour ce travail en 1975.

How good is the simplex algorithm?

modifier

Klee et Minty ont donné un exemple montrant que l'algorithme du simplexe peut prendre de façon exponentielle de nombreuses étapes pour résoudre un programme linéaire.

Premiers manuscrits

modifier

Ce sont les publications qui ne sont pas nécessairement pertinentes pour un mathématicien contemporain, mais ce sont néanmoins des publications importantes dans l'histoire des mathématiques.

Un des textes mathématiques les plus anciens, datant de la Deuxième Période intermédiaire de l'Égypte antique. Il a été copié par le scribe Ahmes à partir d'un papyrus. Il a posé les bases des mathématiques égyptiennes. En plus de décrire comment obtenir une approximation de π, il décrit l'une des premières tentatives de la quadrature du cercle.

Les problèmes traités ici sont ceux du centre de gravité d'un hémisphère solide, du centre de gravité d'un tronc de paraboloïde circulaire, et de la surface d'une région délimitée par une parabole et une de ses lignes sécantes. Pour plus de détails explicites sur la méthode utilisée, voir l'utilisation d'Archimède des infinitésimaux.

Le premier système connu de numérotation qui peut être étendu au-delà des besoins de la vie quotidienne.

Œuvres encyclopédiques

modifier

Éléments de mathématique

modifier

Les Éléments de mathématique est un traité voulant reformuler et unifier l'ensemble des domaines des mathématiques. C'est une œuvre parmi les plus influentes de la littérature mathématique française. Elle introduit certaines des notations et définitions désormais usuelles, comme le symbole ou la notion de Bijection. Caractérisé par un niveau extrême de rigueur, de formalisme et de généralité, au point d'en être vivement critiqué, sa publication a débuté en 1939 et reste inachevée.

Articles connexes

modifier

Références

modifier
  1. Bill Casselman, « One of the Oldest Extant Diagrams from Euclid », University of British Columbia (consulté le )
  2. (en) Shashi S. Sharma, Mathematics & Astronomers of Ancient India, Pitambar (ISBN 978-81-209-1421-6), p. 29

    « Brahmagupta is believed to have composed many important works of mathematics and astronomy. However, two of his most important works are: Brahmasphutasiddhanta (BSS) written in 628 AD, and the Khandakhadyaka... »

  3. (en) Miodrag Petković, Famous puzzles of great mathematicians, American Mathematical Society, , 77, 299 (ISBN 978-0-8218-4814-2, lire en ligne)

    « many important results from astronomy, arithmetic and algebra", "major work »

  4. (en) Helaine Selin (dir.), Encyclopaedia of the history of science, technology, and medicine in non-western cultures, Springer, , 1117 p. (ISBN 978-0-7923-4066-9, lire en ligne), p. 162

    « holds a remarkable place in the history of Eastern civilzation", "most important work", "remarkably modern in outlook", "marvelous piece of pure mathematics", "more remarkable algebraic contributions", "important step towards the integral solutions of [second-order indeterminate] equations", "In geometry, Brahmagupta's achievements were equally praiseworthy. »

  5. (en) John Tabak, Algebra : sets, symbols, and the language of thought, Infobase Publishing, , 38ff (ISBN 978-0-8160-4954-7)

    « Brahmagupta's masterpiece", "a great deal of important algebra", "The Brahma-sphuta-siddhānta was quickly recognized by Brahmagupta's contemporaries as an important and imaginative work. It inspired numerous commentaries by many generations of mathematicians. »

  6. (en) Allan Clark, Elements of abstract algebra, United States, Courier Dover Publications, , 205 p. (ISBN 978-0-486-64725-8, lire en ligne), ix
  7. J. J. O'Connor et E. F. Robertson, « Girolamo Cardano »,
  8. (en) Markus Fierz, Girolamo Cardano : 1501-1576. Physician, Natural Philosopher, Mathematician, Birkhäuser Boston, (ISBN 978-0-8176-3057-7)
  9. (en) André Weil, Number Theory : An approach through history From Hammurapi to Legendre, Birkhäuser, , 239–242 p. (ISBN 0-8176-3141-0)
  10. J.C.F. Gauss, « Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse »,
  11. J. J. O'Connor et E. F. Robertson, « The fundamental theorem of algebra »,
  12. (en) ed. by A. N. Kolmogorov..., Mathematics of the 19th Century : Mathematical Logic, Algebra, Number Theory, and Probability Theory, Birkhäuser Verlag, , 39, 63, 66–68 (ISBN 3-7643-6441-6)
  13. J. J. O'Connor et E. F. Robertson, « Marie Ennemond Camille Jordan »,
  14. Martin H. Krieger, « A 1940 Letter of André Weil on Analogy in Mathematics », Notices of the American Mathematical Society, vol. 52, no 3,‎ , p. 338 (lire en ligne [PDF], consulté le )
  15. Allyn Jackson, « Comme Appelé du Néant — As If Summoned from the Void: The Life of Alexandre Grothendieck », Notices of the American Mathematical Society, vol. 51, no 9,‎ , p. 1045–1046 (lire en ligne [PDF], consulté le )
  16. (en) Jean Dieudonné, A history of algebraic and differential topology 1900–1960, Basel/Boston, Birkhäuser, , 598–600 p. (ISBN 0-8176-3388-X)
  17. L. Euler, « De fractionibus continuis dissertatio » [PDF], (consulté le )
  18. Ed Sandifer, « How Euler Did It: Who proved e is irrational? », MAA Online,‎ (lire en ligne [PDF], consulté le )
  19. Dorian Goldfeld, « Gauss' Class Number Problem For Imaginary Quadratic Fields », Bulletin of the American Mathematical Society, vol. 13, no 1,‎ , p. 24 (DOI 10.1090/S0273-0979-1985-15352-2, lire en ligne [PDF])
  20. (en) André Weil, Number Theory : An approach through history From Hammurapi to Legendre, Birkhäuser, , 316–322 p. (ISBN 0-8176-3141-0)
  21. (en) K. Ireland et M. Rosen, A Classical Introduction to Modern Number Theory, New York, New York, Springer-Verlag, , 358–361 p. (ISBN 0-387-97329-X)
  22. (en) J. Silverman et J. Tate, Rational Points on Elliptic Curves, New York, New York, Springer-Verlag, , 281 p. (ISBN 0-387-97825-9), p. 110
  23. H. M. Edwards, Riemann's Zeta Function, Academic Press, 1974
  24. Franz Lemmermeyer et Norbert Schappacher, « Introduction to the English Edition of Hilbert’s Zahlbericht » [PDF] (consulté le ), p. 3
  25. Franz Lemmermeyer et Norbert Schappacher, « Introduction to the English Edition of Hilbert’s Zahlbericht » [PDF] (consulté le ), p. 5
  26. Gerald L. Alexanderson, « Euler’s Introductio In Analysin Infinitorum », Bulletin of the American Mathematical Society, vol. 44, no 4,‎ , p. 635–639 (DOI 10.1090/S0273-0979-07-01183-4, lire en ligne [PDF])
  27. a et b L. Euler, « E101 – Introductio in analysin infinitorum, volume 1 » (consulté le )
  28. L. Euler, « E102 – Introductio in analysin infinitorum, volume 2 » (consulté le )
  29. (en) Ronald Calinger, Classics of Mathematics, Oak Park, Illinois, Moore Publishing Company, Inc., , 396–397 p. (ISBN 0-935610-13-8)
  30. J. J. O'Connor et E. F. Robertson, « The function concept »,
  31. Charles Whish, « On the Hindu Quadrature of the circle and the infinite series of the proportion of the circumference to the diameter exhibited in the four Sastras, the Tantra Sahgraham, Yuktibhasa, Carana Padhati and Sadratnamala », Royal Asiatic Society of Great Britain and Ireland, vol. 3, no 3,‎ , p. 509–523 (DOI 10.1017/S0950473700001221, JSTOR 25581775)
  32. Jeremy Gray, « MAA Book Review: Reading the Principia: The Debate on Newton's Mathematical Methods for Natural Philosophy from 1687 to 1736 by Niccolò Guicciardini », .
  33. L. Euler, « E212 – Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum » (consulté le )
  34. J. J. O'Connor et E. F. Robertson, « Leonhard Euler »,
  35. Ed Sandifer, « How Euler Did It: Bernoulli Numbers », MAA Online,‎ (lire en ligne [PDF], consulté le )
  36. Ed Sandifer, « How Euler Did It: Partial Fractions », MAA Online,‎ (lire en ligne [PDF], consulté le )
  37. a et b (en) David Bressoud, A Radical Approach to Real Analysis, Mathematical Association of America, , 248–255 p. (ISBN 978-0-88385-747-2 et 0-88385-747-2, lire en ligne)
  38. (en) Morris Kline, Mathematical Thought From Ancient to Modern Times : Volume 3, Oxford University Press, , 1046–1047 p. (ISBN 0-19-506137-3, lire en ligne)
  39. (en) John Benedetto, Harmonic Analysis and Applications, CRC Press, , 170–171 p. (ISBN 0-8493-7879-6, lire en ligne)
  40. (en) Mémoire sur la propagation de la chaleur dans les corps solides, présenté le 21 décembre 1807 à l'Institut national – Nouveau Bulletin des sciences par la Société philomatique de Paris, vol. I, Paris, Bernard, , 112–116 p., chap. 6
  41. (en) Helmut Koch, Mathematics in Berlin : Gustav Peter Lejeune Dirichlet, Berlin/Basel/Boston, Birkhäuser, , 33–40 p. (ISBN 3-7643-5943-9)
  42. Jürgen Elstrodt, « The Life and Work of Gustav Lejeune Dirichlet (1805–1859) », Clay Mathematics Proceedings,‎ , p. 19–20 (lire en ligne [PDF])
  43. Carl B. Boyer, A History of Mathematics, Princeton, New Jersey, Princeton University Press, (ISBN 0-691-02391-3), p. 126
  44. Carl B. Boyer, A History of Mathematics, , chap. VII (« Euclid of Alexandria »), p. 119 :

    « The Elements of Euclid not only was the earliest major Greek mathematical work to come down to us, but also the most influential textbook of all times. [...]The first printed version of the Elements appeared at Venice in 1482, one of the very earliest of mathematical books to be set in type; it has been estimated that since then at least a thousand editions have been published. Perhaps no book other than the Bible can boast so many editions, and certainly no mathematical work has had an influence comparable with that of Euclid's Elements. »

  45. Haynes Miller, « Leray in Oflag XVIIA: The origins of sheaf theory, sheaf cohomology, and spectral sequences » [ps],
  46. (en) Jean Dieudonné, A history of algebraic and differential topology 1900–1960, Basel/Boston, Birkhäuser, , 123–141 p. (ISBN 0-8176-3388-X)
  47. (en) Jean Dieudonné, A history of algebraic and differential topology 1900–1960, Basel/Boston, Birkhäuser, , 556–575 p. (ISBN 0-8176-3388-X)
  48. Dennis Sullivan, « René Thom's Work On Geometric Homology And Bordism », Bulletin of the American Mathematical Society, vol. 41, no 3,‎ , p. 341–350 (DOI 10.1090/S0273-0979-04-01026-2, lire en ligne [PDF])
  49. « 2008 Steele Prizes; Seminal Contribution to Research: Endre Szemerédi », Notices of the American Mathematical Society, vol. 55, no 4,‎ , p. 488 (lire en ligne [PDF], consulté le )
  50. « Interview with Endre Szemerédi », Notices of the American Mathematical Society, vol. 60, no 2,‎ , p. 226 (DOI 10.1090/noti948, lire en ligne [PDF], consulté le )
  51. (en) Béla Bollobás, Modern Graph Theory, Springer, , 394 p. (ISBN 978-0-387-98488-9, lire en ligne), p. 252