1.2 Sá»± há»i tụ của chuá»i sá» dÆ°Æ¡ng - lib - Äại há»c ThÄng Long
1.2 Sá»± há»i tụ của chuá»i sá» dÆ°Æ¡ng - lib - Äại há»c ThÄng Long
1.2 Sá»± há»i tụ của chuá»i sá» dÆ°Æ¡ng - lib - Äại há»c ThÄng Long
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
2.1. Khái niệm về dãy hàm và sự hội tụ đều 22<br />
|f n (x) − f(x)| = | sin π √ x 2 + n 2 − sin(π.n)|<br />
∣<br />
= ∣2 sin [ π( √ x 2 + n 2 − n) ] [π( √ x 2 + n 2 + n) ] ∣ . cos ∣<br />
2<br />
2<br />
∣<br />
≤ ∣2 sin [ πx 2<br />
2( √ ] ∣ πx 2<br />
∣ ≤ 2.<br />
x 2 + n 2 + n) 2( √ x 2 + n 2 + n)<br />
≤ πx2<br />
n<br />
< πx2<br />
n 0<br />
< πx2<br />
(πx 2 )/ε = ε.<br />
2. Dãy hàm f n (x) không hội tụ đều trên R vì tồn tại ε = 1 √ sao cho với mọi<br />
2<br />
n 0 ∈ N ∗ luôn tồn tại n = 2n 0 > n 0 và x = n 0 + 1 sao cho:<br />
√<br />
4 |f n (x) − f(x)| = ∣ sin π 4n 2 0 + n 0 + 1 ∣ = | sin(2n 0 π + π )| = 1 > ε.<br />
4<br />
2<br />
2.<strong>1.2</strong> Điều kiện hội tụ đều của dãy hàm<br />
Định lý 2.1.3 (Tiêu chuẩn Cauchy)<br />
Điều kiện cần và đủ để dãy hàm {f n (x)} hội tụ đều trên A ⊂ R là ε > 0 tồn tại<br />
n 0 = n 0 (ε) ∈ N ∗ không phụ thuộc x sao cho ∀m, n > n 0 , ∀x ∈ A ta có:<br />
|f n (x) − f m (x)| < ε.<br />
A<br />
Chứng minh: Điều kiện cần: Giả sử f n ⇒ f khi đó ∀ ε > 0, ∃n0 (ε) sao cho<br />
∀ n > n 0 , ∀x ∈ A ta có |f n (x) − f(x)| < ε 2 nên với m, n > n 0 và với mọi x ∈ A ta<br />
được:<br />
|f n (x) − f m (x)| ≤ |f n (x) − f(x)| + |f m (x) − f(x)| < ε 2 + ε 2 = ε.<br />
Điều kiện đủ: Giả sử với ε > 0 cho trước tồn tại n 0 = n 0 (ε) sao cho với mọi<br />
n, m > n 0 và mọi x ∈ A ta có |f n (x) − f m (x)|. Khi đó dãy {f n (x)} là dãy Cauchy<br />
nên tồn tại f(x) = lim<br />
n→∞<br />
f n (x).<br />
Từ bất đẳng thức |f n (x) − f m (x)| < ε, cố định n và cho m → +∞ ta được:<br />
|f n (x) − f(x)| < ε<br />
với mọi n > n 0 và mọi x ∈ A, tức là dãy hàm f n (x) hội tụ đều trên A. ✷<br />
Ví dụ: Dãy hàm f n (x) = arcsin(x) + arcsin(x2 )<br />
+ · · · + arcsin(xn )<br />
hội tụ đều<br />
<strong>1.2</strong> 2.3<br />
n(n + 1)<br />
trên [−1, 1] vì theo tiêu chuẩn Cauchy: