Bài giảng Giải tích hàm Đinh Ngọc Thanh, Bùi Lê Trọng Thanh, Huỳnh Quang Vũ Bản ngày tháng năm 2019 fm − m1 fn − n1 2 i Đây tóm tắt số nội dung lí thuyết danh sách tập dùng cho mơn Giải tích hàm MTH10403 Khoa Toán–Tin học trường Đại học Khoa học Tự nhiên Thành phố Hồ Chí Minh Giải tích hàm môn quan trọng cho sinh viên tốn, nơi sinh viên có hiểu biết đầu tiên, không gian vô hạn chiều Các kiến thức thiếu cho nhiều chuyên ngành tốn lí thuyết lẫn ứng dụng Đây nơi mà khả tiếp thu sử dụng lí luận tốn học trừu tượng xác bước đầu rèn luyện kiểm tra Phần đông sinh viên học mơn vào học kì thứ tư Tóm tắt nội dung học phần: khơng gian mêtríc (nhắc lại), khơng gian định chuẩn, ánh xạ tuyến tính liên tục định lý chúng, không gian Hilbert Các chứng minh phần giảng thường chứa ý Một số mệnh đề khơng có chứng minh Đây chổ dành cho người học bổ sung chi tiết Dấu tập để lưu ý người đọc tập đặc biệt có ích quan trọng, nên làm Những phần có đánh dấu * tương đối khó hơn, không bắt buộc Biên soạn: Đinh Ngọc Thanh, Bùi Lê Trọng Thanh, Huỳnh Quang Vũ (người biên tập nay, email: hqvu@hcmus.edu.vn) Địa chỉ: Khoa Toán-Tin học, Đại học Khoa học Tự nhiên Thành phố Hồ Chí Minh Tài liệu tiếp tục sửa chữa bổ sung Bản có web địa chỉ: http://www.math.hcmus.edu.vn/∼hqvu/fa.pdf Mã nguồn (LaTeX) có http://www.math.hcmus.edu.vn/∼hqvu/fa.zip This work is releashed to Public Domain (CC0) wherever applicable, see http://creativecommons.org/publicdomain/zero/1.0/, otherwise it is licensed under the Creative Commons Attribution 4.0 International License, see http://creativecommons.org/licenses/by/4.0/ ii Mục lục Khơng gian mêtríc 1.1 Mêtríc 1.2 Đóng, mở, hội tụ, liên tục 1.3 Khơng gian mêtríc 1.4 Không gian đầy đủ không gian compắc 1.5 Bài tập 3 6 Không gian định chuẩn 2.1 Không gian vectơ 2.2 Không gian định chuẩn 2.3 Không gian định chuẩn hữu hạn chiều 2.4 Không gian p 2.5 Không gian hàm liên tục 2.6 Không gian L p 2.6.1 Tóm tắt độ đo tích phân 2.6.2 Khơng gian L p 2.7 Các đề tài khác 2.8 Bài tập 11 11 12 13 16 17 19 19 21 22 24 Ánh xạ tuyến tính liên tục 3.1 Chuẩn ánh xạ tuyến tính liên tục 3.2 Ánh xạ tuyến tính liên tục khơng gian định chuẩn hữu hạn chiều 3.3 Tính chuẩn 3.4 Không gian L(E, F) 3.5 Một số ánh xạ tuyến tính liên tục đặc biệt 3.6 Định lý Hahn–Banach 3.7 Các đề tài khác 3.8 Bài tập 31 31 32 34 35 35 36 38 39 Khơng gian Hilbert 4.1 Khơng gian tích 4.2 Không gian Hilbert 4.3 Phép chiếu vng góc 4.4 Phiếm hàm tuyến tính 4.5 Họ trực chuẩn 4.5.1 Không gian Hilbert tách 4.5.2 Khơng gian Hilbert 4.6 Một ứng dụng: Chuỗi Fourier 4.7 Bài tập 43 43 47 48 50 51 53 54 56 57 Hướng dẫn học tiếp 64 iii iv MỤC LỤC Gợi ý cho số tập 65 Tài liệu tham khảo 65 Chỉ mục 67 MỤC LỤC Giới thiệu Vào kỉ 18, 19, phát triển vượt bậc châu Âu thời đại Khai sáng Cách mạng công nghiệp thúc đẩy khảo cứu học thuật thực dụng Trong có khảo cứu Bernoulli, Euler, Lagrange, Fourier nhiều người khác tượng vật lí, truyền sóng truyền nhiệt Xét kim loại mà đầu chịu tác động nguồn nhiệt Gọi x vị trí điểm u nhiệt độ vị trí x vào thời điểm t, phân tích vật lí dẫn tới kết luận u phải thỏa điều kiện có dạng ∂u ∂2u − c = f (x,t) ∂t ∂x Đây phương trình mà đối tượng hàm số Nghiên cứu phương trình đưa đến việc khơng tính chất hàm, mà tính chất tập hợp hàm chiếm vị trí trung tâm Chẳng hạn để biết phương trình có nghiệm hay khơng đưa khảo sát tính chất ánh xạ tập hợp hàm, hay để xấp xỉ nghiệm cần đưa cách đo độ khác biệt hàm Một điều đáng ý tập hợp hàm thường có cấu trúc khơng gian tuyến tính vơ hạn chiều Ví dụ tập hợp đa thức hay tập hợp hàm liên tục có tập gồm vô hạn phần tử độc lập tuyến tính Vào đầu kỉ 20, mơn Giải tích hàm định hình phát triển nhanh chóng, vừa phát triển nội toán học, vừa nhu cầu khoa học kĩ thuật Ngày Giải tích hàm trở thành phần toán học mà học toán cần biết MỤC LỤC Chương Khơng gian mêtríc Khơng gian mêtríc phát triển tương tự khơng gian Euclid, tập hợp có khoảng cách Ở chương ơn tập số tính chất khơng gian mêtríc có liên quan tới mơn giải tích hàm Phần lớn nội dung có mơn Giải tích 2, người học nên xem lại giáo trình [15] Tuy nhiên nhấn mạnh việc hiểu ý nghĩa mối quan hệ phần kiến thức không nhấn mạnh việc kiểm tra tính đắn logic hình thức chứng minh mệnh đề 1.1 Mêtríc Mêtríc nghĩa khoảng cách Một khơng gian mêtríc tập hợp có khoảng cách 1.1.1 Định nghĩa Cho X tập khơng rỗng Một ánh xạ d : X×X → R (x, y) → d(x, y) gọi mêtríc (khoảng cách) X tính chất sau thỏa với x, y, z ∈ X: (a) d(x, y) ≥ 0, d(x, y) = ⇐⇒ x = y, (b) d(x, y) = d(y, x), (c) d(x, y) ≤ d(x, z) + d(z, y) x y z Hình 1.1.2: Bất đẳng thức tam giác Cặp (X,d) gọi khơng gian mêtríc hay khơng gian có khoảng cách Mỗi phần tử tập X gọi điểm Khơng gian mêtríc (X,d) hay viết vắn tắt X mêtríc d ngầm hiểu không cần xác định cụ thể Trong tiếng Anh từ metric có nghĩa cách đo, có họ hàng với từ metre (mét) CHƯƠNG KHƠNG GIAN MÊTRÍC 1.1.3 Ví dụ (không gian Euclid Rn ) Với n ∈ Z+ , tập hợp Rn = {(x1, x2, ., xn ) | x1 ∈ R, x2 ∈ R, ., xn ∈ R} với mêtric Euclid d((x1, x2, ., xn ),(y1, y2, ., y n )) = (x1 − y1 )2 + (x2 − y2 )2 + · · · + (xn − yn )2 gọi không gian Euclid thực n-chiều Đặc biệt n = khơng gian mêtríc Euclid R có mêtríc thơng thường cho giá trị tuyệt đối hiệu hai số thực, d(x, y) = |x − y|, khoảng cách hai số thực 1.2 Đóng, mở, hội tụ, liên tục 1.2.1 Định nghĩa Cho khơng gian mêtríc (X,d), a ∈ X số thực r > Các tập B(a,r) = {x ∈ X | d(x,a) < r } B (a,r) = {x ∈ X | d(x,a) ≤ r } S(a,r) = {x ∈ X | d(x,a) = r } gọi cầu mở, cầu đóng, mặt cầu tâm a bán kính r 1.2.2 Định nghĩa Cho khơng gian mêtríc (X,d) Tập A ⊂ X tập mở X điểm thuộc A có cầu X tâm điểm chứa A Bằng kí hiệu: ∀x ∈ A,∃r > 0, B(x,r) ⊂ A Nếu X \ A tập mở, ta nói A tập đóng X 1.2.3 Ví dụ Mọi cầu mở tập mở, cầu đóng mặt cầu tập đóng Ngồi ra, khơng gian mêtríc X, tập ∅ X tập vừa đóng vừa mở X 1.2.4 Ghi Khi nói tới “mở”, “đóng” ta phải hiểu rõ nói tới khơng gian mêtríc nào, tập hợp tập khơng gian mêtríc khác nhận mêtríc khác nhau, tính mở, đóng khác Khi hiểu rõ nói tắt khơng cần nhắc tới khơng gian mêtríc chứa 1.2.5 Mệnh đề Cho khơng gian mêtríc (X,d) (Ai )i ∈I họ tập X Ta có (a) Nếu Ai tập mở (b) Nếu Ai tập đóng i ∈I Ai tập mở i ∈I Ai tập đóng (c) Nếu Ai tập mở I tập hữu hạn (d) Nếu Ai tập đóng I tập hữu hạn i ∈I i ∈I Ai tập mở Ai tập đóng Cho khơng gian mêtríc (X,d) A tập X Điểm x ∈ X gọi điểm dính A cầu tâm x có chứa phần tử A, nghĩa ∀r > 0, B(x,r) ∩ A ∅ Tập tất điểm dính A gọi bao đóng A, ký hiệu A¯ hay cl(A) (closure) Điểm x ∈ X gọi điểm A tồn cầu X tâm x chứa A, nghĩa ∃r > 0, B(x,r) ⊂ A 4.5 HỌ TRỰC CHUẨN 55 4.5.10 Định lý Cho họ trực chuẩn cực đại E không gian Hilbert H Với x ∈ H, đặt xe = x,e , thì: x= xe e e∈E x, y = xe y¯e e ∈E x = |xe | e∈E Ở chẳng hạn ta viết x = e ∈E xe e có nghĩa với cách đánh số (ei )i ∈Z+ cho tập (đếm được) {e ∈ E | xe 0} x = ∞ i=1 x,ei ei Chứng minh Đánh số (ei )i ∈Z+ cho tập đếm {e ∈ E | xe 0} Như chứng minh cho trường hợp E đếm được, chuỗi ∞ i=1 xi ei hội tụ Ta kiểm tra ∞ (x − ∞ x e ) ⊥ e, ∀e ∈ E, x − x e = Vậy x = ∞ i=1 i i i=1 i i i=1 xi ei Hai khơng gian tích (trên trường) H1 H2 gọi đẳng cấu tích với tồn song ánh tuyến tính Λ từ H1 lên H2 bảo tồn tích vơ hướng, tức Λx,Λy = x, y , với x, y ∈ H Khi đó, ta nói Λ phép đẳng cấu tích từ H1 lên H2 Dễ thấy phép đẳng cấu tích bảo tồn chuẩn, nghĩa Λx = x Ngược lại đẳng thức 4.7.1 nên song ánh tuyến tính mà bảo tồn chuẩn bảo tồn tích 4.5.11 Định lý Cho E họ trực chuẩn tối đại không gian Hilbert H Với x ∈ H, đặt xˆ ánh xạ xˆ : E → F e → x(e) ˆ = xe = x,e Khi ánh xạ x → xˆ phép đẳng cấu tích từ H lên (E) Vậy khơng gian Hilbert đẳng cấu với không gian (E) Chứng minh Đặt f :H → (E) x → x ˆ Ta kiểm tra f xác định, tức chứng tỏ xˆ ∈ (E) Với cách đánh số (en )n∈Z+ cho tập đếm {e ∈ E | x(e) ˆ = xe 0} từ 4.5.10 ta thấy ∞ xˆ 2 (E) = sup F ⊂E , |F | α, tức đồng nghĩa với d(x, M) = inf{d(x, y) | y ∈ M } > 0, đồng nghĩa với x điểm dính M 3.8.26 Dùng 3.8.23 3.8.21 Giả sử Λx Giả sử ker Λ đóng Theo 3.8.20 X = ker Λ + x Để thấy tính liên tục Λ làm tương tự phần đầu chứng minh định lý Hahn-Banach So sánh 3.8.25 4.7.8 Dùng đẳng thức hình bình hành 4.7.12 Dùng 4.3.5, dùng ý chứng minh 4.3.1 4.7.19 Các chuẩn Rn tương đương 4.7.18 Phiếm hàm cho tích 4.7.35 (a) 21 + π2 ∞ k+1 k=0 (−1) 2k+1 cos(2k + 1)x 65 66 CHƯƠNG KHÔNG GIAN HILBERT Tài liệu tham khảo [1] Đặng Đình Áng, Nhập mơn Giải tích, NXB Giáo dục, 1997 [2] H Brezis, Functional analysis, Sobolev spaces and partial differential equations, Springer, 2011 Giáo trình cho bậc sau đại học [3] John B Conway, A course in functional analysis, Springer-Verlag, 1990 [4] Dương Minh Đức, Giáo trình Tốn Giải Tích (Tốn vi tích phân A1), NXB Thống kê, Tp Hồ Chí Minh, 2006 [5] Dương Minh Đức, Giải tích hàm, NXB Đại Học Quốc Gia Tp Hồ Chí Minh, 2005 [6] Dương Minh Đức, Lý thuyết độ đo tích phân, NXB Đại Học Quốc Gia Tp Hồ Chí Minh, 2006 [7] A N Kolmogorov, S V Fomin, Introductory real analysis, Dover, 1975 Dành cho bậc đại học Có dịch tiếng Việt [8] Erwin Kreyszig, Introductory functional analysis and applications, John Wiley and sons, 1978 Tương đối dễ hiểu cho bậc đại học, gần với giáo trình [9] Serge Lang, Undergraduate analysis, 2nd ed., Springer, 1997 Có phần khơng gian định chuẩn Kiến thức giải tích bậc đại học [10] Peter D Lax, Functional analysis, Wiley-Interscience, 2002 Sách tham khảo cho trình độ sau đại học [11] W Rudin, Real and complex analysis, 3rd edition, McGraw-Hill, New York, 1986 [12] Elias M Stein and Rami Shakarchi, Fourier analysis, an introduction, Princeton University Press, 2002 [13] Đinh Ngọc Thanh, Đặng Đức Trọng, Lý thuyết độ đo xác suất, NXB Đại Học Quốc Gia Tp Hồ Chí Minh, 2015 [14] Đặng Đức Trọng, Phạm Hồng Qn, Đặng Hồng Tâm, Đinh Ngọc Thanh, Giải tích hàm, NXB Đại Học Quốc Gia Tp Hồ Chí Minh, 2011 [15] Đặng Đức Trọng, Đinh Ngọc Thanh, Phạm Hoàng Qn, Giáo trình Giải tích 2, NXB Đại Học Quốc Gia Tp Hồ Chí Minh, 2011 [16] Hồng Tụy, Hàm thực & Giải tích hàm, NXB Đại Học Quốc Gia Hà Nội, 2005 [17] Huỳnh Quang Vũ, Lecture notes on Topology, Ho Chi Minh City University of Science, http://www.math.hcmus.edu.vn/∼hqvu/n.pdf 67 Chỉ mục E ∗ , 35 L(E, F), 32 ánh xạ co, ánh xạ tuyến tính bị chặn, 32 đầy đủ, đồng liên tục, 23 đồng phôi, 15, 25 độ đo Lebesgue, 20 độ đo đếm, 20 độc lập tuyến tính, 12 định lí Hahn–Banach, 36 định lý Ascoli, 23 định lý Bolzano-Weierstrass, định lý Stone–Weierstrass, 24 định lý hội tụ bị chặn, 21 đẳng cấu tích trong, 55 đẳng cấu tôpô, 15, 25 đẳng thức Parseval, 54 điểm, điểm bất động, điểm biên, điểm dính, điểm trong, hầu khắp, 21 hàm đo được, 20 hệ trực giao, 51 hội tụ yếu, 42 họ trực chuẩn, 51 họ trực chuẩn cực đại, 53 bt ng thc Bessel, 51 bt ng thc Hăolder, 21 bất đẳng thức Minkowski, 13, 22 bị chặn, bổ đề Zorn, 38 bao đóng, liên tục, liên tục đều, sở tuyến tính, 12 sở vectơ, 12 C, Cn , 12 chiếu, 48 chuẩn, 12 chuẩn Euclid, 13 compắc, dày đặc, dãy Cauchy, dãy hội tụ, giới hạn, không gian (mêtríc) con, khơng gian đối ngẫu, 35 khơng gian đầy đủ hóa, khơng gian định chuẩn, 12 không gian định chuẩn con, 13 không gian đo, 19 khơng gian Banach, 13 khơng gian có khoảng cách, không gian Euclid phức n-chiều, không gian Euclid thực n-chiều, không gian Hilbert, 47 không gian Hilbert tách được, 53 khơng gian mêtríc, khơng gian vectơ, 11 không gian vectơ con, 11 không gian vectơ vô hạn chiều, 12 mêtríc, mêtric Euclid, nhân, 42 nhân tốn tử tích phân, 36 phép đồng phơi, 15 phép đẳng cấu metric, 34 phép đẳng cấu tôpô, 15 phép đẳng cự, 34 phần biên, phần trong, phiếm hàm, 35 tích phân, 20 tích phân Lebesgue, 20 tích trong, 43 68 CHỈ MỤC tập đóng, tập mở, tập trực giao, 49 toán tử compắc, 40 toán tử liên hợp, 61 trù mật, vectơ, 11 vng góc, 45 69 ... Cho ( fm )m dãy hàm số đo hội tụ điểm hàm f Nếu dãy hàm ( fm )m bị chặn điểm hàm khả tích, cụ thể có g khả tích cho ∀x,∀m, | fm (x)| ≤ g(x), f khả tích dãy tích phân fm hội tụ tích phân f Chi... Nếu khơng gian đo khơng gian đo Lebesgue tích phân gọi tích phân Lebesgue Một hàm khả tích Riemann khả tích Lebesgue tích phân Riemann có giá trị với tích phân Lebesgue 2.6 KHƠNG GIAN L P 21... cách xấp xỉ thông qua hàm bậc thang Chú ý giá trị tích phân ∞ f ci Ci Hình 2.6.3: Xấp xỉ hàm hàm tập đo Cho f hàm đo tùy ý Đặt f + (x) = max{ f (x),0} f − (x) = max{− f (x),0} hàm đo được, f = f