Abonnez-vous à Universalis pour 1 euro

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 :
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écouvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Classification

Autres références

  • ANALYSE MATHÉMATIQUE

    • Écrit par
    • 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
    • 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 , et
    • 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
    • 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