Tích phân choquet và định lí choquet

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: TÍCH PHÂN CHOQUET VÀ ĐỊNH LÍ CHOQUET LUẬN VĂN THẠC SĨ Năm: BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC Chuyên ngành: : Mã số: : LUẬN VĂN THẠC SĨ Người hướng dẫn TS 1 PHẦN MỞ ĐẦU Lý thuyết dao động nghiệm hệ phương trình vi phân có đối số lệch nghiên cứu rầm rộ năm 80 trở lại Càng ngày người ta thấy có nhiều ứng dụng thực tế Đặc biệt lĩnh vực: Vật lý, Sinh học, Sinh lý học, Sinh thái học Đóng góp nhiều cho lĩnh vực phải kể đến Gyori, Ferreira, Arino, Gopalsamy Ladas Các tác giả nghiên cứu dao động nghiệm hệ phương trình vi phân có đối số lệch theo hướng hệ phương trình vi phân có đối số lệch tuyến tính sở phương trình đặc trưng Từ với hệ phương trình cụ thể thực tế xét dựa vào hệ phương trình tuyến tính hóa (linearized equation) 2 KHƠNG GIAN CÁC HÀM KHẢ TÍCH Định lý Cho Ω ⊂ Rn tập mở Khi (Lp (Ω), ∥.∥Lp ) tách ≤ p < ∞ không tách p = ∞ Ta cần hai kết để chứng minh định lý ??: trước kết topo (Urysohn’s Lemma) sau quan hệ xấp xỉ không gian hàm liên tục Lp Định nghĩa Cho (X, τ ) khơng gian topo Khi C0c (X) := {f : X → R liên tục spt(f ) compact (X, d)} spt(f ) := Bao đóng{x ∈ X : f (x) ̸= 0} Bổ đề (Bổ đề Urysohn) Cho X compact địa phương không gian metric, cho K ⊂ X V ⊂ X , K compact V mở thỏa mãn K ⊂ V Khi đó, tồn hàm φ ∈ C0c (X) thỏa mãn ≤ φ ≤ 1, φ ≡ K spt(φ) ⊂ V Định lý (Xấp xỉ Lp hàm liên tục) Cho Ω ⊂ Rn tập mở Khi C0c (Ω) trù mật (Lp (Ω), ∥.∥Lp ), biết ≤ p < ∞ Chứng minh định lý ?? dựa hai kết tảng xấp xỉ hàm đo được, ta cần nhớ lại Định lý (Xấp xỉ hàm đơn giản) Cho (X, M) không gian đo cho f : X → [0, +∞] hàm đo Khi tồn dãy hàm đơn giản đo sh : X → [0, +∞], (h = 1, 2, ) thỏa mãn tính chất (i) ≤ s1 ≤ s2 ≤ ≤ sh ≤ ≤ f ; (ii) lim sh (x) = f (x), ∀x ∈ X h→∞ Z Đặc biệt, f ∈ L (X, µ), nghĩa f dµ < ∞, sh → f X L1 (X, µ), nghĩa Z |f − sh |dµ → ∥f − sh ∥L1 (X,µ) := X Định lý (Lusin - Dạng không gian metric compact địa phương) Cho µ độ đo Radon compact địa phương, không gian metric tách X Cho f : X → R hàm đo cho tồn tập Borel A ⊂ X với µ(A) < ∞, f (x) = ∀x ∈ X \A |f (x)| < ∞ µ− hầu khắp nơi x ∈ X Khi đó, với ϵ > 0, tồn g ∈ C0c (X) cho µ({x ∈ X : f (x) ̸= g(x)}) < ϵ Hơn nữa, g chọn cho supx∈X |g(x)| ≤ sup |f (x)| x∈X Chứng minh cho định lý Ta chia chứng minh định lý thành hai bước Bước 1: Ta chứng minh răng, ∀ϵ > 0, ∀f ∈ Lp (Ω) tồn hàm đơn giản đo s : Ω → R cho |{x ∈ Ω : s(x) ̸= 0} < ∞| (đặc biệt s ∈ Lp (Ω), ∀p ∈ [1, ∞]); (1) ∥f − s∥Lp < ϵ (2) Đầu tiên, giả sử f ≥ Ω Theo xấp xỉ hàm không âm đo phương pháp hàm đơn giản (Định lý ??), tồn dãy hàm đơn giản đo sh : Ω → [0, +∞], (h = 1, 2, ) cho ≤ s1 ≤ s2 ≤ ≤ sk ≤ ≤ f ; lim sh (x) = f (x) h→∞ (3) ∀x ∈ Ω (4) Từ (??) ta sh ∈ Lp (Ω) |s ∈ Ω : sh (x) ̸= 0| < ∞ ∀h, (5) ∥sh − f ∥ ≤ 2f Ω, ∀h (6) Theo (??) (??), ta cso thể áp dụng định lý hội theo Lebesgue, ≤ p < ∞, ta lim ∥sh − f ∥Lp = h→∞ (7) Cho ϵ > 0, từ (??), tồn h = h(ϵ) ∈ N cho ∥sh − f ∥Lp < ϵ Nếu ta định nghĩa s := sh , theo (??) (??) Trường hợp tổng quát f : Ω → R chứng minh tách f = + f − f − áp dụng (??) (??), tách thành f + f − Bước 2: Ta ∀ϵ > 0, ∀f ∈ Lp (Ω), ∃g ∈ C0c (Ω) cho ∥f −g∥Lp < ϵ ϵ Cho f hàm đơn giản đo thỏa mãn (??) (??) với ϵ ≡ ký hiệu A := {x ∈ Ω : s(x) ̸= 0} Giả sử ∥s∥∞ > 0, khơng s ≡ ∈ C0c (Ω) kết thúc chứng minh Áp dụng định lý Lusin cho hàm s, tồn hàm g ∈ C0c (Ω) thỏa mãn |Ac | = |{x ∈ Ω : s(x) ̸= g(x)}| < ϵp , 4p ∥s∥p∞ (8) với |g(x)| ≤ ∥x∥∞ x ∈ Ω (9) Chú ý ∥f − g∥Lp ≤ ∥f − s∥Lp + ∥s − g∥Lp < Bây ta đánh giá ∥s − g∥Lp Z Z ∥s − g∥pLp = |s − g|p dx = Ω ϵ + ∥s − g∥Lp |s − g|p dx ≤ 2p ∥s∥p∞ |Aϵ | < Aϵ (10) ϵp 2p (11) Vì (??) (??) kết thúc chứng minh Chứng minh định lý ?? Ta cần chứng minh (C0c (Ω), ∥.∥∞ ) tách (12) Thật vậy, ta giả sử rằng, từ (??), ta (Lp (Ω), ∥.∥∞ ) tách được, biết ≤ p < ∞ Đầu tiên, giả sử Ω bị chặn Cho D ⊂ (C0c (Ω), ∥.∥∞ ) trù mật đếm được, ta chứng minh D trù mật (Lp (Ω), ∥.∥Lp ) với ≤ p < ∞ (13) Từ định lý ??, ∀f ∈ Lp (Ω), ∀ϵ > 0, ∃g ∈ C0c (Ω) cho ϵ ∥f − g∥Lp < (14) D trù mật, tồn e g ∈ D cho ∥g − e g ∥∞ < ϵ 2|Ω|1/p Nhớ lại Bài tập ∥f ∥Lp ≤ |Ω|1/p ∥f ∥∞ , ∀f ∈ L∞ (Ω), biết |Ω| < ∞ Điều nghĩa ϵ ∥g − g∥Lp ≤ |Ω1/p |∥g − g∥∞ < (15) Do gợi ý (??) (??) ám (??) Bây giả sử Ω không bị chặn Theo kết biết topo, tồn dãy (Ωh )h tập mở bị chặn cho Ωh ⊂ Ωh ⊂ Ωh+1 Ω= ∪∞ h=1 Ωh Hơn nữa, ý C0c (Ω) = ∪∞ h=1 Cc (Ωh ) (16) Theo (??) tồn tập Dh ⊂ (C0c (Ω), ∥.∥∞ ) trù mật đếm Cho D := ∪∞ h=1 Dh (??) giữ Từ định lý ??, ∀f ∈ Lp (Ω), ∀ϵ > 0, ∃g ∈ C0c (Ω) cho (??) Từ K := spt(g) tập compact chứa Ω, tồn h = h(g) = ϵ ∈ N cho K ⊂ Ωh Điều có nghĩa g ∈ C0c (Ωh ) ta có kết luận bước trước Bây ta chứng minh (??) Nhớ lại (C0 (K), ∥.∥∞ ) tách được, biết K ⊂ Rn tập compact (định lý ??) Cho (Ωh ) dãy tập mở bị chặn Rn Theo định nghĩa, C0c (Ωh ) ⊂ (C0 (Ω), ∥.∥∞ ) Vì (C0 (Ω), ∥.∥∞ ) tách nên với h, tồn tập D ⊂ (C0 (Ωh ), ∥.∥∞ ) trù mật đếm (17) Bây giờ, theo bổ đề Urysohn, ta sửa tập hợp hàm D eh ⊂ C0c (Ω) đẻ họ cho tập hợp hàm đếm D e D := ∪∞ h=1 Dh ⊂ (Cc (Ω), ∥.∥inf ty ) đếm trù mật (18) Áp dụng bổ đề Urysohn với K := Ωh−1 , V = Ωh cho φh ∈ C0 (Ω) cho ≤ φh (x) ≤ 1, ∀x ∈ Ω, φh (x) = 1, ∀x ∈ Ωh−1 spt(φh ) ⊂ Ωh xác định g ∈ Dh , g : Ωh → R, định nghĩa e g : Ω → R hàm ( g(x) x ∈ Ωh e g (x) := , nếux ∈ Ω \ Ωh cho e := {φhe D g : g ∈ D} e (h ∈ N) D := ∪∞ h=1 D Ta chứng minh (??) Theo cách xây dựng, D đếm Vì ta cần chứng minh trù mật (C0c , ∥.∥∞ ) Sửa ϵ > 0, f ∈ C0c (Ω) cho K := spt(f ) ⊂ Ω compact Tồn h0 ∈ N cho K ⊂ Ωh0 ⊂ Ωh0 +1 Điều có nghĩa f ∈ C0c (Ωh0 ) ⊂ C0 (Ωh0 ) ⊂ C0 (Ωh0 +1 ) Theo (??), tồn f1 ∈ Dh0 +1 cho ∥f − f1 ∥∞,Ω := sup |f (x) − f1 (x)| < ϵ (19) x∈Ω Từ f ≡ Ωh0 +1 \ Ωh0 từ (??), suy |f1 (x)| < ϵ sup (20) x∈Ωh0 +1 \Ωh0 eh0 +1 , theo (??) (??) ta Bây ta định nghĩa f2 := φh0 +1 fe1 ∈ D ∥f − f2 ∥∞,Ω = sup |f (x) − f2 (x)| = x∈Ω sup |f (x) − φh0 +1 f (x)| ≤ x∈Ωh0 +1 ( max ) sup |f (x) − f1 (x)|, x∈Ωh0 sup x∈Ωh0 +1 \Ωh0 |f1 (x)| < ϵ Như (??) Cuối ta chứng minh (L∞ (Ω), ∥.∥L∞ ) khơng tách Ta tìm họ rời không đếm Ui : i ∈ I tập mở L∞ (Ω) Cho a ∈ Ω cho ωa := B(a, ) > với B(a, ) ⊂ Ω Định nghĩa o n Ua := f ∈ L∞ (Ω) : ∥f − χωa ∥L∞ < a ∈ I := Ω Chú ý • Ua mở (L∞ (Ω), ∥.∥L∞ ), ∀a ∈ Ω: hiển nhiên • Ua ∩ Ub = ∅ a ̸= b, thật vậy, theo phản chứng, f ∈ Ua ∩ Ub , điều nghĩa ∥χωa − χωb ∥L∞ ≤ ∥χωa − f ∥L∞ + ∥f − χωb ∥L∞ < 1 + = 2 Mặt khác ∥χωa − χωb ∥L∞ = a ̸= b, mâu thuẫn • I = Ω khơng đếm Tính chất ∆U lớp vành Một phần tử r ∈ R gọi ∆-clean r biểu diễn thành r = e + t e phần lũy đẳng R t ∈ ∆(R) Vành R gọi ∆-clean phần tử R ∆-clean Chú ý, phẩn tử ∆-clean clean Mệnh đề Các điều kiện sau tương đương vành R (1) R ∆U -vành; (2) Tất phần tử clean R ∆-clean Chứng minh (1) ⇒ (2) Giả sử R ∆U -vành Lấy r ∈ R clean, r = e + u Vì R ∆U -vành, ta có u = + a với a ∈ ∆(R) Lưu ý − 2e ∈ U (R) = + ∆(R), 2e ∈ ∆(R) Khi 2e + a ∈ ∆(R) r = e + + a = (1 − e) + (2e + a) biểu diễn ∆-clean r (2) ⇒ (1) Lấy u ∈ U (R) Khi u clean nên theo giả thiết u ∆-clean Giả sử u = e + a biểu diễn ∆-clean u với a ∈ ∆(R) e lũy đẳng Ta có = eu−1 + au−1 suy eu−1 = − au−1 khả nghịch R Vì e = Điều nghĩa u = + a ∈ + ∆(R) U (R) = + ∆(R) Định lý Cho R vành, điều kiện sau tương đương (1) R clean ∆U -vành; (2) Nếu a ∈ R thỏa mãn a − a2 ∈ ∆(R), tồn tử phẩn tử lũy đẳng e ∈ R cho a − e ∈ ∆(R); (3) R ∆-clean ∆U -vành; (4) R vành ∆-clean Chứng minh (1) ⇔ (3) ⇔ (4) suy từ Mệnh đề ?? (1) ⇒ (2) Giả sử R clean ∆U -vành Khi đó, a ∈ R a − e ∈ ∆(R), với e lũy linh Tiếp theo ta chứng minh a − a2 ∈ ∆(R) Theo Mệnh đề ??, giả sử a = e + j biểu diễn ∆-clean a Khi a − a2 = (j − j ) − (ej + je) Chú ý j − j ∈ ∆(R) 2e ∈ ∆(R) Bây ta chứng minh ej + je ∈ ∆(R) Thậy vậy, ta có [ej(1 − e)]2 = = [(1 − e)je]2 theo Mệnh đề 62 ta ej − eje = ej(1 − e) ∈ ∆(R) je − eje = (1 − e)je ∈ ∆(R) Suy je − ej ∈ ∆(R) Vì ej + je = 2ej + (je − ej) ∈ ∆(R) (2) ⇒ (3) suy từ định nghĩa Rõ ràng Hệ suy từ Định lý ?? Nghĩa vành đơn vị thỏa mãn tính chất ∆(R) = 50 22 Không gian hữu hạn chiều Định nghĩa 12 (i) Một không gian vector E trường số thực gọi hữu hạn chiều bao gồm hữu hạn vector độc lập tuyến tính (ii) Số lớn vector độc lập tuyến tính khơng gian vector hữu hạn chiều E gọi chiều ký hiệu dimR E Hệ B ⊂ E sinh dimR E vector độc lập tuyến tính gọi sở Định lý 26 Giả sử E không gian vector hữu hạn chiều dimR E = n (i) Nếu B ⊂ E sở, B sinh E , cụ thể spanR B = E (ii) E Rn đẳng cấu tuyến tính (iii) Giả sử ∥.∥1 ∥.∥2 hai chuẩn E Khi (E, ∥.∥1 ) (E, ∥.∥2 ) đẳng cấu topo (iv) Giả sử ∥.∥ chuẩn E Khi (E, ∥.∥) (E ′ , ∥.∥E ′ ) đẳng cấu topo Theo tập trước, không gian định chuẩn hữu hạn chiều (E, ∥.∥) đẳng cấu topo với không gian Hilbert Rn Đây đặc trưng mạnh, khơng cịn cho khơng gian định chuẩn vơ hạn chiều 23 Các vành nhóm Ánh xạ ε : RG → R cho ε( X g rg g) = X rg ánh xạ mở rộng g Iđêan ∇(RG) = ker(ε) gọi iđêan mở rộng Định lý 27 Cho G nhóm hữu hạn với cấp + 2n R ∆U -vành Khi RG ∆U -vành iđêan mở rộng ∇(RG) ∆U -vành Chứng minh Đặt ∇ = ∇(RG) Giả sử G nhóm hữu hạn có cấp 1+2n R ∆U -vành Theo Mệnh đề 62, ta có ∈ ∆(R), 1+2n ∈ U (R) 51 Khi RG có biểu diễn RG = ∇⊕H với H ∼ = R theo [4] Đặt ∇ = eRG H = (1 − e)RG Rõ ràng e phần tử tâm RG Nếu RG ∆U -vành, ∇ = eRG ∆U -vành theo Mệnh đề 63 Ngược lại, giả sử ∇ = eRG ∆U -vành Vì H ∼ = R nên H ∆U -vành Theo Bổ đề ??, RG ∆U -vành Một nhóm gọi hữu hạn địa phương nhóm sinh hữu hạn phần tử hữu hạn Bổ đề 12 Nếu G 2-nhóm hữu hạn địa phương R ∆U -vành với ∆(R) lũy linh, ∇(RG) ⊆ ∆(RG) Chứng minh Giả sử G 2-nhóm hữu hạn địa phương R ∆U -vành ¯ Suy Khi R¯ := R/J(R) ∆U -vành Từ ∆(R) lũy linh, ∈ N (R) ¯ ⊆ N (RG) ¯ ¯ ∇(RG) theo [4, Hệ quả, trang 682] Do đó, ∇(RG) iđêan lũy ¯ Ta kiểm tra J(R)G ⊆ J(RG), linh chứa J(RG) J((R/J(R))G) ∼ = J(RG/J(R)G) = J(RG)/J(R)G Do ∇(RG) ⊆ J(RG) ⊆ ∆(RG) Định lý 28 Cho R ∆U -vành G 2-nhóm hữu hạn địa phương Nếu ∆(R) lũy linh, RG ∆U -vành Chứng minh Lấy u ∈ U (RG) Khi ε(u) = + ε(u − 1) ∈ U (R) theo Bổ đề (1) áp dụng cho ánh xạ mở rộng ε i Vì R ∆U -vành nên tồn j ∈ ∆(R) thỏa mãn ε(u) = + j Theo Bổ đề (1) ta có ε(u − + j) = hay u − + j ∈ ∇(RG) ⊆ ∆(RG) Do u ∈ − j + ∆(RG) suy u ∈ + ∆(RG) Hệ 20 Cho R vành hoàn chỉnh phải trái G 2-nhóm hữu hạn địa phương Khi đó, R ∆U -vành RG ∆U -vành 24 Xấp xỉ tích chập Lp Ta thấy rằng, cho f ∈ Lp (Ω) với ≤ p < ∞, tồn (fh )h ⊂ C0c (Ω) cho fh → f Lp (Ω) Ta chứng minh tính xấp xỉ này, tìm kiếm xấp xỉ theo hàm quy Chính xác Câu hỏi: 52 (i) Có tồn (fh )h ⊂ C1c cho fh → f Lp (Ω)? (ii) Có thể xây dựng cách rõ ràng xấp xỉ thứ h hàm fh cho f ∈ Lp (Ω)? Câu trả lời cho câu hỏi thứ hai có ý nghĩa xấp xỉ số Định nghĩa 13 (Friedrichs’ mollifiers) Một dãy mollifiers dãy hàm ϱh : Rn → R, (h = 1, 2, ) cho, với h, ϱ ∈ C∞ (Rn ); (M o1) spt(ϱh ) ⊂ B(0, 1/h); Z ϱh dx = 1; (M o2) (M o3) Rn ϱh (x) ≥ 0, ∀x ∈ Rn (M o4) Ví dụ mollifiers: Khá đơn giản để xây dựng dãy mollifiers, hàm không biến ϱ : Rn → R thỏa mãn n ϱ ∈ C∞ c (R ), spt(ϱ) ⊂ B(0, 1), ϱ ≥ Ví dụ, cho ϱ(x) :=   exp |x| −  |x| < |x| ≥  n Khi dễ thấy ϱ ∈ C∞ c (R ) Hơn nữa, ta có dãy mollifiers định nghĩa ϱh (x) := c hn ϱ(hx), x ∈ Rn , h ∈ N −1 Z c := ϱdx Rn Chú ý: Nếu A, B ⊂ Rn , A ± B ký hiệu tập A ± B := {a ± b : a ∈ A, b ∈ B} Bài tập Chứng minh 53 (i) Nếu A compact B đóng, A + B đóng; (ii) A B compact A + B Mệnh đề 28 (Định nghĩa tính chất mollifiers đầu tiên) Cho f ∈ L1loc (Rn ) (ϱh )h dãy mollifiers Định nghĩa, cho h ∈ N x ∈ Rn , Z fh (x) := (ϱ ∗ f )(x) := ϱh (x − y)f (y)dy, ∀x ∈ Rn Rn Khi (i) Hàm fh : Rn → R is well defined; (ii) fh (x) = (ϱh ∗ f )(x) = (f ∗ ϱh )(x) với x ∈ Rn h ∈ N; (iii) fh (x) ∈ C0 (Rn ) với h Hàm fh gọi mollifiers thứ h f Chứng minh Để đơn giản, ta ký hiệu ϱh ≡ ϱ (i) Theo (Mo2) (Mo4), spt(ϱ) ⊂ B(0, 1/h) Khi Z Z |f (y)ϱ(x − y)|dy = Rn |f (y)ϱ(x − y)|dy B(x,1/h) Z ≤ sup ϱ Rn |f (y)|dy < ∞ B(x,1/h) Do đó, ta thay đổi x ∈ Rn , hàm gx (y) := ϱ(x − y)f (y), y ∈ Rn khả tích Rn , xác định tích phân Z Z R∋ gx (y)dy = ϱ(x − y)f (y)dy = (ϱ ∗ f )f (x), ∀x ∈ Rn Rn Rn (ii) cách thay đổi biến Z (f ∗ ϱ)(x) = f (x − y)ϱ(y)dy Rn (z=x=y) Z f (z)ϱ(x − z)dz = (ϱ ∗ f )(x) = Rn 54 (iii) Cho x ∈ Rn xr → x, ta chứng minh (ϱ ∗ f )(xr ) → (ϱ ∗ f )(x) (26) Chú ý Z (ϱ ∗ f )(xr ) − (ϱ ∗ f )(x) = (ϱ(xr − y) − ϱ(x − y))f (y)dy, ∀r ∈ N (27) Rn Từ dãy (xr )r bị chặn Rn , tồn tập compact K ⊂ Rn thỏa mãn B(xr , 1/h) = xr − B(0, 1/h) ⊂ K, B(x, 1/h) ∈ K, ∀r ∈ N Đặc biệt ϱ(xr − y) − ϱ(x − y) = 0, ∀y ∈ / K, ∀r ∈ N (28) Bởi vì, ϱ ∈ Lip(Rn ), theo (??), tồn L > thỏa |ϱ(xr − y) − ϱ(x − y)| ≤ LχK (y)|xr − x|, ∀y ∈ Rn , ∀r ∈ N Vì ta |ϱ(xr − y)ϱ(x − y)||f (y)| ≤ LχK (y)|f (y)||xr − x|, ∀y ∈ Rn , ∀r ∈ N (29) Từ (??), (??) định lý tính hội tụ bị trội, theo (??) Nhận xét Ký hiệu ∗ tích chập hai hàm khơng gian Rn Lưu ý, kết mệnh đề 61 giữ f ∈ L1loc (Rn ) ϱ ≡ ϱh ∈ C0 (Rn ) thỏa (Mo2) Trên thực tế, xác định tích chập hai hàm g ∈ Lp (Rn ) với ≤ p ≤ ∞ f ∈ L1 (Rn ) Z (g ∗ f )(x) := g(x − y)f (y)dy Rn giữ (g ∗ f ) ∈ Lp (Rn ) ∥g ∗ f ∥Lp (Rn ) ≤ ∥g∥Lp (Rn ) ∥f ∥L1 (Rn ) Định lý 29 (Friedrichs - Sobolev, Xấp xỉ theo tích chập Lp ) Cho f ∈ L1loc (Rn ) (ϱh )h dãy mollifiers Khi (i) f ∗ ϱh ∈ C ∞ (Rn ) với h ∈ N 55 (ii) ∥f ∗ϱ∥Lp (Rn ) ≤ ∥f ∥Lp (Rn ) với h ∈ N, f ∈ Lp (Rn ) với p ∈ [1, ∞] (iii) spt(f ∗ ϱ) ⊂ spte (f ) + B(0, 1/h) với h ∈ N (iv) Nếu f ∈ Lp (Rn ) với ≤ p ≤ ∞, f ∗ ϱh ∈ C ∞ (Rn ) ∩ Lp (Rn ) với h ∈ N, f ∗ ϱh → f h → ∞, Lp (Rn ), biết ≤ p < ∞ Kết cho ta hai kết quan trọng Định lý 30 (Bổ đề tính tốn biến) Cho Ω ⊂ Rn tập mở cho f ∈ L1loc (Ω) Giả sử Z f φdx = 0, ∀φ ∈ Cc∞ (Ω) (∗) Ω Khi f = hầu khắp nơi Ω Chứng minh Chứng minh điều kiện đủ Z |f |dx = với tập compact K ∈ Ω (30) K Thật vậy, theo (??), suy f = hầu khắp nơi K, với tập compact K ∈ Ω Ta có kết luận Ta chứng minh (??) Cho tập compact K ∈ Ω, định nghĩa g : Rn → R   f (x) x ∈ K, f (x) ̸= g(x) := |f (x)|  ngược lại Khi g ∈ L1 (Rn ) spte (g) ⊆ K ⊂ Ω Cho gh := g ∗ ϱh Theo định lý ?? (iii), tồn h = h(K) ∈ N cho spt(g ∗ ϱh ) ⊆ spte (g) + B(0, 1/h) ⊆ K + B(0, 1/h) ⊂ Ω với h > h Do đó, theo định lý ?? (i), (ii), gh ∈ C∞ h > h |gh (x)| ≤ ∥g∥L∞ (Rn ) = 1, ∀x ∈ Rn , ∀h ∈ N (31) c 56 Từ (∗) ta Z f gh dx = 0, ∀h ≤ h Ω Mặt khác, từ định lý ?? (iv) (??), ta giả sử, dãy tăng, gh → g hầu khắp nơi Rn Do đó, Z Z Z f gh dx → = 0= Ω |f |dx f g dx = Ω K Định lý 31 (Xấp xỉ theo hàm C∞ Lp ) Cho Ω ⊂ Rn tập p mở Khi C∞ c (Ω) trù mật L (Ω), ∥.∥Lp , biết ≤ p < ∞ Chứng minh Cho f ∈ Lp (Ω), định nghĩa fe : Rn → R ( f (x) x ∈ Ω fe(x) := x ∈ Rn \ Ω Chú ý fe ∈ Lp (Rn ) Cho (Ωh )h dãy tăng tập mở bị chặn cho Ω = ∪∞ h=1 Ωh , Ωh ⊂ Ωh ⊂ Ωh+1 , ∀h, định nghĩa gh (x) := χΩh (x)fe(x) fh,r (x) := (ϱr ∗ gh )(x) x ∈ Rn , h, r ∈ N Theo định lý ?? (iii) suy spt(fh,r ) ⊂ B(0, 1/r) + Ωh ⊂ Ω (32) Hơn nữa, cho h ∈ N, tồn rh = r(h) ∈ N cho rh ≥ h B(0, 1/rh ) + Ωh ⊂ Ω Định nghĩa fh (x) := (ϱrh ∗ gh )(x), x ∈ Rn , h ∈ N, (33) 57 để đơn giản, giả sử rh = h Khi đó, theo định lý ?? (i), (ii) (??), (??), fh ∈ C∞ c (Ω) ∥fh − f ∥Lp (Ω) = ∥fh − fe∥Lp (Rn ) ≤ ∥ϱh ∗ gh − ϱh ∗ fe∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp Rn = ∥ϱh ∗ (gh − fe)∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp (Rn ) (34) ≤ ∥gh − fe∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp (Rn ) , ∀h Từ định lý ?? (iv), ϱh ∗ fe → fe Lp (Rn ), theo định lý hội tụ miền gh → fe Lp (Rn ) Khi theo (??), ta có điều phải chứng minh 25 Một số kiến thức nhóm Một nhóm (G, ·) tập hợp G ̸= ∅ trang bị phép tốn hai ngơi · thỏa mãn điều kiện sau đây: (i) a · (b · c) = (a · b) · c với a, b, c ∈ G, (ii) Tồn phần tử e ∈ G cho a · e = a = e · a với a ∈ G, (iii) Với a ∈ G tồn phần tử a′ ∈ G cho a · a′ = a′ · a = e Để đơn giản, ta ký hiệu ab thay cho a · b Phần tử e xác định (ii) nhất, gọi phần tử đơn vị nhóm G, thường ký hiệu Với a ∈ G, phần tử a′ xác định (iii) nhất, gọi phần tử nghịch đảo a, ký hiệu a−1 Một nhóm G gọi giao hoán (hay abel ) ab = ba với a, b ∈ G Nếu nhóm G có hữu hạn phần tử ta gọi G nhóm hữu hạn, gọi số phần tử G cấp nhóm G, ký hiệu |G| Cho G nhóm, H tập G Ta gọi H nhóm G, ký hiệu H ⩽ G, điều kiện sau thỏa mãn: (i) Phép toán G hạn chế lên H cảm sinh phép toán H , (ii) H nhóm với phép tốn cảm sinh Cho G nhóm, H tập G ta ký hiệu ⟨S⟩ nhóm bé G chứa S , gọi S tập sinh ⟨S⟩ Đặc biệt, nhóm có tập sinh gồm phần tử gọi nhóm xiclíc 58 Mệnh đề 29 (Định lý Lagrange) Cho G nhóm hữu hạn, H nhóm G Khi |H| ước |G| Với G nhóm hữu hạn, H ⩽ G, ta ký hiệu |G : H| = |G| : |H|, gọi số nhóm H G Mệnh đề 30 Cho G nhóm, A, B hai nhóm hữu hạn G Ký hiệu AB = {ab | a ∈ A, b ∈ B} Khi |AB| = |A||B| |A ∩ B| Cho G nhóm, a phần tử G Với u phần tử G, liên hợp u a, ký hiệu ua , định nghĩa ua = a−1 ua Với H nhóm G, ta gọi H nhóm chuẩn tắc G, ký hiệu H ◁ G, ∈ H với a ∈ G, h ∈ H Cho N nhóm chuẩn tắc G Ký hiệu G/N = {aN | a ∈ G} Khi G/N nhóm với phép tốn xác định sau Với a, b ∈ G (aN )(bN ) = abN Nhóm G/N gọi nhóm thương G N Với S tập G, tâm hóa S G, ký hiệu CG (S), định nghĩa CG (S) = {a ∈ G | ua = u với u ∈ S} Trong trường hợp S = {x}, ta dùng ký hiệu CG (x) thay cho CG (S) Tâm nhóm G, ký hiệu Z(G), định nghĩa Z(G) = CG (G) Mệnh đề 31 Cho G nhóm khơng giao hốn Khi đó, nhóm thương G/Z(G) khơng nhóm xiclíc Cho G nhóm Với x y hai phần tử G, giao hoán tử x y , ký hiệu [x, y], định nghĩa [x, y] = x−1 y −1 xy 59 Nhóm giao hốn tử G, ký hiệu G′ , định nghĩa nhóm sinh tập tất giao hoán tử {[x, y] | x, y ∈ G} Cho hai nhóm G H Một ánh xạ f : G → H gọi đồng cấu nhóm với a, b ∈ G f (ab) = f (a)f (b) Nếu đồng cấu f đơn ánh (tương ứng, tốn ánh, song ánh) ta gọi f đơn cấu (tương ứng, toàn cấu, đẳng cấu) Ta ký hiệu Aut(G) nhóm tất tự đẳng cấu G Cho N H hai nhóm bất kỳ, cho θ : H → Aut(N ) đồng cấu nhóm Khi đó, tập hợp G = {(x, h) | x ∈ N, h ∈ H} nhóm với phép tốn xác định sau Với (x1 , h1 ), (x2 , h2 ) ∈ G, (x1 , h1 )(x2 , h2 ) = (x1 θ(h1 )(x2 ), h1 h2 ) Nhóm G xác định gọi tích nửa trực tiếp N H ứng với tác động θ, ký hiệu G = N ×θ H Trong trường hợp đặc biệt θ đồng cấu tầm thường tích nửa trực tiếp tích trực tiếp Sau số kiến thức p-nhóm nhóm abel hữu hạn Cho p số nguyên tố Một nhóm G gọi p-nhóm |G| mơt lũy thừa p Ta thấy nhóm con, nhóm thương p-nhóm p-nhóm Mệnh đề 32 Cho p số nguyên tố Khi (i) Mọi nhóm có cấp p nhóm xiclíc (ii) Mọi nhóm có cấp p2 nhóm abel Mệnh đề 33 Mọi nhóm abel hữu hạn G biểu diễn cách thành tích trực tiếp nhóm xiclíc G∼ = Cn1 × Cn2 × · · · × Cnk ni ⩾ 2, i = 1, 2, k , n1 | n2 | · · · | nk 60 Sau số kiến thức nhóm đối xứng nhóm thay phiên Cho X tập hợp Một song ánh từ tập X đến gọi phép tập X Ký hiệu S(X) tập tất phép tập X Khi S(X) nhóm với phép tốn hợp thành ánh xạ Ta gọi S(X) nhóm đối xứng tập X Ta dùng ký hiệu Sn để nhóm đối xứng tập X = {1, 2, , n} gọi Sn nhóm đối xứng bậc n Định lý 32 Mọi phép π ∈ Sn với n ⩾ phân tích thành tích xích rời Phân tích không kể đến thứ tự nhân tử Cho π ∈ Sn với n ⩾ Khi đó, theo Định lý ??, ta có phân tích π thành tích xích rời π = (a11 a12 · · · a1k1 )(a21 a22 · · · a2k2 ) · · · (as1 as2 · · · asks ) ta giả thiết k1 ⩾ k2 ⩾ · · · ⩾ ks Ta gọi (k1 , k2 , , ks ) kiểu phép π Mệnh đề 34 Hai phép nhóm đối xứng Sn với n ⩾ liên hợp với chúng có kiểu Cho σ ∈ Sn với n ⩾ Ta nói cặp (σ(i), σ(j)) nghịch σ i < j σ(i) > σ(j) Dấu phép σ, ký hiệu sign(σ), xác định công thức sign(σ) = (−1)t t số nghịch σ Nếu sign(σ) = ta gọi σ phép chẵn, sign(σ) = −1 ta gọi σ phép lẻ Mệnh đề 35 Cho σ, τ ∈ Sn với n ⩾ Khi (i) sign(στ ) = sign(σ)sign(τ ) (ii) Nếu σ xích độ dài k sign(σ) = (−1)k+1 Với n ⩾ ta ký hiệu An tập phép chẵn bậc n Khi An nhóm chuẩn tắc số Sn Ta gọi An nhóm thay phiên bậc n Cuối mục kết độ giao hốn nhóm 61 Định nghĩa 14 Cho G nhóm Ký hiệu C = {(x, y) ∈ G × G | xy = yx} Độ giao hoán G, ký hiệu Pr(G), định nghĩa sau Pr(G) = |C| |G|2 Mệnh đề 36 Nếu G nhóm khơng giao hốn Pr(G) ⩽ 26 KHƠNG GIAN CÁC HÀM LIÊN TỤC Nhận xét Định lý Arzelà - Ascoli khơng cịn C0 (A) A ⊂ Rn khơng compact Ví dụ lấy C0b (R) không gian hàm liên tục bị chặn R, nghĩa   0 Cb (R) := f ∈ C (R) : sup |f | < ∞ R Khi dễ thấy (C0b (R), ∥.∥∞ ) không gian Banach Giả sử f : R → R hàm định nghĩa ( − |x| x ≤ f (x) = x > Giả sử h : R → R, (h = 1, 2, ) định nghĩa fh (x) := f (x + h) giả sử F := {fh : h ∈ N} Khi dễ thấy họ hàm F ⊂ C0b (R) bị chặn liên tục Tuy nhiên F không compact (C0b (R), ∥.∥∞ ) Thật vậy, ý ∃f (x) := lim fh (x) = 0, ∀x ∈ R ∥fh − f ∥∞ = 1, ∀h h→∞ Điều có nghĩa dãy hội tụ (fh )h (C0b (R), ∥.∥∞ ) khơng chấp nhận Tính tách (C0b (R), ∥.∥∞ ) 62 Định nghĩa 15 Giả sử (X, τ ) khơng gian topo Khi (X, τ ) gọi thỏa mãn tiên đề hai tính đếm có sở đếm cho topo τ Định lý 33 Giả sử (X, d) khơng gian metric Khi (i) (X, d) tách thỏa tiên đề thứ hai tính đếm (ii) Mỗi khơng gian (X, d) tách (X, d) tách (iii) Giả sử (Y, ϱ) không gian metric khác T : (X, d) → (Y, ϱ) đồng cấu Khi (X, d) tách (Y, ϱ) tách Nhận xét Phải nhấn mạnh mục quan trọng giải tích cho mục xấp xỉ Nghĩ số hợp lý chứng minh định lý Ascoli Cuối phải nhớ lại tiêu chuẩn để kiểm tra không gian topo không gian tách Mệnh đề 37 Giả sử (X, τ ) không gian topo Giả sử tồn họ {Ui : i ∈ I} thỏa mãn (i) Ui tập mở với i ∈ I ; (ii) Ui ∪ Uj = ∅ i ̸= j (iii) I khơng đêm Khi (X, τ ) khơng tách Bài tập Giả sử l∞ := {x ∈ RN : sup |x(n)| < ∞} n∈N trang bị chuẩn ∥x∥l∞ := sup |x(n)| n∈N Hãy (l∞ , ∥.∥l∞ ) không gian Banach không tách 63 Gợi ý: Giả sử I = 2N := {x : N → {0, 1}} ⊂ l∞  Ux = Bl∞ x,  n := y ∈ l∞ : ∥y − x∥l∞ < o x ∈ I Khi ta xét họ {Ux : x ∈ I} sử dụng mệnh đề ?? Định lý 34 Giả sử K ⊂ Rn tập compact Khi (C0 (K), ∥.∥∞ ) tách Chúng ta chứng minh cho trường hợp n = 1, K = [a, b] Trước ta cần phải nêu kết xấp xỉ quan trọng tốn giải tích Định lý 35 (Định lý xấp xỉ Weierstrass) Giả sử f ∈ C([a, b]) Khi tồn dãy hàm đa thức ph : R → R, (h = 1, 2, ) với hệ số thực, nghĩa ph ∈ R[x], thỏa mãn ph → f [a, b] Nhận xét Bởi đa thức hàm đơn giản nhất, máy tính trực tiếp đánh giá đa thức Định lý có ý nghĩa lý thuyết thực tiễn Đặc biệt nội suy đa thức Chứng minh định lý ?? Chúng ta cần kết n = K = [a, b] Giả sử D tập hợp hàm đa thức với hệ số hữu tỷ, nghĩa là, D := Q[x] Ta biết D đếm Chứng minh D trù mật C0 ([a, b]), ∥.∥∞ ) tức ∀f ∈ C0 ([a, b]), ∀ϵ > 0, ∃q ∈ D cho ∥f − q∥∞ ≤ ϵ Từ định lý xấp xỉ Weierstrass, với ϵ > 0, tồn p ∈ R[x], nghĩa là, p(x) = αm xm + · · · + α1 x1 + α0 , với αi ∈ R, i = 0, 1, , m thỏa mãn ∥f − p∥∞ < ϵ Định nghĩa q(x) := βm xm + · · · + β1 x1 + β0 với βi ∈ Q |αi − βi | < ϵ Pm i=0 c i , i = 0, 1, , m, (35) 64 c := max{|a|, |b|} Khi |p(x) − q(x)| ≤ m X i=0 ϵ |αi − βi ||x|i ≤ , ∀x ∈ [a, b] (36) Do đó, từ (??) (??) ta ∥f − q∥∞ ≤ ∥f − p∥∞ + ∥p − q∥∞ ≤ 27 ϵ ϵ + = ϵ 2 KHÔNG GIAN CÁC HÀM LIÊN TỤC Nhận xét Định lý Arzelà - Ascoli không cịn C0 (A) A ⊂ Rn khơng compact Ví dụ lấy C0b (R) khơng gian hàm liên tục bị chặn R, nghĩa   0 Cb (R) := f ∈ C (R) : sup |f | < ∞ R Khi dễ thấy (C0b (R), ∥.∥∞ ) không gian Banach Giả sử f : R → R hàm định nghĩa ( − |x| x ≤ f (x) = x > Giả sử h : R → R, (h = 1, 2, ) định nghĩa fh (x) := f (x + h) giả sử F := {fh : h ∈ N} Khi dễ thấy họ hàm F ⊂ C0b (R) bị chặn liên tục Tuy nhiên F không compact (C0b (R), ∥.∥∞ ) Thật vậy, ý ∃f (x) := lim fh (x) = 0, ∀x ∈ R ∥fh − f ∥∞ = 1, ∀h h→∞ Điều có nghĩa dãy hội tụ (fh )h (C0b (R), ∥.∥∞ ) không chấp nhận Tính tách (C0b (R), ∥.∥∞ )