DES T AA

querelles célèbres dans la philosophie scolastique au moyen âge. Reconnaissons d’ailleurs que les discussions des mathématiciens sur ce mot intéressent d’autres questions, notamment celles qui concernent les théorèmes dits d'existence et se rencontrent dans diverses parties des Mathématiques.

= Nous envisageons seulement la partie de la théorie des ensembles, qui jusqu'ici a été un instrument de découverte entre les mains des mathématiciens; c’est celle qui a été utilisée dans la théorie des fonctions et en Géométrie. Jordan avait donné une définition de la mesure d’un ensemble. Borel a repris la question sous un jour nouveau, en utilisant des définitions constructives ; il à aussi introduit la notion importante d’un ensemble de mesure nulle. Dans plusieurs théories, on connaît maintenant des propositions qui sont exactes à peu près partout, en entendant par là que réserve est faite pour un ensemble de mesure nulle. Citons, comme exemple, le théorème de Borel, d’après lequel toute foncuon bornée définissable analytiquement est égale, sauf peut-être pour un ensemble de mesure nulle, à une série convergente de polynomes. Les séries de Fourier et celles qui les généralisent offrent des exemples analogues.

Riemann, semblait-il, avait approfondi autant qu'il est possible la notion d’intégrale définie. Lebesgue a montré qu'il n'en était rien, L'idée de fonction sommable, qu'il a introduite dans la Science, est plus générale que celle de fonction intégrable de Riemann, au moins pour les fonctions bornées. Une conséquence de cette notion généralisée de l'intégrale est que toute fonction bornée sommable est la dérivée de son intégrale indéfinie, sauf peut-être pour un ensemble de points de mesure nulle. Ces travaux ne sont pas restés sans applications, et les idées nouvelles ont montré leur fécondité entre les mains de Lebesgue et de ceux qui l’ont suivi. La théorie des séries de Fourier notamment s’est trouvée renouvelée. Loin de conduire à des complications nouvelles, l'emploi de l'intégration des fonctions sommables apporte d’heureuses simplifications. Borel a repris récemment la théorie de l'intégrale définie en se plaçant au même point de vue que dans sa théorie de la mesure.

Les notions d’aire et de surface sous leurs formes les plus générales sont liées à la théorie des ensembles. Lebesgue a été très

a VS

loin dans cette voie, où l’on rencontre vite des énoncés différents de ceux auxquels on est habitué, par exemple celui-ci : qu'il y à d'autres surfaces que les surfaces développables qui sont applicables sur le plan.

Baire répartit les fonctions en différentes classes et cherche la condition pour qu’une foncüon d’une variable réelle puisse être développée en série de polynomes. La théorie des ensembles intervient dans la solution; pour le cas d’une série simple, la condition est que la fonction soit ponctuellement discontinue par rapport à tout ensemble parfait. Les recherches de Lebesgue sur les fonctions représentables analytiquement sont connexes de celles de Baire, et posent de graves questions sur le sens qu'il convient d'attribuer au mot défini.

Il est une branche de l'Analyse, qui prend aujourd’hui une grande importance : c'est le Calcul fonctionnel. Un des premiers Chapitres du Calcul fonctionnel est le Calcul des variations auquel reste justement attaché le nom de Lagrange. Le problème du plus court chemin d’un point à un autre sur une surface est sans doute le premier type de problème relatif à ce calcul, qui s’est ensuite développé avec diverses questions posées par la Mécanique, et qui englobe aujourd’hui la Mécanique analytique tout entière. Le Traité que publie en se moment Hadamard sur le Calcul des variations fait connaître les plus récents travaux en cette matière. De nombreux problèmes de l’Électricité et de la Chaleur relèvent aussi du Calcul fonctionnel. La théorie des équations intégrales, brillamment créée tout d’abord en Italie et en Suède par Volterra et Fredholm, a fait en France l'objet de nombreux travaux, parmi lesquels ceux de Le Roux intégrant en même temps que Volterra les équations à limite supérieure variable, de Goursat sur les noyaux orthogonaux, de Picard sur les équations de première espèce et les équations singulières, de Marty sur les noyaux symétrisables. Hadamard $’est surtout attaché à mettre en évidence l'influence de la forme de la frontière du domaine dans divers problèmes de Physique mathématique, appelant l'attention sur les équations aux dérivées fonctionnelles ; il a été suivi avec succès dans cette voie par P. Lévy. L'étude du continu fonetionnel, nécessitant la création d’un nouveau Chapitre de la théorie des ensembles, a été abordée très heureusement par Fréchet.

CNET. we

L'extension de nos idées sur les foncuüons et les opérations fonctionnelles n’est pas la seule qu’aient poursuivie les mathématiciens. La question des quantités complexes a fait, surtout à l'étranger, l’objet de nombreuses recherches. Si on laisse tomber la loi commutative, ne gardant que la loi associative, on a une Algèbre beaucoup plus générale ; un exemple célèbre à quatre unités est fourmi par les quaternions de Hamilton. Une remarque fondamentale de Poincaré ramène toute la théorie des quantités complexes à une question concernant la théorie des groupes. Elle consiste en ce que, à chaque système d'unités complexes à multiplication associative, correspond un groupe continu linéaire de substututions linéaires, el inversement. Le rapprochement entre la théorie des groupes de lue et les nombres complexes donne la véritable origine de ces symboles. Divers auteurs étrangers avaient uulisé l’idée de Poincaré; dans ses travaux sur le même sujet, Cartan applique une méthode directe qui le conduit à des résultats nouveaux. Ces quantités complexes plus générales sont-elles susceptibles d'accroître la puissance de l'Analyse ? Jusqu'ici l'emploi des quaternions a seul rendu quelques services en Physique mathématique. On pouvait espérer que Îles nouvelles quantités complexes présenteraient quelque intérêt pour l'Analyse générale ; les essais tentés jusqu'ici n’ont pas été couronnés de succès.