Miền tổng của chuỗi và các tính chất lồi trong không gian banach

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: MIỀN TỔNG CỦA CHUỖI VÀ CÁC TÍNH CHẤT LỒI TRONG KHƠNG GIAN BANACH 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 Năm 1966 Arhangelskii suy rộng khái niệm sở, đưa khái niệm sở yếu thu nhiều kết thú vị (xem [1, 4]) Bằng cách thay sở sở yếu , K B Lee suy rộng khái niệm không gian thỏa mãn tiên đề đếm thứ thành không gian thỏa mãn tiên đề đếm thứ yếu không gian thỏa mãn tiên đề đếm thứ hai thành không gian thỏa mãn tiên đề đếm thứ hai yếu (xem [2]) Sau đó, cách sử dụng số tính chất sở tính chất dãy hội tụ không gian metric, người ta đưa khái niệm không gian xác định phủ đếm theo điểm, k-không gian, không gian dãy, không gian Fréchet, khơng gian Fréchet mạnh 443 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 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 ∥L1 (X,µ) := |f − sh |dµ → 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 ϱ(x − y)f (y)dy ≤ ∥f ∥L∞ (Rn ) |(f ∗ ϱ)(x)| = |(ϱ ∗ f )(x)| = n = ∥f ∥L∞ (Rn ) , ϱ(x − y)dy Rn R ∀x ∈ Rn Do đó, ta có điều phải chứng minh (iii) Đặt ϱh ≡ ϱ cố định x ∈ R Khi đó, từ
ϱ(x − y)f (y) = hầu khắp nơi, y ∈ / x − B(0, 1/h) ∩ spte (f ), Z Z ϱ(x − y)f (y)dy = (ϱ ∗ f )(x) := Rn ϱ(x − y)f (y)dy (x−B(0,1/h))∩spte (f ) Chú ý
x − B(0, 1/h) ∩ spte (f ) ̸= ⇔ x ∈ B(0, 1/h) + spte (f ), (ϱ ∗ f )(x) = với x ∈ / B(0, 1/h) + spte (f ), từ ϱ ∗ f liên tục, spt(ϱ ∗ f ) ⊂ B(0, 1/h) + spte (f ) (iv) Từ (i) (ii), ϱh ∗ f ∈ C∞ (Rn ) ∩ Lp (Rn ) với p ∈ [1, ∞] Ta lim ∥ϱh ∗ f − f ∥Lp (Rn ) = ≤ p < ∞ (86) h→∞ C0c (Rn ) Từ trù mật (Lp (Rn ), ∥.∥Lp ), với ≤ p < ∞, với ϵ > tồn f1 ∈ C0c (Rn ) cho ∥f − f1 ∥Lp ()Rn 0, h→∞ ta (??) 15 Các cận cho độ giao hốn tương đối nhóm Mệnh đề sau cho ta cận cận cho độ giao hoán tương đối nhóm nhóm Mệnh đề 13 Cho H nhóm G, p ước nguyên tố nhỏ |G| Khi |Z(G) ∩ H| p(|H| − |Z(G) ∩ H|) |Z(G) ∩ H| + |H| + ⩽ Pr(H, G) ⩽ |H| |H||G| 2|H| 53 Chứng minh Đặt K = Z(G) ∩ H Khi theo Mệnh đề ?? ta có X X X |H||G| Pr(H, G) = |CG (x)| = x∈H |CG (x)| + x∈K = |K||G| + X |CG (x)| x∈H\K |CG (x)| x∈H\K Rõ ràng x ∈ H \ K {1} ⊊ CG (x) ⊊ G p ⩽ |CG (x)| ⩽ Do p(|H| − |K|) ⩽ X |CG (x)| ⩽ (|H| − |K|) x∈H\K |G| |G| Cho nên |K||G| + p(|H| − |K|) ⩽ |H||G| X |CG (x)| ⩽ |K||G| + (|H| − |K|) x∈H\K |G| Từ suy |K| p(|H| − |K|) |K| |H| − |K| + ⩽ Pr(H, G) ⩽ + , |H| |H||G| |H| 2|H| ta có cơng thức cần chứng minh Rõ ràng độ giao hốn tương đối nhóm nhóm giao hốn Kết sau cho ta cận cho độ giao hoán tương đối nhóm một nhóm khơng giao hốn Mệnh đề 14 Cho G nhóm khơng giao hốn H nhóm G Khi (i) Nếu H ⊆ Z(G) Pr(H, G) = Hơn nữa, H nhóm khơng giao hốn Pr(H, G) ⩽ (ii) Nếu H ⊈ Z(G) Pr(H, G) ⩽ Chứng minh X (i) Vì H ⊆ Z(G) nên |CG (x)| = |H||G| Do x∈H Pr(H, G) = X |CG (x)| = |H||G| = |H||G| |H||G| x∈H 54 (ii) Giả sử H ⊈ Z(G) Khi dó Z(G) ∩ H ⊊ H , Cho nên |Z(G) ∩ H| ⩽ |H| Áp dụng Định lý ?? ta |H| + |H| |Z(G) ∩ H| + |H| Pr(H, G) ⩽ ⩽ = |H| |H| Giả sử H khơng nhóm giao hốn Khi theo Mệnh đề ?? ta có Pr(H) ⩽ Do đó, theo Định lý ?? ta có Pr(H, G) ⩽ Pr(H) ⩽ Vậy ta có điều phải chứng minh Kết sau mơ tả cấu trúc nhóm trường hợp đạt đươc cận Mệnh đề ?? Mệnh đề 15 Cho H nhóm nhóm G Khi đó: H/(Z(G) ∩ H) ∼ = Z2 ; (ii) Nếu Pr(H, G) = H khơng giao hốn H/(Z(G)∩H) ∼ = Z2 × Z2 (i) Nếu Pr(H, G) = Chứng minh (i) Giả sử Pr(H, G) = Khi đó, theo Định Lý ?? ta có |Z(G) ∩ H| + |H| |Z(G) ∩ H| = Pr(H, G) ⩽ = + 2|H| 2|H| Từ suy |H| ⩽ |Z(G) ∩ H| |H| = |H| = |Z(G) ∩ H|, từ suy H ⊆ Z(G) Khi |Z(G) ∩ H| theo Mệnh đề ?? (i) ta có Pr(H, G) = Điều mâu thuẫn với giả |H| thiết Do = 2, H/(Z(G) ∩ H) ∼ = Z2 , ta có điều |Z(G) ∩ H| Nếu phải chứng minh 55 (ii) Giả sử Pr(H, G) = Bằng cách lập luận tượng tự ta suy |H| ⩽ |Z(G) ∩ H| Vì Z(G) ∩ H ⩽ Z(H) nên H/Z(H) ⩽ H/(Z(G) ∩ H) Vì H khơng giao hốn nên H/Z(H) khơng nhóm xiclíc Do H/(Z(G) ∩ H) khơng nhóm xiclíc Từ suy |H| ⩾ |Z(G) ∩ H| Điều chứng tỏ |H| = 4, |Z(G) ∩ H| H/(Z(G) ∩ H) ∼ = Z2 × Z2 16 Một số kết liên quan Trong toàn luận văn, ký hiệu J(R) Jacobson vành R U (R) tập hợp tất phần tử khả nghịch vành R có đơn vị Trong [?], tác giả định nghĩa vành R gọi U J -vành + J(R) = U (R) Cho S vành, không thiết phải có đơn vị, vị nhóm S◦ = (S, ◦) S tập hợp S với phép tốn ◦:S×S →S (x, y) 7→ x ◦ y = x + y − xy Mặt khác, S vành có đơn vị, S◦ đẳng cấu với vị nhóm (S, ) R với đẳng cấu ◦ : (S, ◦) → (S, ) x 7→ − x 56 Cụ thể, y ∈ S khả nghịch vị nhóm S◦ (được gọi phần tử tựa khả nghịch hay phần tử tựa quy) − y phần tử khả nghịch vành S nhóm phần tử khả nghịch U (S) S đẳng cấu với nhóm U◦ (S) phần tử tựa khả nghịch S Phần tử nghịch đảo y S◦ gọi tựa nghịch đảo y Ta biết I = J(S) iđêan lớn S thỏa mãn U◦ (I) = I Bổ đề ([?], Bổ đề 1.1) Các điều kiện sau tương đương vành R cho: (1) U (R) = + J(R), hay R U J -vành; (2) U (R/J(R)) = {1}; (3) C(R) iđêan R (khi C(R) = J(R)), với C(R) tập phần tử tựa quy R; (4) rb − cr ∈ J(R), r ∈ R b, c ∈ C(R); (5) ru − vr ∈ J(R), u, v ∈ U (R) r ∈ R; (6) U (R) + U (R) ⊆ J(R) (khi U (R) + U (R) = J(R)) Một vành gọi hữu hạn Dedekind ab = ba = với a, b hai phần tử vành Mệnh đề 16 ([?], Mệnh đề 1.3) Cho R U J -vành Khi (1) ∈ J(R); (2) Nếu R thể, R ∼ = F2 ; (3) R rút gọn (khơng có phần tử lũy linh khác khơng) R giao hoán; (4) Nếu x, y ∈ R thỏa mãn xy ∈ J(R) yx ∈ J(R) xRy, yRx ⊆ J(R); (5) Giả sử I ⊆ J(R) iđêan R Khi R U J -vành R/I U J -vành; (6) R hữu hạn Dedekind; 57 (7) Vành Y Ri U J -vành vành Ri U J -vành với i∈I i ∈ I Một vành R gọi nửa địa phương vành thương R/J(R) tổng trực tiếp iđêan phải cực tiểu Mệnh đề 17 ([?], Mệnh đề 1.4) Vành nửa địa phương R U J -vành R/J(R) ≃ F2 × × F2 Cho R vành có đơn vị Ta ký hiệu Mn (R) vành ma trận cấp n × n R Định lý 34 ([?], Định lý 3) Cho R vành tùy ý, có đơn vị n > Khi đó, phần tử Mn (R) tổng ba phần tử khả nghịch Mn (R) Cho R vành có đơn vị, phần tử a ∈ R gọi clean a có biểu diễn a = e + u e phần tử lũy đẳng R, u phần tử khả nghịch R Ta ký hiệu Cl(R) tập tất phần tử clean vành R Một vành R gọi clean R = Cl(R) Hệ 10 ([?], Hệ 1.7) Cho R vành Khi đó, điều kiện sau tương đương (i) R vành rút gọn; (ii) U (R[x]) = U (R); (iii) Cl(R[x]) = Cl(R) Cho R vành M song môđun vành R Một mở rộng tầm thường R M T (R, M ) = {(r, m) : r ∈ R m ∈ M }, với phép cộng theo thành phần phép nhân định nghĩa (r, m)(s, n) = (rs, rn + ms) Mệnh đề 18 ([?], Mệnh đề 4.9 (2)) Cho R vành M song môđun R Gọi T (R, M ) mở rộng tầm thường Khi tập phần tử khả nghịch T (R, M ) U (T (R, M )) = T (U (R), M ) 58 Một vành R gọi I -vành iđêan phải lũy linh khác khơng chứa phần tử lũy đẳng khác không Một hệ n2 phần tử {eij } vành R gọi hệ ma trận khả nghịch ( j ̸= j ′ eij ej ′ k = ejk j = j ′ Định lý 35 ([?], Định lý 2.1) Cho R I -vành Nếu a phần tử lũy linh cấp n (nghĩa an = 0, an−1 ̸= 0) an−1 ∈ / J(R) iđêan (a) sinh a chứa hệ n ma trận khả nghịch 17 KHÔNG GIAN CÁC HÀM KHẢ TÍCH Định lý 36 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 17 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ổ đề 10 (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ý 37 (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 59 Định lý 38 (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 ∥L1 (X,µ) := |f − sh |dµ → X Định lý 39 (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, ∞]); ∥f − s∥Lp < ϵ (90) (91) Đầ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 ; (92) 60 ∀x ∈ Ω lim sh (x) = f (x) h→∞ (93) Từ (??) ta sh ∈ Lp (Ω) |s ∈ Ω : sh (x) ̸= 0| < ∞ ∀h, (94) ∥sh − f ∥ ≤ 2f Ω, ∀h (95) Theo (??) (??), ta cso thể áp dụng định lý hội theo Lebesgue, ≤ p < ∞, ta lim ∥sh − f ∥Lp = (96) h→∞ 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∞ (97) với |g(x)| ≤ ∥x∥∞ x ∈ Ω (98) 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ϵ Vì (??) (??) kết thúc chứng minh (99) ϵp 2p (100)