Aproximarea uniform a funciilor continue cu ajutorul polinoamelor

1.1 Teorema lui Weierstrass i teorema lui Korovkin

Vom nota cu C ([0, 1], R) = {f : [0, 1] R | f este continu} spaiul funciilor continue cu valori reale definite pe intervalul [0, 1]. Pe acest spaiu se definete adunarea punctual a dou funcii: f, g C ([0, 1], R) avem (f + g) : [0, 1] R, (f + g)(x) = f (x) + g(x) x [0, 1], i nmulirea unei funcii cu scalari: f C ([0, 1], R) i R avem ( f ) : [0, 1] R, ( f )(x) = f (x) x [0, 1]. Se tie c suma a dou funcii continue va fi tot o funcie continu, i dac o funcie continu se nmulete cu un scalar se obine tot o funcie continu. Teorema 1.1. Spaiul C ([0, 1], R) este un spaiu liniar (vectorial) real. Demonstraie. Se verific cu uurin axiomele spaiului liniar. Menionm c elementul neutru fa de adunare este funcia : [0, 1] R, (x) = 0 pentru x [0, 1], iar elementul simetric fa de adunare este funcia (f ) : [0, 1] R, (f )(x) = f (x) pentru x [0, 1]. urmtor: f C ([0, 1], R) fie ||f || = sup{|f (x)| / x [0, 1]}. Deoarece funcia f este continu pe intervalul compact [0, 1], conform teoremei lui Weierstrass este mrginit i i atinge marginile. Prin urmare
||f || = sup{|f (x)| / x [0, 1]} = max{|f (x)| / x [0, 1]}.

q.e.d.

Pe spaiul C ([0, 1], R) se definete o norm || || : C ([0, 1], R) R n felul

Teorema.1.2. Spaiul (C ([0, 1], R), || || ) este un spaiu liniar normat Trebuie s verificm c funcia || || : C ([0, 1], R) R satisface axiomele normei. ntradevr, pentru f, g C ([0, 1], R) i orice x [0, 1] avem |(f + g)(x)| = |f (x) + g(x)| |f (x)| + |g(x)| max{|f (x)| / x [0, 1]} + max{|g(x)| / x [0, 1]} = ||f || +||g|| . Prin urmare: ||f + g|| kgk . || f || = max{|( f )(x)| / x [0, 1]} = max{| f (x)| / x [0, 1]} = = max{|(f + g)(x)| / x [0, 1]} ||f || +

= max{|| |f (x)| / x [0, 1]} = || max{|f (x)| / x [0, 1]} = || ||f || . n final avem ||f || = max{|f (x)| / x [0, 1]} 0 i kf k = 0 implic c |f (x)| = 0 pentru orice x [0, 1], deci f = . q.e.d.

Norma k k definit pe (C [0, 1], R) se numete norma Cebev, sau norma supremum sau norma maximum. Se tie c orice norm induce o metric. Vom defini metrica : C ([0, 1], R) C ([0, 1], R) R prin formula (f, g) = ||f g|| pentru orice f, g C ([0, 1], R).

Teorema 1.3. Spaiul (C ([0, 1], R), ) este un spaiu metric. Demonstraie. Trebuie s verificm c funcia satisface axiomele metricii. ntr- adevr: (f, g) = ||f g|| = ||(f h) + (h g)|| ||f h|| + ||h g|| = = (f, h) + (h, g) pentru orice f, g, h C ([0, 1], R), iar (f, g) = (g, f ) i (f, g) 0 i (f, g) = 0 f = g sunt uor de artat. q.e.d. Metrica definit pe C ([0, 1], R) se numete metrica Cebev sau metrica supremum sau metrica maximum. Observaia 1.1. n analiza matematic se arat mai mult, i anume c spaiul (C ([0, 1], R), ) este un spaiu Banach, adic orice ir Cauchy sau fundamental este convergent n acest spaiu. ntr-adevr, fie (fn )nN (C [0, 1], R) un ir fundamental de funcii continue, adic pentru orice > 0 exist un indice n = n() N astfel ca pentru orice n, m N cu n, m n() s avem (fn , fm ) . n acest caz va exista o funcie continu f : [0, 1] R astfel nct pentru orice > 0 exist un indice n() N pentru care dac n n() , avem (fn , f ) . Observaia 8.1.2. Convergena irului de funcii continue (fn )nN ctre f (C [0, 1], R) se mai numete i convergena uniform pe intervalul [0, 1]. Din punct de vedere geometric distana ntre dou funcii f, g (C [0, 1], R) are urmtoarea semnificaie