26.09.2015 Views

Apunts d’Anàlisi Real

Anàlisi real - Departament de Matemàtica Aplicada IV - UPC

Anàlisi real - Departament de Matemàtica Aplicada IV - UPC

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

30 Espais de funcions contínues<br />

defineix g ∈ C([0, 1], ). Si p ∈ [x] és un polinomi tal que ||g − p|| < ɛ en [0, 1], llavors<br />

és tal que<br />

q(t) = p<br />

( ) t − a<br />

= p(x)<br />

b − a<br />

sup |f(t) − q(t)| = sup |f(a + (b − a)x) − q(a + (b − a)x)|<br />

t∈[a,b]<br />

x∈[0,1]<br />

= sup |g(x) − p(x)| < ɛ.<br />

x∈[0,1]<br />

Per tant, n’hi a prou amb demostrar el teorema en C([0, 1],<br />

polinomis de Bernstein:<br />

Donada f : [0, 1] → , el polinomi<br />

B n,f (x) =<br />

n∑<br />

( )( k n<br />

f x<br />

n k)<br />

k (1 − x) n−k , n ∈ ¡,<br />

k=0<br />

). A tal efecte introduïm els<br />

s’anomena el polinomi de Bernstein d’ordre n de f.<br />

El teorema d’aproximació de Weierstrass és llavors una conseqüència de la discussió anterior<br />

i del següent<br />

Teorema 2.12 (Teorema d’aproximació de Bernstein) Si f ∈ C([0, 1], ), per a tot ɛ > 0<br />

existeix n ∈ ¡, que depèn de ɛ, tal que<br />

La demostració es basa en el lema següent.<br />

Lema 2.13 ∀x ∈ [0, 1], ∀n ∈ ¡,<br />

n∑<br />

k=0<br />

||f − B n,f || < ɛ.<br />

(<br />

x − k ) 2 ( n<br />

x<br />

n k)<br />

k (1 − x) n−k ≤ 1<br />

4n .<br />

Demostració. Del teorema del binomi de Newton<br />

n∑<br />

( n<br />

x<br />

k)<br />

k a n−k = (x + a) n (2.2)<br />

k=0<br />

tenim, derivant respecte a x i multiplicant per x,<br />

n∑<br />

( n<br />

kx<br />

k)<br />

k a n−k = nx(x + a) n−1 . (2.3)<br />

k=0<br />

Repetint la mateixa operació amb (2.3) queda<br />

n∑<br />

( n<br />

k<br />

k)<br />

2 x k a n−k = nx(x + a) n−1 + n(n − 1)x 2 (x + a) n−2 . (2.4)<br />

k=0<br />

Carles Batlle i Enric Fossas 2002

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

Saved successfully!

Ooh no, something went wrong!