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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2.2 Equicontinuïtat 25<br />
Proposició 2.4 Sigui K compacte i sigui (f n ) una successió de funcions de C(K,<br />
successió és uniformement convergent llavors el conjunt<br />
). Si la<br />
F = {f n }<br />
és uniformement fitat.<br />
Demostració. Per la convergència uniforme, agafant ɛ = 1, existeix un k tal que si n > k<br />
llavors<br />
||f k − f n || < 1, ∀n > k.<br />
Com que K és compacte, cada funció contínua f n està fitada. Sigui<br />
m = max{||f 1 ||, . . .,||f k ||} + 1,<br />
de manera que per a n ≤ k les funcions estan fitades per m. Si n > k tindrem, emprant la<br />
desigualtat triangular,<br />
||f n || ≤ ||f k || + ||f n − f k || < ||f k || + 1 ≤ m,<br />
de manera que α = m és una fita de tota la successió.<br />
□<br />
Una família de funcions F ⊂ C(A, ) és equicontínua en A si, ∀ɛ > 0, existeix δ ɛ > 0 tal<br />
que, si x, y ∈ A amb |x − y| < δ ɛ , llavors<br />
|f(x) − f(y)| < ɛ ∀f ∈ F.<br />
Fixem-nos que δ ɛ no depèn ni del punt ni del membre de la família de funcions.<br />
De nou, les successions uniformement convergents en un compacte tenen bones propietats<br />
respecte a l’equicontinuïtat:<br />
Proposició 2.5 Sigui K compacte i sigui (f n ) una successió de funcions de C(K,<br />
successió és uniformement convergent llavors el conjunt<br />
). Si la<br />
F = {f n }<br />
és equicontinu.<br />
Demostració. Sigui ɛ > 0 donat. Per la convergència uniforme, existeix n = n ɛ tal que<br />
||f q − f n || < ɛ 3<br />
∀q > n.<br />
Com que cada funció és contínua, per a tot m existeix δ m > 0 tal que si |x − y| < δ m , x, y ∈ K<br />
llavors<br />
|f m (x) − f m (y)| < ɛ 3 .<br />
Sigui<br />
δ = min{δ 1 , . . .,δ n }.<br />
Obviament δ > 0 i si |x − y| < δ, amb x, y ∈ K, tindrem, si k ≤ n, per la construcció de δ,<br />
mentre que si k > n<br />
|f k (x) − f k (y)| < ɛ 3 ,<br />
|f k (x) − f k (y)| ≤ |f k (x) − f n (x)| + |f n (x) − f n (y)| + |f n (y) − f k (y)| < ɛ 3 + ɛ 3 + ɛ 3<br />
Carles Batlle i Enric Fossas 2002