1. Trang chủ
  2. » Luận Văn - Báo Cáo

Ứng dung của định lý lagrang

98 2 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: ỨNG DUNG CỦA ĐỊNH LÝ LA-GRANG 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 1931, K Borsuk S Ulam đưa khái niệm tích đối xứng khơng gian topo quan tâm nghiên cứu mối liên hệ tính chất topo có X có tích đối xứng cấp n (xem [1]) Hơn nữa, tác giả cịn chứng minh rằng, tích đối xứng cấp n thu từ khơng gian thương tích Cartesian Xn Trong năm gần đây, tích đối xứng cấp n thu hút nhiều người nghiên cứu topo đại cương giới quan tâm, tác giả quan tâm theo nhiều hướng nghiên cứu khác thu nhiều kết thú vị 523 2 Một vài tính chất đại số ∆U -vành Mệnh đề Cho R vành 2-nguyên thủy Nếu vành đa thức R[x] ∆U -vành, R ∆U -vành Chứng minh R vành 2-nguyên thủy, theo Mệnh đề ??, ∆(R[x]) = ∆(R) + J(R[x]) Mặt khác ta có J(R[x]) = I[x] với I iđêan lũy linh R Bây giờ, ta giả sử R[x] ∆U -vành Khi U (R) ⊆ U (R[x]) = + ∆(R[x]) = + ∆(R) + I[x], điều có nghĩa U (R) ⊆ + ∆(R) + I = + ∆(R) ⊆ U (R), I iđêan lũy linh (nên I ⊆ ∆(R)) Do U (R) = + ∆(R), hay R ∆U -vành Mệnh đề Cho R vành m ∈ N (1) R ∆U -vành R[x]/xm R[x] ∆U -vành (2) R ∆U -vành vành chuỗi lũy thừa R[[x]] ∆U -vành Chứng minh (1) Điều suy từ Mệnh đề 61 (5), từ xR[x]/xm R[x] ⊆ J(R[x]/xm R[x]) (R[x]/xm R[x])/(xR[x]/xm R[x]) ∼ = R (2) Ta xét (x) = xR[[x]] iđêan R[[x]] Khi (x) ⊆ J(R[[x]]) Vì R ∼ = R[[x]]/(x) nên (2) suy từ Mệnh đề 61 (5) Bổ đề Cho R, S vành i : R → S, ϵ : S → R đồng cấu vành thỏa mãn ϵi = idR Khi đó, khẳng định sau (1) ϵ(∆(S)) ⊆ ∆(R) (2) Nếu S ∆U -vành, R ∆U -vành (3) Nếu R ∆U -vành ker ϵ ⊆ ∆(S), S ∆U -vành Chứng minh (1) Dễ thấy, ϵ(U (S)) ⊆ U (R) U (R) = ϵi(U (R)) ⊆ ϵ(U (S)) nên ϵ(U (S)) = U (R) Lấy a ∈ ∆(S) Rõ ràng, a + U (S) ⊆ U (S), ϵ(a) + ϵ(U (S)) ⊆ ϵ(U (S)) ϵ(a) + U (R) ⊆ U (R) Điều có nghĩa ϵ(a) ∈ ∆(R) Do đó, ϵ(∆(S)) ⊆ ∆(R) (2) Cho S ∆U -vành Khi U (S) = + ∆(S), theo (1) U (R) = ϵ(U (S)) = + ∆(S) ⊆ + ∆(R) Do U (R) = + ∆(R) (3) Giả sử R ∆U -vành Ta phải ϵ−1 (U (R)) ⊆ + ∆(S), điều có nghĩa U (S) = + ∆(S) Thật vậy, với y ∈ ϵ−1 (U (R)), ta lấy ϵ(y) ∈ U (R) = 1+∆(R), R ∆U -vành Suy y −1 = i(x)+v , v tùy ý thuộc ker(ϵ) x ∈ ∆(R) Lấy tùy ý u khả nghịch thuộc S Lưu ý x + U (R) ⊆ U (R) Ta có ϵ(i(x) + u) = x + ϵ(u) ∈ x + ϵ(U (S)) = x + U (R) ⊆ U (R) = ϵ(U (S)) i(x) + u = u′ + a u′ ∈ U (S) a ∈ ker(ϵ) Suy y − + u = u′ + a + v ∈ U (S) + ker(ϵ) ⊆ U (S) + ∆(S) theo giả thuyết Từ U (S) + ∆(S) ⊆ U (S) với vành có đơn vị S , ta có y − + u ∈ U (S) với u ∈ U (S) Điều có nghĩa y − ∈ ∆(S) hay y ∈ + ∆(S) Ta có điều phải chứng minh Cho vành R nhóm G, ta ký hiệu vành nhóm X R G RG Một phần tử tùy ý α ∈ RG có dạng α = rg g rg ∈ R g∈G Giả sử R vành M vị nhóm, RM gọi vành vị nhóm định nghĩa giống vành nhóm Mệnh đề Cho R vành, M vị nhóm RM vành vị nhóm Nếu RM ∆U -vành R ∆U -vành Chứng minh Ta xét quan hệ bao hàm ι : R → RM (ι(r) = re với e phần tử đơn vị vị nhóm ! M ) ϵ : RM → R đồng cấu mở rộng X X xác định ϵ rm m = rm ([?] Mệnh đề II.3.1) Khi ta đủ m∈M m∈M điều kiện để áp dụng Bổ đề (2) Ta có kết quả, vành đa thức R[X] ∆U -vành R ∆U -vành Với vành đa thức vành giao hoán, ta kết tốt Ta biết R vành giao hốn có đơn vị f = a0 + a1 x + · · · + an xn ∈ R[x] f khả nghịch R[x] a0 khả nghịch R a1 , a2 , , an phần tử lũy linh trong R Từ nhận xét ta có mệnh đề sau Mệnh đề Cho R vành giao hoán có đơn vị Vành đa thức R[x] R ∆U R ∆U 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: (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 (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 (i) Nếu A compact B đóng, A + B đóng; (ii) A B compact A + B Mệnh đề (Đị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 ϱh (x − y)f (y)dy, ∀x ∈ Rn fh (x) := (ϱ ∗ f )(x) := 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 (z=x=y) Z f (z)ϱ(x − z)dz = (ϱ ∗ f )(x) = Rn Rn (iii) Cho x ∈ Rn xr → x, ta chứng minh (ϱ ∗ f )(xr ) → (ϱ ∗ f )(x) (1) Chú ý Z (ϱ ∗ f )(xr ) − (ϱ ∗ f )(x) = (ϱ(xr − y) − ϱ(x − y))f (y)dy, ∀r ∈ N (2) 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 (3) 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 (4) 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 đề 60 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ý (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 (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ý (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 ∈ Ω 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) ⊂ Ω (5) với h > h Do đó, theo định lý ?? (i), (ii), gh ∈ C∞ h > h |gh (x)| ≤ ∥g∥L∞ (Rn ) = 1, ∀x ∈ Rn , ∀h ∈ N (6) c Từ (∗) ta Z f gh dx = 0, ∀h ≤ h Ω Mặt khác, từ định lý ?? (iv) (21), 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ý (Xấp xỉ theo hàm C∞ Lp ) Cho Ω ⊂ Rn tập mở p 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 ⊂ Ω (7) 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, (8) ⩽ i ⩽ −1 k  k Rk = ⟨r ⟩ = ik Ta xét hai trường hợp k sau Trường hợp 1: k | n Khi đó, theo Mệnh đề 48 ta có X X |CQ4n (x)| = |CQ4n (1)| + |CQ4n (rn )| + |CQ4n (rik) | 1⩽i⩽ 2n −1 k x∈Rk i̸= nk  2n = 4n + 4n + = 8n +  2n k Do đó, theo Mệnh đề 64, ta có X Pr(Rk , Q4n ) = |Rk ||Q4n | k  − |R1 |  − 2n = |CQ4n (x)| = x∈Rk 4n(n + k) k 4n(n + k) n+k = 2n k 2n 4n k Trường hợp 2: k ∤ n Khi đó, theo Mệnh đề 48, ta có X X |CQ4n (rik )| |CQ4n (x)| = |CQ4n (1)| + 1⩽i⩽ 2n −1 k x∈Rk = 4n +  2n k  − |R1 | = 4n +  2n k  − 2n = 2n(2n + k) k 28 Từ suy Pr(Rn , Q4n ) = X 1 2n(2n + k) 2n + k · |CQ4n (x)| = = 2n |Rk ||Q4n | k 4n 4n x∈Rk k (ii) Giả sử H = Ui,j với i|n, ⩽ i ⩽ n, ⩽ j ⩽ i − Theo Mệnh đề 47 ta có |Ui,j | = Đặt k = 4n 4n = (n, i) i 2n Khi i |Ui,j | = 4n = 2k i Do Ui,j = {rli , rli+j s | ⩽ l ⩽ k − 1} Từ suy X X |CQ4n (x)| = x∈Ui,j |CQ4n (rli )| + 0⩽l⩽k−1 = |CQ4n (1)| + |CQ4n (rn )| + X |CQ4n (rli+j s)| 0⩽l⩽k−1 X |CQ4n (rli )| + 1⩽l⩽k−1 l̸= k2 X |CQ4n (rli+j s)| 0⩽l⩽k−1 = |Q4n | + |Q4n | + (k − 2)|R1 | + k|Un,j | 4n(n + i + 2) = 4n + 4n + (k − 2)2n + 4k = i Do đó, theo Mệnh đề 64 Pr(Ui,j , Q4n ) = X 1 4n(n + i + 2) n+i+2 · |CQ4n (x)| = = 4n |Ui,j ||Q4n | i 4n 4n x∈Ui,j i Trong ví dụ sau ta tính lại độ giao hốn tương đối nhóm nhóm quaternion Q8 , tính độ giao hốn tương đối nhóm nhóm Q12 cách áp dụng Mệnh đề ?? 29 Ví dụ (i) Với n = 2, xét nhóm quaternion Q8 (cho Ví dụ 7) Các nhóm Q8 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = {1}; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩; Q8 Khi Pr(R1 , Q8 ) = 2+2 2·2+4 2+1 = , Pr(R2 , Q8 ) = = 1, Pr(R4 , Q8 ) = = 1; 2·2 2·2 4·2 Pr(U2,0 , Q8 ) = Pr(U2,1 , Q8 ) = 2+2+2 = ; Pr(Q8 , Q8 ) = Pr(Q8 ) = 4·2 (ii) Với n = 3, xét nhóm quaternion Q12 = {1, r, r2 , r3 , r4 , r5 , s, rs, r2 s, r3 s, r4 s, r5 s} Các nhóm Q12 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R3 = ⟨r3 ⟩, R6 = {1}; U3,0 = ⟨r3 , s⟩, U3,1 = ⟨r3 , rs⟩, U3,2 = ⟨r3 , r2 s⟩; Q12 Khi Pr(R1 , Q12 ) = 2·3+2 3+1 = , Pr(R2 , Q12 ) = = , 2·3 4·3 3+3 2·3+6 = 1, Pr(R6 , Q12 ) = = 1; 2·3 4·3 3+3+2 Pr(U3,0 , Q12 ) = Pr(U3,1 , Q12 ) = Pr(U3,2 , Q12 ) = = ; 4·3 Pr(Q12 , Q12 ) = Pr(Q12 ) = Pr(R3 , Q12 ) = 12 KHÔNG GIAN CÁC HÀM KHẢ TÍCH Định lý 14 Cho Ω ⊂ Rn tập mở Khi (Lp (Ω), ∥.∥Lp ) tách ≤ p < ∞ không tách p = ∞ 30 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ý 15 (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ý 16 (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ý 17 (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 31 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 < ϵ (23) (24) Đầ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→∞ (25) ∀x ∈ Ω (26) Từ (??) ta sh ∈ Lp (Ω) |s ∈ Ω : sh (x) ̸= 0| < ∞ ∀h, (27) ∥sh − f ∥ ≤ 2f Ω, ∀h (28) Theo (??) (??), ta cso thể áp dụng định lý hội theo Lebesgue, ≤ p < ∞, ta lim ∥sh − f ∥Lp = h→∞ (29) 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 − 32 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 ϵp |Ac | = |{x ∈ Ω : s(x) ̸= g(x)}| < p , ∥s∥p∞ (30) với |g(x)| ≤ ∥x∥∞ x ∈ Ω (31) 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ϵ (32) ϵp 2p (33) Vì (??) (??) kết thúc chứng minh Chứng minh định lý ?? Ta cần chứng minh (C0c (Ω), ∥.∥∞ ) tách (34) 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 < ∞ (35) Từ định lý ??, ∀f ∈ Lp (Ω), ∀ϵ > 0, ∃g ∈ C0c (Ω) cho ϵ ∥f − g∥Lp < D trù mật, tồn e g ∈ D cho ∥g − e g ∥∞ < Nhớ lại ϵ 2|Ω|1/p (36) 33 Bài tập ∥f ∥Lp ≤ |Ω|1/p ∥f ∥∞ , ∀f ∈ L∞ (Ω), biết |Ω| < ∞ Điều nghĩa ϵ ∥g − g∥Lp ≤ |Ω1/p |∥g − g∥∞ < (37) 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 ) (38) 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ý 27) 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 (39) 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 (40) Á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 34 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)| < ϵ (41) x∈Ω Từ f ≡ Ωh0 +1 \ Ωh0 từ (??), suy |f1 (x)| < ϵ sup (42) 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)|, sup |f1 (x)| < ϵ x∈Ωh0 +1 \Ωh0 x∈Ωh0 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 n o Ua := f ∈ L∞ (Ω) : ∥f − χωa ∥L∞ < Chú ý a ∈ I := Ω 35 • 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 13 Mở rộng tốn tử ∆ cho vành khơng có đơn vị Bây ta thay đổi định nghĩa ∆ để làm việc vành khơng chứa đơn vị Cụ thể, xét tập ∆◦ (R) = {r ∈ R|r + U◦ (R) ⊆ U◦ (R)} Khi R vành có đơn vị ∆◦ (R) = ∆(R) Với vành R bất kỳ, khơng thiết phải có đơn vị Ta ký hiệu R1 vành bao gồm R đơn vị Z Khi đó, U◦ (Z) = Ta dễ dàng kiểm tra bổ đề sau Bổ đề Cho R vành, không thiết phải có đơn vị, ta có ∆◦ (R) = ∆◦ (R1 ) = ∆(R1 ) Bổ đề rằng, ta mở rộng định nghĩa ∆ cho tất vành, khơng thiết phải có đơn vị khẳng định Định lý ?? tương đương với vành tùy ý Hơn nữa, điều kiện tương đương đúng, ∆(∆(R)) = ∆(R) Ta biết kết cổ điển Jacobsson J(R) vành J(eRe) = eJ(R)e, với e lũy đẳng R Ta dấu khơng cịn trường hợp tổng quát ∆(R) Tuy nhiên quan hệ bao hàm e∆(R)e ⊆ ∆(eRe) giữ với giả thiết e∆(R)e ⊆ ∆(R) Trong Hệ ?? ta thêm vào giả thiết ∈ U (R) Cho R vành có đơn vị Phần tử a ∈ R gọi quy (tương ứng, quy đơn vị) R a = aua với u ∈ R 36 (tương ứng, u ∈ U (R)) Nếu phần tử vành R quy (tương ứng, quy đơn vị) R gọi vành quy (tương ứng, vành quy đơn vị) Mệnh đề 19 Cho R vành bất kỳ, ta có (1) Cho e2 = e thỏa mãn e∆(R)e ⊆ ∆(R) Khi e∆(R)e ⊆ ∆(eRe) (2) ∆(R) không chứa phần tử lũy đẳng khác khơng (3) ∆(R) khơng chứa phần tử quy đơn vị khác không Chứng minh (1) Nếu y ∈ U (eRe), y1 = y + (1 − e) ∈ U (R) thỏa mãn y = ey1 e Ta lấy r ∈ e∆(R)e ⊆ ∆(R) ta phần tử khả nghịch y ∈ U (eRe) ta có e − yr ∈ U (eRe) Như trên, lấy y1 = y+1−e ∈ U (R) Từ r ∈ e∆(R)e ⊆ ∆(R), ta 1−y1 r ∈ U (R) Do tồn phần tử b ∈ R thỏa mãn b(1 − y1 r) = e = eb(1 − y1 r)e = eb(e − y1 re)e = eb(e − (y + − e)re) = eb(e − yre) + eb(1 − e)re = ebe(e − yre), dấu cuối r ∈ eRe Điều cho thấy e − yre = e − yr phần tử khả nghịch trái eRe Từ − y1 r ∈ U (R) ta có (1 − y1 r)b = = (1 − (y + − e)r)b = (1 − yr)b Nhân hai vế với e ta e = e(1 − yr)be = (e − yr)be = (e − yr)ebe Điều có nghĩa ebe phần tử khả nghịch phải trái e − yr (2) Nếu e2 = e ∈ ∆(R), − e = e + (1 − 2e) ∈ U (R), − 2e khả nghịch, e = (3) Nếu a ∈ ∆(R) phần tử quy đơn vị, tồn phần tử khả nghịch u ∈ U (R) thỏa mãn au lũy đẳng Theo điều kiện (2) ta suy a phải khơng Hệ Cho R vành quy đơn vị, ∆(R) = Hệ Giả sử ∈ U (R) Khi e∆(R)e ⊆ ∆(eRe) với e phần tử lũy đẳng R Dưới số ví dụ mà ∆(R) ̸= J(R) Ví dụ (1) Ở Định lý ??, ta nhận thấy A vành vành R thỏa mãn U (R) = U (A), J(A) ⊆ ∆(R) Cụ thể chọn A miền giao hoán với J(A) ̸= R = A[x], ta = J(R) ⊂ J(A) ⊆ ∆(R) (xem [?], Bài tập 4.24) 37 (2) ([?], Ví dụ 2.5) Cho R = F2 < x, y > / < x2 > Khi J(R) = U (R) = + F2 x + xRx Cụ thể, F2 x + xRx chứa ∆(R) J(R) = (3) Cho S vành tùy ý thỏa mãn J(S) = ∆(S) ̸= cho R = M2 (S) Khi đó, theo Định lý ?? (1), ∆(R) = J(R) = 0, đó, e = e11 ∈ R, e∆(R)e = eJ(R)e = J(eRe) = ∆(eRe) ≃ ∆(S) ̸= Điều quan hệ bao hàm e∆(R)e ⊆ ∆(eRe) Mệnh đề ?? nghiêm ngặt trường hợp tổng quát (4) Cho A miền giao hoán với J(A) ̸= S = A[x] Khi đó, theo (1), ̸= J(A) ⊆ ∆(S) rõ ràng J(S) = R = M2 (S), A miền giao hốn địa phương Theo Định lý ??, ∆(R) = J(R) = Lưu ý, tâm Z = Z(R) R = M2 (S) đẳng cấu với S U (Z) = U (R) ∩ Z Do đó, = ∆(R) ∩ Z ⊆ ∆(Z) ≃ J(A) ̸= Do đó, quan hệ bao hàm Hệ ?? nghiêm ngặt J(R) = = J(Z(R)) Một vành R gọi 2-nguyên thủy tập phần tử lũy linh N (R) trùng với nguyên tố B(R), tức R/B(R) vành rút gọn Mệnh đề 20 Giả sử R vành 2-nguyên thủy Khi ∆(R[x]) = ∆(R)+ J(R[x]) Chứng minh Trước tiên ta giả sử R vành rút gọn Khi theo Hệ 10 ta có U (R[x]) = U (R) Do đó, theo định nghĩa ∆(R[x]), ta có ∆(R) ⊆ ∆(R[x]) Lấy a + a0 ∈ ∆(R[x]) a ∈ R[x]x a0 ∈ R Khi đó, u ∈ U (R), a + a0 + u ∈ U (R) Ta có a0 + u ∈ U (R) a = ∆(R) = ∆(R[x]) Bây ta giả sử R vành 2-nguyên thủy Rõ ràng B(R[x]) = B(R)[x] ⊆ J(R[x]) R vành 2-nguyên thủy R/B(R) vành rút gọn J(R[x]) = B(R[x]) = B(R)[x] Áp dụng phần đầu chứng minh cho R/B(R) Mệnh đề ?? (2) ta có ∆(R) + B(R)[x] = ∆(R/B(R)[x]) = ∆(R[x]/J(R[x])) = ∆(R[x])/J(R[x]) Ta có điều cần chứng minh 38 Không gian hàm p-khả tích Lp (Ω) 14 Ta nhớ lại khơng gian hàm p-khả tích độ đo Lebesgue n chiều Định nghĩa 10 Cho A ⊂ Rn tập đo Lebesgue p ∈ [1, ∞], Lp (A) := {f : A → R : f đo Lebesgue ∥f ∥Lp < +∞} ∥f ∥Lp Z 1/p   p |f (x)| dx = ∥f ∥Lp (A) := A   ≤ p ≤ ∞ inf{M > : |f (x)| ≤ M, x ∈ A} p = ∞ Số ∥f ∥Lp gọi chuẩn Lp f A Định lý 18 (Fisher - Riesz) (Lp (A), ∥.∥Lp ) không gian Banach ≤ p ≤ ∞ Hơn L2 (A) khơng gian Hilbert với tích vơ hướng Z (f, g)L2 := f g dx f, g ∈ L2 (A) A Theo kết định lý Riesz - Fisher ta thu kết hữu ích Định lý 19 Cho Ω ⊂ Rn tập mở, (fh )h ⊂ Lp (Ω) f ∈ Lp (Ω) với ≤ p ≤ ∞ Giả sử lim ∥fh − f ∥Lp (Ω) = h→∞ Khi đó, tồn dãy (fhk )k hàm g ∈ Lp (Ω) thỏa mãn (i) fhk (x) → f (x) hầu khắp nơi x ∈ Ω (ii) |fhk (x)| ≤ g(x) hầu khắp nơi x ∈ Ω, ∀k Nhận xét Nó khơng cịn giữ ý nghĩa (MC) ⇒ fh (x) → f (x) hầu khắp nơi x ∈ Ω Nhận xét Chú ý C0 ⊂ Lp (Ω) với p ∈ [1, ∞], với Ω ⊂ Rn tập mở bị chặn, không quan hệ bao hàm khơng giữ giữ quan hệ bao hàm C0c (Ω) ⊂ Lp (Ω) với p ∈ [1, ∞] tập mở Ω, C0c (Ω) := {f ∈ C0 (Ω) : spt(f ) compact chứa Ω} 39 spt(f ) := Bao đóng{x ∈ Ω : f (x) ̸= 0} Hơn nhớ lại C0 (Ω, ∥.∥L2 ) không gian tuyến tính định chuẩn, khơng phải khơng gian Banach Tính compact (Lp (Ω), ∥.∥Lp ) Trong mục thảo luận kết compact không gian Lp Chúng ta nêu kết không chứng minh Cho f : Rn → R v ∈ Rn , ta định nghĩa τv f : Rn → R hàm v -dịch chuyển f định nghĩa (τv f )(x) := f (x + v) Định lý 20 (M.Riesz - Fréchét - Kolmogorov) Cho F tập bị chặn (Lp (Rn ), ∥.∥Lp ) với ≤ p < ∞ Giả sử lim ∥τv f − f ∥Lp = v→0 với f ∈ F , nghĩa ∀ϵ > 0, ∃δ(ϵ) > : ∥τv f − f ∥Lp < ϵ, ∀v ∈ Rn với |v| < δ, ∀f ∈ F (N EF ) Khi F|Ω := {f |Ω : f ∈ F} compact tương đối (Lp (Ω), ∥.∥Lp ), nghĩa bao đóng compact (Lp (Ω), ∥.∥Lp ), với tập mở Ω ⊂ Rn với độ đo Lebesgue hữu hạn Từ định lý 34 ta suy điều kiện compact (Lp (Ω), ∥.∥Lp ) Nếu f : Ω → R, ta ký hiệu fe : Rn → R hàm định nghĩa ( f (x) x ∈ Ω fe(x) := x ∈ /Ω Hệ Cho Ω ⊂ Rn tập mở với độ đo hữu hạn, cho F ⊂ Lp (Ω) cho Fe := {fe : f ∈ F} Giả sử (i) F bị chặn (Lp (Ω), ∥.∥Lp ) với ≤ p < ∞; (ii) lim ∥τv f − f ∥Lp = với f ∈ F , nghĩa Fe thỏa mãn (ENF ) v→0 Khi F compact tương đối (Lp (Ω), ∥.∥Lp ) 40 Chứng minh Từ định lý 34, Fe tập compact tương đối Lưu ý Fe compact dãy tương đối (Lp (Rn ), ∥.∥Lp ) F compact dãy tương đối (Lp (Ω), ∥.∥Lp ) Do đặc tính tập compact khơng gian metric (Định lý ??) có điều phải chứng minh Cuối cùng, nhớ lại đặc tính compact (Lp (Rn ), ∥.∥Lp ) Định lý 21 Cho F ⊂ Lp (Rn ) với ≤ p < ∞ Khi F compact tương đối (Lp (Rn ), ∥.∥Lp ) (i) F bị chặn (Lp (Rn ), ∥.∥Lp ); (ii) với ϵ > 0, tồn rϵ > thỏa mãn ∥f ∥Lp (Rn \B(0,rϵ )) < ϵ ∀f ∈ F; (iii) lim ∥τv f − f ∥Lp = f ∈ F v→∞ Nhận xét (i) Giả thiết (ENF ) cần thiết định lý 34 Thật vậy, xét họ F := {fh : h ∈ N} fh : R → R định nghĩa   ≤ x ≤ h fh (x) := h 0 ngược lại Ω := (0, 1) Khi dễ thấy ∥f ∥L1 R = với h ∈ N F|Ω không compact tương đối (L1 (Ω), ∥.∥L1 ), khơng có dãy (fh )h hội tụ L1 (Ω) Mặt khác, v > 0, với h > 1/v Z Z v ∥τv fh − fh ∥L1 (R) ≥ fh (x + v) dx = −∞ fh (x) = Do đó, (ENF ) khơng cịn cho F (ii) Nếu Ω khơng có độ đo hữu hạn, kết định lý 34 khơng cịn Thật vậy, xét họ F := {fh : h ∈ N} fh : R → R định nghĩa fh (x) := f (x + h) f ∈ Lip(R) với spt(f ) = [−a, a], a > 0, f không triệt tiêu Khi ∥f ∥L1 (R) = ∥f ∥L1 (R) > ∀h (43)

Ngày đăng: 03/07/2023, 08:50

Xem thêm:

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w