• Aucun résultat trouvé

Le th´ eor` eme de Stone-Weierstrass

N/A
N/A
Protected

Academic year: 2022

Partager "Le th´ eor` eme de Stone-Weierstrass"

Copied!
2
0
0

Texte intégral

(1)

2017-2018 Topologie A – UGA

Le th´ eor` eme de Stone-Weierstrass

Preuve guid´ee

Le but de ce probl`eme est de d´emontrer le th´eor`eme suivant :

Th´eor`eme(Stone-Weierstrass). Soit(E, d)un espace m´etrique compact etC(E,R)l’alg`ebre de Banach des fonctions continues de E dans R (munie de la norme uniforme).

Si A ⊂ C(E,R) est une sous-alg`ebre qui contient les constantes et s´epare les points, alors A est dense dans C(E,R).

Etape 1.´ On oublie pour l’instantE. Le but de cette ´etape pr´eparatoire est de d´emontrer qu’il existe une suite (Pn)n∈N de fonctions polynomiales convergeant uniform´ement sur [0,1] vers la fonction racine carr´ee.

Pour cela, on d´efinit par r´ecurrence les fonctions Pn par :

P0 = 0 et ∀t∈[0,1], ∀n ∈N, Pn+1(t) = Pn(t) + t−Pn(t)2

2 .

1. (facultatif) Proposer une construction graphique de la suite r´ecursive (Pn(t))n∈N pour un t∈]0,1] donn´e.

2. V´erifier que

∀t∈[0,1],∀n ∈N, √

t−Pn+1(t) = (√

t−Pn(t))

1 +

√t+Pn(t) 2

et en d´eduire par r´ecurrence que

∀t ∈[0,1], ∀n ∈N, Pn(t)≤√

t et Pn(t)≤Pn+1(t).

3. Montrer que pour tout t ∈ [0,1], (Pn(t))n∈N converge vers √

t, c’est-`a-dire que la suite de fonctions (Pn)n∈N converge simplement vers la fonction √

·sur [0,1].

4. Conclure concernant la convergence uniforme grˆace au th´eor`eme de Dini (cf. notes fin du chapitre 1).

Etape 2.´ But : Si f, g ∈A, alors¯ |f|, max(f, g) et min(f, g) aussi.

1. Soitf ∈A¯ non identiquement nulle. On pose h= kfkf22

.

(a) Justifier que h ∈ A¯ puis que Pn◦h ∈ A¯pour tout n ∈ N, o`u les Pn sont les fonctions polynomiales de l’´etape pr´ec´edente.

(b) Justifier que (Pn◦h)n∈N converge uniform´ement vers√

h surE.

(c) En d´eduire que |f| ∈A¯

2. Exprimer le maximum et le minimum de deux r´eels `a l’aide de la valeur absolue, et conclure `a l’aide de la question pr´ec´edente que si f, g ∈ A, alors max(f, g) et¯ min(f, g) aussi.

(2)

Par r´ecurrence, ce r´esultat reste vrai pour un nombre fini quelconque de fonctions.

Etape 3.´ Utiliser les hypoth`eses sur A pour montrer que pour tous x, y ∈ E tels que x6=y et pour tous α, β ∈R, il existe g ∈ A tel que g(x) =α et g(y) =β.

Etape 4.´ Soit f ∈C(E,R) et ε >0.

1. Soitx0 ∈E.

(a) Montrer que pour tout y 6= x0, il existe gy ∈ A tel que gy co¨ıncide avec f en x0 ety.

(b) Pour tout y 6=x0, on d´efinit Uy ={z ∈E|gy(z)< f(z) +ε}. Montrer que ces ensembles fournissent un recouvrement ouvert de E.

(c) En extrayant un sous-recouvrement et en utilisant l’´etape 2, montrer qu’il existe h∈A¯tel que h(x0) =f(x0) et h(x)< f(x) +ε pour tout x∈E. On notehx0 une telle fonction.

2. (a) Pour tout x ∈E, on d´efinit Vx ={z ∈ E|f(z) < hx(z) +ε}. Montrer que ces ensembles d´efinissent un recouvrement ouvert de E.

(b) En extrayant un sous-recouvrement et en utilisant l’´etape 2, montrer qu’il existe h∈A¯tel que f(x)−ε < h(x)< h(x) +ε pour toutx∈E. Conclure.

Références

Documents relatifs

Notons qu’` a ce jour, on ne connaˆıt pas de nombres de Fermat premiers en dehors des

(3) En utilisant les r´ esultats des questions pr´ ec´ edentes, trouver toutes les fonctions enti` eres

La deuxi` eme partie qui d´ emontre le th´ eor` eme de Cantor-Bernstein est facultative, moins dans l’esprit du programme ECS (mais bien dans l’esprit d’une ´ epreuve maths 2

Autrement dit, on consid` ere des tirages de p ´ el´ ements de E avec remise, mais sans tenir compte de l’ordre.. Le nombre de r´ esultats possible est

Dans le cas pr´ esent, la part du cuisinier serait de trois pi` eces, mais les pirates se querellent et six d’entre eux sont tu´ es, ce qui porte la part du cuisinier ` a quatre

La r` egle de l’Hospital permet de r´ esoudre un tr` es grand nombre de formes ind´ etermin´ ees (toutes celles de la forme 0 0 , ±∞ ±∞ et toutes celles qui s’y ram`

Le premier th´ eor` eme permet de mieux comprendre les parties compactes d’un espace de fonctions continues tandis que le second permet de donner des parties denses dans un espace

Comme f est continue sur [0, 1] (compact) elle est born´ee et atteint