WEIERSTRASS KARL THEODOR WILHELM (1815-1897)
Fonctions de variable réelle
Au temps de Weierstrass, l'étude approfondie des fonctions d'une variable réelle commençait à peine et il y apporta plusieurs contributions très importantes. Riemann fut le premier à dire, vers 1860, qu'une fonction continue peut n'avoir de dérivée nulle part, et pas seulement en des points isolés comme on semblait le croire ; ses auditeurs recueillirent, sans démonstration, l'exemple contraire :
la démonstration manque toujours, et Weierstrass reconnut volontiers n'avoir pu la faire, mais il donna, en 1872, l'exemple contraire aujourd'hui classique :où a est un entier impair ≥ 3 et où b est tel que 0 < b < 1, avec ab > 1 + 3 π/2.Dans le mémoire de 1880 sur le prolongement analytique, on retrouve cet exemple dans la version :
série entière dont la somme n'est susceptible d'aucun prolongement.C'est en 1885 que Weierstrass publia son célèbre théorème d'approximation polynomiale : Sur un intervalle borné fermé de la droite, toute fonction continue f est limite uniforme d'une suite convenablement choisie de polynômes. Sa démonstration, fort élégante, repose sur une première approximation de f (supposée continue bornée sur toute la droite) par des fonctions entières obtenues, à des facteurs constants près, par convolution de f avec :
Bien d'autres preuves furent données ensuite, et l'une d'elles conduisit l'Américain M. H. Stone, en 1948, à une généralisation remarquable : Étant donné un espace compact E et une famille H de fonctions réelles continues sur E, pour que toute fonction continue sur E soit limite uniforme d'une suite de polynômes par rapport aux fonctions de H, il suffit (et il faut évidemment) que, pour tout couple de points distincts a ∈ E et b ∈ E, il existe h ∈ H telle que h(a) ≠ h(b).
Bien d'autres points délicats furent élucidés par Weierstrass dans ses cours, qui eurent ainsi une influence considérable sur le développement de l'analyse. Citons au moins : la définition de l'ensemble réel par complétion de l'ensemble rationnel ; la notion de convergence uniforme ; le fait qu'une fonction réelle, continue sur un intervalle borné fermé, atteint ses bornes ; la mise en garde contre le principe de Dirichlet, au nom duquel on appliquait imprudemment l'énoncé précédent à des ensembles de fonctions qui, dans le langage d'aujourd'hui, ne sont pas compacts.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Michel HERVÉ : professeur à l'université de Paris-VI
Classification
Autres références
-
ANALYSE MATHÉMATIQUE
- Écrit par Jean DIEUDONNÉ
- 8 528 mots
...fonctions symétriques x1 + x2 et x1x2 comme fonctions analytiques des deux variables complexes u1, u2, ces fonctions étant quadruplement périodiques. Weierstrass et Riemann menèrent à bien la solution du problème général, qui introduit un invariant algébrique fondamental, l'entier p dit «... -
GAMMA FONCTION
- Écrit par Jean-Luc VERLEY
- 1 580 mots
- 2 médias
...constante d'Euler γ ∼ 0,577 2) lorsque n tend vers l'infini. Divisant chacun des termes du produit (x + 1)...(x + n) par l'entier correspondant pris dans n !, on a donc :puisque le produit infini est convergent ; ce développement en produit infini a été obtenu parWeierstrass. -
HILBERT DAVID (1862-1943)
- Écrit par Rüdiger INHETVEEN , Jean-Michel KANTOR et Christian THIEL
- 14 726 mots
- 2 médias
...fonctions continues u prenant la valeur aux limites f, celle pour laquelle l'intégrale (dans le cas de deux variables) :est minimum. En 1869, K. Weierstrass avait soulevé le problème de l'existence de cette solution et H. A. Schwarz, C. Neumann, puis H. Poincaré trouvèrent dans certains cas... -
INFINI, mathématiques
- Écrit par Jean Toussaint DESANTI
- 10 372 mots
...séries de Fourier. Depuis longtemps déjà, l'infini mathématique avait cessé d'être une source d'inquiétudes métaphysiques : A. Cauchy, B. Bolzano et K. Weierstrass l'avaient pour ainsi dire réduit à l'état domestique. Le pas décisif avait été accompli ici par Weierstrass. En arithmétisant (pour les besoins... - Afficher les 9 références