Giải tích (cơ bản) - Phần 1: Không gian metric

pdf14 trang | Chia sẻ: minhhong95 | Lượt xem: 18821 | Lượt tải: 1download
Bạn đang xem nội dung tài liệu Giải tích (cơ bản) - Phần 1: Không gian metric, để tải tài liệu về máy bạn click vào nút DOWNLOAD ở trên
GIẢI TÍCH (CƠ SỞ)
Phần 1. Không gian metric
Phiên bản đã chỉnh sửa - có phần bổ sung của bài trước
PGS TS Nguyễn Bích Huy
Ngày 1 tháng 3 năm 2006
Nội dung chính của môn Cơ sở
Chuyên ngành: Toán Giải tích
Phương pháp Giảng dạy Toán
Phần 1: Không gian metric
1. Metric trên một tập hợp. Sự hội tụ. Không gian đầy đủ.
2. Tập mở. Tập đóng. Phần trong, bao đóng của tập hợp.
3. Ánh xạ liên tục giữa các không gian metric. Các tính chất:
• Liên hệ với sự hội tụ
• Liên hệ với ảnh ngược của tập mở, tập đóng.
• Ánh xạ mở, ánh xạ đóng, ánh xạ đồng phôi.
4. Tập compắc. Các tính chất căn bản:
• Hệ có tâm các tập đóng.
• Tính chất compắc và sự hội tụ.
• Ảnh của tập compắc qua ánh xạ liên tục.
Phần 2: Độ đo và tích phân.
1. σ–đại số trên tập hợp.
Độ đo và các tính chất căn bản.
2. Các tính chất của độ đo Lebesgue trên R (không xét cách xây dựng).
3. Hàm số đo được. Các tính chất căn bản.
1
• Các phép toán số học, lấy max,min trên 2 hàm đo được.
• Lấy giới hạn hàm đo được (không xét: hội tụ theo độ đo, định lý Egoroff, Lusin).
4. Tích phân theo một độ đo. Các tính chất căn bản (không xét tính liên tục tuyệt đối).
5. Các định lý Levi, Lebesgue về qua giới hạn dưới dấu tích phân.
Phần 3: Giải tích hàm.
1. Chuẩn trên một không gian vectơ. Chuẩn tương đương. Không gian Banach.
2. Ánh xạ tuyến tính liên tục. Không gian các ánh xạ tuyến tính liên tục (không xét ánh
xạ liên hợp, ánh xạ compắc, các nguyên lý cơ bản).
3. Không gian Hilbert. Phân tích trực giao. Chuổi Fourier theo một hệ trực chuẩn. Hệ trực
chuẩn đầy đủ.
§1 Metric trên một tập hợp. Sự hội tụ.
Không gian đầy đủ
Phần này có thêm phần bổ sung của bài trước
1. Tóm tắt lý thuyết
1.1 Không gian metric
Định nghĩa 1 Cho tập X 6= ∅. Một ánh xạ d từ X ×X vào R được gọi là một metric trên
X nếu các điều kiện sau được thỏa mãn ∀x, y, z ∈ X:
i. d(x, y) > 0
d(x, y) = 0⇔ x = y
ii. d(x, y) = d(y, x)
iii. d(x, y) 6 d(x, z) + d(z, y) (bất đẳng thức tam giác)
Nếu d là metric trên X thì cặp (X, d) gọi là một không gian metric.
Nếu d là metric trên X thì nó cũng thỏa mãn tính chất sau
|d(x, y)− d(u, v)| 6 d(x, u) + d(y, v) (bất đẳng thức tứ giác)
Ví dụ. Ánh xạ d : Rm × Rm → R, định bởi
d(x, y) =
[
m∑
i=1
(xi − yi)2
]1/2
, x = (x1, x2, . . . , xm), y = (y1, y2, . . . , ym)
2
là một metric trên Rm, gọi là metric thông thường của Rm.
Khi m = 1, ta có d(x, y) = |x− y|. Trên Rm ta cũng có các metric khác như
d1(x, y) =
m∑
i=1
|xi − yi|
d2(x, y) = max
16i6m
|xi − yi|
Ví dụ. Ký hiệu C[a,b] là tập hợp các hàm thực x = x(t) liên tục trên [a, b]. Ánh xạ
d(x, y) = sup
a6t6b
|x(t)− y(t)|, x, y ∈ C[a,b]
là metric trên C[a,b], gọi là metric hội tụ đều.
1.2 Sự hội tụ
Định nghĩa 2 Cho không gian metric (X, d). Ta nói dãy phần tử {xn} ⊂ X hội tụ (hội tụ
theo metric d, nếu cần làm rõ) về phần tử x ∈ X nếu lim
n→∞
d(xn, x) = 0.
Khi đó ta viết
lim
n→∞
xn = x trong (X, d)
xn
d→ x
xn → x
limxn = x
Như vậy, lim
n→∞
limxn = x trong (X, d) có nghĩa
∀ε > 0,∃n0 : ∀n ∈ N∗, n > n0 ⇒ d(xn, x) < ε
Ta chú ý rằng, các metric khác nhau trên cùng tập X sẽ sinh ra các sự hội tụ khác nhau.
Tính chất.
1. Giới hạn của một dãy hội tụ là duy nhất.
2. Nếu dãy {xn} hội tụ về x thì mọi dãy con của nó cũng hội tụ về x.
3. Nếu lim
n→∞
xn = x, lim
n→∞
yn = y thì lim
n→∞
d(xn, yn) = d(x, y)
Ví dụ. Trong Rm ta xét metric thông thường. Xét phần tử a = (a1, . . . , am) và dãy {xn} với
xn = (xn1 , x
n
2 , . . . , x
n
m). Ta có
d(xn, a) =
√√√√ m∑
i=1
(xni − ai)2 > |xni − ai|, ∀i = 1, 2, . . . ,m
Từ đây suy ra:
lim
n→∞
xn = a trong (Rm, d)⇐⇒ lim
n→∞
xni = ai trong R, ∀i = 1, 2, . . . , n
3
Ví dụ. Trong C[a,b] ta xét metric hội tụ đều. Ta có
xn
d→ x⇐⇒ (∀ε > 0,∃n0 : ∀n > n0 ⇒ sup
a6t6b
|xn(t)− x(t)| < ε)
⇐⇒ dãy hàm {xn(t)} hội tụ đều trên [a, b] về hàm x(t)
=⇒ lim
n→∞
xn(t) = x(t), ∀t ∈ [a, b]
Như vậy, lim
n→∞
xn(t) = x(t), ∀t ∈ [a, b] là điều kiện cần để limxn = x trong C[a,b] với metric hội
tụ đều. Chú ý này giúp ta dự đoán phần tử giới hạn.
1.3 Không gian metric đầy đủ
Định nghĩa 3 Cho không gian metric (X, d). Dãy {xn} ⊂ X được gọi là dãy Cauchy (dãy cơ
bản) nếu
lim
n,m→∞
d(xn, xm) = 0
hay
∀ε > 0,∃n0 : ∀n,m > n0 ⇒ d(xn, xm) < ε
Tính chất.
1. Nếu {xn} hội tụ thì nó là dãy Cauchy.
2. Nếu dãy {xn} là dãy Cauchy và có dãy con hội tụ về x thì {xn} cũng hội tụ về x.
Định nghĩa 4 Không gian metric (X, d) gọi là đầy đủ nếu mỗi dãy Cauchy trong nó đều là
dãy hội tụ.
Ví dụ. Không gian Rm với metric d thông thường là đầy đủ.
Thật vậy, xét tùy ý dãy Cauchy {xn}, xn = (xn1 , . . . , xnm).
• Vì
{
d(xn, xk) > |xni − xki | (i = 1, . . . ,m)
lim
n,k→∞
d(xn, xk) = 0 ⇒ limn,k→∞ |x
n
i − xki | = 0,
nên ta suy ra các dãy {xni }n (i = 1, . . . ,m) là dãy Cauchy trong R, do đó chúng hội tụ vì R
đầy đủ.
• Đặt ai = lim
n→∞
xni (i = 1, 2, . . . ,m) và xét phần tử a = (a1, . . . , am), ta có lim
n→∞
xn = a
trong (Rm, d).
Ví dụ. Không gian C[a,b] với metric hội tụ đều d là đầy đủ.
Giả sử {xn} là dãy Cauchy trong (C[a,b], d).
Với mỗi t ∈ [a, b], ta có |xn(t) − xm(t)| 6 d(xn, xm). Từ giả thiết lim
n,m→∞
d(xn, xm) = 0 ta
cũng có lim
n,m→∞
|xn(t)− xm(t)| = 0.
Vậy với mỗi t ∈ [a, b] thì {xn(t)} là dãy Cauchy trong R, do đó là dãy hội tụ.
4
Lập hàm x xác định bởi x(t) = limxn(t), t ∈ [a, b]. Ta cần chứng minh x ∈ C[a,b] và
lim d(xn, x) = 0.
Cho ε > 0 tùy ý. Do {xn} là dãy Cauchy, ta tìm được n0 thỏa
∀n,m > n0 ⇒ d(xn, xm) < ε
Như vậy ta có
|xn(t)− xm(t)| n0,∀m > n0, ∀t ∈ [a, b]
Cố định n, t và cho m→∞ trong bất đẳng thức trên ta có
|xn(t)− x(t)| ≤ ε, ∀n > n0, ∀t ∈ [a, b]
Như vậy, ta đã chứng minh rằng
∀ε > 0,∃n0 : ∀n > n0 ⇒ sup
a6t6b
|xn(t)− x(t)| 6 ε
Từ đây suy ra:
• Dãy hàm liên tục {xn(t)} hội tụ đều trên [a, b] về hàm x(t), do đó hàm x(t) liên tục trên
[a, b].
• lim
n→∞
d(xn, x) = 0.
Đây là điều ta cần chứng minh.
2. Bài tập
Bài 1 Cho không gian metric (X, d). Ta định nghĩa
d1(x, y) =
d(x, y)
1 + d(x, y)
, x, y ∈ X
1. Chứng minh d1 là metric trên X.
2. Chứng minh xn
d1−→ x ⇐⇒ xn d−→ x
3. Giả sử (X, d) đầy đủ, chứng minh (X, d1) đầy đủ.
Giải.
1. Hiển nhiên d1 là một ánh xạ từ X ×X vào R. Ta kiểm tra d1 thỏa mãn các điều kiện của
metric
(i) Ta có: d1(x, y) > 0 do d(x, y) > 0
d1(x, y) = 0⇔ d(x, y) = 0⇔ x = y
5
(ii) d1(y, x) =
d(y, x)
1 + d(y, x)
=
d(x, y)
1 + d(x, y)
= d(x, y)
(iii) Ta cần chứng minh
d(x, y)
1 + d(x, y)
6 d(x, z)
1 + d(x, z)
+
d(z, y)
1 + d(z, y)
Để gọn, ta đặt a = d(x, y), b = d(x, z), c = d(z, y).
Ta có a 6 b+ c; a, b, c > 0 (do tính chất của metric d)
⇒ a
1 + a
6 b+ c
1 + b+ c
(
do hàm
t
1 + t
tăng trên [0,∞))
⇒ a
1 + a
6 b
1 + b+ c
+
c
1 + b+ c
6 b
1 + b
+
c
1 + c
(đpcm)
2. • Giả sử xn d−→ x. Ta có
lim d(xn, x) = 0
d1(xn, x) =
d(xn, x)
1 + d(xn, x)
Do đó, lim d1(xn, x) = 0 hay xn
d1−→ x
• Giả sử xn d1−→ x. Từ
lim d1(xn, x) = 0
d(xn, x) =
d1(xn, x)
1− d1(xn, x)
ta suy ra lim d(xn, x) = 0 hay xn
d−→ x.
3. Xét tùy ý dãy Cauchy {xn} trong (X, d1), ta cần chứng minh {xn} hội tụ trong (X, d1).
• Ta có
lim
n,m→∞
d1(xn, xm) = 0
d(xn, xm) =
d1(xn, xm)
1− d1(xn, xm)
⇒ lim
n,m→∞
d(xn, xm) = 0 hay {xn} là dãy Cauchy trong (X, d)
⇒ {xn} là hội tụ trong (X, d) (vì (X, d) đầy đủ)
• Đặt x = lim
n→∞
xn (trong (X, d)), ta có x = lim
n→∞
xn trong (X, d1) (do câu 2).
Bài 2 Cho các không gian metric (X1, d1), (X2, d2). Trên tập X = X1 ×X2 ta định nghĩa
d ((x1, x2), (y1, y2)) = d1(x1, y1) + d2(x2, y2)
6
1. Chứng minh d là metric trên X.
2. Giả sử xn = (xn1 , x
n
2 ), (n ∈ N∗), a = (a1, a2). Chứng minh xn d→ a⇐⇒
{
xn1
d1→ a1
xn2
d2→ a2
3. Giả sử (X1, d1), (X2, d2) đầy đủ. Chứng minh (X, d) đầy đủ.
Giải.
1. Ta kiểm tra tính chất i), iii) của metric. Giả sử x = (x1, x2), y = (y1, y2), z = (z1, z2), ta
có:
i) d(x, y) = d1(x1, y1) + d2(x2, y2) > 0
d(x, y) = 0⇐⇒
{
d1(x1, y1) = 0
d2(x2, y2) = 0
⇐⇒
{
x1 = y1
x2 = y2
⇐⇒ x = y
iii) Cộng từng vế các bất đẳng thức:
d1(x1, y1) 6 d1(x1, z1) + d1(z1, y1)
d2(x2, y2) 6 d2(x2, z2) + d2(z2, y2)
ta có
d(x, y) 6 d(x, z) + d(z, y)
2. Ta có
d1(x
n
1 , a1), d2(x
n
2 , a2) 6 d(xn, a) = d1(xn1 , a1) + d2(xn2 , a2)
Do đó:
lim d(xn, a) = 0⇐⇒
{
lim d1(x
n
1 , a1) = 0
lim d2(x
n
2 , a2) = 0
3. Giả sử {xn} là dãy Cauchy trong (X, d), xn = (xn1 , xn2 ). Ta có {xni } là dãy Cauchy trong
(Xi, di) (vì di(x
n
i , x
m
i ) 6 d(xn, xm)). Suy ra
∃ai ∈ Xi : xni di−→ ai (do (Xi, di) đầy đủ)
⇒ xn d−→ a := (a1, a2) (theo câu 2))
Bài 3 Ký hiệu S là tập hợp các dãy số thực x = {ak}k. Ta định nghĩa
d(x, y) =
∞∑
k=1
1
2k
.
|ak − bk|
1 + |ak − bk| , x = {ak}, y = {bk}
1. Chứng minh d là metric trên X.
2. Giả sử xn = {ank}k, n ∈ N∗, x = {ak}k. Chứng minh
xn
d−→ x ⇐⇒ lim
n→∞
ank = ak , ∀k ∈ N∗
7
3. Chứng minh (S, d) đầy đủ.
Giải.
1. Đầu tiên ta nhận xét rằng chuỗi số định nghĩa số d(x, y) là hội tụ vì số hạng thứ k nhỏ
hơn 1/2k.
Với x = {ak}, y = {bk}, z = {ck}, các tính chất i), iii) kiểm tra như sau:
i) Hiển nhiên d(x, y) > 0,
d(x, y) = 0⇔ ak = bk ∀k ∈ N∗ ⇔ x = y
iii) Từ lý luận bài 1 ta có
|ak − bk|
1 + |ak − bk| 6
|ak − ck|
1 + |ak − ck| +
|ck − bk|
1 + |ck − bk| ∀k ∈ N
∗
Nhân các bất đẳng thức trên với 1/2k rồi lấy tổng, ta có
d(x, y) 6 d(x, z) + d(z, y)
2. Ta có
d (xn, x) =
∞∑
k=1
1
2k
.
|ank − ak|
1 + |ank − ak|
n ∈ N∗
• Giả sử xn −→ x. Ta có: ∀k ∈ N∗
1
2k
.
|ank − ak|
1 + |ank − ak|
6 d(xn, x) (∗)
⇒ |ank − ak| 6
2kd (xn, x)
1− 2kd (xn, x)
(
khi n đủ lớn để d (xn, x) <
1
2k
)
Do đó lim
n→∞
ank = ak.
• Giả sử lim
n→∞
ank = ak ∀k ∈ N∗.
Cho ε > 0 tùy ý. Ta chọn số k0 sao cho
∞∑
k=k0+1
1
2k
< ε
2
. Xét dãy số:
sn =
k0∑
k=1
1
2k
.
|ank − ak|
1 + |ank − ak|
, n ∈ N∗
Do lim sn = 0 nên có n0 sao cho sn <
ε
2
∀n > n0.
Với n > n0, ta có
d(xn, x) = sn +
∞∑
k=k0+1
(. . . ) 6 sn +
∞∑
k=k0+1
1
2k
< ε
8
Như vậy ta đã chứng minh
∀ε > 0 ∃n0 : ∀n > n0 ⇒ d(xn, x) < ε
hay lim d(xn, x) = 0.
3. Xét tùy ý dãy Cauchy {xn} trong (S, d), xn = {ank}k. Lý luận tương tự ở (∗) ta có
|ank − amk | 6
2kd(xn, xm)
1− 2kd(xn, xm) −→ 0 khi m,n −→∞
Suy ra {ank}n là dãy Cauchy trong R, do đó hội tụ.
Đặt ak = lim
n→∞
ank và lập phần tử a := {ak}. Áp dụng câu 2) ta có xn −→ a trong (S, d).
Bài 4 Trên X = C[0,1] xét các metric
d(x, y) = sup
06x61
|x(t)− y(t)|
d1(x, y) =
1∫
0
|x(t)− y(t)| dt
1. Chứng minh: (xn
d−→ x) ⇒ (xn d1−→ x)
2. Bằng ví dụ dãy xn(t) = n(t
n − tn+1), chứng minh chiều “⇐” trong câu 1) có thể không
đúng.
3. Chứng minh (X, d1) không đầy đủ.
Giải.
1. Ta có
|x(t)− y(t)| 6 d(x, y) ∀t ∈ [0, 1]
⇒
∫ 1
0
|x(t)− y(t)| dt 6 d(x, y)
∫ 1
0
dt = d(x, y)
⇒d1(x, y) 6 d(x, y) ∀x, y ∈ C[0,1]
Do đó, nếu lim d(xn, x) = 0 thì cũng có lim d1(xn, x) = 0.
2. Ký hiệu x0 là hàm hằng bằng 0 trên [0, 1]. Ta có:
• d1(xn, x0) =
∫ 1
0
|xn(t)− x0(t)| dt =
∫ 1
0
n (tn − tn+1) dt = n
(n+1)(n+2)
→ 0 khi n→∞.
9
• d(xn, x0) = sup
06t61
n(tn − tn+1) = n ( n
n+1
)n
. 1
n+1
(hãy lập bảng khảo sát hàm n(tn − tn+1)
trên [0, 1]). Do đó
lim
n−→∞
d(xn, x0) = lim
n−→∞
(
n
n+ 1
)n
.
n
n+ 1
=
1
e
6= 0
Suy ra xn
d
−→/ x0.
3. Xét dãy {xn} ⊂ C[0,1] xác định như sau:
xn(t) =

