31.12.2014 Views

Identification du dual topologique de C[a, b] Louis ... - CQFD - EPFL

Identification du dual topologique de C[a, b] Louis ... - CQFD - EPFL

Identification du dual topologique de C[a, b] Louis ... - CQFD - EPFL

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

et donc<br />

1. NOTIONS PRELIMINAIRES 7<br />

n∑<br />

|f(x j ) − f(x j−1 )| ≤ K<br />

j=1<br />

Remarque 1.11. Nous énonçons ci-<strong>de</strong>ssous quelques résultats utilisés<br />

dans certaines démonstrations au chapitre suivant :<br />

Proposition 1.4. Soit f ∈ R [a,c]<br />

– Si f ∈ BV [a, c] et a < b < c, alors : V c<br />

a (f) = V b<br />

a (f) + V c<br />

b (f)<br />

– Si f |[a,b] ∈ BV [a, b] et f |[b,c] ∈ BV [b, c], alors f ∈ BV [a, c]<br />

Alors :<br />

Proposition 1.5. Soit f ∈ BV [a, b]. On définit :<br />

π(a) = 0 et π(x) := V x<br />

a (f), ∀x ∈ (a.b]<br />

– π ≥ 0 sur [a, b]<br />

– π est croissante sur [a, b]<br />

– Soit c ∈ [a, b], alors f est continue en c ⇔ π est continue en c<br />

Théorème 1.12. Jordan<br />

Toute fonction continue à variation bornée peut s’écrire comme différence<br />

<strong>de</strong> <strong>de</strong>ux fonctions continues monotones croissantes.<br />

Théorème 1.13. Premier Théorème d’Helly<br />

Soit une collection quelconque <strong>de</strong> fonctions F ⊂ R [a,b] .<br />

Si ∃K > 0 tel que<br />

|f| ≤ K et V b<br />

a (f) ≤ K , ∀f ∈ F<br />

alors il existe une suite {f n } n∈N ⊂ F qui converge en chaque point <strong>de</strong> [a, b]<br />

vers une fonction ϕ ∈ BV [a, b].<br />

Définition 1.14. Soit f ∈ R [0,1] . On appelle polynome <strong>de</strong> Bernstein <strong>de</strong><br />

<strong>de</strong>gré n <strong>de</strong> la fonction f la fonction :<br />

n∑ ( i<br />

B n (x) := f C<br />

n)<br />

nx i i (1 − x) n−i , ∀x ∈ [0, 1]<br />

où<br />

i=0<br />

C i n :=<br />

n!<br />

(n − i)! i! , i = 0, . . . , n<br />

Théorème 1.15. Bernstein<br />

Si f ∈ C[0, 1], alors ‖B n − f‖ −→ 0 quand n → ∞

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!