Với mục đích là tinh giản, nhưng đầy đủ, do đó có một vài mục nhỏ, tác giả chỉ giới thiệu chứng không trình bày chi tiết hoặc đưa vào bài tập để sinh viên tự nghiên cứu. Ở phần cuối cuốn sách có phần hướng dẫn giải bài tập và kết quả nhằm giúp sinh viên phương pháp giải một số bài toán và kiếm tra kết quả học tập của mình
Trang 1NGUYỄN ĐỊNH - NGUYỄN HỒNG
(CƠ SỞ GIẢI TÍCH HIỆN ĐẠI) GIÁO TRÌNH DÙNG CHO SINH VIÊN KHOA TỐ
Trang 2NGUYÊN ĐỊNH - NGUYEN HOANG
HAM SO BIEN SO THUC (CƠ SỞ GIẢI TÍCH HIỆN ĐẠI) GIAO TRINH DUNG CHO SINH VIÊN KHOA TỐN CÁC TRƯỜNG ĐẠI HỌC
(Tái bản lân thứ hai)
Trang 3Bản quyền thuộc Nhà xuất bản Giáo dục
Trang 4
re
LOI NOI DAU
Cuốn sách này trình bày các kiến thức cơ sở của giải tích hiện đại từ
những khái niệm ban đầu của khơng gian mêtric, khơng gian tơpơ, lí thuyết
độ đo và tích phân Lebesgue Qua thực tế và kinh nghiệm giảng dạy, chúng
tơi chọn những nội dung tối thiểu về giải tích cho sinh viên khoa Tốn ở các
trường ĐHSP và ĐHKH cho dù về sau sinh viên đĩ trở thành giáo viên hay là cán bộ nghiên cứu ở các ngành khác nhau Đặc thù của phần kiến thức
này là nặng về suy luận trừu tượng, lí thuyết, khác với phần giải tích cổ điển, thường tập trung cho các Kĩ năng tính tốn biến đổi
Cuốn sách bao gồm 4 chương chính Chương 1 dành cho khái niệm
mêtric, là cửa ngõ đi vào các phần khác nhau của giải tích hàm (tuyến tính hay phi tuyến) Chương 2 trình bày các yếu tố tổng quát và cơ bản của giải
tích, đĩ là khơng gian tơpơ Chúng tơi khơng cĩ tham vọng trình bày chỉ tiết,
đây đủ các vấn để của tơpơ đại cương mà chỉ cung cấp một lượng kiến thức
cần thiết, để người học tốn làm quen với khái niệm, thuật ngữ, phương pháp
suy luận hầu cĩ thể dễ dàng lĩnh hội các học phần khác về sau Chương 3
trình bày lí thuyết độ đo Lebesgue, đây là một nội dung quan trọng, đồng
thời cũng là cơ sở để xây dựng tích phân Lebesgue ở chương 4 Cĩ nhiều
giáo trình và sách tham khảo định nghĩa độ đo trên đại số các tập hợp 6 day chúng tơi trình bày độ đo trên nửa vành Nhìn chung độ phức tạp khơng tăng bao nhiêu nhưng cách này tỏ ra thuận lợi khi xây dựng độ đo Lebesgue trên
R” hay tích các độ đo Về lí thuyết tích phân, chúng tơi trình bày theo
phương pháp kinh điển mà các tác giá như Rudin, Hewitt-Stromberg, Hồng Tuy đã trình bày trong các cuốn sách của họ
Cho đến nay việc lập một chương trình tốn thống nhất cho các trường đại học là vấn đề khĩ thực hiện Do đĩ trong hai chương đầu chúng tơi cố
gắng trình bày tương đối độc lập (do đĩ cĩ đơi chỗ lặp lại) để tuỳ theo chương trình và quan điểm của người dạy, cĩ thể từ chương 1 đi thẳng vào chương 3 và 4 hoặc cĩ thể dùng các chương I, 2 để giảng các kiến thức cơ sở về tơpơ, mêtric v.v Nĩi chung chúng tơi cố ý thiết kế để cuốn sách được
dùng một cách uyển chuyển tuỳ theo ý thích của giảng viên và chương trình quy định
Các vấn dé trong cuốn sách này là khĩ đối với học viên cĩ trình độ từ
trung bình khá trở xuống Do đĩ sinh viên mới học phải tập trung nỗ lực để
Trang 5ánh xạ, phải thao tác biến đổi trên các đối tượng này một cách thành thạo Kinh nghiệm cho thấy rằng, nếu sinh viên nào khơng hiểu đẩy đủ các quy
tắc suy luận logic và các phép tốn về tập hợp thì rất lúng túng trong việc
tiếp thu các chương này
Dù ý đồ của các tác giả là cố gắng trình bày chỉ tiết, sơ cấp các vấn để
để phù hợp với trình độ của đa số sinh viên (đây là đối tượng phục vụ chủ
yếu của cuốn sách) nhưng cĩ nhiều kết quả khĩ chứng minh dài nên địi hỏi người học một sự kiên trì đáng kể
Theo sự phân cơng, PTS Nguyễn Hồng viết các chương 1, 2 va
PTS Nguyễn Định viết các chương 3, 4 Các tác giả đã cĩ nhiều cố gắng
trong việc biên soạn, tuy nhiên đây là lần đầu tiên ra mắt bạn đọc nên cuốn sách cĩ thể sẽ cịn những khiếm khuyết Chúng tơi rất mong nhận được sự
gĩp ý chân tình của quý đồng nghiệp và bạn đọc để cuốn sách được hồn
thiện hơn trong lần in sau
CÁC TÁC GIẢ
Trang 6Chương 0 KIẾN THỨC CHUẨN BỊ § 1 TẬP HỢP, ÁNH XẠ, QUAN HỆ 1.1 Tập hợp 1.1.1 Các phép tốn trên các tập hợp
a) Cho A, Ø là các tap hop Tap A được gọi là tập con của tập B, kí
hiệu AC Ư, nếu mọi phần tử của A đều là phần tử của Ư Hai tập hợp A, 8 được gọi là bằng nhau nếu AC 8 và BC A
Giả sử X là một tập hợp Kí hiệu Z2(X) sẽ được dùng để chỉ tập hợp
tất cả những tập con của X, `
Các phép tốn hợp, giao, hiệu, hiệu đối xứng của hai tập được định
nghĩa lần lượt như sau :
AUB=f{xlxe A hay xe B} (hợp của A và B),
AnB=ftxlxeA vàzc BÌ (giao của A và.B),
A\ B= {xlxeA vax B} (higu cia A và B),
AQB =(A\ B)U(B\ A) (higu d6i xtmg)
Nếu Af1B= Ø thì ta cũng nĩi là A và B rdi nhau (khong giao nhau hay
cĩ giao bằng Ø)
Các tính chất Mối quan hệ giữa các phép toắn được thể hiện trong các cơng thức sau Giả sử 4, 8, C là các tập hợp
Trang 7đi (AUB)\C = (ANC)ULBNC),
(iv) (AN B)\C =(A\C)N(B\C)
b) Hợp, giao cia mét ho tap Cho (4,),., 1A mot ho cdc tap hop Hop
và giao của họ tập này được định nghĩa như sau :
UA,;=ÍxI3i <7 sao cho xe A,},
jet
NA; ={xlxre A, moiie /} iel
Họ (4,),„, được gọi là rời nhau từng đơi nếu A,f1A, = Ø khi ¡ = /,
Trường hợp 7 =N, ta thường viết (1 4, hay UA, thay cho ƒ1 4, và
i=) iz) ieN
UA, Các cơng thức sau đây là mở rộng của (¡) và Gì) ở trên (8 là một tập ie! tuỳ ý) 8đ(U4,)= U(4,08), if ie , BU(N A) = N(4,UB) iel jet c) Phần bù của một tập Giả sử X là một tập và Ư, AC X Tập X\A gọi là phần bù của A trong X và được kí hiệu là 4“ Các đẳng thức sau là đúng @®) ANB=ANB,
(ii) AC B khi va chi khi BS CA‘,
Gii) (AUB) =A°NB’, (iv) (ANB) = AS UBS
Luat De Morgan
(Aer là một họ những tập con của X Các cơng thức sau thường được gọi là luật De Morgan
(ÚAJ=đA: (NAD = UAT
Trang 81.2 Ánh xạ
1.2.1 Định nghĩa và các tính chất
Giả sử A, 8 là các tập hợp khác rỗng Một đnh xạ ƒ từ A vào Byki
hiệu ƒ:A——+B hay x ƒ(x), là một quy tắc cho tương ứng mỗi phần
tử xe A với một phần tử duy nhất ye B Phần tử y này thường được kí
hiệu là ƒ(x) và gọi là giá trị của ƒ tai x hay ảnh của x qua ánh xạ ƒ Hai anh xa f: A—— B, g: A——~+B duoc gọi là bằng nhau, kí hiệu
f =g,néu ƒ(x)= g(x), với mọi xe A
Cho ƒ:X———Y là một ánh xạ Một đơn ánh, tồn ánh và song ánh
được định nghĩã như sau đn ( — đơn ánh) ©(Wx\,x; e X, ƒ(x))= f(y) > 4 =m) & (Wx, € X, 4 Hy = f(m)=f(x)), Uf —toan anh) eo(Vy €Y, axe X: f(x)=y), dn
({ƒ —song ánh) (ƒ vừa là đơn ánh vừa là tồn ánh)
Bay giờ giả sử ƒ:X——Y là một ánh xạ, ÁC X va BCY Anh
của tập A qua ánh xạ ƒ, kí hiệu ƒ(4), và nghịch ảnh (tạo ảnh) của tập B
qua ánh xạ ƒ, kí hiệu ƒ'{B), được định nghĩa là các tập sau :
Trang 9(iv) a 8)=f7(8), ied
@) /£-!ÍE')=(ƒ#-!@)Ÿ =xš/Ƒ 1)
1.2.2 Hợp của hai ánh xạ
Cho ƒ:X————Y và g:Y—Z là hai ánh xạ Khi đĩ hợp của ø và F (theo thứ tự đĩ), kí hiệu go ƒ, là ánh xạ được định nghĩa bởi
#9ƒ:X——Ừ
x——(go ƒ)(x)= g(ƒ(+)), xeX
“Ta cĩ thể chứng minh được các đẳng thức sau đây
@ (ge7) '(Œ)= 7 '{g"!(C)), mọi CC Z, (iÐ (geƒ)oh=go(ƒoh), mọi h:T——X,
Git) ƒ(/-!U)}C B, mọi 8CY, AC£ 'Ứ(A)), moi ACX
1.2.3 Tích Descartes của một họ tập
Giả sử (A,),„ là một họ cdc tap hop Tich Descartes cha hg nay, ki
hiệu [] A,, là tập được định nghĩa bởi ief HA = {x1 UA la@e A, mọi íe ƑÌ, ief iel Phần tử của [[ A, thường được kí hiệu là {x, :/e/} hay (x,), „ jet
Khi họ này chỉ gồm cĩ hai tập A, B thì tích Descartes của chúng sẽ
được kí hiệu là Ax và phần tử của Ax 8 thường được viết thành cặp (cĩ thứ tự), nghĩa là
AxB= l(a, b)laeA, be BÌ
Tương tự, tích Descartes của 7: tập, A;x xA„ (cũng kí hiệu đ A) i=l
Trang 10Nếu cĩ ¿c7 mà 4,= Ø thì ta định nghĩa []A, = Ø Tuy nhiên nếu
tel
A,#=Ø mọi ¿e7 thì liệu ta cĩ thể khẳng định là []A, khác Ø khơng ?
fel
Khơng thể trả lời câu hỏi này bằng cách chỉ sử dụng các tiên dé thong thường về tập hợp Mệnh đẻ sau đây thường được biết dưới tên gọi là “tiên
để chọn”
Tiên dé chọn : Nết (A,),„ là một họ gồm các tập khơng rằng thì
14, #2
iel
Đạng tượng đương của tiên đề chọn :
Nếu (Ai), là một họ gâm các tập khác rỗng, rời nhau từng đơi một
thì tốn tại một tập Econ UA sao cho EQOA, chita duy nhất một phần tử ie với mọi ¡ 6l, 1.3 Quan hệ, Một quan hệ (hai ngơi) trên tập X là một tập con # của tích Descartes X xX, Nếu (z,v)e# thì ta nĩi “x quan hệ với y theo quan hệ K” và kí hiéu xRy
1.3.1 Quan hệ tương đương
Một quan hệ # trên X gọi là một guan hệ tương đương nếu nĩ thoả
mãn các điều kiện sau :
() x€x, với mọi xe X (tính phản xa), (ii) Néu xRy thì y€x (tính đối xứng),
(ii) Nếu x€y và yz thì x€z (tính bắc cầu)
Giả sử là một quan hệ tương đương trên X và xeX, Lớp tương
đương của x (theo quan hệ tương đương ), kí hiệu là x, là tập
#=tyeXlzKy}
Tập hợp gồm tất cả các lớp tương đương theo quan hệ £ thường được gọi là
Trang 11Dễ dàng nhận thấy rằng nếu x,yeX thì hoặc là X=ÿ hoặc là
xđy =ð Như vậy tập các lớp tương đương theo quan hệ lập thành một
phân hoạch của X, nghĩa là cĩ một họ (A,),„„ những tập con của X (mỗi et
A, la một lớp tương đương), A,f14, = Ø nếu ¡ = j saocho X= A,
ief
Ngược lại nếu (A,) ,C2(X) sao cho A,fA,= Ø nếu í=j và
U4,=X th iel
R={(x, y})eXxXI3ie1 sao cho x, ye 4,}
là một quan hệ tương đương trên X mà các lớp tương đương (theo “) chính
là các A, ‘
1.3.2 Quan hệ thứ tự
Một loại quan hệ khác trên X cũng cĩ một vai trị quan trọng là quan hệ thứ tự Một quan hệ, kí hiệu “< ”, trên X gọi là quan hệ thứ tự (bộ phận)
trên X (hay cũng nĩi “X được sắp bộ phận bởi < ”) nếu nĩ thoả mãn các điều kiện sau :
a) x<x, moi xe X,
b) x<y va y<x thi x = y (phản xứng), c)Néu x<y va y<z thi x<z
Bây giờ giả sử X là tập được sắp bởi quan hệ thứ tự bộ phận < Tap cơn Y của X gọi là được sắp thẳng nếu với mọi cặp các phần tử x, yeŸ ta
cĩ x<y hay y<x
Phần tử „eX được gọi là một cận trên của tập Y nếu y<, mọi yey
Phần tử me X được gọi là phần tử tối đại của X nếu quan hệ m < x,
xe€X kéo theo x=m (lưu ý rằng X cĩ thể cĩ nhiều hơn một phần tử tối
đại và cũng cĩ thể khơng cĩ phần tử tối đại) Phát biểu sau đây nêu lên một đảm bảo cho sự tồn tại phần tử tối đại đối với một tập hợp được sắp Nĩ được
gọi tên là bổ đề Zorn Người ta cũng chứng mỉnh được nĩ tương đương với
“Tiên đề chọn
Bồ đề Zorn Nếu mọi tập con sắp thẳng của X đều cĩ một cận trên
Trang 12BÀI TẬP (4,)„„„„ là họ một tập
saocho: B,C B,,, va Ũ B, =U A,-
n=l n=l
(a) Hãy xây đựng một họ (B,)
(b) Hãy xây dựng một họ (B,), eN sao cho 8,f1B; = Ø nếu nn' A, = 1 và 8 a 1 ice ce (c) Gia sir them A, CA,,,,1€N.Hay xay dựng họ (B,), sao cho x x ~ B,B, =6 né&unen’, UA,=UB, vaA,= UB W n=l n=l a=l #:X——Y là một ánh xạ Chứng minh rằng các mệnh để sau tương đương a) ƒ là một đơn ánh, b) ƒ(AnB)=ƒ(A4)nƒ(8), mọi A, BC X, ©) Mọi cặp các tập 4, 8C X mà Af1B8= Ø thì #(A)n/(8)= 6 #t:X——¬Y là tồn ánh khi và chỉ khi ƒ(7 'B))= B, mọi BY Cho một thí dụ về một ánh xạ ƒ:X———Y va hai tap A, BCX sao cho: f(ANB) x f(A)N f(B)
Cho ƒ:X———Y là một ánh xạ Chứng tổ rằng ƒ là một đơn ánh khi và chỉ khi với mọi tập Z và mọi ánh xạ ø:Z———X, ø:Z———X sao cho ƒò = ƒog; thì g; = g;
Trang 13§ 2 SỐ THỰC
Trong phần này, chúng tơi trình bày một số tính chất của tập số thực,
được dùng thường xuyên sau này Nhắc lại rằng, tập hợp số thực R là một
trường với hai phép tốn cộng và nhân thơng thường, trên đĩ cĩ trang bị quan hệ thứ tự tồn phần
2.1 Supremum va infimum cia mot tap MCR
Cho M là một tập con của R Số yeR được gọi là một cận trên
(tương ứng, cận đưới) của M néu voi moi xe M thi x<y (tư,y<z)
Hiển nhiên nếu y là cận trên (t.ư., cận dưới) của Aƒ thì với mọi y'>y
(t.ư., y'< y) cũng là cận trên (t.ư., cận dưới của Ä)
Tap hop M được gọi là bị chặn trên (tư., bị chặn dưới nếu M tổn tại ít nhất một cận trên (t.ư., cận dưới) Ta cĩ một tính chất cơ bản và quan trọng sau đây :
Nguyén li supremum Moi tap con 4ƒ khác rỗng của R bị chặn trên (t.ư., bị chặn dưới) thì tồn tại cận trên bé nhất (t.ư., cận dưới lớn nhất)
Cận trên bé nhất của một tập bị chặn trên được gọi là suprermum của M và kí hiệu sup M Cận dưới lớn nhất của một tập bị chặn đưới được gọi 1a infimum cha M vakihiéu 1a inf M
Theo định nghĩa ta cĩ œ = sup ă khi và chỉ khi hai điều kiện sau đây
được thoả mãn :
l) vxeMf:v<œ
2) (Vằœ'< œ)(3x e M):@œ'< x
(Điều kiện 1) diễn tả œ là một cận trên của 4, cịn điều kiện 2) nĩi rằng vì œ là cận trên bế nhất nên nếu œ'< œ thì œ' khơng cịn là cận trên của A⁄ nữa.)
Điều kiện 2) cĩ thể diễn tả bằng nhiều cách khác nhau Ta cĩ thể viết lại các mệnh để tương đương như sau
DVxeM:x<œ x = SUp ƒ ©
‘ p 29 (Ve > Ore M):a-e<xsa
Nếu lấy c lần lượt bằng L thì ta cĩ thể viết lại
Trang 14I)YxeM:x<@œ
a= sup M 2") A(x,) CM:x, nh n aln— oo)
Bạn đọc hãy viết chỉ tiết các mệnh để tương đương đối với infimum Sau đây là một số tính chất thường dùng của tập số thực
2.2 Dãy các đoạn (la, b„) được gọi là thất lại nếu [a,,,, b,4,}C ”
(@,.6,], 2=1, 2 va lim (b, —a,)=0 nox
Nguyên lí Cantor Mỗi day dogn {(a, 6, ]), trong R thất lại thì cĩ một phân tử chưng duy nhất cho tất cả các đoạn đĩ
2.3 Nguyên lí Bolzano-Weierstrass Mọi đây số thực bị chặn đều cĩ
một dãy con hội tụ trong R
2.4 Dãy số thực (x„)„ C R được gọi là đấy cơ bản hay đấy Cauchy nếu
(Ve > 0)(Any)(Wm,n 2 nạ): [1y — x„|< :
Nguyên lí Cauchy Mọi đấy số thực cơ bản thì phải hội tự 2.5 Tính chất trù mật của tập số hữu tỉ Q trong R
Với mỗi cặp số thực (a, b), a < b bao giờ cũng tơn tại một số hữu ier
sao cho a<r<b
§ 3 CHUỖI SỐ
Phần này liệt kê một số kiến thức liên quan tới các chuỗi số dương
được sử dụng thường xuyên trong các chương 3 vä 4
3.1 Chuỗi số dương và tính giao hốn
Trang 15
Một chuỗi Sx, được gọi là hội tụ tuyệt đối nếu Škx, <+œ Một
n=l nat
chuỗi hội tu tuyệt đối thì hội tụ trong R
Sau này ta sẽ xét đến các chuỗi Š x„ mà x„eRĐ, neN Tổng của
n=l
chuỗi trong trường hợp này cũng được định nghĩa như trước đây, là giới hạn
của dãy tổng riêng (s„), „ và là một số thuộc Đ Ta cĩ kết quả sau
3.1.1 Định lí Nếu = x, là một chuỗi dương thì với mọi song ánh n=) ø:N—N, ía đều cĩ ° Xy = ° X„„) (chuỗi Š x„ cĩ tính giao hốn) 1 n= n=l Ching minh Goi a = 5° x,, B= 3 x4) (89 a, bER va a, b> 0) n=l n=l
Ta chỉ cần chứng minh b<z là đủ (z<b chứng minh tương tự) Mọi
neN, đặt k= max {ơ(1), o(n)} Khi đĩ „ * DX Xam SLA; Sa m=! isl Tuday b<all Lưu ý Đơi khi ta cũng xét chuỗi số s x„ Tổng của chuỗi này được n=—, n hiểu là lim 3` x, ROK join 3.2 Chuỗi số kép
Cùng với chuỗi số thơng thường, các “chuỗi số kép” với số hạng
khơng âm cũng được sử dụng trong giáo trình này Ta nhắc lại một vài khái niệm và kết quả đáng quan tâm
Nếu (2,„) (saeNxw là một dãy kép với 4 nm €[0,+00] thi véi mỗi
néN cố định, chuỗi 5 4;„ luơn hội tụ trong R (tức cĩ tổng là một số
m=1
thuc hay +00) Téng cla chudi kép = š a„„ (luơn tồn tại) được định
nell
Trang 16am = lim Š ( " Gam):
1m=l đơn gi màI
1
Me iMe
Kết quả về sự thay đổi thứ tự lấy tổng được cho trong định lí sau 3.2.1 Định lí, Nếu a,„„ 6|0,oo], mọi m,neN thi
Chứng mình, Đặt a= Š 3 a,„, b= Š Ša,„ Khi đĩ với mỗi n=l m=] p.keN, ta cĩ: Me t R § 1 Me ® 8 IA Ge â co n= me] Me iM i 3 i s | iA Me = 3 ll > 2 i i
Từ đây ta dé dàng suy ra được rằng 4< b Hồn tồn tương tự ta cũng cĩ b<a Vậy a=bE
Luu ¥ Người ta cũng chứng mình được kết quả tổng quất sau::
Nếu a,„ S|0+oo] mọi m neN và ø:NxNĐN—>NxN là một song ánh thì ~ Me EMe , Sam = Me Fon)” 3 ii = lÏ Lm=tL § 4 LỰC LƯỢNG CỦA CÁC TẬP HỢP
Cho A là một tập hợp cĩ phần tử là các đối tượng nào đĩ Ta thử để ý đến "số lượng” các phần tử của tập A này bằng cách “đếm” các phần tử ấy Cĩ thể xảy ra một trong hai khả năng sau đây :
1) Nếu cĩ thể ước lượng các phần tử của tập 4 nhỏ hơn một số nguyên nào đĩ hoặc cĩ thể đếm hết được các phần tử của tập Ả thì tập A
được gọi là tập hợp hữu hạn và số nguyên cuối cùng đếm tới chính là số
lượng các phần tử của tập A
Trang 172) Nếu việc đếm các phần tử của tập A khơng kết thúc cũng như
khơng thể ước lượng số phần tử của nĩ thì tập A được gọi là tập vơ hạn Bây giờ chúng ta muốn so sánh “số lượng” các phần tử của hai tập A 8 Nếu cĩ ít nhất một tập hữu hạn thì việc so sánh trở nên dễ dàng nhờ việc đếm các phần tử Trường hợp cả A lẫn 8 đều vơ hạn thì cách đếm
khơng thể thực hiện nên chưa so sánh được Ta xét ví dụ sau đây Kí hiệu 8
là tập hợp các số tự nhiên chấn
B=12.4,6 2n }
Hiển nhiên 8 là tập con thực sự của tập số tự nhiên N = {1,2, } Tuy nhiên
chúng ta khơng thể nĩi rằng "số lượng” các phần tử của tập N nhiều gấp đơi
“số lượng” các phần tử của tập Ư :
Để ý rằng, thực chất của việc đếm các phần tử là thực hiện một đơn
ánh từ tập ta đếm vào tập số tự nhiên N Ngồi ra muốn biết hai tập hợp cĩ
cùng số lượng các phần tử hay khơng, ta chỉ cần xem cĩ thể thiết lập được
một song ánh giữa hai tập này hay khơng Như vậy với phương pháp dùng
ánh xạ, ta cĩ thể so sánh “số lượng” phần tử các tập hợp cho dù chúng là hữu
hạn hay vơ hạn
4.1 Tap hop tương đương
4.1.1 Định nghĩa Ta nĩi hai tap hop A 8 tương đương với nhau nếu tồn tại một song ánh từ 4A lên 8 Kí hiệu A ~> Ư
4.1.2 Ví dụ
Trang 18Nhận xét
Trong ví dụ 2, ta thấy từ tập N sau khi bỏ đi tất cả các số nguyên lẻ, tập số nguyên chẩn cịn lại 8 vẫn cịn tương đương với N Tương tự như
vậy, ở các ví dụ 3, 4, một tập con thực sự của một tập vẫn cĩ thể tương
đương với chính nĩ Đây là một đặc trưng của tập hợp vơ hạn vì đối với tập hữu hạn, hai tập hữu hạn tương đương với nhau khi và chỉ khi chúng cĩ cùng số lượng các phần tử Do vậy, ta cĩ thể định nghĩa tập hợp hữu hạn và vơ hạn như sau : Tập A được gọi là tdp hợp vơ hạn nếu Á tương đương với một tập con thực sự của nĩ Tập A được gọi là zập hợp hữu hạn nếu A khơng phải là tập hợp vơ hạn
Khi hai tập hợp tương đương với nhau ta bảo chúng cĩ cùng /c lượng
hay cùng bản số Đối với các tập hữu hạn, theo nhận xét trên chúng cĩ cùng lực lượng khi và chỉ khi chúng cĩ cùng số lượng các phần tử nên ta đồng nhất lực lượng của các tập hợp cĩ: ø phần tử là ø Như thế khái niệm lực lượng là sự mở rộng khái niệm số lượng các phần tử của một tập hợp cho
trường hợp tập vơ hạn Lực lượng của tập A được kí hiệu là A hay card A
Ví dụ card{1.2,3,4.5} =5, card{a,b,c} =3 Lực lượng của tap N được
ki hiéu la card N=8
Nếu tập hợp B tuong đương với một tập con thực sự của A nhưng khơng tương đương với A thì ta nĩi lực lượng của 8 nhỏ hơn của A và kí
hiệu B<A Lic này ta cũng gọi lực lượng của A lớn hơn lực lượng của 8
và kí hiệu Á > Ư
4.1.3 Định lí (Cantor-Bernstein) Cho hai tập hợp A B tuỳ ý Nếu A tương đương với một tập con Bị CB và B tương đương với tập A, CA thi
A, B tương đương với nhau
Chứng mình Giả sử g: B— A, va h: A— B, la các song ánh Khi đĩ
ƒ =gob là một song ánh từ A lên ƒ(A)C AC A Đật C=A, \ F(A) *Nếu C= Ø thì f(A)=A, Nhuvay A= A, va A, > B nen A~B * Nếu € z Ø thì ta kí hiệu
Trang 19Đ=CUƒ(Œ)U7?(C)U Uƒ"(€) q)
trong đĩ ƒ? = fof, Dat œ@: A Ai xác định bởi
sale 70) sáu xcA XP, @
Ta ching minh ¿ là một song ánh Thật vậy
lA) = p(DUPl(A\D) = DUSLAND) @)
Theo (1) và (2) ta cĩ
#(P)=7(€)U/?(€)U
nén D=CUf(D) va
plA=CUF(DIUS(A\ D)=CU FLA) = A)
Vay 1a tồn ánh Tiếp theo ta chứng minh ¿{Ð) mn p(A\ D) = Ø Từ định
nghĩa của to ta cĩ
plA\D) = f(A)\ f(D) = flA)\(CU f(D) = ƒ(A)ND
Vay @(Ð)n¿(AXĐ)= DnÍ(ƒ(A)\D)= Ø Điều này cĩ nghĩa là p don ánh nên suy ra Á ~ A¡ nên 4= vì theo giả thiét A, ~ B 0
Chú ý Dùng tiên để chọn, người ta chứng minh rằng khơng thể xây ra
trường hợp "4 khơng tương đương với bất cứ tập con nào của Ư và Z khơng tương đương với bất kì tập con nào của 4.” Do đĩ từ định lí Cantor- Bemstein ta suy ra hệ quả sau đây
4.1.4 Hệ quả Cho hai tập A, B tỳ ý Bao giờ cũng xảy ra một và chỉ
một trong 3 trường hợp sau :
1 A=B (tức là A, B tương đương với nhan)
2A< B,
3 ADB
4.2 Tập hop đếm được
4.2.1 Định nghĩa Ta gọi A là một đáp đếm được nếu A tương đương với tập số tự nhiên N, Nĩi cách khác, A đếm được nếu tồn tại một song ánh
Trang 20Kí hiệu a:N — A là song ánh nĩi trên, ta cĩ
N3n-aln)=a, eA
Như vậy ta cịn cĩ thể nĩi một tập đếm được là một tập mà tất cả các phần tử
của nĩ đều cĩ thể đánh số thành một dãy vơ hạn
đụ, đạc đạc
4.2.2 Ví dụ
1 Tập các số tự nhiên, số tự nhiên chấn, số tự nhiên lẻ đều là
các tập đếm được Thật vậy NeN, 8={2,4 2n,.}2>N và C={l.3 ,2a+l }+N bằng các ánh xạ đồng nhất, n->2n, n—>2n+] 2 Tập Z gồm tất cả các số nguyên là đếm được Thật vậy, ta xét ánh xa f:N— Z cho boi: Ở nếun chan, n> f(n= —n 3 —— nếu ø lẻ
Dễ dàng kiểm tra ƒ là song ánh nên ta cĩ được kết luận
3 Tập các số hữu tỉ Q là đếm được Thật vậy, một số hữu tỉ cĩ thể
viết duy nhất thành một phân số tối giản 2 q>0 Ta tam goi téng q |p|+4 là “hạng” của số hữu tỉ P Ro ràng tập hợp các phân số cĩ hạng q cho trước là hữu hạn, ví dụ, phân số cĩ hạng I là T=0 hạng 2 là ï và 1 =2 -I 2° 1 l
xác định nên ta cĩ thể đánh số các số hữu tỉ thành đãy theo thứ tự tăng
Trang 214.2.3 Định H Mọi rập vơ hạn đều cĩ chứa một tập con đếm được)
Chứng mình Giả sử M là một tập vơ hạn Lấy ra một phần tử bất kì
aceM Vì MXÍ{a} cũng vơ hạn nên lấy tiếp a,eM\{a,} di
a,eM\ tá, ay} v.v Tiếp tục quy nạp ta thu được tập đếm được
A={a,a }CM.W
4.2.4 Định lí Mọi tập con của một tập đếm được thì phải là tập hữu
hạn hay đếm được
Chứng mình Giả sử A ={a,, a,, } là một tập đếm được và B là
một tập con của A Gọi 4, nt An, là các phần tử của A thuộc tap B theo thứ tự tăng dần trong A Néu trong cdc s6 ny, n;, cĩ số lớn nhất thì 8 hữu hạn Trường hợp trái lại, các phần tử của 8 được sắp thành
dãy vơ hạn a„, ø„„ nên 8 đếm được Ê
4.2.5 Dinh li Hop một họ hữu hạn hay đếm được các tập hữu hạn
hay đếm được là một tập hữu hạn hay đếm được
Chứng minh Cho A¡, A;, là những tập hữu hạn hay đếm được Ta cĩ thể giả thiết các tập này khơng giao nhau vì nếu khác đi, ta đặt
B,=A,, By =A,\Aj, B,=A,\(4,UAy), Céc tap 8, này là hữu hạn
hay dém duge, khong giao nhau va UA, =U8; Bay gid ta sắp các phần tử của các tập 4,, 4; thành một bảng hữu hạn hay vơ hạn như sau :
Al a a 4a Agi x, địạy đạ; Ay 43) ayy ay
Ta hãy đánh số tất cả các phần tử của bảng trên theo “đường chéo”
từ trái lên phía trên Do mỗi đường chéo cĩ hữu hạn phần tử nên ta cĩ thể
đánh số thứ tự trên đường chéo thứ nhất rồi đường chéo thứ hai, thứ ba, như sau
yy Bays Bas đại, đại địa›‹.c
Trang 22Vậy tất cả các phần tử của tập A =|J4, được đánh số nên tập A là hữu hạn hay đếm được Ul
4.2.6 Định lí Khi thêm một tập hợp hữu hạn hay đếm được vào
một tập vơ hạn thì khơng làm thay đổi lực lượng của tập vơ hạn này Chứng mình Giả sử A là một tập hữu hạn hay đếm được và M là một tập vơ hạn Kí hiệu W = MUA Theo Định lí 4.2.3 tồn tại một
tập đếm được 8C Đặt M’=M\B, ta c6 M=M'UB nên
N=M'UBUA, Theo Dinh li 4.2.5 thi 8UA là tập đếm được nên tồn tại song ánh giữa B va BUA Ta dat :
g:M=M'UB>N=M'U(BUA) x néuxe M’,
a= fx) néuxe B
Nhu thé g là một song ánh từ M lên N nén card M=card N
Theo định lí này ta thấy (a, b)~(a, 6] Hơn nữa, (a, b)>R nên
Ía, b] cũng tương đương với R E
Nhận xét Từ các Định lí 4.2.3 và 4.2.6 ta thấy lực lượng đếm được là lực lượng “bé nhất” trong các lực lượng của các tập vơ hạn
4.2.7 Dinh li Tap hop tất cả các dãy hữu hạn thành lập từ các
phần tử của một tập đếm được là tập đếm được
Chứng mình Giả sử A =[a, a,, } là một tập đếm được Kí
hiệu S„ là tập tất cả các dãy cĩ đúng m phần tử của A dang
(4:4, 4) Ta cĩ % =A đếm được Giả sử S„ đếm được, ta lấy a¿©&A và kí hiệu S⁄., là tập tất cả các dãy cĩ dạng (4, 4, 4, 4)
Gitta Sk, va S,, cé mot song ánh cho bởi (4, 4 4,) > (4,, 4, )
nên SẼ, đếm được Mặt khác, vì S„ = U Shai nên S,,,, 1a tap đếm
được theo Dinh lí 4.2.5 Như vậy tập tất cả các dãy hữu han
s= US, la mot tap đếm được l
m=t
Trang 234.2.8 Hệ quả Tập hợp tất cả các da thức P(x) = ay +ax+ +a4,x"
(nN) véi cdc hé so hitu ti ay, a,, a, 1a một tập đếm được
Chứng mình, Mỗi đa thức như trên tương ứng với một và chỉ một đãy hữu hạn các hệ số hữu tỉ của nĩ Vì Q là một tập đếm được nên theo Định lí 4.2.7, tập tất cả các dãy hữu hạn các số hữu tỉ là đếm được nên tập
các đa thức ấy đếm được ï 4.3 Lực lượng continum
Ngồi các ví dụ về tập vơ hạn đếm được nêu trên, ta cịn gặp các tập
hợp vơ hạn khơng đếm được Sau đây là một tập hợp như thế
4.3.1 Định lí Tập các số thực R là tập vơ hạn khơng đếm được
Chứng mình Ta đã thấy ở Định 1í 4.2.6 là R tương đương với |0, IÌ
Đo đĩ ta chỉ cần chứng minh [O, !} khơng đếm được Giả sử ngược lại {0 1] đếm được Khi đĩ các phần tử của nĩ được đánh số thành dãy Xj 1s, X„ Chia [0, 1] thanh 3 đoạn bằng nhau và gọi đoạn khơng
chứa x, là A; Lại chia tiếp A, thành 3 đoạn bằng nhau và gọi A; là đoạn nhỏ khơng chứa +x;, Tiếp tục quá trình này ta thu được dãy đoạn
Ai2A;2 với A„ cĩ độ đài là |A„| -~ sao cho x, ¢A, Day la day ¡1
đoạn thất lại nên theo nguyên lí Cantor, tồi tại €€ U A, cÍ0, 1] Nhu
n=l
vậy £ phải trùng với một x, nào đĩ Vì £e A„ với mọi ø nên Xụ, SÂU
Điều này mâu thuẫn với cách xây dựng các đoạn A„ Vậy đoạn Í0, 1] là tập vơ hạn, khơng đếm được B
4.3.2 Nhận xét
1 Đặt a=[Einen}clo, 1] Rõ ràng A 1A tap dém được Do đĩ
n
lực lượng của doan [0, 1] hay R lớn hơn lực lượng đếm được Người ta
gọi lực lượng này là lực lượng continum hay lực lượng c
2 Tập hợp số thực bằng hợp của số hữu tỉ và vơ tỉ Do tập hợp số
Trang 24BÀI TẬP
Hãy thiết lập một song ánh giữa hai tập (0, 1) và |0 1]
Chứng minh tập các điểm gián đoạn của một hàm số đơn điệu xác định trên [ø, b} là hữu hạn hay đếm được
Giả sử E là một tập con của R cĩ tính chất |x—z|>1 với mọi
+ ye £ Chứng minh £ là một tập hữu hạn hay đếm được
Cho A và 8 là các tập đếm được Chứng minh tập Ax cũng đếm được
Kí hiệu E là tập hợp tất cả các dãy số thực (x, ỳ trong đĩ x„ =0
hay x, =1 Ching minh £ là tập hợp khơng đếm được
Trang 25Chương 1
KHƠNG GIAN METRIC
§ 1 KHAI NIEM METRIC
Phép tốn đặc trưng của ngành giải tích là phép tốn lấy giới hạn Để cĩ thể định nghĩa phép tốn này ta phải biết cách “đo” độ xa, gần giữa
các đối tượng đang xét Cĩ nhiều cách để xác định các mức độ xa, gần
ấy Ở đây ta dùng khái niệm khoảng cách hay mêtric, đĩ là khái niệm khá
tự nhiên, được dùng thường xuyên trong cuộc sống
1.1 Định nghĩa
Giả sử X là một tập tuỳ ý khác trống cho trước Ta gọi hàm số
d:XxXR là một mèềtríc (hay khoảng cách) trên X nếu hàm số này
thoả mãn ba tiên đề sau đây :
1 đíx, y})>0, với mọi x, yeX ; d(x, y)=0 khi va chi khi x= y 2 d(x, y)=d(y, x), (tinh d6i xứng),
3 d(x, z)<d(x, y)+d(y, z), với mọi x, ye X, (bất đẳng thức tam
giác)
Khi đĩ tập X cùng với mêtric 4 đã cho được gọi là một khơng gian
mêtric và kí hiệu là (X, đ) Nếu khơng sợ nhầm lẫn do mêtric đ được xác định rõ ràng thì ta chỉ cần kí hiệu đơn giản là X
Để gợi hình ảnh trực quan, ngơn ngữ hình học sẽ được dùng trong phần lớn các khái niệm tiếp theo Ta sẽ gọi phần tử xeX là
điểm của khơng gian X, số thực khơng am d(x, y) là khoảng cách
Trang 261.2 Cac vi du
1.2.1 Gia sit M là tập con khác rỗng của tập số thực R Với
x, yeM ta dat
d(x, y)=|x—y]
Khi ấy sử dụng các tính chất quen thuộc của giá trị tuyệt đối, ta kiểm tra
được ngay đ là một mêtríc và gọi nĩ là mêtric thơng thường trên M
1.2.2 Kí hiệu R# ={(+' x):x' eR, ¡=1, £} là tập hợp tất cả
các bộ gồm k số thực Với x=Đ x*), y=Đ ye RÝ, ta đặt
a(x y)=, zh’ —yf
Rõ ràng đ thoả mãn các tiên để 1, 2 của mêtric Ta hãy kiểm tra tiên dé 3 tức là chứng minh k n2 E1, 2 kp ple! ~2'l < eed + dy’ -2'l - = = = Ta dat a, =x'—y', b = y'~7' khidé a +b, = xỈ +yẺ, Để ý k k k &
P(x y)=Ela taf =Llal +E! +2048,
Ap dung bat đẳng thức Cauchy-Schwarz cho hạng tử sau cùng của bất đẳng thức trên ta được *k & k k a(x, slat +> lal +2 lÈIsf I>IhŸ ky 2 ky 2 P yell + hi : Từ đĩ lấy căn bậc hai hai vế và trở về các kí hiệu cũ, ta cĩ d(x, y)<d(x, z)+d(y, z) Ấ
Vậy (R‘,a) là một khơng gian métric va ta goi métric đ này là
mêtric thơng thường (hay mêtric Euclide) trén R*
Trang 27Chú ý :
1 Khi &=1 ta trở về ví dụ 1 với AM =R
2 Khi xét RỶ mà khơng nĩi rõ mêtric nào thì ta quy ước là xét R“ với mêtric thơng thường
3 Các mêtric xét trong các ví dụ 1 và 2 chính là cơ sở cho ta làm tốn giải tích, chẳng hạn nghiên cứu phép tính ví tích phân của hàm một hoặc
nhiều biến số
1.2.3 Giả sử X là một tập tuỳ ý khác rỗng Ta đặt
: 0, nếu x = y,
dm a1" „, TẾM x2 y
với mọi x, y€ X Ta hãy kiểm tra đ là một mêtric trên X
Tiên dé 1) và 2) được nghiệm đúng Tiên đề 3) cĩ dạng
d(x, z)<d(x, y)+d(y, z)
i) Néu xz thi d(x, z)=1 con vé sau >1 do y#x hode yxz ii) Néu x =z thi d(x, z)=0 con vé sau >0
Vậy tiên đề 3 cũng thoả mãn nên (X, đ) trở thành một khơng gian
mêtric Mêtric đ này gọi là mêtric tầm thường hay mêtric rời rạc trên X 1.2.4 Kí hiệu tập hợp các hàm số liên tục
f:la, bÌ— R là Œ al: V6i cdc ham f, g thuéc C,, ia ,;, ta dat
dự, #)= max|ƒ(x)~ #2)
Vì ƒ, g là các hàm liên tục trên |2, b] nên hàm |ƒ —e| cũng vậy
Đo đĩ giá trị lớn nhất của hàm |ƒ — g| đạt được trên khoảng đĩng {ø, D]
nên đ(ƒ, g) được xác định Tiên để 2 rõ ràng Ta cĩ
| d(f, #)= max|ƒ 0) ~g(+)|>0
4, g)=0 © Wrela, 5]: ƒ(x)— g(x)=0
Trang 28Tiên đề 3 suy ra từ bất đẳng thức
vx e[la, b]:|ƒ (x)~h(>|<|#ƒ(x)— g(x)|+|e(x)— ø(>)|
< max|ƒ(x)— g(x)|+ max|(x)~ (z)| nên
max| f(x) ~ACx)] < max |f (x)—g(2)]-+max|g(x)—a(x)]
hay d(f, A)<d(f, g)+d(g, A) voi moi f g hEC), »
Khơng gian mêtric này thường được kí hiệu gọn là Cụ, ah 1.2.5 Cũng trên tập hợp Œ,„ øị t8 đặt d(f, ø)=/l#()— s(x)je Ở ví dụ này các tiên để 2 va 3 dé kiém tra Ta nghiệm lại tiên dé 1 Rõ ràng đ(ƒ, øg)>0 Nếu đ(ƒ, ø)=0 tức là flr (x)—g(x)|dx =0
Giả sử ƒ=g khi ấy cĩ xạ e|a, b} để [#()—e()]>0 Theo tính chất
của hàm số liên tục, tổn tại ¢ > 0 sao cho |#(+z)~e(>)| >ec>0 với mọi x thuộc đoạn lo BỊ nào đĩ chứa trong {a b] Như vậy
J)ưG)—s(z)& > /\G —-g(zxÌWx> > fredx =e(B—-a)>0
Điều này mâu thuẫn Vay f =e
Khơng gian mêtric này được kí hiệu là Ch ar
Nhận xét : Qua các ví dụ trên, ta thấy cĩ thể cho nhiều mêtric khác nhau trên cùng một tập X (tất nhiên sẽ nhận được các khơng gian mêtric khác nhau) Tuỳ theo từng mục đích nghiên cứu, người ta sẽ chọn mêtric
nào phù hợp với yêu cầu
Trang 291.3 Một số tính chất đơn giản
Giả sử (X, đ) là một khơng gian mêtríc
1.3.1 Cho x,, x, la các điểm của X Khi đĩ ta cĩ bất đẳng thức
tam giác mỏ rộng :
4(x,, x,) S(x,y) + +4lx,.2,)
Tính chất này được suy từ tiên đề 3 và lí luận quy nạp
1.3.2 Với mọi x y, u, v thuộc X ta cĩ bất đẳng thức tứ giác :
jd(x y)— đu v)|<đ(x, 8) +d(y v)
Thật vậy, áp dụng 1.3.1 ta cĩ
d(x, y)<d(x, u)+d(u, v)+d(y, y) hay
d(x, y)—d(u, v)<d(x, u)+d{y, v)
Thay đổi vai trị của x, y cho x, v ta lại được d(u, v)-d(x, y)<d(x, u)+d(y, v) Như vậy cĩ được điều phải chứng minh
1.3.3 Cho A, B là hai tập con khác rỗng trong khơng gian mêtric
X Đặt
d(A,B)= inf d(x, y}
xed, yveR
và gọi sé thuc d(A, B) nay 1A khodng cach giita hai tap A va B Néu
A=(a} ta viết d(A, B)=d(a,B) va goi là khoảng cách từ điểm a dén
tập B Dé ý rằng nếu A18 Ø thì đ(A,B)=0 nhưng điểu ngược lại
nĩi chung khơng đúng
Với x, yeX, ta cĩ bất đẳng thức sau :
|a(x, A)—d(y, A] < d(x, y)
That vay, vGi moi ze A ta cĩ
d(x, A)< d(x, 2)<d(x, y)+d(y, z)
Do đĩ
Trang 30Như thế
d(x, A)—d(y, A) d(x, y)
Tương tự ta cũng cĩ đ(y, A)— đ(x, A)< 4(x, y) Vậy bất đẳng thức
được chứng minh
1.4 Khơng gian mêtric con, khơng gian mêtric tích
1.4.1 Định nghĩa Giả sử (X, đ) là một khơng gian mêtric và Y là
một tập con khác rỗng của X Nếu xét thu hẹp d’ cua hàm đ lên tập YxY (nghĩa là 4” =dly,y) thi hiển nhiên đ” là một mêtric trên Y Ta
gọi đ” là mêtric cảm sinh bởi đ lên Y Với mêtric cảm sinh này, (Y, d’)
được gọi là khơng gian mêiric con của khơng gian mêtric (X, d)
1.4.2 Định nghĩa Giả sử (X, dự) và (Y, dự} là hai khơng gian
mêtric tuỳ ý Trên tích Descartes X xŸ = Í(x, y):x e X, ye Y} ta đất
a((4,¥)+ (x »))= v0, Xq)+dy (1 ys)
Dễ dàng kiểm tra để thấy rằng đ là một mêtric trên tap XxY Khi đĩ khơng gian (XxY, đ) được gọi là rích của các khơng gian mêtric
X và VY
1.5 Sự hội tụ trong khơng gian mêtric
các khái niệm hội tụ và giới hạn trong khơng gian mêtric X bất kì được định nghĩa một cách tương tự như trong tập R với việc thay |x— y|
bằng khoảng cách giữa hai phân tử Z(z y} Một đãy trong khơng gian mêtric (X, đ) là một ánh xạ
x:N-—>X, n— xÚn)
Ta cũng dùng kí hiệu quen thuộc là dãy (x„) nEN hay (x,),- Gia sit (4,)_
là một dãy tăng thực sự các số nguyên dương Khi đĩ day (x } duge goi
là một đấy con của dãy (x,),
1.5.1 Định nghĩa Giả sử X là một khơng gian mêtric và (x„), là
một đãy trong X Ta nĩi dãy (x,), Adi tu dén xe X nếu khoảng cách
Trang 31giữa x„ và x dân đến 0 khi m—>ooc Lúc đĩ x được gọi là giới hạn của day x„ và ta sẽ kí hiệu lim x, =x aoe, hay x, 31, 2 00 Diễn tả lại, ta cĩ (lim x„ = +) © ( lim đ(x„, x) = 0) 4 ((Ve > 0)(Any €N):(Wn > ny )d(x,, x) <e) 1.5.2 Các tính chất
Cho (x„)„ (y,)„ là các dãy trong khơng gian mêtric X Ta cĩ a) Nếu đây (x,), hội tụ đến xe X: thì mọi dãy con (x, ), của dãy (x„)„ căng hội tụ đến x
b) Giới hạn của một dấy hội tụ là duy nhất
c) Néu x, x va y, Dy thi d(x, y,)-9 d(x, y) khi n —> so
Chứng mình
a) Giả sử (k,), là dãy tăng thực sự các số nguyên Cho >0, tơn tại số nguyên # sao cho đ{x,x}<e khi n>„ Từ đĩ với mọi
Trang 321.5.3 Các ví dụ 1 Hội tụ trong RẺ, Giả sử (x, Jaen là một dãy trong RỶ với mêtric thơng thường Ta cĩ Như vậy cho một đấy trong RỶ tương đương với việc cho & dãy số thực thành phần
Theo định nghĩa, day (x„) hội tụ vé xy = (xb ble RẺ khi và
chi khi d(x,,x,) 0 khi n> 00 Điều này tương đương với £ 72 Lhe, - | >0 r8 x! — xá| 0, véi moi i=1, , & |x! —xj|—0 hay x), 3 xy, voi moi i= 1, khi 2 — 00
Vậy sự hội tụ của một đãy trong RỶ chính là sự hội tụ theo toa độ (hay thành phần) của dãy Đặc biệt với k=Il thì đây chính là sự hội tụ của một dãy số thực thơng thường
2 Hội tụ trong Cụ a
Giả sử (x;), là một dãy (tức là dãy hàm) trong khơng gian Cụ, al
hội tụ đến điểm xe Cia ol
Theo định nghĩa ta cĩ
d(x„ x)= max |x, (t)— x(n] -2 0 (n> 00)
Diễn tả chi tiết của định nghĩa này là :
(Ve > 0)(ny)(¥n > n)(Wt c[a, bÌ):|x„()~ x|<e,
Trang 33Như vậy sự hội tụ trong khơng gian Cứ al chính là sự hội tụ đều của
một dãy hàm trên tập [a, b] trong giải tích cổ điển
3 Trong Cý „¡ sự hội tụ của một dãy (x„), đến điểm x nghĩa là
d(x, x)= J uy,0)— x()#t 30, (2 00)
Sự hội tụ này cịn được gọi là sự hội tụ “trung bình” của day ham
Ga),
Nhận xét : Theo định lí qua giới hạn dưới dấu tích phân của một
dãy hàm liên tục, ta thấy rằng nếu (x, (0), hội tụ đều đến x(¢) thì
(x,„Œ)), hội tụ trung bình đến xí) nhưng điểu ngược lại nĩi chung ”
khơng đúng Cĩ thể coi sự “gần nhau” giữa các hàm trong tập Cụ „ị theo mêtric “max” chặt chẽ hơn mêtric “fp an
BAI TAP
1.1 Kiểm tra các tập và các hàm sau đây lập thành khơng gian mêtric
a) X=R*, d(x, y) = max {|x'—y', i=l,.o kh b) X=R‘, d(x, »)=#r=|
trong đĩ x=(+x', x'), yey y‘)e RẺ
c) X=M,, ,={f:la, b] > R, f bi chan trong [a, b]},
d(f g)= sup J/6)~e0)|,
xela |
d) X= Ch, 4) 1 tập các hàm khả vi liên tục trên [a, 5],
Trang 341.2 Gia sit d(x, y) là một mêtric trên tập X Chứng minh các hàm sau
đây cũng là những mêtric trên X,
a) d(x, 1=:
b) 4; (x, y)= min(1, đ(zx, y)), c) d, (x, y) = In +d(x, y))
1.3 Cho (x,), là một đấy trong khơng gian mêtric X Chứng minh rằng
nếu ba day con (1;„)„, (*z„.i)„ (xạ„}, đều hội tụ thì đấy (x,),
cũng hội tụ
1⁄4 Trong khong gian Cj, ¡ khảo sát sự hội tụ của các dãy (x, ), duge
cho sau day apx, =r, sinnt b) x, (2) = e) x, () =e" 1-2"), § 2 TẬP MỞ VÀ TẬP ĐĨNG
2.1 Các định nghĩa Cho X là một khơng gian mêtric
2.1.1 Lân cận : Cho z là một điểm của khơng gian X và r là một
số dương
a) Ta gọi hừnh cầu mở tâm a bán kính r>0 trong X và kí hiệu
B(a, r) là tập {xe X:đ(x, a)<r} Hình cầu mở đ(4 r} cũng cịn được gọi là một r— iân cận của điểm a
b) Tập UCX được gọi là một /ân cận của điểm ae X nếu U cĩ chứa một r— lân cận nào đĩ của a Ta kí hiệu tập tất cả các lân cận của
điểm a là A/(2) Như vậy ,
Trang 35(Ue Nla)) & (3r > 0: Bla, r)cU)
Từ định nghĩa ta thấy rằng các r— lân cận của cũng là lân cận của
điểm này
2.1.2 Vị trí tương đối của một điểm đối với một tập
Cho A là một tập con của X và xe X Cĩ ba vị trí tương đối của x đối với tập A như sau :
a) Cĩ một lân cận của điểm x được chứa trong A Khi ấy x được
gọi là một điểm trong của A
b) Cĩ một lân can cla x nằm hồn tồn ngồi tập 4, tức là tồn tại
Ue A(x) sao cho UCAS =X\A hay UnA= Ø Lúc này x được gọi là điểm ngồi của tập A Từ định nghĩa ta thấy x lại là điểm trong của phan ba A‘ cia A
c) Bat cit lan can nao cia + cũng cĩ chứa những điểm của A và
những điểm của A“ tức là
VŨ se V(y):UnAz= Ø và UnA' = Ø
Khi ấy x được gọi là điểm biên của A Theo định nghĩa, rõ rằng x cũng
đồng thời là điểm biên của tập A‘
Nhận xét : Điểm trong của tập A thì phải thuộc A, điểm ngồi của A thì khơng thuộc A cồn điểm biên của A thì cĩ thể thuộc nĩ hoặc
khơng
2.2 Tập mở và tập đĩng
2.2.1 Tập mở Tập AC X được gọi là một zập mở nếu A khơng chứa một điểm biên nào cả
Như vậy các điểm của tập mở A chỉ là những điểm trong mà thơi Ta viết lại định nghĩa bằng các mệnh đề tương đương sau đây :
¡ (A mở) © (Wx e A: z là điểm trong cia A), ii (A mở) œ (Vx e A, 3r >0: B(x, r)C A)
iii (A mở) œ (xe A, 3U e N(+):U CA)
Nhận xét
1 Để ý rằng các tập X và tập Ø khơng cĩ điểm biên nào cả nên
Trang 362 Trong thực hành ta thường dùng mệnh để ii) để kiểm tra một tập nào đĩ là mở
2.2.2 Tập đĩng Tập C X được gọi là :ập đĩng nếu F chita tat ca các điểm biên của nĩ
Nhận xét
1 Từ các định nghĩa trên ta suy ra được
(A dong) œ (A* = X\ A là tập mở)
Thật vậy, ta cĩ Af1A4” = Ø và tập hợp tất cả các điểm biên của A và Á” trùng nhau nên nếu 4 chứa tất cả điểm biên của nĩ thì A“ khơng
chứa điểm biên nào của nĩ cả và ngược lại
b) Các tập Ø và X cũng là các tập đĩng Thật vậy, vì theo a), cdc
tập X' = Ø và Ø“ = X là các tập mở
2.2.3 Ví dụ
1 Trong khơng gian mêtric tuỳ ý mọi hình cầu mở đều là tập mở Chứng mình GIÁ sử BÍ(a, r) là hình cầu mở tâm a bán kính r trong X Khí đĩ với mọi xe8(4r) ta cĩ d(x,a)<r Đặt
c=r—d(x,y)>0 Xét hình cầu mở #Ø(x,e) Ta chứng minh B(x, ©) Bla, r) Néu ye B(x, €) thi d(x, y)<e Khi dé
d(y, a)<d(x, y)+d(x, a)<e+d(x, a)=r
nén ye B(a, r) Vay B(a, r) là tập mở l
2 Kí hiệu B’(a,r) 1A tap hop {xeX:d(x, a)<r} véi r 1a sé
duong va goi n6 1a hinh cdu déng Ta cé B’(a, r} 1a tập đĩng vì bằng lí luan tuong ty vi du 1 ta thdy X\B'(a, r) 1a tap mở
3 Tập một điểm {a} trong bất kì khơng gian métric nao cũng là tập đĩng vì tập các điểm biên của nĩ là Ø hoặc chính nĩ
4 Giả sử a, b là hai số thực Các tập (a, b), (a, +oo) là mỡ: các tập [a, b], [a, +oo) là đĩng trong R
Trang 37Lưu ý Trong một khơng gian mêtric tuỳ ý X, ta cĩ 1 (A mở) © (A° đĩng) 2 Cĩ thể cĩ những tập khơng mở mà cũng khơng đĩng, ví dụ tập (0 1ÌCR 3 Cĩ những tập vừa mở, vừa đĩng (chẳng hạn, các tập Ø, X) 2.3 Các tính chất của tập mở và tập đĩng 2.3.1 Định lí, Trong một khơng gian mêtric bất kì X.ta cĩ › a) Hợp một họ tuỳ ý các tập mở là tập mở b) Giao một họ hiểu hạn các tập mở là tập mở Chứng mình a) Giả sử (A,),, là một họ các tập mở Đặt A= LJ4, Nếu xeA ief
thì tổn tại eŸ để xeA, Vì A¿ mở nên cĩ số dương r sao cho B(x, r)CA, Khi dé B(x, r) CUA, =A Vay A là tập mở
iel
"
b) Nếu A,, A„ là các tập mở ta đặt A = A, Với xe Á tacĩ xe A,
với mọi ¡=I, n Mỗi A, là tập mở nên tổn tại các số dương z; sao cho B(x, 7) CA, Dat r= min{y, , 7} >0, khidé B(x, r) C B(x, 4) CA, VOI moi i =1, , 2, Dodé B(x, r)c Ẫ A, Theo định nghĩa, A là tập mé i=l 2.3.2 Định lí Trong một khơng gian mêtric bất kì ta cĩ : a) Hợp một họ hữu hạn các tập đĩng là tập đĩng b) Giao một họ tuỳ ý các tập đĩng là tập đĩng Chứng mình
a) Giả sử H, F;, F„ là các tập đĩng Khi đĩ các tap Fy Be [a
Trang 38b) Chứng minh tương tự a)
Chú ý : Giao một họ vơ hạn các tập mở nĩi chung chưa chắc là một
tập mở Chẳng hạn, ta xét họ G, = _, + các khoảng mở trong R p g n non
Khi ấy Ä G, = {0} lại là khơng mở ({0} là tập đĩng) Tương tự, hợp một n=l
họ bất kì các tập đĩng chưa chắc là tập đĩng (Lấy ví dụ, chẳng hạn xét
ho F, =G; =(~00, —1/nU[l/m, +os).)
2.4 Điểm tụ, điểm dính
2.4.1 Định nghĩa Cho A là tập con của X Điểm xeX được gọi
là điểm tụ cia tap A nếu bất kì lân cận nào của x đều cĩ chứa một điểm của A khác với x
Điểm xe A được gọi là điển đính của tập AC X nếu bất kì lân cận nào của + đều cĩ chứa một điểm của A
2.4.2 Ví dụ
I 1 1 Trong ẽ R cho tậi aah =, l 23
duy nhất là điểm 0 Mọi điểm thuộc A khơng phải là điểm tụ của A
2 Mọi điểm của tập 8 =(0 1] đều là điểm tụ của B
1} Khi ấy A cĩ điểm tụ n
đều là điểm dính của nĩ nhưng
2.4.3 Định lí Điển xe X là điểm tụ của tập A nếu và chỉ nếu bất kì lân cận nào của x đêu cĩ chứa vơ số điểm của tập A
Chứng mình, Điều kiện đủ là hiển nhiên Ta chứng minh điều kiện cần
Giả sử bất ki lan can cha x đều cĩ chứa một điểm khác với x Cho là
một lân cận của x, ta chứng mình trong cĩ chứa vơ số các phần tử của
A Theo định nghĩa của lân cận, tồn tại số đương z¡ sao cho B(x, ¡)C U
Goi x, €ANB(x, 4); x, =x Lady s6 duong 7, <min {a(x, x), 1/2}
Xét hinh edu mé B(x, z,) Chon x, €ANB(x 4), x, 22x Hiển nhiên
x;¿ =x¡ Bằng quy nạp, lấy số đương z„< min {d(x, Xpot)s Un} va chon
duge x, €ANB(x, 7), x,#« voi moi ne N Ta thay rang véi n=n’
Trang 392.4.4 Nhận xét
1 Điểm tụ hoặc điểm dính của tập hợp A thì khơng nhất thiết phải thuộc A
2 Nếu x là điểm tụ của tập A thi x là điểm dính của A Ngược lại
nĩi chung khơng đúng
3 Từ chứng minh định lí trên, ta thấy x là điểm tụ của A khi và chi
khi tồn tại một đấy (x„), của A với x„ z x„ (khi ø = ø) hội tụ về x, 4 x là điểm dính của A khi và chỉ khi tổn tại một day (x,) CA (các phần tử của dãy khơng cần phan biệt) hội tụ về x
2.4.5 Định lí Tập A là đĩng khi và chỉ khi A chứa mọi điển tụ
(t.ư., điểm đính) của nĩ
Chứng mình Giả sử A là tập đĩng và x là điểm tụ (t.ư., điểm dính) của A Khi đĩ x chỉ cĩ thể là điểm trong hay điểm biên của A nên phải thuộc A Ngược lại, nếu x £ A, theo giả thiết x khơng phải là điểm tụ (t.ư., điểm đính) của A nên phải cĩ r>0 sao cho B(x, r)NA=S Nhu vậy A“ là tập mở hay A là tập đĩng
Hệ quả sau đây được dùng thường xuyên để kiểm tra một tập hợp
nào đĩ là đĩng
2.4.6 Hệ quả Tập A là đĩng khí và chỉ khi với bất kì đấy
(xXu),C A, nếu x, —> x thì x phải thuộc A
Chứng mình Suy trực tiếp từ Định lí 2.4.5 và Nhận xét 2.4.4 2.5 Phần trong và bao đĩng của một tập
2.5.1 Định nghĩa Cho Á là một tập con của khơng gian mêtric X
Để ý rằng luơn luơn cĩ một tập mở chứa trong 4, chẳng hạn tập Ø và cĩ một tập đĩng chứa A, chẳng hạn X Đ A
a) Hợp của tất cả các tập mở chứa trong A được gọi là phần trong
của 4, kí hiệu A hay int A
b) Giao của tất cả các tập đĩng chứa A được gọi là bao đĩng của
A, kí hiệu A hay cl A
Từ định nghĩa ta cĩ :
2.5.2 Định lí Cho AC X Ta cĩ các mệnh để sau đây :
Trang 401) Á là tập mở lớn nhất được chứa trong A, nghĩa là nếu GC A là
một tập mé thi GCA
2) A là tập mở khi và chỉ khi A= A
3) Phân trong A cia tập A là hợp tất cả các điểm trong của A Chứng mình Đề ý rằng hợp một họ tuỳ ý các tập mở là mở nên từ định nghĩa, ta cĩ ngay Mệnh đề 1 Nếu A= Ath duong nhién A 1a tap
mỡ vì Á mở Ngược lại, nếu A mở thì từ ÁCA và Á là tập mở lớn nhất chứa trong A4 nên AC A Vậy Mệnh đề 2 được chứng minh
“Tiếp theo, giả sử xe Ả Vì Á là tập mở nên nĩ là một lân cận của x Nhu thé x là một điểm trong của A Mặt khác, nếu x là một điểm trong của A thì cĩ r>0 để hình cầu mở Ø(x, r)C A Theo Mệnh để 1,
tacĩ xeB(x,r)CÀ
Đối với bao đĩng, ta cĩ các mệnh đề sau :
2.5.2” Định lí
1) Bao đồng A là tập đĩng bé nhất chứa tập A, nghĩa là nếu F là
tap déng va FD A thi ACF
2) A là tập đĩng khi và chỉ khi A — Ä
3) Bao đĩng Ä của tập A bằng hợp của A_ và tập tất cả các điểm
biên của A
Chứng mình Các Mệnh đề 1, 2 được suy luận tương tự như các
Mệnh đề 1, 2 trong Định lí 2.5.2 Kí hiệu ØA là tập tất cả các điểm biên
của A Bây giờ ta chứng minh A= AUơA Giả sử xø A Vì Ä đĩng nên
tổn tại r>0 để B(x, r)Ì1A= Ø hay B(x, r)A= ð Vậy xế AUơƠA
Ngược lại, nếu x # AUơA thì x là một điểm ngồi của A nên tồn tại số dương r sao cho B(x,r)A=Ø Như thé x¢X\B(x,r)DA_ hay
xgAll