0 t ∈ [0, 1
2
]
n(t− 1
2
) t ∈ [1
2
, 1
2
+ 1
n
]
1 t ∈ [1
2
+ 1
n
, 1]
(n > 2)
• Trước tiên ta chứng minh {xn} là dãy Cauchy trong
(
C[0,1], d1
)
.
Thật vậy, với m < n, ta có:
d1(xn, xm) =
∫ 1
0
|xn(t)− xm(t)| dt
=
∫ 1/2+1/m
1/2
|xn(t)− xm(t)| dt
6
∫ 1/2+1/m
1/2
1.dt = 1
m
Do đó lim
m,n−→∞
d1(xn, xm) = 0
• Ta chứng minh {xn} không hội tụ trong
(
C[0,1], d1
)
.
Giả sử trái lại:
∃x ∈ C[0,1] : lim d1(xn, x) = 0
Khi đó
d1(xn, x) >
∫ 1/2
0
|xn(t)− x(t)| dt =
∫ 1/2
0
|x(t)| dt , ∀n ∈ N∗
⇒
∫ 1/2
0
|x(t)| dt = 0 ⇒ x(t) ≡ 0 trên [0, 1
2
].
Mặt khác, với mỗi a ∈ (1
2
, 1
)
ta có 1
2
+ 1
n
< a khi n đủ lớn.
Do đó
d1(xn, x) >
∫ 1
a
|xn(t)− x(t)| dt =
∫ 1
a
|1− x(t)| dt
⇒ x(t) = 1 ∀t ∈ [a, 1] (lý luận như trên)
Do a > 1
2
tùy ý, ta suy ra x(t) = 1 ∀t ∈ (1
2
, 1].
Ta gặp mâu thuẫn với tính liên tục của hàm x.
10
§2 Tập mở, tập đóng. Phần trong, bao
đóng của một tập hợp
1. Tập mở. Phần trong
Cho không gian metric (X, d).Với x0 ∈ X, r > 0, ta ký hiệu B(x0, r) = {x ∈ X : d(x, x0) < r}
gọi là quả cầu mở tâm x0, bán kính r.
Định nghĩa 1 Cho tập hợp A ⊂ X.
1. Điểm x được gọi là điểm trong của tập hợp A nếu ∃r > 0 : B(x, r) ⊂ A
2. Tập hợp tất cả các điểm trong của A gọi là phần trong của A, ký hiệu IntA hay
◦
A. Hiển
nhiên ta có IntA ⊂ A.
3. Tập A gọi là tập mở nếu mọi điểm của nó là điểm trong. Ta qui ước ∅ là mở. Như vậy,
A mở ⇔ A = IntA ⇔ (∀x ∈ A ∃r > 0 : B(x, r) ⊂ A)
Tính chất.
1. Họ các tập mở có ba tính chất đặc trưng sau:
i) ∅, X là các tập mở.
ii) Hợp của một số tùy ý các tập mở là tập mở.
iii) Giao của hữu hạn các tập mở là tập mở.
2. Phần trong của A là tập mở và là tập mở lớn nhất chứa trong A.
Như vậy:
(B ⊂ A,B mở)⇒ B ⊂ IntA
Ví dụ. Quả cầu mở B(x0, r0) là tập mở.
Thật vậy, ∀x ∈ B(x0, r0) ta có r = r0 − d(x, x0) > 0. Ta sẽ chỉ ra B(x, r) ⊂ B(x0, r0). Với
y ∈ B(x, r), ta có d(y, x0) 6 d(y, x) + d(x, x0) < r + d(x, x0) = r0 nên y ∈ B(x0, r0).
Ví dụ. Trong R với metric thông thường, các khoảng mở là tập mở.
Thật vậy, trong R ta có B(x, r) = (x− r, x+ r).
• Mỗi khoảng hữu hạn (a, b) là quả cầu tâm a+b
2
, bán kính b−a
2
nên là tập mở.
• (a,+∞), (a ∈ R) là tập mở vì ∀x ∈ (a,+∞) ta đặt r = x−a thì (x− r, x+ r) ⊂ (a,+∞).
Ví dụ. Trong R2 với metric thông thường mỗi hình chữ nhật mở A = (a, b)× (c, d) là tập mở.
Thật vậy, xét tùy ý x = (x1, x2) ∈ A. Ta đặt r = min{x1 − a, b− x1, x2 − c, d− x2} thì có
B(x, r) ⊂ A.
Định lí 1
1. Mỗi tập mở trong R là hợp của không quá đếm được các khoảng mở đôi một không giao
nhau.
2. Mỗi tập mở trong R2 là hợp của không quá đếm được các hình chữ nhật mở.
11
2. Tập đóng. Bao đóng của một tập hợp
Định nghĩa 2
1. Tập hợp A ⊂ X gọi là tập đóng nếu X \ A là tập mở.
2. Điểm x được gọi là một điểm dính của tập A nếu A ∩B(x, r) 6= ∅,∀r > 0.
3. Tập tất cả các điểm dính của A gọi là bao đóng của A, ký hiệu là A hay ClA.
Hiển nhiên ta luôn có A ⊂ A.
Tính chất.
1. ∅, X là các tập đóng.
Giao của một số tùy ý các tập đóng là tập đóng.
Hợp của hữu hạn tập đóng là tập đóng.
2. A là tập đóng và là tập đóng nhỏ nhất chứa A.
Như vậy (B ⊃ A,B đóng)⇒ B ⊃ A
3. A đóng ⇔ A = A.
Định lí 2
1. x ∈ A⇔ (∃{xn} ⊂ A : limxn = x)
2. Các tính chất sau là tương đương:
a) A là tập đóng;
b) ∀{xn} ⊂ A (limxn = x⇒ x ∈ A).
Ví dụ. Quả cầu đóng B∗(x0, r) := {x ∈ X : d(x, x0) 6 r} là tập đóng.
Chứng minh. Do sự tương đương của tính chất a), b) nên ta chứng minh B∗(x0, r) có tính
chất b). Xét tùy ý dãy {xn} mà {xn} ⊂ B∗(x0, r), xn −→ x, ta phải chứng minh x ∈ B∗(x0, r).
Thật vậy: {
d(xn, x0) 6 r ∀n = 1, 2, . . .
lim d(xn, x0) = d(x, x0) (do tính chất 3) của sự hội tụ)
⇒ d(x, x0) 6 r (đpcm)
12
Bài tập
Bài 1 Chứng minh rằng trong một không gian metric ta có
1. A ⊂ B ⇒ A ⊂ B;
2. A ∪B = A ∪B;
3. A = A
Giải.
1. Ta có: (B là tập đóng, B ⊃ A)⇒ B ⊃ A.
2. Ta có: A ⊂ A ∪B,B ⊂ A ∪B (do câu 1)) nên A ∪B ⊂ A ∪B
Mặt khác: {
A ∪B là tập đóng (do A,B đóng)
A ∪B ⊃ A ∪B
⇒ A ∪B ⊃ A ∪B (do tính chất “nhỏ nhất” của bao đóng)
3. Ta có A là tập đóng nên nó bằng bao đóng của nó.
Bài 2 Trong C[a,b] ta xét metric hội tụ đều. Giả sử x0 ∈ C[a,b]. Ta xét các tập sau:
M1 ={x ∈ C[a,b] : x(t) > x0(t)∀t ∈ [a, b]}
M2 ={x ∈ C[a,b] : x(t) > x0(t)∀t ∈ [a, b]}
M3 ={x ∈ C[a,b] : ∃t ∈ [a, b] : x(t) > x0(t)}
Chứng minh M1 mở, M2 và M3 đóng.
Giải.
• Chứng minh M1 mở. Xét tùy ý x ∈M1, ta có
x(t)− x0(t) > 0 ∀t ∈ [a, b]
⇒ r := inf
a6t6b
[x(t)− x0(t)] > 0 (vì ∃t0 ∈ [a, b] : r = x(t0)− x0(t0) > 0)
Ta sẽ chứng minh B(x, r) ⊂M1. Thật vậy, với y ∈ B(x, r) ta có:
sup
a6t6b
|y(t)− x(t)| < r
⇒|y(t)− x(t)| < r ∀t ∈ [a, b]
⇒y(t) > x(t)− r ∀t ∈ [a, b]
⇒y(t)− x0(t) > x(t)− x0(t)− r > r − r = 0 ∀t ∈ [a, b]
⇒y ∈M1
13
• Chứng minh M2 đóng.
Giả sử {xn} ⊂M2, xn d−→ x, ta cần chứng minh x ∈M2. Ta có limn→∞xn(t) = x(t) ∀t ∈ [a, b]
(
do xn
d−→ x
)
xn(t) > x0(t) ∀t ∈ [a, b], ∀n ∈ N∗ (do xn ∈M2)
Suy ra x(t) > x0(t)∀t ∈ [a, b] , do đó x ∈M2.
• Chứng minh M3 đóng.
Cách 1. Đặt M4 =
{
x ∈ C[a,b] : x(t) < x0(t) ∀t ∈ [a, b]
}
. Ta có M3 = C[a,b] \M4 và M4 là
tập mở (chứng minh tương tự M1 mở) nên M3 đóng.
Cách 2. Giả sử {xn} ⊂M3, xn d−→ x ta cần chứng minh x ∈M3.
Do xn ∈M3 nên tồn tại tn ∈ [a, b] thỏa xn(tn) > x0(tn). Dãy {tn} bị chặn nên có dãy con
{tnk}k hội tụ về một t0 ∈ [a, b]. Ta sẽ chứng minh x(t0) > x0(t0). Đầu tiên ta chứng minh
lim
k→∞
xnk(tnk) = x(t0) (1)
Thật vậy:
|xnk(tnk)−x(t0)| 6 |xnk(tnk)−x(tnk)|+ |x(tnk)−x(t0)| 6 d(xnk , x)+ |x(tnk)−x(t0)| (2)
và vì vế phải của (2) hội tụ về 0 khi k →∞ nên (1) đúng.
Từ xnk(tnk) > x0(tnk) và (1) ta có x(t0) > x0(t0). Ta đã chứng minh ∃t0 ∈ [a, b] : x(t0) >
x0(t0) hay x ∈M3.
Bài 3 Trong C[a,b] với metric hội tụ đều ta xét các tập hợp sau:
M1 =
{
x ∈ C[a,b] : x là đơn ánh, 0 6 x(t) 6 1 ∀t ∈ [a, b]
}
M2 =
{
x ∈ C[a,b] : x là toàn ánh, 0 6 x(t) 6 1 ∀t ∈ [a, b]
}
Chứng minh M1 không là tập đóng, M2 là tập đóng.
14

File đính kèm:

  • pdf20041204thayHuybai2.pdf