Théorème de Stone-Weierstrass

Pour les articles homonymes, voir Théorème de Weierstrass.

En mathématiques, le théorème de Stone-Weierstrass est une généralisation du théorème d'approximation de Weierstrass en analyse réelle, selon lequel toute fonction continue définie sur un segment peut être approchée uniformément par des fonctions polynômes.

La généralisation par Marshall H. Stone étend ce résultat aux fonctions continues définies sur un espace compact et à valeurs réelles, en remplaçant l'algèbre des polynômes par une algèbre de fonctions qui sépare les points et contient au moins une fonction constante non nulle. Sa démonstration présentait en outre l'intérêt de simplifier celle du théorème initial.

Sommaire

1 Théorème d'approximation de Weierstrass
2 Autres versions et généralisations
3 Voir aussi
4 Notes et références

Théorème d'approximation de Weierstrass

Supposons que f soit une fonction continue définie sur l'intervalle [a,b] à valeurs réelles. Pour tout ε>0, il existe une fonction polynôme p à coefficients réels telle que |f(x) - p(x)| < ε pour tout x dans [a,b].

Cette propriété peut également s'exprimer sous la forme suivante : si f est une fonction continue sur [a,b], il existe une suite $(P n)$ de polynômes convergeant uniformément vers f sur [a,b]. Ci-dessous par exemple, la suite de polynômes converge vers la valeur absolue sur l'intervalle [-1,1].

Suite de polynômes convergeant vers la valeur absolue

En se ramenant par changement de variables à l'intervalle [0,1], Bernstein en a donné une démonstration^[1] constructive en prouvant qu'on pouvait prendre :

$P_n(x) = \sum_{k=0}^n f(\frac{k}{n})B^m_k(x)$

où les $B^m_k(x) = {n \choose k} x^k (1-x)^{n-k}$ sont les polynômes de Bernstein.

L'ensemble C([a,b]) des fonctions à valeurs réelles et continues sur [a,b], muni de la norme infinie $||f||=\sup_{x\in [a,b]} |f(x)|$ , est une algèbre de Banach (i.e. une algèbre associative sur R et un espace de Banach telle que ||f g|| ≤ ||f|| ||g|| pour tout f et g). L'ensemble des fonctions polynomiales forme une sous-algèbre de C([a,b]) et le théorème d'approximation de Weierstrass affirme que cette sous-algèbre est dense dans C([a,b]).

Autres versions et généralisations

Version trigonométrique

Pour toute fonction f continue T-périodique, il existe une suite $(T n)$ de polynômes trigonométriques qui convergent uniformément vers f.

Issu de la théorie des séries de Fourier, le théorème de Fejér donne un exemple constructif d'une telle suite.

Loi des grands nombres

Si $X\,$ est une variable aléatoire suivant la loi binomiale de paramètres $(n,x)\,$ , alors $P_n(x)\,$ est l'espérance de $f(X/n)\,$ , c'est-à-dire la moyenne de $f\,$ appliquée au nombre de succès de $n$ expériences indépendantes de probabilité $x\,$ . La convergence ponctuelle de $P_n(x)\,$ vers $f(x)\,$ pour tout $x\,$ est une conséquence de la loi faible des grands nombres. En majorant la probabilité de l'écart entre $X/n\,$ et $x\,$ , on en déduit la convergence uniforme de $P_n \,$ vers $f\,$ .

Version algébrique

Le théorème d'approximation se généralise dans deux directions :

L'intervalle compact [a,b] peut être remplacé par un espace séparé ou espace de Hausdorff compact X.
L'algèbre des fonctions polynomiales peut être remplacé par une autre sous-algèbre A de C(X) à condition qu'elle vérifie une propriété cruciale qui est de séparer les points (un sous-ensemble A de C(X) sépare les points si pour tout couple de points différents x et y de X, il existe une fonction p de A telle que p(x) ≠ p(y) ).

Dans ce cadre, le théorème s'écrit formellement :

si X est un espace de Hausdorff compact ayant au moins deux éléments, et si A est une sous-algèbre de l'algèbre de Banach C(X) qui sépare les points et contient une fonction constante non nulle, alors A est dense dans C(X).

Puisque les polynômes sur [a,b] forment une sous-algèbre de C([a,b]) qui sépare les points, le théorème de Weierstrass est une conséquence du résultat précédent.

Le corps des nombres réels peut être remplacé par celui des complexes à condition de supposer que $A$ est auto-adjoint, soit $g\in A \Rightarrow \bar g\in A$ .

Applications

Le théorème de Stone-Weierstrass permet de démontrer les trois propositions suivantes :

si f est une fonction continue à valeurs réelles définie sur le pavé [a,b] x [c,d] et si ε est réel strictement positif, alors il existe une fonction polynomiale p à deux variables telle que pour tous x dans [a,b] et y dans [c,d], |f(x,y) - p(x,y)| < ε.
si X et Y sont deux espaces de Hausdorff compacts et si $f:X\times Y \rightarrow \mathbb R$ est une fonction continue, alors pour tout ε>0 il existe n>0 et des fonctions continues f₁, f₂, ..., f_n sur X et des fonctions continues g₁, g₂, ..., g_n sur Y telles que ||f - ∑f_ig_i|| < ε
Si une fonction réelle f continue sur [0,1] est telle que

$\int_0^1t^pf(t)dt=0\, \forall p\in \mathbb{N},$ , alors f est identiquement nulle.

Version treillis

Soit X un espace de Hausdorff compact. Un sous-ensemble L de C(X) est appelé un treillis de C(X) si pour deux éléments quelconques f, g de L, les fonctions max(f,g) et min(f,g) appartiennent aussi à L. La version treillis du théorème de Stone-Weierstrass affirme que :

si X est un espace de Hausdorff compact avec au moins deux points et si L est un treillis de C(X) qui sépare les points, alors L est dense dans C(X).

Voir aussi

Notes et références

↑ S. N. Bernstein, Démonstration du théorème de Weierstrass fondée sur le calcul des probabilités, Commun. Soc. Math. Kharkov 13 (1912-1913) 1-2

Portail de l'analyse

Catégories :

Théorème d'analyse
Analyse fonctionnelle

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Stone-Weierstrass de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

Theoreme de Stone-Weierstrass — Théorème de Stone Weierstrass Le théorème d approximation de Weierstrass affirme que toute fonction continue définie sur un compact peut être approchée aussi près que l on veut par une fonction polynomiale. Parce que les fonctions polynômes sont… … Wikipédia en Français
Théorème de stone-weierstrass — Le théorème d approximation de Weierstrass affirme que toute fonction continue définie sur un compact peut être approchée aussi près que l on veut par une fonction polynomiale. Parce que les fonctions polynômes sont les fonctions les plus simples … Wikipédia en Français
Theoreme de Weierstrass — Théorème de Stone Weierstrass Le théorème d approximation de Weierstrass affirme que toute fonction continue définie sur un compact peut être approchée aussi près que l on veut par une fonction polynomiale. Parce que les fonctions polynômes sont… … Wikipédia en Français
Théorème de Weierstraß — Théorème de Stone Weierstrass Le théorème d approximation de Weierstrass affirme que toute fonction continue définie sur un compact peut être approchée aussi près que l on veut par une fonction polynomiale. Parce que les fonctions polynômes sont… … Wikipédia en Français
Théorème de weierstrass — Théorème de Stone Weierstrass Le théorème d approximation de Weierstrass affirme que toute fonction continue définie sur un compact peut être approchée aussi près que l on veut par une fonction polynomiale. Parce que les fonctions polynômes sont… … Wikipédia en Français
Theoreme de Chudnovsky — Théorème de Chudnovsky Le théorème de Chudnovsky est un théorème qui montre sous certaines conditions qu une fonction continue est limite uniforme de fonctions polynômes à coefficients entiers. C est un raffinement du théorème de Stone… … Wikipédia en Français
Théorème de chudnovsky — Le théorème de Chudnovsky est un théorème qui montre sous certaines conditions qu une fonction continue est limite uniforme de fonctions polynômes à coefficients entiers. C est un raffinement du théorème de Stone Weierstrass. Enoncé Soit une… … Wikipédia en Français
Weierstrass — Karl Weierstrass Karl Weierstrass Karl Theodor Wilhelm Weierstrass Naissance 31 octobre 1815 Ostenfelde (Westphalie) … Wikipédia en Français
Théorème de Weierstrass — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Plusieurs théorèmes sont attribués à Karl Weierstrass ou le mentionnent dans leur nom. Théorème de Bolzano Weierstrass Théorème de factorisation de… … Wikipédia en Français
Théorème de Chudnovsky — Le théorème de Chudnovsky est un théorème qui montre sous certaines conditions qu une fonction continue est limite uniforme de fonctions polynômes à coefficients entiers. C est un raffinement du théorème de Stone Weierstrass. Enoncé Soit une… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Théorème de Stone-Weierstrass

Sommaire

Théorème d'approximation de Weierstrass